FOM: advanced logic of Shipman

[Kanovei]

Shipman wrote: 

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

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