… But it so happens that you just used second-order logic, because you talked about groups or collections of entities, whereas first-order logic only talks about individual entities.

— Standard and Nonstandard Numbers

— Eliezer Yudkowsky

— Less Wrong

2015.04.17 Friday ACHK