Doğruluk Kuramları
Bir önermenin doğru olması ne anlama gelmektedir? Doğrulukla ilgili felsefi kuramlar, doğruluğu gerçeklikle uyumda bulan sağlam açıklamalardan, doğruluğun hiçbir esaslı özellik taşımadığına dair indirgemeci görüşlere kadar çeşitlilik göstermektedir.
Tanım
Bir doğruluk kuramı, doğruluğun neyden ibaret olduğunu belirtmektedir: doğru olmanın olgularla uygunluk içinde olmak, bir inanç sistemiyle tutarlılık göstermek, Tarski'nin doğruluk tanımını karşılamak veya yalnızca altında yatan bir doğası olmayan bir genelleme mantıksal aracı olmak olup olmadığı açıklanmaktadır.
Kapsam
Bu alan, doğruluğun doğasına ilişkin başlıca felsefi kuramları ve bunları çevreleyen biçimsel ve metafiziksel soruları kapsamaktadır. Geleneksel uygunluk (correspondence) ve tutarlılık (coherence) kuramlarını, Tarski'nin semantik anlayışını ve biçimsel tanımını, doğruluğun esaslı bir özellik olduğunu reddeden indirgemeci (gereksizlik, tırnak kaldırma, minimalist) kuramları ve doğruluk yapımının (truthmaking) metafiziğini — yani doğruluk değerlerini neyin taşıdığını ve neyin (varsa) onları doğru kıldığını — ele almaktadır.
Alt konular
Temel sorular
- Doğruluk esaslı bir özellik midir, yoksa yalnızca faydalı bir mantıksal araç mıdır?
- Eğer doğruluk uygunluk ise, ilişkili öğeler (relata) nelerdir — olgular, durumlar, dünya mı?
- Tarski'nin biçimsel tanımı, sıradan doğruluk kavramını yakalamakta mıdır?
- Doğruluk değerlerini ne taşımaktadır ve doğru olan şeyleri ne doğru kılmaktadır?
Anahtar kavramlar
- uygunluk
- tutarlılık
- T-şeması (tırnak kaldırma)
- indirgemecilik ve şişirmecilik (inflationism)
- doğruluk taşıyıcıları ve doğruluk yapıcıları (truthmakers)
- iki değerli olma (bivalence)
Temel kuramlar
- Uygunluk kuramı
- Doğruluk, bir doğruluk taşıyıcısı ile gerçeklik arasındaki bir uygunluktan ibarettir: bir önerme, ancak bir olguya veya duruma uygunluk gösteriyorsa doğrudur; bu da doğruluğu dil veya düşünce ile dünya arasında esaslı bir ilişki haline getirmektedir.
- İndirgemecilik
- Horwich'in minimalizmi, doğruluk kavramının tüm içeriğinin 'p önermesi ancak ve ancak p ise doğrudur' şemasının örnekleriyle yakalandığını savunmaktadır; bu nedenle doğruluğun gizli bir doğası yoktur ve yalnızca genelleme için bir araç olarak hizmet etmektedir.
Tarihçe
Uygunluk ve tutarlılık kuramları sırasıyla Aristoteles ve İngiliz idealistlerinden gelmektedir. Tarski'nin 1933 ve 1944 tarihli çalışmaları doğruluğa biçimsel bir tanım kazandırmış ve tartışmayı yeniden şekillendirmiştir; bu çalışmaların ardından Ramsey, Quine ve Horwich indirgemeci alternatifler geliştirerek esaslı ve indirgemeci anlayışlar arasında sürekli bir çekişmeye yol açmıştır.
Tartışmalar
- Esaslı doğruluk ve indirgemeci doğruluk
- Doğruluğun, şeyleri açıklayan, altında yatan bir doğaya (uygunluk, tutarlılık) sahip gerçek bir özellik mi olduğu, yoksa indirgemecilerin savunduğu gibi, tırnak kaldırma şemasıyla tükenen yalnızca mantıksal bir araç mı olduğu tartışılmaktadır.
Öne çıkan isimler
- Alfred Tarski
- Bertrand Russell
- F. H. Bradley
- Paul Horwich
- W. V. O. Quine
- Michael Lynch
İlgili konular
Temel eserler
- tarski1944
- horwich1998
- lynch2001nature
Sıkça sorulan sorular
- Uygunluk ve tutarlılık doğruluk kuramları arasındaki fark nedir?
- Bir uygunluk kuramı, bir inancın bağımsız bir gerçeklikle eşleştiğinde doğru olduğunu savunmaktadır. Bir tutarlılık kuramı ise, bir inancın kapsamlı bir inanç sistemine tutarlı bir şekilde uyduğunda doğru olduğunu savunmaktadır. Bu kuramlar, doğruluğun dünya ile bir ilişki mi yoksa inançlar arasındaki bir ilişki mi olduğu konusunda farklı görüşlere sahiptir.