作者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