布兰顿的单称词项理论

推理主义意义理论把推理看作是意义的充分条件。专名和摹状词都是单称词项。单称词项有句法标准和语义标准。在句法标准上,一个表达式是单称词项仅当它可以被替换;从语义标准看,一个表达式是单称词项仅当所有由该表达式构成的替换对的替换推理是对称的,并且没有与这个替换对相独立的表达式是实质涉入的。由于包含存在承诺,导致出现一类特殊的反例,这也是布兰顿推理主义意义理论隐藏的一个缺陷。