塔爾斯基的真理論

塔爾斯基的真理論（Tarski's theory of truth）， 於1933年由波蘭邏輯學家阿爾弗雷德·塔斯基（Alfred Tarski）提出。 其中文名詞在中國是2003年發布的自然辯證法名詞。

基本介紹

• 中文名：塔爾斯基的真理論
• 外文名：Tarski's theory of truth
• 所屬學科：邏輯學，語言哲學， 自然辯證法
• 提出者：阿爾弗雷德·塔斯基（Alfred Tarski）
• 提出時間：1933年

起源

在1920年代後期，阿爾弗雷德·塔斯基（Alfred Tarski）著手對科學方法中有用的概念進行嚴格的定義。 1933年，他用波蘭語發表了對真實句子概念的分析。 這篇長篇論文承擔了兩項任務：首先是說對於給定的正式語言，什麼才算是對“真實句子”的令人滿意的定義；其次，對於各種形式語言，它確實存在對“真實句子”的令人滿意的定義。

他討論了“真實句子”的定義應符合的標準，並舉例說明了特定形式語言的幾種此類定義, 試圖建立新的真理理論以解決說謊者悖論。

中國公布時間和出處

2003年經全國科學技術名詞審定委員會審定發布， 見於《自然辯證法名詞》第一版。