Mantık
Mantık nedir
- Mantık, mümkün olanın bilimidir ve diğer tüm bilimlerin temelidir.
- Bilim evrenin nasıl çalıştığını açıklıyorsa, mantık da herhangi bir evrene uygulanabilecek açıklamanın parçasıdır.
- Mantık, bir olguyu bildiğimizde başka bir olgunun doğru olduğu sonucuna götüren kuralları inceler.
Mantık ve matematik
- Mantık, küme kuramı ve kategori kuramına benzer; matematiksel kuramlar ise mantığa ek tanımlar eklenmiş hâlidir.
- Küme kuramı, mantığın standart aksiyomlarına tek bir ilkel ilişki eklenerek tanımlanabilir.
Temel önermeler
- Mantık mümkün olanın bilimi olduğu için, doğru ya da yanlış olarak kabul edilen başlangıç önerme kümesine ihtiyaç duyar.
- Bu önermelere "öncül", "temel önerme" veya "atomik önerme" denir.
Önermelerin kurulumu
- Mantığın özü, kurulum bileşeni kavramıdır; birden çok önerme mantıksal işleçler kullanılarak birleştirilebilir.
- Mantıksal işleçler arasında "ve", "veya", "dolayısıyla" gibi öğeler bulunur.
Temel önermeler ile bileşik önermelerin eşdeğerliği
- Birden fazla öncülden oluşan önerme, temel önermeden farklı değildir ve aynı şekilde kurulur.
Çelişki yoluyla ispat
- Çelişki yoluyla ispat, en eski mantıksal önermelerden biridir; A doğruysa ve A, B'yi ima ediyorsa, B de doğrudur.
Apaçık doğrular
- Apaçık doğrular, her zaman doğru olan önermelerdir; bunların tersi ise her zaman yanlış olan çelişkilerdir.
- Apaçık doğrular, aksiyom şemaları/çıkarım kurallarının temeli olarak kullanılır.
Mantıksal sistem
- Aksiyom şemaları/çıkarım kuralları kullanılarak yeni önermeler üretilebilir.
- Mantıksal sistem, bu tür şema/kuralların küçük bir koleksiyonundan oluşur.
Sonuç
- Mantığın ana bileşenlerini (aksiyomlar, çıkarım kuralları) anlamak için bunlar belirli yorumlar üzerinden ispatlanmalıdır.
Klasik mantık: doğruluk-işlevsel yorum
- Klasik mantık, Platon'un idealar kuramına dayanır ve her önerme ya doğrudur ya da yanlıştır.
- Mantıksal işleçler, Boolean değerlerini girdi olarak alıp başka Boolean değerleri döndüren fonksiyonlar olarak ifade edilir.
Sezgicilikçi mantık: BHK yorumu
- Sezgicilikçi mantık, ispatı kurma eylemi olarak görür ve her önermenin doğru ya da yanlış olduğu ikiliğini reddeder.
- BHK yorumunda bir önermenin doğru olması, ona dair bir ispatın var olduğu anlamına gelir.
Mantığın kategori olarak yorumlanması
- BHK yorumu, mantığın kategori kuramı temelinde yorumlanabileceği daha yüksek düzeyli bir bakış açısı sunar.
- Curry-Howard izomorfizmi, mantık ile programlama dilleri arasındaki benzerliği açıklar.
GN⁺ özeti
- Mantık, matematik ve bilimin temel bir parçasıdır ve çeşitli alanlarda önemli bir rol oynar.
- Klasik mantık ile sezgicilikçi mantık farklı felsefi arka planlara sahiptir ve yorumlarına bağlı olarak farklı sonuçlar doğurabilir.
- Mantıksal sistemler, aksiyomlar ve çıkarım kuralları aracılığıyla yeni önermeler üretebilen güçlü araçlardır.
- Mantığın yorumu kategori kuramıyla ilişkilendirilebilir; bu da programlama dilleriyle olan benzerlik sayesinde daha da ilgi çekici hâle gelir.
Henüz yorum yok.