[FOM] Salvaging Frege's Logicism

[Zuhair Abdul Ghafoor Al-Johar]

 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!

http://zaljohar.tripod.com/typing.pdf

Best Regards

Zuhair