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