谓词逻辑的历史

传统逻辑，也叫做词项逻辑，是关于亚里士多德（公元前384年—前322年）所开创的传统逻辑学的宽松的术语，并有幸的没有经历广泛的改变，直到十九世纪末末出现了谓词逻辑。

有时很难理解在弗雷和罗素之前的哲学，原因是对他们之前的所有哲学家们所共识的术语和观念没有基本的掌握。

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

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