谓词的历史发展

由亚里士多德提出的概念，在十九世纪前后由多位数学家发展蓬勃。

词项逻辑在历史上的大多数时期统治着逻辑学，直到一个世纪前出现了谓词逻辑，在十九世纪晚期和二十世纪早期导致了它的衰落。

衰落的最终原因是新逻辑在数学推理上的优势，它就是为此设计的。例如，词项逻辑不能解说从“所有轿车都是交通工具”到“所有轿车的主人都是交通工具的主人”的推理，而这对于谓词逻辑是很基本的事情。它被限制于三段论论证，并且不能解说涉及到多重普遍性的推理。关系和同一性必须被作为主词-谓词关系来处理，这使得数学的同一性陈述难于处理，当然还有单称项和单称命题，它们对于现代谓词逻辑是基本性的，根本就不能适当的描述。