Bu çalışma, İbn Sînâ mantığının modern mantıksal araçlarla formelleştirilmesi meselesini Catarina Dutilh Novaes'in (2007, 2012) kuramsal çerçevesi ışığında ele almaktadır. Wilfrid Hodges'ın çok sıralı birinci derece mantık ve Kripke anlambilimi temelli iki boyutlu model-teorik yaklaşımı, Saloua Chatti ve Riccardo Strobino'nun zamansal nicelemeyi içeren yüklemler mantığı temelli çözümlemeleri ile Shahid Rahman'ın yapıcı tip kuramı çerçevesinde sunduğu diyalojik yaklaşımı karşılaştırmalı olarak incelenmektedir. Çalışma, Dutilh Novaes'in formelleştirmeyi aksiyomlaştırma, sembolleştirme ve kavramsal çeviri olarak üç ayrı fakat birbirine bağlı göreve ayıran çözümlemesinden hareket etmekte ve bu çözümlemeye dayanan üç değerlendirme ölçütünü, yani kavramsal uyumu, ifade gücünü ve kuramsal verimi, ana karşılaştırma ekseni olarak benimsemektedir. Çalışmanın temel iddiası, İbn Sînâ mantığının formelleştirilmesinin tek bir meşru biçime indirgenemeyeceği ve söz konusu yaklaşımların bu üç ölçüt açısından birbirini tamamlayan ama birbiriyle de yarışan modeller sunduğu yönündedir. Buna göre formelleştirme tercihi, bu üç ölçüt arasındaki kaçınılmaz değiş tokuşlara bağlı bir gerekçelendirme sorunu olarak belirir.
Read the full story at the source
This story was published by Kilikya Dergisi.
Comments