眞値条件论

或称真值基础语义学，是以真值来解释意义的学说。它认为，了解一个语句的意义就是要了解在什么条件下使这个语句为真。在命题逻辑中，一个复合命题的真值是由组成它的支命题的真值与联结词的性质决定的。例如，“p∧q”这个复合命题的真值是只有当p这个支命题和q这个支命题皆真的时候，它才是真的；在p与q两个支命题中有一个为假或两个都假的时候，它就是假的。这就是对合取式也是对合取符号∧的语义解释。关于支命题(原子命题)成真的条件，美籍波兰逻辑学家A．塔尔斯基提出一个T公式：

(T) x是真的，当且仅当p。

这里x是一个语句而p是描写x的真值条件的一个命题集，也就是说p是命题而x是p的名称。在自然语言中，为了区别x与p，可将代入x的语句加上引号而将代入p的命题不加引号，例如，“‘雪是白的’是真的，当且仅当雪是白的”。前一部分表示“雪是白的”这个语句是真的，后一部分列出使其为真的条件是当且仅当事实上雪是白的。T公式的特点在于将一个语言实体和一个非语言实体相配对。

真值条件论主要适合于解释人工语言形式系统的语义，但是现代语义学家也依据它在人工语言中的研究成果转过来研究自然语言中的语义问题，特别是依据塔尔斯基对“真值”概念的解释以及对对象语言与元语言的区分。不过真值条件论在解释语义上仍有其局限性。它最有效的解释对象是陈述句，对祈使句、疑问句、感叹句的解释就存在较大的困难，这些语句的意义很难只归结为真值，即使对陈述句也存在难以确定其真值的情况，如对包含“善良”、”美好”这一类词的价值命题和表达情感的语句，就不能简单地用“真”和“假”来表示其意义；遇到一些隐喻性的语句，(像法国象征派大师波特莱尔的诗句：“自然是一座神殿”之类)也难确定其真假。另外，依据言语行为理论，一句话语除具有命题内容之外，还具有一定的语旨用意(illocutionary force)，它是以“恰当性”条件为其基本的语义概念，显然它不能以真值条件来解释。