Doğruluk Taşıyıcıları ve Doğrulayıcılar
Ne tür şeyler doğru veya yanlıştır ve dünyada onları ne doğru veya yanlış kılar? Doğruluk taşıyıcısı ve doğrulayıcı kuramları, doğruluk ilişkisinin iki ucunu ele almaktadır.
Tanım
Doğruluk taşıyıcısı, doğru veya yanlış olabilen bir varlıktır (tipik olarak bir önerme); doğrulayıcı ise, varlığı belirli bir doğruluk taşıyıcısının doğruluğunu zorunlu kılan dünyadaki bir varlıktır.
Kapsam
Bu konu, doğruluk metafiziğindeki iki bitişik soruyu kapsamaktadır. Doğruluk taşıyıcısı sorusu, hangi varlıkların — cümleler, ifadeler, inançlar veya önermeler — doğruluk değerlerinin birincil taşıyıcıları olduğunu sorgulamaktadır. Doğrulayıcı sorusu ise, gerçeklikte bir doğruluğu neyin temellendirdiğini — durumlar, olgular, tropeler (tropes) veya nesneler — araştırmaktadır. Bu kapsamda, doğrulayıcı ilkesi (her doğrunun bir doğrulayıcısı vardır), doğrulayıcı maksimalizmi ve sorunları (negatif varoluşlar, tümel kavramlar) ile doğrulama (truthmaking) ve uygunluk kuramı arasındaki ilişki ele alınmaktadır.
Temel sorular
- Doğruluk değerinin birincil taşıyıcıları nelerdir?
- Her doğruluk bir doğrulayıcı gerektirir mi ve ne tür bir doğrulayıcı?
- Negatif ve genel doğrular nasıl doğrulayıcılara sahip olabilir?
- Doğrulama (truthmaking) sadece yeni bir isim altında uygunluk (correspondence) mudur, yoksa ayrı bir ilişki midir?
Anahtar kavramlar
- doğruluk taşıyıcıları (önermeler, cümleler, inançlar)
- doğrulayıcılar (olgular, durumlar, tropeler)
- doğrulayıcı ilkesi ve maksimalizm
- zorunluluk
- negatif varoluşlar
- doğruluğun varlık üzerine süpervenansı
Temel kuramlar
- Doğrulayıcı Kuramı
- Armstrong, her doğrunun bir doğrulayıcısı olduğu doğrulayıcı maksimalizmini savunmakta ve doğrulayıcıların, varlıkları ilgili doğruları zorunlu kılan durumlar olduğunu, böylece doğruluk için ontolojik bir temel sağladığını ileri sürmektedir.
- Zorunluluk vs. İlişkinlik Olarak Doğrulama
- Lewis, katı zorunluluk açıklamalarını sorgulamakta ve doğrulamanın, zorunlu doğrular için önemsizleştirici sorunlardan kaçınmak amacıyla fark yaratma veya karşıt-kuramsal kaynaklar aracılığıyla daha iyi anlaşılabileceğini önermektedir.
Tarihçe
Doğrulayıcı kuramı, Russell'ın mantıksal atomculuğundan ve Husserl'in çalışmalarından gelişmiştir; 1984 yılında Mulligan, Simons ve Smith tarafından adlandırılmış ve sistemleştirilmiştir; 2004 yılında Armstrong tarafından sürekli bir savunma ile desteklenmiştir. Negatif varoluşlar ve zorunlu doğrular üzerine yapılan tartışmalar ile Lewis'in fark yaratma önerisi, doğrulayıcı ilişkisini daha da geliştirmiştir.
Tartışmalar
- Doğrulayıcı Maksimalizmi ve Negatif Doğrular
- Her doğrunun, 'tek boynuzlu atlar yoktur' gibi negatif varoluşlar da dahil olmak üzere, bir doğrulayıcı gerektirip gerektirmediği ve eğer gerektiriyorsa, şüpheli negatif olgular veya bütünsel durumlar öne sürmeden negatif bir doğruluğu neyin doğru kılabileceği tartışılmaktadır.
Öne çıkan isimler
- D. M. Armstrong
- Kevin Mulligan
- Peter Simons
- Barry Smith
- David Lewis
İlgili konular
Temel eserler
- mulligan1984
- armstrong2004
Sıkça sorulan sorular
- Doğruluk taşıyıcıları cümleler mi yoksa önermeler midir?
- Birçok filozof, önermeleri — cümleler tarafından ifade edilen soyut içerikleri — birincil doğruluk taşıyıcıları olarak kabul etmektedir, çünkü aynı önerme farklı dillerdeki farklı cümlelerle ifade edilebilir. Cümleler ve inançlar ise, ifade ettikleri veya inandıkları önerme sayesinde türevsel olarak doğru kabul edilmektedir.