Serbest mantığın felsefi savunusunun eleştirel bir incelemesi

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.