作者Jer1983 (stanley)
看板logic
标题Re: [请益] 真与假
时间Wed Mar 11 17:39:23 2009
※ 引述《MathTurtle (恩典)》之铭言:
: 你问到大问题了, 目前有很多文献在讨论真之理论,
: 简单讲(非常简略), 亚里斯多德的那段引言表达了我们对「真」这个概念的直觉,
: 而要把这个直觉用一个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的问题), 就成为一个真理的定义。
我稍微了解了 多谢
另外我想问, 在科学的领域有很多数字是"估计"出来的,
比如当我说"地球上的蚂蚁大约有XX只"这句话 -- 事实上我们不可能知道正确的数字 --
即使穷尽了所有的人力金钱与技术, 我们得到的只能是最精确的估计值.
在这种情况之下, "地球上的蚂蚁大约有XX亿只"这个语句不就是永远为假?
类似这种情形很多, 甚至有一些人造的经济指标, 如国民生产毛额GDP
-- 世界上本来是没有这个指标的, 是人们硬性规定出来的 -- 同样, 我们永远也不
可能正确的估计出GDP的数字, 得到的也只是很精确的估计值, 在这种情况之下, 每年
政府公布的GDP数字不也是永远为假?
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 124.8.238.64
1F:推 aletheia:你有两个假定 1.世界上有一类东西A 03/11 22:13
2F:推 aletheia:2.A是人类无法得知的 03/11 22:13
3F:推 aletheia:我想问的是 这样的A跟三太子有甚麽不同呢 03/11 22:14
4F:推 aletheia:当然这是比较极端的问句就是了 03/11 22:30
5F:→ Jer1983:不太懂你说的... 03/11 23:01
6F:推 aletheia:这样说好了 在科哲中 你的问题是科学实在论和工具论不同 03/11 23:56
7F:推 aletheia:科学有没有一个所指的实在? 两种想法对此回答不一样 03/11 23:57