A critical examination of the philosophical defense of free logics

---

Tezin Türü: Yüksek Lisans

Tezin Yürütüldüğü Kurum: Boğaziçi Üniversitesi, SOSYAL BİLİMLER ENSTİTÜSÜ, SOSYAL BİLİMLER ENSTİTÜSÜ, Türkiye

Tezin Onay Tarihi: 2014

Tezin Dili: İngilizce

Öğrenci: EMRE ALTAN

Danışman: BERNA KILINÇ

Açık Arşiv Koleksiyonu: AVESİS Açık Erişim Koleksiyonu

Özet:

Klasik niceleme mantığında, formel dildeki her tekil terimin evrenin bir değerine gönderge yapması gerekir. Bu anlamda, standart yüklemler mantığı günlük dildeki göndergesiz tekil terimlere izin vermez. Serbest mantık adı verilen standart olmayan bir mantık ailesinde, söz konusu klasik gereklilik geçersiz kılınır. Bu çalışma söz konusu standart olmayan mantık sistemleri hakkında. Çalışmanın ikili bir amacı var. Birincisi, serbest mantık hakkında genel bir bakış sunmak. Bu amaçla; serbest mantık tanımlanıyor ve karakteristikleri veriliyor, belirli serbest mantık türlerinin aksiyomatik formülasyonları sunuluyor, serbest mantıktaki farklı semantik yaklaşımlar özetleniyor ve son olarak bu sistemlerin kökenlerine dair tarihsel bilgi veriliyor. Çalışmanın ikinci amacı ise, klasik mantık yerine serbest mantığı geçirmenin haklı olup olmadığını tartışmak. Bu amaçla, serbest sistemleri benimsemenin altında yatan altı farklı türden motivasyon inceleniyor. Nihai olarak, söz konusu motivasyonların hiçbirinin klasik niceleme mantığının yerini serbest mantığın alması için yeterli neden sunmadığı sonucuna varılıyor. Çalışma, serbest mantık lehine verilebilecek daha başarılı bir argüman önerisiyle bitiyor.