FOM: advanced logic of Shipman

Kanovei kanovei at
Thu Oct 1 12:28:23 EDT 1998

Shipman wrote: 

<then all mathematics can be seen as "advanced logic" and logicism is a complete

Mathematics is "advanced logic" perhaps only if you understand 
"logic" as a description of basic rules of mathematical 
thought which (the rules) were first (historically) determined 
by *counting pebbles*, so to speak. 
Simillarly: USA home politics is "advanced constitution of USA".

Vladimir Kanovei

More information about the FOM mailing list