Semantisk sanningsteori - Semantic theory of truth

"Convention T" omdirigerar här. Det ska inte förväxlas med T-schema .

En semantisk sanningsteori är en sanningsteori i språkfilosofin som hävdar att sanningen är en egenskap av meningar.

Ursprung

Den semantiska sanningsuppfattningen, som på olika sätt är relaterad till både korrespondens och deflationsuppfattningar , beror på arbete från den polska logikern Alfred Tarski . Tarski, i "Om begreppet sanning i formella språk" (1935), försökte formulera en ny sanningsteori för att lösa lögnarens paradox . Under det här gjorde han flera metematematiska upptäckter, framför allt Tarskis odefinieringssats med samma formella teknik som Kurt Gödel använde i sina ofullständighetssatser . Ungefär säger detta att ett sanningspredikat som uppfyller konvention T för meningarna på ett visst språk inte kan definieras inom detta språk.

Tarskis sanningsteori

För att formulera språkliga teorier utan semantiska paradoxer som lögnparadoxen är det i allmänhet nödvändigt att skilja språket som man pratar om ( objektspråket ) från det språk 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 det här namnet helt enkelt är den mening P som återges på objektspråket. På detta sätt kan metaspråket användas för att prata om objektspråket; Tarskis sanningsteori ( Alfred Tarski 1935) krävde att objektspråket skulle ingå i metaspråket.

Tarskis materiella adekvat villkor , även känd som konvention T , hävdar att varje livskraftig sanningsteori 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 bara om snö är vit.

Dessa meningar (1 och 2, etc.) har kommit att kallas "T-meningar". 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ö är vit.

Det är viktigt att notera att som Tarski ursprungligen formulerade det, gäller denna teori endast för formella språk . Han redogjorde för 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 tillvägagångssätt för betydelseteorier för naturliga språk, vilket innebär att man behandlar "sanning" som ett primitivt snarare än ett definierat koncept. (Se sanningsvillkorad semantik .)

Tarski utvecklade teorin för att ge en induktiv definition av sanningen 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 detta:

  • (1) En primitiv uttalandet " 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 bara 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 sanningsförhållandena för komplexa meningar (uppbyggda av anslutningsmedel och kvantifierare ) kan reduceras till sanningsförhållandena för deras beståndsdelar . De enklaste beståndsdelarna är atomsatser . En samtida semantisk definition av sanningen skulle definiera sanningen för atommeningarna enligt följande:

Tarski själv definierade sanningen för atomsatser på ett varierande sätt som inte använder några tekniska termer från semantik, såsom "uttryckt av" ovan. Detta beror på att han ville definiera dessa semantiska termer i sanningens sammanhang. Därför skulle det vara cirkulärt att använda en av dem i själva definitionen av sanningen. Tarskis semantiska uppfattning om sanningen 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 korrespondenssteori eller som en deflationsteori .

Kripkes sanningsteori

Se också: Sanningen § Kripkes semantik

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

Se även

Referenser

Vidare läsning

externa länkar