| 《逻辑形式的新分析》 New Analysis of Logical Form 英国汉密尔顿著。1846年发表。书中把判断表述为等式，并对判断的谓项也给予量的区别，即“谓项的量化”。认为为了三段论，应当区别八种不同的陈述句形式，即：(1)所有X是所有Y。(2)所有X是有的Y。(3)有的X是所有Y。(4)有的X是有的Y。(5)任何X不是任何Y。(6)任何X不是有的Y。(7)有的X不是任何Y。(8)有的X不是有的Y。该书和在1860年发表的《形而上学逻辑学讲义》中提出的由直言命题中带有量化的谓项所构成的新式三段论一起，被看作是打破了认为逻辑领域内不可能取得新进展的迷信观点，是英国逻辑学家革新形式逻辑的起点，新式三段论等的提出开启了数理逻辑的新的进程。 |