说谎者悖论和指称意图.pptVIP

说谎者悖论和语义指称的意图V2.0 胡义昭 ，中国社会科学院哲学研究所 2014年6月14日，四川双流西蜀人家 思想线索 预演 二值原则的修正 三个真值谓词 T模式的调整 悖论的展示 语义指称 语义指称意图的落空 尾声 预演 （简单说谎者） 这个句子是假的。 （指称等值） L ? false (L) （T模式） L ? true (L) （不可接受的结论） false (L) ? true (L) 二值原则的修正 在真值true、false之外，引入第三个真值：neither。 三值原则 对于任何一个（陈述性）句子S，它的真值 tv(S) 是而且只是true、false、neither，三者之一。 三个真值之间互相互斥的原则，联合起来构成所有真值。 真值原则的修正动机。 三个真值谓词 true ( )， false ( )，neither ( ) : 它们的定义真值表 真值谓词的定义 （1）既包含了对T模式的修正， （2）又提示了对说谎者悖论当中的指称等值的修正。 T模式的调整 悖论的展示（继续以简单说谎者为例） 语义指称 指称：一个表达式意图以一个对象为其语义值。 指称的意图可能实现，可能落空。 语义指称：E1意图以E2的语义值（而非语形值）为其语义值。 如果E2的语义值是可以确定的，那么E1的指称意图实现。 语义指称的意图实现： sv(E1)=sv(E2)。 句子真值是其语义值的一部分，因此在句子层次上的实现： tv(E1)=tv(E2)。 如果E2的语义值是无法确定的，那么E1的指称意图落空。 语义指称意图的落空 简单说谎者：“这个句子是假的。” “这个句子” ? sv(“这个句子是假的。”) 如果意图实现，sv(“这个句子”)=sv(“这个句子是假的。”) sv(“这个句子是假的。”)的确定有赖于sv(“这个句子”)的确定，而后者的确定有赖于前者的确定，由此陷入恶性循环，无法确定。 语义指称意图落空，也就无法确立tv(L)=tv(false(L))。 消解悖论。 “这个句子是真的。”：同样落空。 尾声 多个说谎者、无穷说谎者：继续落空。 是说谎者句子，而不是说谎者命题 V2.1的终结。 谢谢。 * neither false true true(S) false true false false(S) true neither false false false true neither(S) S false false true true true(S) S false neither false false true true true(S) S tv(false(L))=false tv(L)=false tv(false(L))=false tv(L) != false tv(false(L))=true tv(L)= false tv(L)=tv(false(L)) X X X tv(L)= neither tv(L)= false tv(L)= true