Stanford Encyclopedia of Philosophy (Gupta & Mackereth)
1. Tanım Türleri (Varieties of Definition)
Felsefi gelenekte tanımlar tek bir biçimde değildir; işlevlerine ve amaçlarına göre ayrışırlar. Aşağıdaki interaktif kartlar üzerinden Locke'un gerçek/nominal tanım ayrımından ostensive (işaret etme yoluyla) tanımlara kadar temel kategorileri inceleyebilirsiniz.
Stipülatif ve analitik tanımların geçerli olabilmesi için geleneksel hesapta iki temel kriteri sağlaması gerekir: Conservativeness (Muhafazakarlık) ve Eliminability (Ekarte Edilebilirlik).
Conservativeness (Muhafazakarlık)
Bir tanım, taban dilde (ground language) yeni önermelerin veya teoremlerin ispatlanmasına izin vermemelidir. Saf bir tanım ile evren hakkında yeni ampirik veya mantıksal gerçekler keşfedemezsiniz (aksi takdirde tanım sisteme yeni bir iddia sokmuş olur).
İstisna / Tartışma: Neo-Fregeyen yaklaşımda Hume İlkesi gibi abstraction ilkeleri bu kriteri ihlal eder ama analitik kabul edilir.
Eliminability (Ekarte Edilebilirlik)
Tanımlanan terimi içeren herhangi bir formül, taban dildeki (tanımlanan terimi barındırmayan) eşdeğer bir formüle indirgenebilmelidir. Tanımlar kısaltma veya analitik açılım işlevi görür; dilde kalıcı olarak yeni bir ontolojik unsur yaratmazlar.
Geleneksel Kabul: Normal formdaki tanımlar (7-9 denklemleri) bu kriteri eksiksiz sağlar.
Tanım Kriter Simülatörü
Aşağıdaki farklı tanım tiplerini seçerek geleneksel mantık kriterlerini geçip geçmediklerini test edin:
Bir tanım türü seçerek test edin.
3. Döngüsel Tanımlar ve Revizyon Teorisi (Revision Theory)
Gupta & Belnap'ın geliştirdiği Revizyon Teorisi, doğruluk ve liar (yalancı) paradoksu gibi dairesel (circular) tanımların anlambilimini açıklar. Döngüsel tanımlarda değer bir "uygulama kuralı" değil, hipotezleri güncelleyen bir "revizyon kuralı"dır.
Hiç yorum yok:
Yorum Gönder