编辑: 被控制998 | 2015-12-21 |
1 7 Z D A
0 2
4 ;
安徽省教育厅高校人文社科研究资助项目: S K
2 0
1 6 A
0 0
8 2 [作者简介]赵震 (&($)% ) , 男, 河北沧州人, 安徽大学哲学系讲师, 哲学博士, 主要从事真理论与悖论研究.
真理论悖论是与 "真" 这个词的用法有关的各种悖论, 比如说谎者悖论、 库里悖论、 雅布洛悖论 等*#+ . 这里以说谎者悖论为例. 考虑下面这个句子: () : " () " +,#& 句子 " () " 说它自己不是真的. 其中 () 是这个句子, " () " 是这个句子的名字. 那么问题是这个句子 是不是真的呢? 假设这个句子是真的, 因为它说自己不是真的, 所以按照它的意思它不是真的. 假设它不 是真的, 因为它说的就是自己不是真的, 所以它是真的. 所以这个句子是真的当且仅当它不是真的. 悖论! 真理论悖论的产生通常由以下几个因素导致: (#) 语言表达力的丰富性, 使得它可以构造一些特殊 的句子, 比如 "本句话不是真的" 这样的特殊句子. (!) ,-模式, 即"是真的当且仅当 " , 其中 是句子, 是 的名字. (.) 某些逻辑推理规则, 结合 ,-模式可以从 (#) 中构造的这类特殊句子推出矛盾. 因而, 通常对真理论悖论的处理有以下几种思路: (#!) 限制语言, 通过降低语言的表达力使得无法构造出这类 特殊的句子;
但是这类方法会降低语言的表达力. (!!) 修改逻辑推理规则, 使得从特殊的句子无法推出 矛盾;
但是这类方法会降低逻辑的推理能力. (.!) 对,-模式进行修改或限制, 同样使特殊句子无法推出 矛盾;
但是通常认为 ,-模式是 "真" 这个词的最重要意义, 修改 ,-模式会使 "真" 失去意义. 本文将通过对 "真" 这个词的日常语言分析, 指出 "真" 这个词有两种用法: 谓词用法和算子用法. 两 种用法并非等价. ,-模式中的 "真" 应该是算子用法. 真理论悖论正是混淆了 "真" 的这两种用法导致的.
一、 塔斯基的 模式 首先考察一下 ,-模式. ,-模式最早是塔斯基提出来的. 他在 ",/0
10234567 89470:5694 9;
, 5/0 ?9=4>35694 9;
10234567@" 一文中指出: 考虑 "雪是白的" 这个句子. 我们问在什么情况下这个句子是真的或假的. 似乎很清楚, 如果我 们以古典真概念为基础, 我们应该说如果雪是白的, 这个句子是真的;
如果雪不是白的, 它是假的. 因此, 如果真的定义与我们的概念相一致, 它必须蕴涵下面的等价式: "雪是白的" 这个句子是真的当且仅当雪是白的 ……现在我们推广我们上面应用的过程. 考虑任意句子. -./ "" 012345-.678 9:5;
/?@A=BCDEF8A5 ?;
@A5B:@1C "B5::, DE-'7 具体可参见 F*>G5B 82>H2I9 2;
< "9@>@. J5>I9, "K5I5::@1@5: 2;
< K5I5::2BC )B419:: L "B*>53*05;
*;
1*
195 /512.9C:@I: *M /*@1C" , 6+72, NOOE, F*>7DDP, K*7',E, ..7-D+DOO7 具体可参见 Q4:2;
;
5 R*HS@5;
, "T5:12>1 Q9@M1: @;
195 U@2B *B J9C V)W/ X:
195 U*3@I *M Q502;
1@I /*@1@5:" , 5/4(/01+$7 $7 1*/ :+'%, RB25C LB0*4B+T2B< 594: /8?
945 @$>8?/93$8 $= 657/893:1&*(%A43B$1$5%@$07/B A43B$1$941: . A0$B5C$758$8 9$
945 G59/