Semantisk teori om sanning

"Convention T" omdirigerar hit. Ej att förväxla med T-schema .

En semantisk teori om sanning är en teori om sanning i språkfilosofin som menar att sanning är en egenskap hos meningar.

Ursprung

Den semantiska sanningsuppfattningen, som på olika sätt är relaterad till både korrespondensen och deflationsuppfattningarna , beror på arbete av den polske logikern Alfred Tarski . Tarski försökte i "On the Concept of Truth in Formal Languages" (1935) formulera en ny teori om sanning för att lösa lögnarparadoxen . Under loppet av detta gjorde han flera metamatematiska upptäckter, framför allt Tarskis odefinierbarhetsteorem med samma formella teknik som Kurt Gödel använde i sina ofullständighetsteorem . Grovt sett säger detta att ett sanningspredikat som uppfyller konvention T för meningarna i ett givet språk inte kan definieras inom det språket.

Tarskis sanningsteori

För att formulera språkliga teorier utan semantiska paradoxer som lögnarparadoxen är det i allmänhet nödvändigt att skilja språket man talar om (objektspråket) från språket man använder för att prata (metaspråket ) . I det följande är citerad text användning av objektspråket, medan icke citerad text är användning av metaspråket; en citerad mening (som " P ") är alltid metaspråkets namn för en mening, så att detta namn helt enkelt är meningen P som återges i objektspråket. På så sätt kan metaspråket användas för att tala om objektspråket; Tarskis sanningsteori ( Alfred Tarski 1935) krävde att objektspråket skulle inrymmas i metaspråket.

Tarskis villkor för materiella tillräcklighet , även känd som konvention T , menar att varje gångbar teori om sanning måste innebära, för varje mening " P ", en mening med följande form (känd som "form (T)"):

(1) "P" är sant om, och endast om , P.

Till exempel,

(2) "snö är vit" är sant om och endast om snö är vit.

Dessa meningar (1 och 2 etc.) har kommit att kallas "T-meningarna". Anledningen till att de ser triviala ut är att objektspråket och metaspråket båda är engelska; här är ett exempel där objektspråket är tyska och metaspråket är engelska:

(3) "Schnee ist weiß" är sant om och endast om snön är vit.

Det är viktigt att notera att som Tarski ursprungligen formulerade det, gäller denna teori endast formella språk , jfr. också semantik av första ordningens logik . Han gav ett antal skäl för att inte utvidga sin teori till naturliga språk , inklusive problemet att det inte finns något systematiskt sätt att avgöra om en given mening i ett naturligt språk är välformad, och att ett naturligt språk är stängt (det vill säga, den kan beskriva de semantiska egenskaperna hos sina egna element). Men Tarskis tillvägagångssätt utvidgades av Davidson till ett förhållningssätt till teorier om betydelse för naturliga språk, vilket innebär att behandla "sanning" som ett primitivt, snarare än ett definierat, begrepp. (Se sanningsvillkorlig semantik .)

Tarski utvecklade teorin för att ge en induktiv definition av sanning enligt följande. (Se T-schema )

För ett språk L som innehåller ¬ ("inte"), ∧ ("och"), ∨ ("eller"), ∀ ("för alla") och ∃ ("det finns"), ser Tarskis induktiva definition av sanning ut som detta:

• (1) Ett primitivt påstående " A " är sant om, och endast om, A .
• (2) "¬ A " är sant om, och endast om, " A" inte är sant.
• (3) " A ∧ B " är sant om, och endast om, " A" är sant och " B" är sant .
• (4) " A ∨ B " är sant om, och endast om " A" är sant eller " B" är sant eller (" A" är sant och " B" är sant ).
• (5) "∀ x ( Fx )" är sant om, och endast om, för alla objekt x; "Fx" är sant.
• (6) "∃ x ( Fx )" är sant om, och endast om, det finns ett objekt x för vilket "Fx" är sant.

Dessa förklarar hur sanningsvillkoren för komplexa meningar (byggda av bindemedel och kvantifierare ) kan reduceras till sanningsvillkoren för deras beståndsdelar . De enklaste beståndsdelarna är atomära meningar . En samtida semantisk definition av sanning skulle definiera sanning för de atomära meningarna enligt följande:

• En atomär mening F ( x ₁ ,..., x _n ) är sann (relativt till en tilldelning av värden till variablerna x ₁ , ..., x _n )) om motsvarande värden på variabler bär förhållandet uttryckt av predikat F .

Tarski definierade själv sanning för atomära meningar på ett variant sätt som inte använder några tekniska termer från semantiken, som "uttryckt av" ovan. Detta beror på att han ville definiera dessa semantiska termer i samband med sanningen. Därför skulle det vara cirkulärt att använda en av dem i själva definitionen av sanningen. Tarskis semantiska sanningsuppfattning spelar en viktig roll i modern logik och även i samtida språkfilosofi . Det är en ganska kontroversiell punkt om Tarskis semantiska teori ska räknas antingen som en korrespondensteori eller som en deflationsteori .

Kripkes sanningsteori

Se även: Sanning § Kripkes semantik

Kripkes teori om sanning ( Saul Kripke 1975) är baserad på partiell logik (en logik av delvis definierade sanningspredikat istället för Tarskis logik med helt definierade sanningspredikat) med det starka Kleene-utvärderingsschemat .

Se även

• Diskvoterande princip
• Logikens semantik
• T-schema
• Treenigt kontinuum paradigm

Vidare läsning

•   Simon Blackburn och Keith Simmons, red., 1999. Sanning . Oxford University Press, ISBN 0-19-875250-4 .
•   Michael K Butler, 2017. Deflationism och semantiska teorier om sanning . Pendlebury Press, ISBN 0993594549 .
• Wilfrid Hodges , 2001. Tarskis sanningsdefinitioner . I Stanford Encyclopedia of Philosophy .
•   Richard Kirkham , 1992. Theories of Truth . Bradford Books, ISBN 0-262-61108-2 .
• Saul Kripke , 1975. "Outline of a Theory of Truth". Journal of Philosophy , 72: 690–716.
• Alfred Tarski , 1935. "The Concept of Truth in Formalized Languages". Logic, Semantics, Metamathematics , Indianapolis: Hackett 1983, 2:a upplagan, 152–278.
• Alfred Tarski, 1944. Den semantiska sanningsuppfattningen och semantikens grunder . Filosofi och fenomenologisk forskning 4.

externa länkar

• Semantic Theory of Truth , Internet Encyclopedia of Philosophy
• Tarski's Truth Definitions (en post från Stanford Encyclopedia of Philosophy )
• Alfred Tarski , 1944. Den semantiska sanningsuppfattningen och semantikens grunder . Filosofi och fenomenologisk forskning 4.