[FOM] Salvaging Frege's Logicism
Zuhair Abdul Ghafoor Al-Johar
zaljohar at yahoo.com
Sun May 26 08:16:55 EDT 2013
The link below refers to the exposition of Definitional Typed Second Order Logic.
A system that I lately coined to promote the program of logicism. Typing of predicates
follows recursively from purely logically motivated formation rules of typed formulas
where definition of predicates decides typing.
The system is beautiful! it interprets second order arithmetic!
More information about the FOM