Konvensjon T

I språkfilosofien forstås konvensjon T som det ledende prinsippet i Alfred Tarskis semantiske sannhetsteori . Det ble formulert som følger i hans publikasjon fra 1935 om sannhetsbegrepet:

En formelt riktig definisjon av symbolet Tr, formulert i en metallspråk , kalles en tilstrekkelig definisjon av sannhet hvis det har følgende konsekvenser:

(a) Alle setninger som er hentet fra uttrykket " Tr (x) hvis og bare hvis p" hvis symbolet x erstattes av et strukturelt beskrivende navn på en eller annen setning i det aktuelle språket og symbolet p erstattes av uttrykket som oversettelsen av dette uttrykket til metalspråkformene kan stamme fra det.

(b) Teoremet for alle x: hvis Tr (x), så kan S (x) (med andre ord: Tr ᑕ S) avledes av det.

Enkelt sagt, det er en konvensjonell betingelse for sannhetsdefinisjoner på språk. En sannhetsteori basert på slike definisjoner kreves for å være utstyrt med tilstrekkelig beskrivende potensial for å komme med uttalelser om skjemaet

Uttalelsen x er tilfelle er sant hvis x er tilfelle

eller for å gi et spesifikt eksempel

Påstanden snø er hvit er sant når snø er hvit

å konstruere.

Konvensjonen krever altså eksistensen av en metallspråk som i tillegg til logiske lenker og objekter også inneholder predikatet "er sant". Metalspråket må derfor være rikere enn språket påstandene av typen “x er tilfelle” er konstruert (det såkalte objektspråket ). “Konvensjonen T” er altså et forsøk på å formalisere sannhetsattribusjoner (i sammenheng med det underliggende språket) ved hjelp av et krav om språkets struktur. Samtidig fastslår konvensjonen hvordan man kan definere et sannhetsbegrep i formelle språklige systemer. Konvensjonen sier imidlertid ingenting om betingelsene for at "x er tilfelle" i eksemplet ovenfor. Det handler primært - hvis du vil - bare om sammenhengen mellom sannheten i den formelle uttalelsen og sannheten i fakta.

Tarskis konvensjon T er et begrep som ofte siteres , spesielt i språkfilosofien , som ofte er knyttet til Benacerraf-dilemmaet som senere ble satt opp av Paul Benacerraf . Den amerikanske filosofen Donald Davidson refererer til Tarskis arbeid i sin semantiske teori for naturlige språk.

hovne opp

1. ↑ A. Tarski: Begrepet sannhet i formalisert språk. Studia Philosophica 1 (1935), s. 261-405. (Originaltittel: Pojęcie prawdy w językach nauk dedukcyjnych , 1933)