T-schema - T-schema
Den T-schema ( "sanning schema ", inte att förväxla med " Convention T ") används för att ge en induktiv definition av sanning som ligger i hjärtat av varje förverkligandet av Alfred Tarski s semantisk teori om sanning . Vissa författare hänvisar till det som "Equivalence Schema", en synonym introducerad av Michael Dummett .
T-schemat uttrycks ofta på naturligt språk , men det kan formaliseras i många-sorterad predikatlogik eller modalogik ; en sådan formalisering kallas en " T-teori ." T-teorier utgör grunden för mycket grundläggande arbete inom filosofisk logik , där de används i flera viktiga kontroverser inom analytisk filosofi .
Som uttryckt på semi-naturligt språk (där 'S' är namnet på meningen förkortad till S): 'S' är sant om och bara om S.
Exempel: "snö är vit" är sant om och bara om snö är vit.
Den induktiva definitionen
Genom att använda schemat kan man ge en induktiv definition för sanningen av sammansatta meningar. Atommeningar tilldelas sanningsvärden diskotiskt . Exempelvis blir meningen "" Snö är vit "sant" materiellt ekvivalent med meningen "snö är vit", dvs. "snö är vit" är sant om och bara om snö är vit. Sanningen i mer komplexa meningar definieras i termer av meningskomponenterna:
- En mening i formen "A och B" är sant om och bara om A är sant och B är sant
- En mening i formen "A eller B" är sant om och bara om A är sant eller B är sant
- En mening i formen "om A då B" är sant om och endast om A är falsk eller B är sant; se materiell implikation .
- En mening i formen "inte A" är sant om och endast om A är falsk
- En mening i formen "för alla x, A ( x )" är sant om och endast om, för alla möjliga värden på x , är A ( x ) sant.
- En mening i formen "för vissa x, A ( x )" är sant om och endast om, för något möjligt värde av x , A ( x ) är sant.
Naturliga språk
Joseph Heath påpekar att "Analysen av sanningspredikatet som tillhandahålls av Tarskis Schema T är inte kapabel att hantera alla händelser av sanningspredikatet på naturligt språk. Speciellt behandlar Schema T endast" fristående "användningar av predikatet - fall när det tillämpas på kompletta meningar. " Han ger som "uppenbart problem" meningen:
- Allt som Bill tror är sant.
Heath hävdar att analys av denna mening med hjälp av T-schema genererar meningsfragmentet - "allt som Bill tror" - på den högra sidan av den logiska biconditional .
Se även
Referenser
externa länkar
- Zalta, Edward N. (red.). "Tarskis sanningsdefinitioner" . Stanford Encyclopedia of Philosophy .
- Zalta, Edward N. (red.). "Konsekvenser av de semantiska paradoxerna" . Stanford Encyclopedia of Philosophy .
