Sémantická teorie pravdy

Sémantická teorie pravdy nebo sémantický pojem pravdy je soubor principů, které používají pojmy matematické logiky k formalizaci myšlenky pravdy . Byl vynalezen matematikem Alfredem Tarskim ve dvacátých a třicátých letech 20. století a publikován v roce 1933 v článku Pojęcie prawdy w językach nauk dedukcyjnych (z polštiny - „Pojem pravdy v jazycích deduktivních věd“).

Nápad

Základem sémantické teorie pravdy je Tarského schéma , které uvádí [1] , že pro jakýkoli výrok $T$ $A$

Výrok " " je pravdivý tehdy a jen tehdy .

A

A

Například,

Výrok „sníh je bílý“ je pravdivý právě tehdy, když je sníh bílý.

Všimněte si, že toto poslední tvrzení se liší od tautologie

Sníh je bílý právě tehdy, když je sníh bílý.

Navíc „sníh je bílý“ vlevo je výrok v jednom jazyce a „bílý sníh“ vpravo je v jiném [1] . Výše uvedené tvrzení lze skutečně nahradit

Výrok „ sníh je bílý “ je pravdivý právě tehdy, když je sníh bílý.

Formalizace

Pro formalizaci konceptu schématu je nutné vzít v úvahu dva formální jazyky - jazyk nebo objektový jazyk a jazyk nebo metajazyk . Předpokládá se, že bude obsahovat kopii a umožní diskusi o prohlášeních z , aniž by překračoval . Potřebný je také unární predikát , takový, že je pravdivý tehdy a jen tehdy, když je výrok jazyka pravdivý. A konečně, jazyk musí obsahovat axiomy syntaxe potřebné ke specifikaci predikátu bez odkazu na jakékoli další pojmy jako „prostředky“ [2] . $T$ $L$ $M$ $M$ $L$ $L$ $M$ $True$ $True(A)$ $A$ $L$ $M$ $True$

V článku z roku 1933 Tarski navrhuje, že by se jako metajazyk použilo něco jako logika vyššího řádu , ale tuto roli nyní častěji hraje neformální teorie množin [2] .

Poznámky

↑ 1 2 Pravda: 4. Tarskiho sémantická teorie archivována 27. října 2017 na Wayback Machine v internetové encyklopedii filozofie
↑ 1 2 Tarski's Truth Definitions Archived 10. listopadu 2001 na Wayback Machine ve Stanford Encyclopedia of Philosophy