Quantificação de predicado
Hamilton propôs para a lógica a quantificação de predicado, que consiste em enunciar nas proposições a quantidade do predicado, de modo a poder transformar a cópula numa cópula simétrica. Assim temos as proposições toto-totais (todos os S são todos os P), toto-parciais (todos os S são alguns P); parti-parciais (alguns S são alguns P) e parti-totais (alguns S são todos os P).