单项选择题

根据塔斯基的语义学,以下说法错误的是()。

A.在形式算术的系统中,如果对象语言和元语言的变元具有相同的逻辑类型,而且元语言的词项和语法形式都能在对象语言中得到翻译,那么真是可以定义的
B.塔斯基通过定义满足来定义真:对象语言中的闭语句是真的,当且仅当,它被所有序列所满足
C.一个可接受的真定义应该满足的两个条件:一是实质的充分性,二是形式的正确性
D.语义悖论产生的原因有两个:一个是日常语言的语义封闭性;而是通行的逻辑推理规则在其中成立

热门 试题

相关试题