Logicism

[Deutsch, Harry]

How about the system Boolos calls “Frege Arithmetic.” See Logic, Logic, and Logic.
Harry

Sent from my iPad

> On Aug 10, 2020, at 11:20 AM, Joe Shipman <joeshipman at aol.com> wrote:
> 
> [This message came from an external source. If suspicious, report to abuse at ilstu.edu<mailto:abuse at ilstu.edu>]
> 
> 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