Шотландский философ и логик. Рассматривал суждения как уравнения, при этом, не только субъект, но и предикат категорических суждений квантифицируется. Выделил 8 видов таких категорических высказываний:
U все S есть все P,
I некоторые S есть некоторые P,
A все S есть некоторые P,
Y некоторые S есть все P,
ни одно S не есть ни одно P,
ω некоторые S не есть ни одно P,
ŋ ни одно S не есть некоторые P,
ο некоторые S не есть ни одно P.
Ввел для них символическую запись, названную его именем (так называемые, гамильтоновы знаки). Работы: Лекции по метафизике и логике. В 4 тт. (1859-1860).