Logicism

[Joe Shipman]

There seems to be agreement that some mathematical propositions can be shown to be equivalent to truths of logic, and others can’t, but drawing a line between what is “logical” and what is “mathematical” is hard.

I’ve had trouble finding a simple, streamlined development of BASIC logicism. Can anyone provide a source for a presentation of a logical system (by which I mean, at the very least, a computable deductive calculus that generates truths of logic) , and an interpretation of theorems of Peano Arithmetic as logical truths in this system?

— JS

Sent from my iPhone