[FOM] Salvaging Frege's Logicism

Zuhair Abdul Ghafoor Al-Johar zaljohar at yahoo.com
Sun May 26 08:16:55 EDT 2013

 Dear FoMers,

 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!


Best Regards


More information about the FOM mailing list