Science Without Numbers
Videos
Science Without Numbers: A Defence of Nominalism is a 1980 book on the philosophy of mathematics by Hartry Field. In the book, Field defends nominalism, the view that mathematical objects such as numb
The cover for the first edition, published by Princeton University Press
Second-order logic
Videos
In logic and mathematics, second-order logic is an extension of first-order logic, which itself is an extension of propositional logic. Second-order logic is in turn extended by higher-order logic and
Graffiti in Neukölln (Berlin) showing the simplest second-order sentence admitting nontrivial models, “∃φ φ”.