GERÇEĞİN YAPISI VE İÇERİĞİ[31]
FELSEFE DERGİSİ LXXXVII, NO. 6 , HAZİRAN 1990
Düşünen canlılar olmasaydı , dünyadaki hiçbir şey, hiçbir nesne ya da olay doğru ya da yanlış olmazdı.
Onuruna ve anısına bu makaleyi oluşturan derslerin verildiği John Dewey iki
sonuç çıkardı: hakikate erişim felsefenin özel bir ayrıcalığı olamaz ve
hakikatin insan çıkarlarıyla temel bağlantıları olmalıdır. Gerçeği, düşünce ile
deneysel araştırma ve sıradan uygulamanın erişemeyeceği bir gerçeklik
arasındaki uygunluk olarak gören felsefi geleneği hor görüyordu. Bu hakikat
resminin, filozofların bilimden farklı ve bilimden üstün bir bilgi biçimine
ulaşmak için ayrıcalıklı bir tekniğe sahip oldukları tezine hizmet etmek için
tasarlandığına inanıyordu. Dewey 1 bunu yazdı
. . . felsefe
adına gerçeğe en yüksek bağlılığa yönelik kanıtların bolluğu şüphe uyandıracak
bir konudur . Çünkü o, genellikle en yüksek ve nihai hakikate özel bir erişim
organı olma iddiasının bir ön hazırlığı olmuştur. Böyle değil .. . . Gerçek,
gerçeklerin bir toplamıdır ; ve bu kurucu gerçekler, gerçek meselelere göre
mevcut en iyi araştırma ve test etme yöntemlerinin korunmasındadır; tek bir
isim altında toplandığında bilim olan yöntemler. O halde hakikate gelince,
felsefenin üstün bir konumu yoktur. . . (ibid. , s. 410).
Dewey'in amacı,
gerçeği ve onunla birlikte filozofların iddialarını yeryüzüne indirmekti.
Haklı olarak Dewey'in kafasının karıştığını hissedebiliriz .
şüphe _ Gerçekte
, hakikat kavramının herhangi bir ciddi felsefi önemi olup olmadığından şüphe
etmek alışılmadık bir durum değildir .
Rorty , Dewey'in Consequences
of Pragmatism adlı eserini [32]şu
sözlerle tanıtırken, Dewey'in gerçeği yalnızca filozofların ulaşmayı
umabileceği kadar yüce bir alemden kaldırma niyetini yakalar :
Bu kitaptaki
denemeler, hakikatle ilgili pragmatist bir teoriden sonuçlar çıkarmaya yönelik
girişimlerdir. Bu teori, gerçeğin, hakkında felsefi açıdan ilginç bir teori
olmasını bekleyebileceğimiz türden bir şey olmadığını söylüyor . . . bu alanda
yapılacak ilginç bir çalışma yoktur (ibid., s. xiii-xiv).
Ama bana öyle
geliyor ki Rorty , Dewey'in hakikat kavramına yönelik tutumunun yarısını
kaçırıyor: Dewey, hakikatlerin genel olarak felsefenin özel alanı
olmadığını söylüyor; ama aynı zamanda gerçeğin işe yaradığı konusunda
ısrar ediyor . Bu, gerçek hakkında söylenecek ilginç bir şey olmadığı teziyle
aynı şey değil . Dewey, neyin işe yaradığına dair söylenecek ilginç pek çok şey
buldu.
Rorty [33], benim
hakikatin doğası hakkındaki görüşlerimi Dewey'inkilerle karşılaştırdı . Bu konuda
söyleyeceklerinin çoğunu cana yakın ve etkileyici buluyorum ve genel olarak
Dewey'in gerçeğe karşı tutumunu paylaştığım konusunda haklı olduğunu
düşünüyorum. Yine de bir açıdan, az önce değindiğim bir konuda, Rorty ikimizi
de yanlış anlamış olabilir; Onu okurken Dewey, hakikat bir kez yeryüzüne
indirildiğinde, hakikat kavramını kısmen oluşturan insan tutumları ile
bağlantıları hakkında felsefi açıdan önemli ve öğretici şeyler
söylenebileceğini düşündü. Bu aynı zamanda benim görüşüm, ancak Dewey'in bağlantıları
doğru yaptığını düşünmüyorum .
Rorty , Alfred
Tarski'nin çalışmasına biçtiğim temel rolün dilin anlaşılmasını tartışmak için
bir yol sağlamak olduğunu doğru bir şekilde not ediyor ve benim için bunun
dilin temsili bir resmini reddetmekle ve gerçeğin yalnızca bundan ibaret olduğu
fikrini reddetmekle ilgili olduğunu açıkça görüyor . gerçeklerin doğru
yansıtılmasında. Bunlar birazdan değineceğim konular . Bu denemede ilk olarak,
genellikle Tarski'nin yaklaşımıyla ilişkilendirilen, hakikatten bahsetmenin esasen
gereksiz olduğu ve Tarski'nin hakikat tanımlarında belirtilenlerin ötesinde
hiçbir önemli özelliği olmadığı fikrini tartışacağım. İlk bölüm, Tarski'nin
tanımlarının meşru bir şekilde bir dil hakkında temel gerçekleri aktarıyormuş
gibi ele alınabileceği iddiasının savunulmasıyla sona erer , ancak
görüldüğü halde,
ikinci durumda bir yüklem olarak ele alınmalıdır ve eğer Tarski'yi izlersek,
yüklemlendiği tümcelerin dilinden farklı bir dile ait olmalıdır . "Bu
doğrudur" gibi cümleleri tümcesel bağlaçlar olarak değil de önermelerin
yüklemleri olarak ele almak mümkün olabilir , ancak yine fazlalık, Ramsey'in
iddia ettiğinden çok daha az belirgin olacaktır.
Yine de pek çok
filozof, Tarski'nin çalışmasını esasen Ramsey'in içgörüsünü düzeltme meselesi
olarak gördü. Örneğin WV Quine [34]şöyle
yazıyor: “'Brutus Sezar'ı öldürdü' ifadesinin doğru olduğunu söylemek... . .
aslında basitçe Brutus'un Cae sar'ı öldürdüğünü söylemektir ” ve bir dipnotta
bize bu temanın “klasik gelişimi” için Tarsk i'yi görmemizi söyler (ibid., s.
24). Putnam, Rorty ve Quine'ın bu hakikat görüşünü paylaştığını iddia ediyor.
Putnam'a göre,[35] Rorty
ve Quine, “[t]o bir cümleye 'doğru' demek, bir cümleye bir özellik, hakikat
atfetmek değildir; cümleyi ileri sürmenin başka bir yoludur” (ibid., s.
62). ( Buna , " Davidsoncu dil filozoflarının jargonunda " (ibid.)
"dili alıntılayıcı görüş" dendiğini ekler. Belki öyle, ama o
zaman ben bir Davidsoncu değilim, çünkü Tarski'nin hakikat tanımlarına atıfta
bulunma eğiliminde değilim. Her halükarda , Putnam bu tezi desteklemiyor; onu "tamamen
resmi" ve "boş" olarak nitelendiriyor.
Putnam'ın,
Tarski'nin hakikat üzerine çalışmasının temelde bir fazlalık teorisinin teknik
bir iyileştirmesinden başka bir şey olmadığını düşünüp düşünmediği benim için
net değil, ancak diğerleri kesinlikle bu çizgiyi benimsedi. Stephen Leeds [36], hakikat
kavramının "faydasının" veya öneminin, bize "İnançlarımızın çoğu
doğrudur" gibi şeyleri konuşmak istediğimiz yerde söylemenin bir yolunu
vermesinden ibaret olabileceğini öne sürdü. sonsuz veya başka bir şekilde
listelenemeyen cümleler kümesini iddia edin . Ramsey bunun nasıl yapılacağını
açıklamadı; Tarski yaptı. Paul H Orwich ,[37]
Leeds gibi, Tarski'yi bir fazlalık teorisyeni olarak görüyor; Horwich ,
hakikatin merkezi ve önemli bir kavram olduğu yönündeki sezgilerimize rağmen,
"hakikat kavramının Tarski tarafından tamamen ele geçirildiğine" ikna
olmuştur (ibid., s. 192). Tarski'nin hakikat kavramı için yapılabilecek
her şeyi yaptığı fikri , Horwich , deflasyonist hakikat teorisi diyor.
Tarski'nin
tanımladığı şekliyle hakikatin, neyin ne olduğunun açıklanması için yeterli
hakikat koşullarını belirlediği konusunda Horwich ile aynı fikirde olmasa da .
siyonlar takip
eder'), Tarski, açıkça tanımlandığı için [38],
doğruluk yükleminden nasıl kurtulacağımızı bize göstermiştir . Bu, Tarski'nin
hakikat tanımlarının, hakikat yüklemlerini ortadan kaldırmak için münferit
cümlelerden tırnak işaretlerinin çıkarılmasına dayanmadıkları için kesinlikle
alıntıya dayalı olmadığını açıkça ortaya koymaktadır. Elemeyi gerçekleştirmek
için doğru olduğu söylenen gerçek cümleleri kullanmaya daha da az güvenirler;
Bu, bir dil için hakikatin tanımı başka bir dil için verildiğinde açıktır .
"' Schnee " cümlesinin İngilizce karşılığı bulunamıyor. ist weiss '
is true (Almanca)” ifadesini sadece “ ' Schnee'den tırnak işaretlerini
kaldırarak ist weiss '.”
Yine de,
Tarski'nin yöntemlerinin, onun herhangi bir bağlamda tanımladığı hakikat
yüklemlerini değiştirmemize izin verdiği ve değiştirmenin ardında hiçbir açık
semantik yüklem bırakmadığı gerçeği devam etmektedir; bu bakımdan, onun
doğruluk yüklemleri basit bir silme işlemiyle ortadan kaldırılabilen "bu doğrudur"
tümcesel bağlacı gibidir. Çarpıcı olan, elbette "doğrudur" ifadesinin
değiştirilebilmesi değil, çünkü tanımlamanın amacı bu olabilir; Çarpıcı olan,
anlamsal veya başka türlü başka hiçbir şeyin yerini almamasıdır. Putnam'ı bu
tür teorilere göre hakikatin bir özellik olmadığını söylemeye iten muhtemelen
bu özelliktir . (Bununla birlikte, bu, Tarski'nin hakikat tanımlarına
uygulandığı şekliyle tam olarak doğru olamaz. Tarski'nin hakikat yüklemleri,
nesne dilinde hiçbir yüklemin sahip olmadığı bir uzantıyla meşru yüklemlerdir.
Ancak Putnam'ın sözünün amacı görülebilir.) Putnam, Tarski'nin hakikat
yüklemlerinin geçerli olduğu sonucuna varır. semantikle veya genel hakikat
anlayışıyla hiçbir ilgisi yoktur: "Gerçeğin felsefi bir açıklaması olarak,
Tarski'nin teorisi, bir açıklamanın başarısız olması mümkün olduğu kadar kötü
bir şekilde başarısız olur" (op. cit., s. 64).
Açık olan,
Tarski'nin hakikat kavramını cümlelere uygulandığı şekliyle bile
tanımlamadığıdır. Tarski, bir dizi uslu dilin her biri için bir doğruluk
yükleminin nasıl tanımlanacağını gösterdi, ancak tanımları , elbette, bu
yüklemlerin ortak noktasının ne olduğunu bize söylemiyor. Biraz farklı bir
ifadeyle: Her biri tek bir dil için geçerli olan '5 doğrudur L '
biçiminin çeşitli yüklemlerini tanımladı, ancak 'L' değişkeni için '5 L'de
doğrudur' biçiminin bir yüklemini tanımlamayı başaramadı. Bu nokta Max Black [39]ve
ardından Dummett tarafından dile getirildi ; [40]ama
tabii ki Tarski bunu daha en başından,
Dummett ve
diğerleri, aramızdaki ağır zekalıların , hakikat kavramını tam olarak
yakalayamayan Tarski'nin hakikat öngörülerinin başarısızlığını takdir etmesini
sağlamak için çeşitli yollardan girişimlerde bulundular . Gördüğümüz gibi temel
zorluk , basitçe, Tarski'nin tanımlarının, kavramı yeni bir duruma nasıl
uygulayacağımız konusunda bize hiçbir fikir vermemesinden kaynaklanmaktadır;
yeni durum ister yeni bir dil, ister bir dile yeni eklenen bir kelime olsun [
bunlar gerçekten aynı nokta, Dummett tarafından iki şekilde de ifade edildi (op.
cit.) ve ikinci yol, Hartry Field tarafından [41]].
Tarski'nin tanımlarının bu özelliği, vakaları sıralayarak temel yüklemlerin
veya isimlerin uzantısını veya referansını vermeye dayandıkları gerçeğine
kolayca izlenebilir : bu şekilde verilen bir tanım, bir sonraki veya genel
durum için hiçbir ipucu sağlayamaz. .
Tarski'nin
hakikati ele alışına yönelik bir dizi eleştiri veya yorum, onun tanımlarının
sayısal yönüne bağlıdır. Bunlardan biri, Tarski'nin tanımlarının, 'kar'
kelimesi 'kömür' anlamına gelseydi, 'Kar beyazdır' cümlesinin neden ancak ve
ancak kar siyah olsaydı doğru olacağını açıklayamayacağı iddiasıdır. Putnam ve
Soames'in ikisi de bu noktayı vurguluyor, ancak Putnam için bu bir eleştiri,
Soames için ise bir teoriden veya hakikat tanımından çok şey beklemenin
aptallığını gösteriyor. Başka bir şikayet de Tarski'nin tanımlarının, birçok
filozofun temel olarak kabul ettiği hakikat ve anlam arasındaki bağlantıyı
kurmamasıdır. (Yine, Putnam'a göre bu, Tarski'nin hakikat anlayışında temelde
yanlış bir şeyler olduğunu gösterir; Soames'e göre bu, Tarski'nin tanımlarının
övgüye değer bir şekilde deflasyonist yönüne bir başka örnektir.) Yakından
ilişkili bir yorum, Tarski'nin hakikati veya hakikati kullanımla
ilişkilendirmediğidir. dil kullanıcıları (Field, Putnam, Soames, Dummett ). Bu
yorumların değeri ne olursa olsun, hepsinin Tarski'nin çalışmasının aynı basit
özelliğine kadar uzandığını akılda tutmakta fayda var: doyumu tanımlarken
sınırlı ve kapsamlı bir temel durumlar listesi kullanmak (ki bunlar açısından).
hakikat tanımlanır), daha ileri vakalara nasıl geçileceğini belirtmekte zorunlu
olarak başarısız oldu.
Tarski'nin hakikat
üzerine çalışmasında tespit edilen veya tasavvur edilen sınırlamalara rağmen,
gördüğümüz gibi bazı filozoflar, bu eserin hakikatin tüm temel özelliklerini
kapsadığını onayladılar . Bu filozoflar arasında Rorty , Leeds, Michael
Williams, Horwich , Soames ve Putnam'a göre Quine ; ayrıca Rorty'ye göre ben.[42]
bu , nesne dili
niceleyiciler vb. içerdiğinde Tarski'nin yönteminin bu yönünün aşırı
basitleştirilmiş bir açıklamasıdır. Noktanın gücü kalır. [43])
Bu, Putnam'ın, Tarski'nin gerçeğin felsefi bir açıklamasını vermede “başarısız
olmak mümkün olduğu kadar kötü” başarısız olduğunu söylemesinin ana nedeni gibi
görünüyor. Soames , Tarski'nin eserine ilişkin felsefi yorumunu savunmanın tek
yolunun , onun hakikat ve doyumunun uygulamalarında yüklemlerin ampirik içeriğe
sahip olduğu talebini reddetmek olduğunu ileri sürerken aynı çizgide düşünüyor
olabilir. Soames, talebi karşılamanın Tarski'nin çalışmasıyla
"uyumsuz" olacağını söylüyor (op. cit., s. 425).
Etchemendy
tarafından uzun uzadıya dile getirildi. (op. cit.) . Etchemendy'ye göre,
Tarski'nin amacı yüklemleri iki özellikle formüle etmekti: birincisi, sezgisel
hakikat kavramıyla belirli bir şekilde ilişkilendirilmeli ve ikincisi, para
tehdidine karşı mümkün olduğu kadar garanti edilmelidir. d öküz ve tutarsızlık.
İlk koşul , bir dilin tüm ve yalnızca gerçek tümcelerine uygulanabileceği
kolayca gösterilebilecek bir kavram tasarlanarak karşılandı . Sezgisel hakikat
kavramıyla olan ilişki, uzlaşma -T ile tezahür ettirilir. Uylaşım-T, doğruluk
yüklemi 4 5'in doğru olmasını/bir L dili için, L'nin her 5
tümcesi için '5 doğrudur £ ancak ve ancak p ise ' şeklinde
bir teorem gerektirecek şekilde karakterize edilmesini gerektirir; s' ,
5'in sistematik bir tanımıyla değiştirilir ve p , 5'in teorinin diline
çevirisiyle değiştirilir. Bu teoremlere T cümleleri diyelim. T-cümlelerindeki
yüklem, '5 doğrudur/, tek basamaklı bir yüklemdir; alt simge bir değişken
değil, belirli bir dilin adı veya açıklaması ve yüklemin ayrılmaz bir
parçasıdır. Sıradan hakikat kavramıyla olan ilişki, Tarski tarzı hakikat
yüklemi yerine "a , £
cinsinden doğrudur " yüklemini koyarsak, T-cümlelerinin doğru kalması
gerçeğinden anlaşılır . (Bu iki basamaklı bir yüklemdir: 'L' yerine diğer
dillerin adlarını veya tanımlarını koyabiliriz.) Hakikat yükleminin kurama veya
dile tutarsızlıklar getirme tehdidi oluşturmaması talebi, yüklemin açık bir
tanımı verilerek karşılanır. hiçbir anlamsal kavram kullanmamak; bu nedenle, bu
tür kavramların sunabileceği tutarlılığa yönelik herhangi bir zorluktan
kaçınılmıştır. Üst dil , doğruluk yükleminin girişinden önce tutarlıysa,
girişten sonra da tutarlı kalması garanti edilir .
Tarski'nin
doğruluk yüklemlerini içeren T-cümleleri , nesne dili hakkında, yani onun cümlelerinin
T-cümlesi tarafından belirtilen koşullar altında doğru olduğu gibi, somut
gerçekleri aktarıyor gibi görünmektedir .
Tarski, sonuçlarıyla ilgili
bu değerlendirmelere katılmadı. “Semantik Hakikat Anlayışı” [44]nda
“Semantik Hakikat Anlayışının Felsefi ve Sağduyu Kullanımına Uygunluğu ”
başlıklı bir bölüm vardır . Ondan alıntı yapayım:
Kendi görüşüm söz
konusu olduğunda, formülasyonumuzun Aristoteles'in sezgisel içeriğine uygun
olduğundan hiç şüphem yok. . . semantik anlayışın sağduyu ve günlük
kullanımdaki hakikat kavramını yansıtıp yansıtmadığına dair bazı şüpheler dile
getirildi. açıkça anlıyorum. . . "Doğru" kelimesinin ortak
anlamının -gündelik dildeki diğer herhangi bir kelimeninki gibi- bir dereceye
kadar belirsiz olduğu. . . . dolayısıyla . . . bu sorunun her çözümü, zorunlu
olarak günlük dil pratiğinden belirli bir sapmayı gerektirir.
Bütün bunlara
rağmen, semantik anlayışın sağduyu kullanımıyla önemli ölçüde örtüştüğüne
inanıyorum . . . (ibid., s. 360).
, alışılagelmiş
semantik kavramlar olarak kullanılabilecek kavramları karakterize etme
projesinden uzaklaşmaz ; "bir dilin ifadeleri ile bu ifadelerin işaret
ettiği nesneler ve durumlar arasındaki bağlantıları [45]"
ifade eden kavramlar . Eski bir kelimeye yeni bir anlam yüklemeyi değil,
"eski bir kavramın gerçek anlamını yakalamayı" amaçladığını söylüyor.
[46]Başka bir
deyişle, Etchemendy'nin iddia ettiği gibi, tanımlarının tamamen koşullu olma
niyetinde olmadığını oldukça açık bir şekilde ifade ediyor .
Tarski, projesini
“Bilimsel Semantiğin Kurulması” olarak tanımlıyor ve “anlamsal kavramların,
tartışılan dilde atıfta bulunulan nesneler (ve durumlar) arasındaki belirli
ilişkileri ve bu nesnelere atıfta bulunan dilin ifadelerini ifade ettiğini” [47]söylüyor .
O, bir tümcenin hakikatini onun " gerçeklik ile örtüşmesi" olarak
görür (ibid.). Tarski , anlamsal kavramların bu nitelendirmelerini
"belirsiz" olarak görüyor, ancak anlamsal kavramların ampirik bir
uygulaması olmasaydı, bunların tamamen yanlış olacağı açıktı . Tarski,
tanımlarının "maddi olarak yeterli ve olağan kullanıma uygun" olmasını
talep ettiğinde, kuralın T'nin tam da koşulun karşılandığını bize garanti eden
şey olduğunu savunuyor. Argüman şudur: Anladığımız bir dil verildiğinde,
yorumlanmış bir dil, örneğin
Tarski'nin
hakikat tanımına götüren ve bu tanımı da içeren tanımları; ama bunlara tanım demeyin
ve nesne dilinin anlambilimini ( Tarski tarafından sınıfların hesabı olarak
yorumlanmıştır) tanımlamaya uygun ampirik olarak anlamlı ifadeler
kullandıklarını düşünün. Etchemendy'ye göre , bu yeni sistem ile Tarski'nin
orijinali arasındaki fark son derece fazladır : yeni sistem, nesne dilinin
semantiğini doğru bir şekilde tanımlarken, Tarski'nin sistemi yalnızca , doğru
ya da yanlış, herhangi bir şeyi öne sürmek için kullanılamayan bir yüklemi
tanımlar. yorumlanan herhangi bir dil hakkında. Tarski'nin tanımları, içerdiği
T -cümlelerini mantıksal doğrulara dönüştürür; yeni sistem onlara cümlelerin
doğruluk koşulları hakkında öğretici sözler bırakıyor. Ancak bu güçlü
değişiklik resmi sisteme hiçbir şekilde dokunmuyor; sistemin kendisinde değil,
sistemi nasıl tanımladığımızdaki bir değişikliktir. Tarski'nin sistemi
tutarlıysa yeni sistem de tutarlıdır.
zaman tüm mesele,
tanımları nasıl değerlendirdiğimize dönüyor . Bazı tanımlar açıkça yeni
sözcükleri tanıtmayı amaçlamaktadır ; diğerleri şu ya da bu türden maddi
gerçekleri ifade etmeyi amaçlar. Gördüğümüz gibi, Tarski tanımlarını eski bir
terime yeni bir anlam yüklemeyi değil, "eski bir kavramın asıl anlamını
yakalamayı" amaçlamıştı.[48]
Şimdi sadece
Etchemendy'de değil , aynı zamanda Putnam ve Soames'ta da bulunan temaya geri
dönmeliyiz, Tarski'nin doğruluk tanımlarının gerçek dillerin anlambilimi veya
yorumuyla hiçbir ilgisi olamaz çünkü onun tanımları dikkate alındığında ilgili
teoremler (örneğin, T-cümleleri) mantıksal doğrulardır. Aslında, bunlar yalnızca
Tarski'nin doğruluk tanımlarının tamamen şarta dayalı olduğu ve onun
tanımladığı yüklemler hakkında bilinmesi gereken her şeyi bize anlattıkları
varsayımı üzerine mantıksal doğrulardır. Bu varsayımı kabul etmek için hiçbir
neden yoktur. Basit bir analoji bunu açıklığa kavuşturacaktır. Farz edin ki
"x bir güneş gezegenidir" yükleminin bir tanımı olarak şunu sunuyoruz
: x , ancak ve ancak x aşağıdakilerden biriyse bir güneş
gezegenidir: Merkür, Venüs, Dünya, Mars, Jüpiter, Satürn, Uranüs , Neptün,
Plüton . Bu, 'Neptün bir güneş gezegenidir' P-cümlesini gerektirir. Bu
sonuncusu mantıklı bir gerçek mi? Tanımımız tamamen koşullu ise , aksi takdirde
söylenemez. Tamamen koşullu olup olmadığı sorusu , biçimsel sistemi
inceleyerek yanıtlanabilecek bir soru değildir ; tanımı yapan kişinin niyetiyle
ilgilidir. Basitçe tanımlayıcı cümle sunulsaydı, zorlukla
Benim görüşüm,
Tarski'nin bize hakikat kavramı hakkında bilmek istediklerimizin çoğunu
söylediği ve daha fazlasının olması gerektiğidir. Daha fazlası olmalı çünkü
Tarski'nin biçimsel çalışmasında onun çeşitli doğruluk yüklemlerinin ortak
noktasının ne olduğuna dair hiçbir gösterge yok ve bu, kavramın içeriğinin bir
parçası olmalı. Bir dil için doğruluk teorisinin doğru olduğunu nasıl
bildiğimiz sorusuna değinmediğinden, bu gösterge olarak T-uzlaşımına işaret
etmek yeterli değildir . Hakikat kavramının inanç ve anlam kavramlarıyla temel
bağlantıları vardır, ancak Tarski'nin çalışmasında bu bağlantılara dokunulmaz.
Tarski'nin hakikat yüklemlerini betimlemelerinde kaçırdığımız şeyi burada
ortaya çıkarmayı beklemeliyiz .
Tarski'nin bizim
için yaptığı şey, ister dilde ister düşüncede hakikatin yapması gereken kalıp
türünün nasıl tarif edileceğini ayrıntılı olarak göstermektir. Şimdi yapmamız
gereken, insanların davranışlarında böyle bir kalıp ya da yapının varlığının
nasıl tespit edileceğini söylemektir.
ii
Tarski'nin
hakikat yüklemleri tanımlarından öğrenebileceğimizden daha fazla şey
bilinmeseydi, hakikat kavramını, alıntı yapma işlevinin küçük bir kolaylığı
dışında açık bir şekilde kullanamazdık , çünkü Tarski nasıl olduğunu
göstermiştir . anlamsal kalıntı olmadan bu tür yüklemleri ortadan kaldırmak
için. Gerçeğin anlam veya inançla herhangi bir bağlantısı tartışmalı olacaktır.
Tarski'nin tanımlarının tamamen koşullu olduğunu düşünürsek , bu tür
yüklemlerin kanıtlamamıza izin verdiği teoremler, özellikle T-cümleleri, mantığın
hakikatlerine eşdeğerdir; doğruluk yüklemlerini tanımların sağladığından daha
fazla okumadıkça, bu teoremler bu nedenle herhangi bir dilin tümceleri hakkında
ampirik doğrular veremez ve tümcelerin doğruluk koşullarını vermek için
alınamaz .
Tarski hiçbir
zaman doğruluk yüklemlerinin belirli dillerdeki doğru cümle sınıfını seçmekten
fazlasını yaptığını iddia etmedi. Genel bir doğruluk yüklemi tanımladığını
kesinlikle düşünmüyordu ve kapsamsallığın sınırlarını aşmayı da amaçlamıyordu.
Uzatmadan farklı olarak anlamı yakalamak , onun projesinin bir parçası
değildi. Aynı cümle sınıflarını tanımlamanın başka yolları -kendi amacından
başka amaçlar için daha aydınlatıcı olabilecek yollar- olabileceği de onun için
önemli değildi .
Tarski'nin
başvurduğu kriterlerden oldukça farklı türde kriterler getirmeden, gerçeğin
genel bir nitelendirmesini vermenin açık bir yolu olmadığı için, iki nokta
birbiriyle ilişkilidir . Deflasyonist bir hakikat görüşünün savunucuları
tarafından bazen, T geleneğinin Tarski'nin çeşitli hakikat yüklemlerinin ortak
noktasının ne olduğu sorusuna yeterli bir cevap sağladığı öne sürülür . Ancak
bu fikirle yetinmemeliyiz. Çünkü nesnenin lan olduğu durumlarda -
referans (tatmin)
, Tarski'nin referans ve hakikatin yinelemeli karakterizasyonlarına giren
tümcelerde ilkel olarak yüklemler. "Tanım" kelimesinin
yüklemlerin ilkel olduğu fikrine uymadığını görürsek, kelimeyi bırakabiliriz;
bu sistemi değiştirmeyecek. Ancak semantik yüklemlerin ilkel olduğunun kabulünü
onurlandırmak için, Tarski'ye göre yinelemeli tanımlamaları açık tanımlara
dönüştüren son adımı atabilir ve sonuçları aksiyomlaştırılmış hakikat teorileri
olarak görebiliriz.[49]
Aksiyomatize edilmiş
bir doğruluk teorisi, örneğin Koh ile karşılaştırılabilir. Mogorov'un ,
olasılık kavramına açık kısıtlamalar getiren, ancak olasılığın ayrıca göreli
sıklık, inanç derecesi veya başka bir şey olarak karakterize edilip
edilmeyeceği gibi soruları açık bırakan olasılık aksiyomlaması . Ramsey'nin
belirsizlik karşısındaki tercihi aksiyomatik olarak ele alışı, belirli bir
faile uygulandığında, tıpkı Tarskici doğruluk teorilerinin bir dile özgü olması
gibi, her bir fail için ayrı bir teori vermesi açısından aksiyomatize edilmiş
bir doğruluk teorisine benzer. veya, önermeye devam edeceğim gibi, bir bireye.
Tıpkı bir Tarski
teorisinin bize teorinin belirli bir dil veya konuşmacı için geçerli olup
olmadığını nasıl belirleyeceğimizi söylememesi gibi, Ramsey'nin teorilerinde de
böyle bir teorinin belirli bir faile ne zaman uygulanacağını söyleyen hiçbir
şey yoktur. Karar teorisi durumundaki mesele kısmen, bir vekilin bir nesneyi
veya hareket tarzını diğerine tercih ettiğini söylemek için yerine getirmesi
gereken koşulları belirlemektir. Bir doğruluk teorisi söz konusu olduğunda,
bilmek istediğimiz T-cümlelerinin (ve dolayısıyla bir bütün olarak teorinin)
bir grubun veya bireyin dilini ne zaman tanımlayacağımızdır. Bu açıkça,
Tarski'nin hakikat yüklemlerinin yakalayamadığı hakikat kavramının içeriğinin
en azından bir kısmının belirtilmesini gerektirir .
sahip olduğu
hakikat özelliklerine ne ekleyeceğiz?
olduğuna inan .
Öte yandan realist teoriler, yalnızca neyin "aşkın kanıt" olduğuna
dair bilgimizden değil, bildiğimizi sandığımız diğer her şeyden şüphe
uyandırıyor gibi görünüyor, çünkü bu tür teoriler doğru olanın herhangi bir
şekilde kavramsal olarak bağlantılı olduğunu reddeder. inandığımız şeye giden
yol.
Bir hakikat
teorisine içerik verme projesini ele alalım. Tarski'nin tanımlarına normalde
birkaç adımda ulaşılır. Birincisi, nesne dilinde cümle olmanın ne olduğunun bir
tanımı vardır; sonra bir memnuniyet ilişkisinin yinelenen bir karakterizasyonu
(memnuniyet, referansın oldukça genelleştirilmiş bir versiyonudur);
memnuniyetin yinelenen karakterizasyonu, Gottlob'un tarzında açık bir tanıma
dönüştürülür. Frege ve Dedekind; o zaman doğruluk, cümle ve tatmin kavramları
temelinde tanımlanır. Doyumun özyinelemeli tanımlamasını bir tanıma dönüştüren
adımı atıyoruz, böylece hakikati ve doyum yüklemlerini ilkel olarak ele
aldığımız gerçeğini açık hale getiriyoruz.
Temel olarak
aldığımız iki semantik kavramdan, tatmin veya hakikatten hangisi, biçimsel bir
bakış açısıyla, seçime açıktır. Gerçek, Tarski'nin gösterdiği gibi, memnuniyet
temelinde kolayca tanımlanır; ancak alternatif olarak, doyum, gerçeğin doğru
bir açıklamasını sağlayan herhangi bir ilişki olarak alınabilir. Tarski'nin
çalışması belirsiz sinyaller veriyor gibi görünebilir. Cümlelerin doğruluğunun,
kelimelerin semantik özelliklerine başvurularak tanımlandığı gerçeği, eğer
kelimelerin semantik özelliklerini (esas olarak gönderme veya tatmin) tatmin
edici bir şekilde açıklayabilseydik, hakikat kavramını anlayacağımızı
düşündürür. Öte yandan, teori tarafından karakterize edilen hakikatin
belirlenmesinde T kuralının kilit rolü , sezgisel hakikat kavramıyla aynı
uzantıya sahiptir ve temel ilkel olanın referanstan ziyade hakikat olduğu
izlenimini verir . . İkincisi bence doğru görüş. Gördüğümüz gibi, gelenek-T'ye
yaptığı çağrıda Tarski , hakikat kavramının önceden kavrandığını varsayar ;
daha sonra bu sezginin belirli diller için nasıl uygulanabileceğini ayrıntılı
olarak gösterir. Uygulama, referans kavramının, kelimeler ve şeyler arasındaki
bir ilişkinin - memnuniyet gibi bir ilişkinin - tanıtılmasını gerektirir.
Hakikat hakkındaki hikâye, dilde bir kalıp, mantıksal formların kalıbı ya da
doğru bir şekilde kavranmış dilbilgisi kalıbı ve semantik bağımlılıklar ağı
üretir. Hakikat üzerine olan, cümleler ya da onların kullanım durumları
hakkında olan bu hikâyeyi, cümle parçalarına anlamsal roller atfetmeden
anlatmanın bir yolu yoktur. Ancak , referans kavramının önceden anlaşılmasına
itiraz yoktur.
Bir hakikat
teorisine bu şekilde bakma, bir geleneğe aykırıdır. Geleneğe göre, onları
oluşturan sonlu bir kelime dağarcığından çıkarılan sözcükleri anlamadıkça,
geniş ve hatta sonsuz dizileri içindeki tümceleri asla anlayamayız ; orada-
anlam (aksi
takdirde teori sıradan anlamda bir teori değil, olası bir dilin tanımıdır). Ya
da Tarski'nin tercih ettiği tanımlayıcı biçime dönecek olursak: Bir hakikat
tanımının belirli bir dil için hakikati gerçekten tanımlayıp tanımlamadığı
sorulabilirse, dilin tanımdan bağımsız bir yaşamı olmalıdır (aksi halde tanım
sadece koşulludur : , ancak bir dil için doğru değil).
Bir hakikat
teorisini bir konuşmacıya veya bir grup konuşmacıya doğru şekilde uygulayan
şeyin ne olduğunu genel olarak bilseydik, makul bir şekilde hakikat kavramını
anladığımız söylenebilirdi; ve eğer böyle bir teoriyi tam olarak neyin doğru
kıldığını söyleyebilseydik , gerçeğin açık bir açıklamasını - belki de bir
tanımını - verebilirdik. Bir hakikat teorisinin doğruluğunun bir kriterden
farklı olarak nihai kanıtı, konuşmacıların dili nasıl kullandıklarına dair
mevcut gerçeklerde yatmalıdır. Kullanılabilir dediğimde, halka açık demek
istiyorum - yalnızca ilke olarak değil, aynı zamanda dili konuşan veya
konuşanları anlama yeteneğine sahip herkes için pratikte kullanılabilir.
Hepimiz bazı dilleri konuşanlardan bazılarını anladığımıza göre, bazı
konuşmacıların sözlerine doğruluk koşulları atfetmek için hepimizin yeterli
kanıta sahip olması gerekir; bu nedenle hepimiz, başkalarının konuşma
davranışına uygulanan hakikat kavramını yetkin bir şekilde kavrarız.
Realistlerin
savunduğu gibi hakikatin kökten epistemik mi olmadığı, yoksa diğerlerinin iddia
ettiği gibi temelde epistemik mi olduğu sorusunu artık çözebildik mi? Konu,
epistemik veya öznel görüş lehine çözülmüş gibi görünebilir , çünkü biz, o dil
için bir doğruluk teorisinin doğru olup olmadığına karar verenin dilin nasıl
kullanıldığı olduğu sonucuna götüren bir tartışma süreci izledik. Fakat
gerçekte mesele çözümlenmiş değildir, çünkü realistler teorinin belirli bir dil
veya konuşanlar grubu için doğru olup olmadığı sorusunun gerçekten ampirik
olduğunu, ancak yalnızca kelimelerin ne anlama geldiği sorusunun ampirik olduğu
için kabul edebilirler; doğruluk konusunun, teorinin kendisi veya başka bir
şekilde yanıtlanması gerektiği kabul edilebilir.
Teori zaten
cevabı içeriyor mu? Tarski tipi bir hakikat teorisinin bir uygunluk teorisi
olduğu iddiasının özü varsa , çünkü o zaman teori aslında hakikati gerçeklikle
uygunluk olarak tanımlamalıdır - hakikate ilişkin gerçekçiliğin klasik biçimi .
Tarski'nin kendisi, hakikat tanımlarının " klasik hakikat anlayışına
bağlı olan sezgilerin hakkını vermesini"' istediğini söyledi, ardından
Aristoteles'in Metafizik T'sinden ("ne olduğunu veya ne olmadığını
söylemek için") alıntı yapıyor. değildir, doğrudur") ve alternatif
bir formülasyon olarak sunar,
Bir tümcenin
hakikati, onun gerçeklikle uyuşmasından (ya da karşılık gelmesinden) oluşur.
şikayet ancak
hakikat epistemik bir kavram olsaydı. Karşılıklılık teorilerini reddetmenin tek
nedeni bu olsaydı, realist basitçe kendi pozisyonuna dokunulmadığı şeklinde
cevap verebilirdi; her zaman gerçeğin inançlarımızdan veya gerçeği öğrenme
yeteneğimizden bağımsız olduğunu savundu.
Tekabül
teorilerine gerçek itiraz daha basittir; gerçek cümlelerin karşılık
gelebileceği ilginç veya öğretici hiçbir şey olmamasıdır. Bu nokta bir süre
önce CI Lewis tarafından dile getirildi ; [50]gerçek
bir cümlenin tekabül ettiği gerçeğin ya da dünyanın olgusunu ya da bir bölümünü
bulması için uygunluk kuramcısına meydan okudu . Cümle onları
adlandırıyor veya tanımlıyorsa, tek tek nesnelerin yeri belirlenebilir, ancak
böyle bir konum bile yalnızca bir referans çerçevesine göre anlam ifade eder ve
bu nedenle muhtemelen referans çerçevesi, gerçek bir cümlenin karşılık geldiği
her ne ise ona dahil edilmelidir. . Lewis'in bu düşünce çizgisini takip etmesi,
eğer doğru cümleler herhangi bir şeye karşılık geliyorsa, bunun bir bütün
olarak evren olması gerektiği sonucuna vardı; bu nedenle, tüm doğru cümleler
aynı şeye karşılık gelir . Bildiğimiz gibi Frege , benzer bir akıl yürütme
yoluyla aynı sonuca ulaştı. Frege'nin argümanı, eğer Alonzo Church haklıysa,
formüle edilebilir: Gerçek bir cümlenin, [51]tekil
terimlerin yerine anlam ifade eden terimlerin veya mantıksal olarak eşdeğer
tümcelerin ikamesiyle farklı bir şeye karşılık gelemeyeceği varsayımından
hareketle, Doğru cümleler herhangi bir şeye karşılık geliyorsa, hepsinin aynı
şeye karşılık geldiğini gösterin. Ancak bu, yazışma kavramını tamamen
önemsizleştirmektir; Karşılık gelecek tek bir şey varsa, karşılık gelen
ilişkide bir ilgi yoktur, çünkü her durumda olduğu gibi, ilişki pekala basit
bir özelliğe indirgenebilir: yani "5 evrene tekabül eder", '5 Doğru'ya
karşılık gelir (veya adlandırır)' veya '5 gerçeklere karşılık gelir' gibi, '5
doğrudur' daha az yanıltıcı bir şekilde okunabilir. Peter Strawson [52], bir
cümlenin bölümlerinin dünyanın bölümlerine karşılık gelebileceğini (yani onlara
atıfta bulunabileceğini) gözlemledi, ancak şunu ekledi:
Açıktır ki,
dünyada sözün kendisiyle ilgili başka hiçbir şey yoktur . . . . Ve böyle bir
ilişkinin olması gerektiği talebinin mantıksal olarak saçma olduğu açıktır. . .
. Ancak dünyada ifadeyi doğru kılan bir şey için talep . . . veya
hangisine
gerçeklik ya da
hakikatin doğrudan epistemik güçlerimize bağlı olduğu doktrini . Böyle bir
reddetmenin bir anlamı var. Ancak gerçek ve doğrunun “inançlarımızdan bağımsız”
olduğu sloganını reddetmek ya da kabul etmek beyhudedir. Bu ifadeden
çıkarabileceğimiz tek apaçık olumlu anlam, ona değer verenlerin niyetlerine
uyan tek kullanım, karşılık gelme fikrinden türemektedir ve bu içeriksiz bir
fikirdir.[53]
Gerçeğin ve
doğrunun inançlarımızdan bağımsız olduğu doktrinini reddetmek, elbette, yanlışlıkla
ifade ettiği düşünülebilecek basmakalıplığı reddetmek değildir : bir şeye
inanmak, onu genel olarak doğru yapmaz. Çünkü basmakalıp sözlerin doğru
olduğunu kabul etmek, bizi inanç ve hakikat arasında hiçbir bağlantı olmadığını
söyleme yükümlü kılmaz; Eğer sözcelerin hakikatini onların kullanımıyla
ilişkilendireceksek, bir bağlantı olmalıdır. Soru, bu bağlantının ne
olabileceğidir.
Çeşitli
sübjektivizm biçimleri -yani hakikati epistemik bir kavram haline getiren
görüşler- insan düşüncelerini, arzularını ve niyetlerini oldukça farklı
şekillerde hakikate bağlar ve burada bu tür tüm görüşlerin hakkını verme
iddiasında bulunamam. Yapabileceğim en iyi şey, çeşitli konumlar arasındaki
farklılıklara rağmen neden hepsinden memnun kalmamanın mantıklı olduğunu göstermek.
Tutarlılık
hakikat teorilerini epistemik olarak sınıflandırdım ve bunun bir açıklamaya
ihtiyacı var. Saf bir tutarlılık hakikat teorisi, sanırım , tutarlı bir
cümleler kümesindeki tüm cümlelerin doğru olduğunu savunur. Belki de hiç kimse
böyle bir teoriye sahip olmamıştır, çünkü bu deliliktir. Tutarlılık teorileri
öne sürenler, örneğin (bir zamanlar) Neurath ve Rudolf Carnap ), tutarlılığının
onları doğru kılmaya yetecek kadar doğru olduğuna inanılan inançlar veya
cümleler olduğunu açıklığa kavuşturmuşlardır ; Bu nedenle tutarlılık
teorilerini epistemik görüşlerle sınıflandırıyorum: Onlar, hakikati doğrudan
inanılan şeye bağlar. Ancak daha fazla bir şey eklenmedikçe, bu görüş Moritz
Schlick'in savunduğu kadar yanlış görünüyor [54]("şaşırtıcı
bir hata" olarak adlandırdı); bariz itiraz, birbiriyle tutarlı olmayan
birçok farklı tutarlı inanç dizisinin mümkün olduğudur.[55]
Quine'ın
görüşünün yaptığı gibi, bir teoriye göre değil, bir kişinin kabul ettiği tüm
dil ve kavramsal şemaya göre . Elbette tüm bunlar , cümlelerin veya ifadelerin
doğruluğunun bir dile göre olduğu anlamına geliyorsa, bu tanıdık ve önemsiz bir
şekilde doğrudur. Ama Putnam'ın aklında başka bir şey var gibi görünüyor -
örneğin, sizin bir cümlenizle benim bir cümlem birbiriyle çelişebilir ve yine
de "konuşan için" her biri doğru olabilir. Bu pozisyonun hangi dilde
tutarlı bir şekilde, çok daha az ikna edici bir şekilde ifade edilebileceğini
düşünmek zor . Sıkıntının kaynağı yine hakikati ulaşılabilir kılma ihtiyacıdır.
Putnam, kendisini ilgilendiren hususun bu olduğu konusunda açık . Gerçeği
açıkça idealize edilmiş gerekçelendirilmiş ile katılık olarak tanımlar . Buna
bir gerçekçilik biçimi diyor çünkü "koşullar yeterince iyi olsaydı kararın
ne olacağına dair bir gerçek var, makul olsaydık hangi görüşün 'yaklaşacağı'
bir karar." Görüşünün " [56]insani
bir gerçekçilik , klasik görüş için çok değerli olan Tanrı'nın gözünden
doğru bir şekilde ileri sürülebilir olanın aksine, bizim için neyin doğru bir
şekilde ileri sürülebileceğine dair bir mesele gerçeği olduğuna dair bir inanç
" olduğunu ekler . metafizik gerçekçi” (ibid.). Birisinin bir şeyi
iddia etmekte ideal olarak haklı olduğu koşullar dile getirildiğinde , bu
koşulların ya hata olasılığına izin verdiği ya da amaçlanan bağlantıyı
kullanmayacak kadar ideal oldukları şüphesi uyandırır. insan yetenekleri.
Putnam'ın , alternatifin ("metafizik gerçekçilik" - yani bir uygunluk
kuramı) kabul edilemez olması dışında, pozisyonu için hiçbir argümanının
olmaması da çarpıcıdır . Başka bir pozisyonun olamayacağını iddia etmez.
, ana noktada,
yani hakikatin epistemolojik statüsünde kendi konumunu Dummett'inkine yakın
olarak tanımlıyor. Bir fark, Putnam'ın gerçeğin kesinlikle araştırılabilir
olanla sınırlı olduğu konusunda Dummett'den daha az emin olması ve bu nedenle iki
değerlilik ilkesinden vazgeçilmesi gerektiğinden daha az emin olmasıdır ; bu
belki de Put nam'ın kendi görüşüne neden gerçekçiliğin bir biçimi dediğini,
Dummett'in ise konumunu gerçekçilik karşıtı olarak adlandırdığını açıklıyor.
Putnam ayrıca, gerçeği gerekçelendirilmiş iddia yeteneği yerine idealize
edilmiş gerekçeli iddia edilebilirliğe bağlama konusunda Dummett'ten farklı
olduğunu düşünür ; ama burada, Dummett'in yakından okunmasının, onun da hemen
hemen aynı fikre sahip olduğunu göstereceğini düşünüyorum. Dummett , Putnam'ın
ideal koşullarına benzer bir şeyde ısrar etmiyorsa, o zaman Putnam'ın bir
zamanlar formüle ettiği bir Dummett eleştirisinin geçerli olduğunu düşünüyorum
: eğer hakikat basitçe haklı iddia edilebilirliğe bağlıysa , hakikat
"kaybedilebilir", yani bir sen -
anlaşılır , ancak
Dummett'in görüşünü tamamen yanlış buluyorum. Ancak , hakikatin radikal olarak
epistemik olmayan veya radikal olarak epistemik karakteriyle açıklanan realizm
ve antirealizmin, bir hakikat veya anlam teorisine içerik kazandırmanın tek
yolu olduğunu varsaymak için hiçbir neden göremiyorum .
Kısaca stok
yapalım. Bu makalenin ilk bölümünde, kavramın Tarski'nin belirli diller için
nasıl tanımlanacağını gösterdiğinden daha fazlası olmadığını öğreten ,
hakikatin deflasyonist görüşlerini reddettim. Bu bölümde, Tarski'nin bize
nasıl tarif edeceğimizi öğrettiği türden bir yapıya ampirik içerik vermenin
ötesine geçen, gerçeği karakterize etmeye yönelik bazı tanıdık girişimlerin
boş, yanlış veya karışık olduğunu öne sürdüm. Gerçeğin uygunluk, tutarlılık,
garanti edilen iddia edilebilirlik , ideal olarak gerekçelendirilen iddia
edilebilirlik, doğru insanların konuşmasında kabul edilen şey, bilimin sonunda
neyi savunacağı , bilimdeki tekil teorilerdeki yakınsamayı açıklayan şey veya
sıradan inançlarımızın başarısı. Gerçekçilik ve gerçekçilik karşıtlığı bu
hakikat görüşlerinden birine veya diğerine bağlı olduğu ölçüde, ikisini de
onaylamayı reddetmeliyiz. Radikal olarak epistemik olmayan tekabüliyet
konusundaki ısrarıyla gerçekçilik, bizim anlayabileceğimizden daha fazla
hakikat ister; antirealizm, hakikati tespit edilebilecek olanla sınırlayarak,
hakikati özneler arası bir standart olma rolünden mahrum eder. Olaya başka bir
açıdan bakmanın bir yolunu bulmalıyız.
içinde
şartlı bir
hakikat tanımının aksine , bazı cümleler külliyatındaki her cümlenin hakikat
koşulları hakkında ampirik bir teoridir. Ama elbette cümleler soyut nesnelerdir,
örneğin şekillerdir ve konuşmacılar ve karalayıcılar tarafından seslerde ve
karalamalarda somutlaştırılmadıkça doğruluk koşullarına sahip değildirler .
Nihayetinde , bir hakikat teorisinin ilgilenmesi gereken şey, dili
kullananların sözleri ve yazılarıdır ; Bir kuramda tümcelerin rolü, yalnızca ,
belirli türler gerçekleşmiş olsun ya da olmasın, sözce ve yazı türleriyle ilgilenmeyi
mümkün kılmaktır . Cümleleri tanıtmak bu nedenle iki amaca hizmet eder: aynı
türdeki tüm gerçek sözcelerden ve yazılardan tek bir nefeste bahsetmemizi sağlar
; ve belirli bir tipteki bir söz veya yazının hakikat koşullarının söylenmiş
olsaydı ne olacağını şart koşmamıza izin verir . (Kısa olması için buradan
itibaren, işitilebilir karşılıklarıyla birlikte sözceler olarak yazma
edimlerine değineceğim.)
Bazen bir grubun
tek sesle konuştuğunu söyleyebilsek de, ifadeler esasen kişiseldir; her
ifadenin aracısı ve zamanı vardır. Bir söz, özel türden bir olaydır, kasıtlı
bir eylemdir. Hakikat teorileri öncelikle cümlesellik ile ilgilidir.
hakikatin veya
anlamın doğasına ilişkin felsefi ilgi (gerçi iyi veya kabul edilebilir
tavırlarla çok ilgisi olabilir ve bazı konuşmacılar açısından [57]bir
niyeti, hatta bir tür sosyal sorumluluğu temsil edebilir ). Mevcut girişimin
amacı için, yani hakikati ve anlamı anlamak için, bence, bir konuşmacı
tarafından bir dinleyici kitlesine doğrudan sunulan şeye mümkün olduğunca sıkı
sıkıya bağlı kalmalıyız ve bu, konuşmacının zihninin ilgili durumudur. Başarılı
dilsel iletişim için önemli olan, bir yandan konuşmacının belirli bir şekilde
yorumlanma niyeti , diğer yandan da tercümanın konuşmacının niyetini tanıması
yoluyla konuşmacının sözlerinin amaçlanan çizgiler boyunca fiili olarak
yorumlanmasıdır.[58]
Takip ettiğim
yaklaşım , konuşucu ve tercüman veya bir konuşmacı ve bir konuşma topluluğu
tarafından paylaşılan bir şey olarak dil kavramına birincil bir ağırlık
vermiyor, ancak şu anlam dışında : Bakın, herhangi iki konuşmacının aynı
şekilde konuşmasını şart koşuyorsa , bu elbette konuşmacıların nasıl
yorumlanmak istediği ile tercümanlarının onları nasıl anladıkları arasında bir
uyum gerektirir. Bu talep, şüphesiz , ortak sosyal ve ekonomik statü, eğitim
ve etnik köken, vb . faktörlere bağlı olarak, kelime alışverişinde bulunanlar arasındaki
konuşma davranışında yakınlaşmayı teşvik etme eğilimindedir. hem derecesini hem
de felsefi önemini abartır. Ancak anlam, hakikat ve dilbilimsel iletişim
teorileri inşa ederken bu pratik meseleyi görmezden gelmemiz gerektiğini
düşünüyorum. [59]Bu nedenle
, hakikat teorilerini öncelikle hayatlarının çeşitli dönemlerinde ve hatta
anlarında bireysel konuşmacılara uygulanabilir şekilde ele alacağım.
Bir hakikat
teorisi konuşmacı ile tercüman arasında bağlantı kurar: hemen konuşmacının dilsel
yeteneklerini ve uygulamalarını tanımlar ve
Bir doğruluk
koşulları teorisinin, ifadelerin gerçek anlamlarını anlamak için neyin gerekli
olduğuna dair yeterli bir açıklama sağladığı tezi, elbette çok tartışmalıdır,
ancak bunu başka bir yerde uzun uzadıya tartıştığım için, çoğunlukla bu tezi
ele alacağım. tez burada bir varsayım olarak. Varsayım yanlışsa, doğruluk
kavramının uygulanması hakkında söyleyeceğim ayrıntıların çoğu tehlikeye
girecek , ancak genel yaklaşım bence geçerliliğini koruyacaktır.
Ampirik bir teori
olarak görülen bir doğruluk teorisi, ilgili sonuçlarıyla test edilir ve bunlar
teorinin gerektirdiği T-cümleleridir. Bir T-cümlesi, belirli bir konuşmacı
için, belirli bir cümleyi her söylediğinde, ifadenin ancak ve ancak belirli
koşullar yerine getirildiğinde doğru olacağını söyler. Dolayısıyla T-cümleleri,
doğa kanunlarının biçimine ve işlevine sahiptir; evrensel olarak
nicelleştirilmiş iki koşulludurlar ve bu nedenle karşı - olgusal olarak
uygulandıkları ve örnekleri tarafından onaylanacakları [60]anlaşılır
. [61]Bu
nedenle, bir doğruluk teorisi, sözlü davranışın temel bir yönünü tanımlamaya,
açıklamaya, anlamaya ve tahmin etmeye yönelik bir teoridir. Hakikat kavramı
teorinin merkezinde yer aldığından, hakikatin can alıcı derecede önemli bir açıklayıcı
kavram olduğunu söylemekte haklıyız.
Geriye kalan soru
şudur: Bir T-cümlesinin doğruluğunu nasıl teyit ederiz? Soru , hem fizik
bilimlerinde hem de psikolojide birçok teoriye göre ortaya çıkan bir soru
türüdür . Örneğin, temel ağırlık ölçümü teorisi, x en az y kadar ağır
olduğunda geçerli olan x ve y arasındaki ilişkinin özelliklerini
aksiyomatik biçimde belirtir; bu ilişki, diğer şeylerin yanı sıra, geçişli,
dönüşlü ve asimetrik olmalıdır . Bir tercih teorisi, zayıf tercih ilişkisinin
aynı biçimsel özelliklere sahip olduğunu şart koşabilir. Ancak aksiyomlar
hiçbir durumda merkezi ilişkiyi tanımlamaz (x en az y kadar ağırdır, x
zayıf bir şekilde y'ye tercih edilir) veya bize ilişkinin ne zaman geçerli
olacağını nasıl belirleyeceğimizi öğretmez. Önce
Kanıtı ifade
etmek için kullanılan kavramlar soru sormamalıdır; teorinin nihai olarak
ürettiği şeyden yeterince uzak olmalıdırlar. Bu son koşul, herhangi bir
aydınlatıcı analizden istediğimizden daha fazlası değildir, ancak en azından bu
durumda onu tatmin etmek zordur. Sözlü iletişimi anlamaya yönelik herhangi bir
girişim, onu doğal ortamında daha büyük bir girişimin parçası olarak
görmelidir. İlk başta bu zor olmayacak gibi görünüyor, çünkü dil, konuşmacılar
ve tercümanlar arasındaki kamusal işlemlerden ve bu tür işlemler için
yeteneklerden daha fazlası değildir. Yine de görev bizden kaçıyor. Çünkü
dilbilimsel görüngüler, egzotik bir anlam, gönderme, hakikat, iddia vb. sözcük
dağarcığında tanımlanan davranışsal , biyolojik ya da fiziksel olgulardan başka
bir şey değildir - bu tür bir olgunun ya da betimlemenin başka bir türe tabi
tutulmasından başka bir şey değildir. kavramsal indirgeme olasılığını garanti
etmez, hatta vaat etmez.
Sorunumuz burada
yatıyor. Şimdi en azından doğru türde bir çözüm olduğunu düşündüğüm şeyi
çizeceğim . Dilsel yeteneklerin ve başarıların anlık psikolojik ortamı, kasıtlı
deyimle tanımlanan tutumlarda, durumlarda ve olaylarda bulunabilir : kasıtlı
eylem, arzular, inançlar ve umutlar, korkular , dilekler ve girişimler gibi
yakın akrabaları. Çeşitli önerme tutumları ve onların kavramsal görevlileri, konuşmanın
meydana geldiği ortamı oluşturmakla kalmaz, aynı zamanda anlamanın , merkezi
bilişsel yapının iç içe geçmiş açıklamasıyla birlikte olmaması dışında,
dilbilimsel gerçeklerin derin bir anlayışına ulaşma şansı yoktur . ve yapıcı
tutumlar.
Bu temel yönelimsel
kavramların başka bir şeye - örneğin daha davranışsal, nörolojik veya
fizyolojik bir şeye - indirgenmesini istemek çok fazla. Bu üç temel unsurun
-inanç, arzu ve mana- herhangi birini diğerlerinden biri veya ikisi açısından
da tahlil edemeyiz ; ya da ben öyle düşünüyorum ve başka bir yerde tartıştım. [62]Ancak bu
temel üçlüde bir azalma gerçekleştirebilsek bile, sonuçlar istenebilecek olanın
altında kalır çünkü son nokta -örneğin konuşmanın yorumu- başladığımız yere
(inanç ve inançla) çok yakın olacaktır. istekle veya inanç ve arzunun ürünü
olan niyetle). Bu kavramlardan herhangi birinin temel açıklaması, hepsinin
ötesinde veya altında veya bir noktada hepsinden eşit uzaklıkta başlamalıdır.
Eğer durum buysa,
dilbilimsel olmayan amaçların veya niyetlerin önceden tanımlandığını varsayan
bir dilbilimsel anlam analizi radikal bir şekilde yanlış olacaktır.
arasında inanç
derecesini ortaya çıkaracaktı; ve eğer inanç derecesi biliniyorsa, seçimleri sonuçlara
koyduğu karşılaştırmalı değerleri açığa vuracaktır. Ancak , her iki bilinmeyen
de basit seçimlerden veya tek başına tercihten nasıl belirlenebilir? Ramsey bu
sorunu, yalnızca basit seçimler temelinde, doğru olma olasılığı en az onun
olumsuzlanması kadar doğru olan bir önerme bulmanın nasıl mümkün olduğunu
göstererek çözdü. Bu tek önerme daha sonra sonsuz bir dizi bahis oluşturmak
için kullanılabilir, aralarındaki seçimler tüm olası seçenekler ve olasılıklar
için bir değer ölçüsü verir. O halde, tüm önermelere olan inanç derecelerini
hesaplamak rutin bir işlemdir.
Ramsey, izin
verilen basit tercihler veya seçimler kalıpları üzerinde kısıtlamalar
belirleyerek bu hileyi tersine çevirmeyi başardı. Bu kısıtlamalar keyfi
değildir, ancak bir kişinin tercihlerinin ve seçim davranışının nedenlerinin
tatmin edici bir açıklamasının parçasıdır. Kısıtlamalar, bir failin kendi özel
ve nihai değerlerinde değil, fakat bunların birbirleriyle ve inançlarıyla
kombinasyon halinde oluşturdukları örüntüde rasyonel olması talebini dile
getirir. Bu nedenle teorinin güçlü bir normatif unsuru vardır, ancak tercih,
inanç, akıl ve kasıtlı eylem kavramlarının uygulanabilmesi için gerekli olan
bir unsur vardır.
Gözlemlenen
şeydeki örüntü , bir vekilin seçim davranışının anlaşılırlığının merkezinde yer
alır - bir nedenle yapılan eylemleri anlama yeteneğimizi belirler. Aynı örüntü,
kuramın gözlemlenebilen şeyle görece doğrudan bağlantılı olgulardan tek başına
daha karmaşık türden olguları (inanç derecesi, değer farklılıklarının karşılaştırılması)
çıkarabilme gücünün merkezinde yer alır. Teori açısından bakıldığında,
sofistike gerçekler basit, daha gözlemlenebilir olanları açıklarken,
gözlemlenebilir olanlar teoriyi test etmek veya uygulamak için kanıtsal temeli
oluşturur.
inanç ve tercih
kavramlarının tanımını temeline dayalı olarak sağlamaz . amaçsız kavramlar.
Bunun yerine, diğer iki kavrama, inanç derecesine ve değer farklılıklarının
karşılaştırılmasına içerik vermek için tek bir kasıtlı kavramı, kumarlar veya
sonuçlar arasındaki sıralı tercihi kullanır . Bu nedenle , teorinin yönelimsel
kavramları başka bir şeye indirgediğini düşünmek yanlış olur . Yine de,
karmaşık ve nispeten teorik kasıtlı kavramları , uygulamada genel olarak
gözlemlenebilir davranışa daha yakın olan kasıtlı kavramlara indirgeme yönünde
önemli bir adımdır . Her şeyden önce, teori, herhangi birinin önceden
anlaşıldığını varsaymadan, iki temel ve iç içe geçmiş önerme tutumuna bir
içerik atamanın nasıl mümkün olduğunu gösterir .
seçimleri ve
tercihleri belirlemede inanç ve tercih rollerini eşlemek .
Quine'ın çözümü,
ayrıntıda olmasa da prensipte Ramsey'inkine benziyor. Her iki durumda da en
önemli adım, belirli durumlarda bir faktörü sabit tutarken diğerini
belirlemenin bir yolunu bulmaktır. Quine'ın temel fikri, bir failin bir başkası
tarafından doğru yorumlanmasının, inanca göre yorumlayan ile yorumlanan
arasında belirli tür ve derecelerdeki farklılıkları anlaşılır bir şekilde kabul
edemeyeceğidir . Sonuç olarak, bir tercüman, yorumlama başlamadan önce bir vekilin
inançları hakkında belirli varsayımlar yapmakta haklıdır. Yoruma yönelik bir
kısıtlama olarak, buna genellikle Neil Wilson'ın [63]verdiği
adla hayırseverlik ilkesi denir. Anlamı ve inancı her ikisini de
varsaymadan ayırmak için bir araç olarak, anlamları olduğu gibi kabul eden veya
analitik-sentetik ayrımı varsayan herhangi bir anlam yaklaşımına mükemmel bir
alternatiftir.
Bundan sonra,
Quine'ın esinlenmiş yöntemini, onunkinden bazen önemli ölçüde sapan şekillerde
kullanıyorum. Mevcut konuyla ilgili bir fark şudur. Quine , bir konuşmacının
dilinden tercümanın diline başarılı bir çevirinin koşullarıyla ilgiliyken,
tercümanın konuşmacının dilinin anlambilimi hakkında bilmesi gerekenleri, yani
bir dilin gerektirdiği T-cümleleri tarafından aktarılan şeyi vurguluyorum.
doğruluk teorisi. Bu iki proje, Quine's ve benimki arasındaki ilişki açıktır;
Bir konuşmacının dili L için tercümanın dilinde M belirtilen bir
doğruluk teorisi verildiğinde , L' den Af'ye (en azından kabaca) tercüme
eden bir kılavuz üretmek oldukça basittir .[64]
Ancak sohbet yanlıştır; Bir doğruluk teorisine nasıl dahil edeceğimize dair
hiçbir fikrimiz olmadan tercüme edebileceğimiz birçok cümle var . Bir yorum
teorisinin bir hakikat teorisinin kısıtlamalarını karşılamasını talep etmek,
tercüme için gerekenden daha fazla yapının ortaya konması gerektiği anlamına
gelir .
Hayırseverlik
ilkesinin dediği gibi, kaçınılmaz olarak, bir konuşmacının onayladığı tümce
örüntüsünün mantıksal sabitlerin anlamlarını yansıttığını varsayarsak, bu
sabitleri saptamak ve yorumlamak mümkündür. Buradaki kılavuz ilkeler, karar
teorisinde olduğu gibi, normatif mülahazalardan kaynaklanmaktadır. İnançlar
arasındaki ilişkiler belirleyici bir kurucu rol oynar; Bir tercüman , kendi
rasyonellik standartlarından büyük veya bariz sapmaları kabul edemez.
(§§7-10), ancak
diğerlerinde farklıdır. En önemli fark, iletilebilir içeriği belirleyen nesne
veya olaylarla ilgilidir . Quine için bu, bir cümleyi onaylamaya sevk eden
sinir uçlarının kalıplarıdır; Bir konuşmacının gözlem cümlesi, bir tercümanın
gözlem cümlesiyle “uyarıcı eşanlamlıdır”, eğer konuşmacı ve tercüman aynı yakınsal
uyarım kalıplarıyla ilgili cümlelerini kabul etmeye veya reddetmeye
yönlendirilirse . Quine'ın fikri, anlamın her konuşmacı için doğrudan mevcut
olan kanıtlara bağlı olduğu şeklindeki ampirik fikri saygın bir bilimsel
biçimde yakalamaktır. Benim yaklaşımım aksine dışsalcıdır: Yorumun (en basit ve
en temel durumlarda) hem konuşmacı hem de tercüman için belirgin olan dış
nesnelere ve olaylara, yani konuşmacının sözlerinin tercüman tarafından sahip
olunan nesnelere ve olaylara bağlı olduğunu öne sürüyorum. konu olarak. Yorum
için önemli olan distal uyarandır. [65]Bu
noktanın önemi şimdi değerlendirilecektir .
Uzak referans
teorisi diyebileceğimiz
şeyin zorluğu, doğru olduğuna inanılan ile doğru olan arasındaki can alıcı
uçurum olan hatayı açıklamayı zorlaştırmasıdır ; uzak teori gerçeği inanca
dayandırdığından, sorun çok önemlidir. Çözüm, birbiriyle yakından ilişkili iki
yorumlama aracına bağlıdır. Konuşmacının ne anlama geldiğini çözmeye kararlı
bir tercüman, onay ve muhalefete neden olan şeylerden daha fazlasını not eder
; konuşmacının çevresinin özelliklerini gözlemlemek için ne kadar iyi
yerleştirildiğini ve donanımlı olduğunu not eder ve buna göre bazı sözlü
yanıtlara diğerlerinden daha fazla ağırlık verir. Bu ona, konuşmacının bir
koyuna keçi dediği, çünkü kelimeden ziyade hayvan hakkında yanılgıya düştüğü
sapkın vakaların açıklamasının temellerini sağlar. Daha incelikli ve daha
önemli olan araç , cümlelerin iç canlandırmasına bağlıdır . Bununla , bir
konuşmacının bir cümlenin hakikatini diğerlerinin hakikatini ne ölçüde
desteklediğini kastediyorum . Bu tür bağımlılıkların kanıtlarının mantıksal
sabitlerin yorumlanmasına nasıl yol açtığına dair bir örnek gördük. Ancak
kanıtsal destek konuları, hatayı açıklamaya yardımcı olarak sözde gözlemsel
terimlerin yorumlanmasına da yardımcı olabilir.
Eğitilmemiş
gözleme daha az doğrudan bağlı olan terimlerin yorumlanması, büyük ölçüde, aracının
uygulama için kanıt olarak neyi saydığını gösteren koşullu olasılıklara da
bağlı olmalıdır .
Bir cümlenin
hakikatini diğerine tercih etmenin kasıtlı bir durum olduğu ve ancak pek çok
psikolojik faktörün mevcut olduğu varsayımına dayandığı bilinebilecek bir durum
olduğu itiraz edilebilir . Bu doğrudur (çünkü aynı zamanda bir tümceyi
onaylamak ya da onaylamak da söz konusudur). Ancak amaç kasıtlı durumlardan
kaçınmak değildi; bireysel yönelmiş durumlardan, yönelmiş durumlardan,
(birinin dediği gibi) bir önerme nesnesi olan durumlardan kaçınmaktı . Bir
tümcenin doğruluğunun diğerine tercih edilmesi, bir fail ile iki tümceyi (ve
bir zamanı) ilişkilendiren genişlemeli bir ilişkidir. Cümlelerin ne anlama
geldiği bilinmeden tespit edilebildiği için , buna dayalı bir yorum kuramı,
önermesizden önermeliye doğru önemli bir adım atmayı umabilir .
Burada, ana
hatlarıyla, umudun nasıl tatmin edilebileceğini düşünüyorum. Cümlelerin hangi
derecelerde doğru tutulduğuna dair bilgiye dayalı olarak bir anlam ve inanç teorisine
nasıl ulaşacağımızı (yine anket formunda) daha önce görmüştük . Dolayısıyla ,
cümlelerin doğru olma tercihleri hakkındaki bilgilere başvurarak cümlelere olan
inanç derecesini türetebilseydik , başarılı bir birleşik teoriye sahip
olurduk.
Ramsey'nin Bayes
karar teorisi versiyonu, kumar veya bahse girmeyi esasen kullanır ve bu, projem
için bir zorluk yaratır. Bir failin, dilini yorumlama sürecinde çok yol kat
edene kadar, bir failin bir cümleyi bir kumar olarak gördüğünü nasıl
anlayabiliriz? Ne de olsa bir kumar, belirli bir olayın meydana gelmesi (tura
gelmesi) ile belirli bir sonuç (bir atı kazanırsınız) arasında muhtemelen
nedensel bir bağlantı belirtir. Bir failin böyle bir bağlantıyı ne zaman kabul
ettiğini söyleyebileceğimizi farz etsek bile , teorinin dolaysız uygulaması
aynı zamanda neden olan olayın (tura gelen madeni paranın ) kendi başına
negatif ya da pozitif hiçbir değeri olmamasına bağlıdır. Temsilcinin tura gelme
olasılığına atadığı olasılığın, bir atı kazanma olasılığı hakkındaki düşüncelerle
kirlenmediğini de varsaymak gerekir. Karar teorisinin deneysel testlerinde ,
bu varsayımların doğru olma şansına sahip olduğu ortamlar sağlanmaya çalışılır;
ama şu anda aklımızda olan genel uygulama bu kadar seçici olamaz.
Bayes karar
teorisinin bir versiyonunu Richard Jeffrey'e borçluyuz.[66]
ilk
kavramlarımıza ve ilk dilimize nasıl hakim olduğumuz [67]üzerine
. Temel önerme tutumlarımız arasındaki bağımlılıkları, onları birer birer
kavrayabileceğimiz -ya da anlaşılır bir şekilde başkalarına atfedebileceğimiz-
varsayımından kaçınacak kadar temel bir düzeyde ortaya çıkarmayı amaçlayan
kavramsal bir egzersizle uğraştım. Alıştırmayı gerçekleştirmek, ilke olarak
bunların hepsine aynı anda ulaşmanın nasıl mümkün olduğunu göstermeyi
gerektirmiştir. Bunu göstermek , düşünceye, arzuya ve konuşmaya yorumu mümkün
kılan bir yapı bahşettiğimize dair gayrı resmi bir kanıt sunmak anlamına gelir.
Elbette bunun mümkün olduğunu önceden biliyorduk. Felsefi soru şuydu : bunu
mümkün kılan nedir?
Görevi
uygulanabilir kılan şey, düşüncenin, arzunun, konuşmanın ve eylemin normatif
karakterinin başkalarına yönelik tutumların doğru atıflarına ve dolayısıyla
onların konuşmalarının yorumlarına ve eylemlerinin açıklamalarına dayattığı
yapıdır. Niyetsel atıf teorilerimizi yöneten normlar hakkında söylediklerim
kaba , belirsiz ve eksik. Bu tür bir anlayışa ilişkin anlayışımızı
geliştirmenin yolu, düşünce ve eylemin tüm yorumlarında örtük olarak bulunan
rasyonellik standartlarına ilişkin kavrayışımızı geliştirmektir.
Gözlem cümlelerinin
önerme içeriğinin (çoğu durumda) hem konuşmacı hem de tercüman için ortak ve
göze çarpan şeyler tarafından belirlendiği fikri , dil öğreniminin sağduyulu
görüşünün doğrudan bir bağıntısıdır. Düşünce ile anlam arasındaki ilişki ve
hakikatin rolüne ilişkin görüşümüz açısından derin sonuçları vardır, çünkü
yalnızca konuşmacıların görüşlerini paylaştığı bir temel seviye olmasını
sağlamakla kalmaz, aynı zamanda paylaştıkları şeyin büyük ölçüde doğru bir
resim olmasını da sağlar. ortak bir dünyanın Hem nesnelliğin hem de iletişimin
nihai kaynağı, konuşan, yorumlayan ve dünyayı ilişkilendirerek düşünce ve
konuşmanın içeriğini belirleyen üçgendir. Bu kaynak göz önüne alındığında,
göreceleştirilmiş bir hakikat kavramına yer yoktur.
bu koşulların
olasılıkları tarafından olağan şekilde ağırlıklandırılır . Temsilcinin bir
sonraki kart bir sinek ise beş dolar kazanacağına ve bir sonraki kart bir sinek
değilse hiçbir şey kazanmayacağına inandığını varsayalım; o zaman
"Temsilci bir dolara bahse giriyor" gerçeğinin "Bir sonraki kart
bir sinektir" gerçeğiyle veya yanlışlığıyla eşleştirilip
eşleştirilmeyeceği konusunda özel bir ilgisi olacaktır. Bu iki cümleyi '5' ve
7' ile kısaltalım. O zamanlar
prob ( s and t)des(s and t) 4- prob (s and ~t)des(s and
~t) d(!S\ Sj —
Bu, elbette,
Ramsey'nin kumarları gibi bir şey. Bununla birlikte, sonuçları belirlediği
düşünülen "doğa durumlarının", Ramsey'nin deyimiyle "ahlaki
açıdan tarafsız" olduğu, yani sonuçların arzu edilirliği üzerinde hiçbir
etkisinin olmadığı varsayımı olmaması bakımından farklılık gösterir. Sonuçların
olasılıklarının "doğa durumlarının" olasılıklarından başka bir şeye
bağlı olmadığı varsayımı da yoktur (temsilci, bir sonraki kart bir sinek olmasa
bile beş dolar kazanma şansı olduğuna inanabilir ve bir şans daha olabilir.
sonraki kart bir sinek olsa bile beş dolar kazanmayacaktır).
Arzu edilirlik
aksiyomu , olasılıkların Jeffrey'nin sistemindeki arzu yeteneklerine nasıl
bağlı olduğunu göstermek için kullanılabilir . t = ~s özel durumunu ele
alalım . O zaman elimizde
(1) des( s veya
~s) — des(s) prob (s) + des(~s) prob (~s)
prob (s) +
problar) = 1
olduğundan , prob (s)' için çözebiliriz .
hedefler veya ~s) — des(~s) prob
(s) = 1
des(s) —
des(~s)
ve onun
olumsuzlanmasının istenebilirliğine bağlıdır . Ayrıca, bir tümce 5 keyfi bir
mantıksal gerçekten (7 veya ~t' gibi ) daha arzu edilirse, o zaman onun
olumsuzlanmasının da ('~s') mantıksal bir gerçekten daha arzu edilir
olamayacağını görmek kolaydır. Herhangi bir mantıksal doğruluğa 0 sayısını
atadığımızı varsayalım . (Bir etmen bir totolojinin doğruluğuna kayıtsız
kaldığı için bu sezgisel olarak mantıklıdır.) O zaman (2) yeniden yazılabilir :
1 des(s) des(
~s)
Olasılık (lar)
0 ile 0
arasındaki aralıkta yer alıyorsa , des(s) ve des( ~s)'nin her
ikisinin de 0'dan daha fazla veya her ikisinin de daha az olamayacağı, herhangi
bir mantıksal gerçeğin arzu edilirliği hemen anlaşılır. 1. Eğer (Jeffrey'i
izleyerek) bir seçeneğe mantıksal bir doğruya tercih edilirse iyi, mantıksal
bir doğruya tercih edilirse kötü dersek, o zaman (3) bir seçeneğin (cümlenin)
imkansız olduğunu ve onun hem olumsuzlanmasının imkansız olduğunu gösterir. iyi
olmak ya da her ikisi de kötü olmak.
'~(s ve ~s)'yi
örnek mantıksal doğrumuz olarak alarak, bu prensibi tamamen tercihler açısından
ifade edebiliriz:
(4)
des(s) > des(~(s ve ~s)) ise , o zaman
des( ~(s ve ~s)) > des(~s) ve
Eğer des(~(s ve
~s)) > des(s) o zaman
des( ~s) >
des(~(s ve
~s)).
Hem olumsuzlama
hem de bağlaç , Sheffer konturu '|' cinsinden tanımlanabileceğinden (“her ikisi
de değil”), (4) yeniden yazılabilir:
[31]Kasım 1989'da Columbia
Üniversitesi'nde “Doğruluk Kavramı” üzerine üç ders olarak sunuldu; ilki, 9
Kasım'da “Gerçeğin Yapısı”; ikincisi, 16 Kasım'da “Doğruluk ve Bilgi” ; ve
üçüncüsü, 20 Kasım'da "The Con tents of Truth". John Dewey Vakfı
tarafından mümkün kılınan bu konferanslar, merhum John Dewey'i onurlandırmak
için 1967'de kurulan John Dewey Konferanslarının altıncı serisini oluşturur. 1905'ten
1930'a kadar Columbia'da felsefe profesörü olan Akeel'e minnettarım . Bilgrami
, Ernest LePore , Isaac Levi ve WV Quine yardımcı önerileri ve dostça
cesaretlendirmeleri için.
1 Deneyim ve Doğa (New York: Dover, 1958).
[32] Minneapolis: Minnes ota UP, 1982.
[33] "Pragmatizm, Davidson and Truth", LePore , ed., Truth
and Interpretation (New York: Blackwell, 1986), s. 333-355. Ayrıca bkz.
"Representation, Social Practice , and Truth", Philosophical
Studies, xxx (1988): 215-228.
[34] Kelime ve Nesne (Cambridge: MIT, 1960).
[35] "Bir Şeyin Başka Bir Şeyle Karşılaştırılması", New
Literary History, xvii (1985):
61-79.
[36] Referans ve Hakikat Teorileri, Erkenntnis , xm (1978):
111-130.
[37] "Üç Gerçekçilik Biçimi" Synthese , Li (1982):
181-201.
[38] Genellikle Leeds'e atfedilen bu nokta, Tarski tarafından
"The Semantic Conception of Truth", Philosophy and
Phenomenological Research, IV (1944), s. 359. Tarski ayrıca , "Platon
tarafından yazılan ilk cümle doğrudur" gibi cümlelerden "doğru"
kelimesini yalnızca alıntılamanın ortadan kaldıramayacağını da not eder. (
Fakat Tarski, Platon'un konuştuğu dil için bir hakikat tanımına sahip olmadığı
sürece, hakikat yükleminin bu kullanımını nasıl ortadan kaldıracağını da
göstermemiştir.)
[39] Dil ve Felsefe (Ithaca: Cornell, 1949), s. 104.
[40] "Gerçek", Proceedings of the Aristoteles Society, lix (1958-9): 141-162.
[41] “Tarski's Theory of Truth,” bu dergi,
lxix, 13 (13 Temmuz 1972): 347-375.
[42] Şaşırtıcı olmayan bir şekilde, bu listedeki kişilerin görüşleri,
Tarski'nin bir deflasyonist olduğu anlamında farklılık gösteriyor. Örneğin
Horwich , Tarski'den bahsederken "deflasyonist" terimini ortaya attı,
ancak o, Tarski'nin "şemasının" bir dilin ifadelerinin doğruluk
koşullarını ve dolayısıyla anlamlarını verdiğini savunuyor; onun görüşü esasen
şu
[43]Bu temanın gelişimi için, son
dipnotta atıfta bulunulan Putnam'ın çalışmalarına bakınız; ayrıca Soames, op.
cit. ; ve John Etchemendy , "Tarski on Truth and Logical
Consequence", The Journal of Symbolic Logic, liii (1988): 51-79.
[44] Felsefe ve Fenomenolojik Araştırma, IV (1944): 341-375.
[45] “Bilimsel Semantiğin Kuruluşu”, Logic, Semantics, Metamath
ematics içinde (New York: Oxford, 1956), s. 401.
[46] "Anlamsal Hakikat Kavramı", s. 341.
[47] "Bilimsel Semantiğin Kuruluşu", s. 403-4.
[48] Etchemendy , bir tanımdaki
"eğer ve ancak eğer" ifadesinin, maddi bir iddiadaki "eğer ve
ancak eğer" ile aynı anlama sahip olmadığını öne sürer, ancak bu ifadenin
ciddiye alınabileceğini düşünmüyorum çünkü fark, kendi içinde hiçbir fark
yaratmaz. Farklı semboller kullanarak sözde farkı işaretleyecek olsaydık,
sistemdeki çıkarım kurallarının değiştirilmesi gerekirdi. Etchemendy ,
önerisinin ciddiye alınma niyetinde olmadığını söylüyor (özel görüşme).
[49]Tarski, aksiyomatik doğruluk
teorileri verme olasılığını fark etti ve "böyle bir aksiyomatik prosedürde
esasen yanlış olan hiçbir şey yoktur ve çeşitli amaçlar için yararlı
olabilir" - "Semantic Conception of Truth", s. 352. Tarski'nin
hakikat kavramının aksiyomatik bir şekilde ele alınmasına açık bir tanımı
tercih etmesi için birkaç nedeni vardı. İlk olarak, aksiyom seçiminin
"temel olmayan faktörlere (örneğin, bilgimizin gerçek durumu gibi) bağlı
olarak oldukça tesadüfi bir karaktere sahip olduğunu" belirtir. İkincisi,
yalnızca açık bir tanım, ortaya çıkan sistemin tutarlılığını garanti edebilir
(sistemin yeni ilkel kavramların tanıtılmasından önceki tutarlılığı göz önüne
alındığında); ve üçüncüsü, yalnızca açık bir tanım, kavramın " bilim ve
fizikalizmin birliği varsayımlarıyla uyum içinde" olup olmadığı
konusundaki şüpheleri bastırabilir - "Bilimsel Semantiğin Kuruluşu",
s. 405-6. Aksiyomlar, tatmini karakterize etmek için gereken yinelemeli
tümcelerle sınırlandırılırsa, ilk tehlikeden kaçınılır; paradoks üretmenin
bilinen yolları tanıtılmadığı sürece ikincisinden (daha az kesin olarak)
kaçınılır; ve hakikatin fiziksel kavramlara indirgenemeyeceği tehdidi, bence,
kaçamayacağımız ve kaçmamız gerekmeyen bir tehdittir.
[50] Bir Bilgi ve Değer Analizi (La Salle, IL: Open Court, 1946), s.
50-55.
[51] Church tarafından Frege'ye atfedilen argüman, Church'ün Introduction
to Mathematical Logic, Vol. 1 (Princeton: University Press, 1956), s .
24-5. Frege'nin argümanı benim "Gerçeklere Doğru" kitabımda prova
edildi.
[52] Logico -Linguistic Papers'da (Londra: Methuen, 1971)
"Truth" .
[53] Arthur Fine, benim yaptığım bazı nedenlerle gerçekçilikten
vazgeçiyor ve gerçekçi bir hakikat görüşünün bilimin pratiğini ve ilerlemesini
açıkladığı tezinin muhteşem bir çürütücüsünü ekliyor - The Shaky Game'deki
"The Natural Ontological Attitude". : Einstein, Realism and the
Quantum Theory (Chicago: University Press, 1986).
[54] “Uber das Fundament der Erkenntnis ,” Erkenntnis , IV (1934):
79-99.
[55] Gerçeği tutarlı inanç kümeleriyle ilişkilendiren her teori yanlış
değildir. Standart tutarlılık teorilerine eklenmesi gereken şey , yalnızca
inançların nedensel ve mantıksal olarak birbirleriyle nasıl ilişkili olduğunun
değil, aynı zamanda bir inancın içeriğinin dünyayla nedensel bağlantılarına
nasıl bağlı olduğunun da takdir edilmesidir . Bu konulara bir sonraki bölümde
değineceğim. Ayrıca Truth and Interpretation: Perspectives on the
Philosophy'deki "A Coherence Theory of Truth and Knowledge" ve
"Empirical Content" bölümlerime bakın.
[56]Realism and Reason:
Philosophical Papers, Cilt 3 (New York: Cambridge , 1983), s. xviii.
[57] "Knowing One's Own Mind" adlı kitabıma bakın , Amerikan
Felsefe Derneği'nin Bildirileri ve Adresleri , lx (1987): 441-458.
[58] HP Grice'ın “Meaning ” The Philosophical Review, lxvi (1957): 377-388'in etkisi burada
açıkça görülecektir.
bir konuşmacının ara sıra
sözleriyle ne demek istediği sorusuyla ilgili olarak bir dizi olasılığı açık
bırakıyor . Konuşmacının belirli bir şekilde yorumlanmayı amaçlaması
gerektiğinden, dinleyicilerinin sözlerini bu şekilde yorumlayacak donanıma
sahip olduğuna inanmalıdır. Ancak bu inanç ne kadar haklı olmalı ve ne kadar
doğru olmalı? Belirli bir durumda söylendiği şekliyle bir kişinin sözlerinin ne
anlama geldiğine karar verme standartlarımızın, kişinin sözlerinin belirli bir
anlama sahip olduğuna dair başarısız bir niyet ile başarısız bir anlama eşlik
eden anlamda başarılı olma arasında keskin bir çizgi çekmemize izin verecek
kadar sağlam olduğuna inanmıyorum. niyet, niyet edildiği gibi yorumlanmalıdır.
[59] Inquiries into Truth and Interpretation'daki “Communi cation
and Convention” a bakın .
Bir konuşmacıyı anlamak
istiyorsa, bir sözcenin şaka mı, iddia mı, emir mi, soru mu vb. olup olmadığını
anlayabilmelidir . Dilin bu temel yönünü yöneten kurallar veya gelenekler
olduğuna inanmıyorum. Bu, dil kullanıcılarının dinleyicilere iletebileceği ve
dinleyicilerin de çoğu zaman saptayabileceği bir şeydir; ancak bu, bu
yeteneklerin düzenlenebileceğini göstermez. Dilin bu boyutuyla ilgili ciddi bir
teorinin mümkün olmadığını düşünmek için sağlam nedenler olduğunu düşünüyorum.
Metafor, ironi, mizah vb. oluşturmak veya anlamak için daha az gelenek veya
kural vardır. Inquiries into Truth and Interpretation'daki
"Metaforların Anlamı Nedir" ve "Uylaşım ve İletişim"
bölümlerime bakın.
[61]Bu, anlam teorileri olarak
hakikat teorilerine yönelik sık sık yapılan eleştirilere cevap vermenin bir
yolunu bulur. Örneğin, aynı uzantıya sahip iki yapılandırılmamış yüklem
(olağandışı) durumu göz önüne alındığında, hiçbir zaman ortaya çıkmayan ancak
doğruluk koşullarının farklı olacağı koşullar varsa, bir doğruluk teorisi bir
ayrım yapabilir.
[62]Bu iddiaları destekleyen
düşünceler için bkz. "İnanç ve Anlamın Temeli", Synthese ,
xxvn (1974): 309-323; "Radikal Yorum", Dialectics xxvn (1973):
313-328; ve "Thought and Talk", Samuel Guttenplan , ed., Mind and
Language (New York: Oxford, 1975), s. 7-23.
[63] "Substrata Olmayan Maddeler", Review of Metaphysics, XII
(1959): 521-539.
[64] tamamen düz olmayabilir ; İngilizce 'now' kelimesinin çevirisini
içermeyen, ancak 'now' kelimesini içeren İngilizce cümlelerin doğruluk
koşullarını verebilen bir dil hayal etmek kolaydır.
[65] Quine'ın anlam teorisinin bu yönünü “Meaning, Truth and Evidence”,
R. Gibson, ed., Perspectives on Quine'de (New York: Blackwell, 1989)
tartıştım. Orada, Quine'in bazen, özellikle The Roots of Reference'ta (La
Salle, IL: Open Court, 1973) "uzak" kuramı benimsediğini görüyorum.
[66] Karar Mantığı (Chicago: University Press, 2. baskı, 1983). Jeffrey'nin
teorisi, standart teorilerle aynı dönüşüm kümelerine kadar olasılıkları ve
faydaları belirlemez. Jeffrey'nin teorisinde, lineer bir dönüşüme kadar
belirlenen bir fayda fonksiyonu yerine, fayda fonksiyonu yalnızca kesirli bir
lineer dönüşüme kadar benzersizdir; ve olasılık atamaları, kesinliği ölçmek
için bir sayı seçildiğinde benzersiz olmak yerine (her zaman Bir ), yalnızca
belirli bir niceleme içinde benzersizdir. Belirlilikteki bu azalmalar,
[67] Herhangi bir yorumlanabilir düşünce ve dil sisteminin karmaşıklığı
göz önüne alındığında, yorumlamaya yönelik pek çok alternatif yaklaşım olması
gerektiğini varsayıyorum. Bir tanesini özetledim; diğerleri pekala daha az
yapay olabilir veya yorumlama pratiğiyle ilgili sezgilerimize daha yakın
olabilir. Ancak , çizdiğim prosedürün uygulanabilir olandan tamamen uzak olduğu
kabul edilmemelidir. Başlangıç olarak, samimi bir rica veya talep olarak ele
alınabilecek her ifadenin, söyleyenin belirli bir cümlenin olumsuzlanması
yerine doğru olmasını tercih ettiğini ifade etmek için alınabileceğini
gözlemleyin . Karar teorisindeki çoğu deneysel çalışma, deneklerin yazılı veya
sözlü olarak açıklanan alternatifler arasında yaptığı seçimleri veri olarak
alır. Normalde deneklerin bu açıklamaları deneycilerin yaptığı gibi anladıkları
varsayılır . Bu varsayımdan vazgeçmek, tam olarak burada sunulan yaklaşımın
gerektirdiği türden verileri verir.
Not: Bazen Büyük Dosyaları tarayıcı açmayabilir...İndirerek okumaya Çalışınız.
Yorumlar