作者MathTurtle (恩典)
看板logic
標題Re: [請益] 真與假
時間Sat Feb 21 19:17:25 2009
※ 引述《Jer1983 (stanley)》之銘言：
: 最近在看林照田老師所著的邏輯學入門，在第二章第三節談論什麼叫做真和假
: 的問題。他首先引述了亞里斯多德的話：
: 把是什麼說成是什麼，把不是什麼說成不是什麼，便是真；反之。。。便是假。
: （所以上面這句話是當成真理的定義？）
: 接著他說上面這句話可以這樣表示：
: "P"是真的 =df P
: 這邊就不懂作者想表達的意思了。
: **********************************************************************
: 還有最後一段：
: "X"是真的 =df P（此處X代表P之名）
: 這邊也看不懂。
: **********************************************************************
: 最後我想問，有人可以幫忙點出這節在講什麼嗎？標題為：什麼叫做真和假。
: 可是我看不出來作者在這節想傳達的概念？ 謝謝。
你問到大問題了, 目前有很多文獻在討論真之理論,
簡單講(非常簡略), 亞里斯多德的那段引言表達了我們對「真」這個概念的直覺,
而要把這個直覺用一個formal language 表述出來,
Tarski 提出了所謂的 truth-scheme:
'p' is true if and only if p;
或是
X is true if and only if p
左邊的 'p'或 X是在語言當中的句子, 而後面其餘的是一個後設語言中的表達,
舉例而言:
'雪是白的' is true if and only if snow is white,
當中我們用英文當作後設語言來給出 '雪是白的' 這句中文句子的真假條件,
把語言當中所有的句子所形成恰當的truth-scheme集合起來,
(再處理一下語義paradox的問題), 就成為一個真理的定義。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 131.111.224.87
1F：推 aletheia:看到數龜大師發文都會想M 02/23 03:23
2F：→ MathTurtle:但我寫的太簡略了...T-theory要寫清楚太難了 02/23 15:11
3F：→ MathTurtle:所以不如有問題大家討論討論可以把它弄清楚 02/23 15:12
4F：推 Jer1983:T-theory是什麼? 02/23 17:14
5F：→ MathTurtle:Tarskian theory of truth...(推文太短了我簡寫) 02/23 17:27