Ünite 10: Frege’den Sonra Formel Gelişmeler — Veri Tablosu

Frege Sonrası Formel Gelişmeler ve Modal Mantık

Konu / Yazar	Tarih	Temel Özellik / Eser	Önemli Katkı
Peano	1894	Notation de logique mathematique	Modern alfabeye geçişte kabul gören ilk sistem
Whitehead ve Russell	1910	Principia Mathematica	Peano sistemini geliştirerek maddi gerektirme temelli eser sundu
M. Schönfinkel	1924	Birleştiriciler Mantığı	Değişkenleri ortadan kaldırarak C ve S fonksiyonlarını önerdi
C. I. Lewis	1932	Survey of Symbolic Logic / Sıkı Gerektirme	Maddi gerektirme paradokslarına karşı modal mantığı başlattı
C. I. Lewis ve C. H. Langford	1932	Symbolic Logic	Modal mantığın temellerini aksiyomatik olarak ortaya koydu
O. Becker	-	Zayıf ve Güçlü İndirgeme İlkeleri	Karmaşık modalitelerin sadeleştirilmesini sağladı