Logicism

[Christoph Benzmueller]

Dear Joe,

you may also want to have a look at Chapter 6 of Peter Andrews textbook:
An Introduction to Mathematical Logic and Type Theory: To Truth Through
Proof, 2002
https://www.springer.com/de/book/9781402007637

Best wishes,
   Christoph
*--*
*Christoph Benzmüller, *Prof. Dr. habil. (http://christoph-benzmueller.de)
Freie Universität Berlin, Dep. of Mathematics and Computer Science




On Mon, 10 Aug 2020 at 18:20, Joe Shipman <joeshipman at aol.com> wrote:

> 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20200812/51547cb2/attachment-0001.html>