| 语义悖论 semantic paradox;semantic antinomy 语言哲学用语。指一种涉及标示、定义和真理等语义概念应用的逻辑矛盾。著名的例子是“说谎者悖论”：如果这句话是假的，那么它就不是谎话，即它又是真的;如果这句话是真的，那么它就是谎话，即它又是假的。罗素用他提出的分支类型论来排除这种悖论。认为悖论起源于自我指称的恶性循环，为了避免这种恶性循环，应区分类和个体(类的分子)，它们属于不同类型;同时，同一类型的谓词(命题函项)又区分为不同的价。拉姆赛于1925年最早把逻辑悖论同语义悖论区别开来，认为逻辑悖论产生于逻辑系统之中，而语义悖论只涉及逻辑概念的应用，产生于对逻辑系统本身的谈论之中。故要克服语义悖论，应区分语言层次来消除语义概念的含糊性。塔尔斯基利用希尔伯特的对象语言和元语言的区分来消除语义悖论，认为关于对象语言的真值等语义概念必须用元语言来定义。元语言比对象语言更丰富，层次更高，可以克服语义悖论。如“说谎者悖论”，用元语言来定义其真值，便可消除。“我说谎”这句用对象语言表达的话，应当用元语言的一个表达式——作为它的一种称谓来标示，如称之为x，于是它的真值便可定义为：x是真的，当且仅当我说谎。克里普克在1975年提出修正塔尔斯基的方法。他认为语义悖论的语句没有真值，如“x是真的”本身，人们没有根据说它是真还是假，应把“真值”放在对象语言中，由经验语境来决定，谓词则应放在元语言中。 |