Üç Mantıksal Teori
Authors : John Corcoran, Fatmanur Berilgen
Pages : 140-174
View : 17 | Download : 4
Publication Date : 2019-07-01
Article Type : Other
Abstract :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.Keywords : Mantık, Lojistik Sistemleri, Dedüktif Sistemler, Gerektirmeci Sistemler, Mantıksal Doğruluk