谓项量化理论

传统逻辑中认为直言命题的谓项也带有量项的一种理论，主要由英国近代逻辑学家W．汉密尔顿所提出。他认为在实际思维中，直言命题的谓项都是带有量项的。他提出以下8种命题形式：

汉密尔顿的理论有重大缺陷。afi，ifi，ana，ina即SAP，SIP，SEP，SOP。afa乃SAP与PAS的合取。ifa即PAS。ani即POS。ini应为xy(S(x)∧P(y)∧x≠y)。在S，P不空，并且至少各有2个元素的假设下，即使S与P全同，ini也是常真的。以上8种形式也并不符合自然语言的习惯用法。