Logicism

[Deutsch, Harry]

Yes, Boolos denies that FA is a system of logic, but others such as Crispin Wright (last I looked) maintain that it is. The issue turns on whether “Hume’s principle” is a principle of logic—and yes, it’s a kind of axiom of infinity. In any case, the Fregean derivation of the Peano axioms in FA is very much in the logicist vein. But how about Church’s simple theory of types? He thought of this as a system of “logistic”  Harry

On Aug 12, 2020, at 9:54 AM, Richard Kimberly Heck <richard_heck at brown.edu<mailto:richard_heck at brown.edu>> wrote:

And Boolos denies, surely rightly, that this is a system of logic.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20200812/d96df06d/attachment-0001.html>