Mantık Araştırmaları Dergisi

Yazarlar: John CORCORAN, Fatmanur BERİLGEN

Konular:Mantık

Anahtar Kelimeler:Mantık,Lojistik Sistemleri,Dedüktif Sistemler,Gerektirmeci Sistemler,Mantıksal Doğruluk

Özet: Bu çalışma, teori olarak düşünülen mantıksal sistemlerle ilgilidir. Geleneksel olarak verilen sistemleri makul bir şekilde çözmenin hedeflendiği sorunları araştırarak biz, mantıksal sistemlere yaygın olarak uygulanan yeterlilik ölçütlerinin mantığını açıklığa kavuşturuyoruz. Bu açıdan mantıksal sistemlerin üç temel türü var gibi görünüyor: bunlar mantıksal doğruluğa ilişkin olanlar, mantıksal doğruluk ve mantıksal gerektirme ile ilgili olanlar ve mantıksal doğruluk ve mantıksal gerektirme ile olduğu kadar, başlı başına çıkarım ile de ilgili olanlardır. İlk iki tipteki sistemler için yeterlilik ölçütleri şunları içerir: etkinlik, sağlamlık, tamamlanmışlık, Post tamamlanmışlığı, "güçlü sağlamlık" ve güçlü tamamlanmışlık. Bir mantıksal sistemin bir çıkarım teorisi olarak düşünülmesi, ispat sistemleri için iki yeterlilik ölçütü formüle etmeye çalışmamıza sebep olur. Birincisi, sıkılık kavramı veya delillerdeki boşluksuzluk(gaplessness) ile ilgilidir. İkincisi, bir kanıt sistemi için bir tamamlanmışlık koşuludur. Makalenin sonunda yer alan tarihsel bir not, üst sistem hiyerarşisi ile bu mantık alanının gerçek tarihsel gelişimi arasında dikkate değer bir paralellik olduğunu belirtmektedir.

---