> On Jul 16, 2023, at 9:04 PM, Marshall Stoner <[email protected]> wrote:
> I do have a good text on ZFC set theory ("Axiomatic Set Theory" by Suppes)
> and have taken a class on that a long time ago. It just isn't super formal
> and doesn't cover logic or proof theory at all. I'd like to find a better
> introduction to logic but I'd hate to buy a clone of Mendelson. It's tough
> to tell how good a text is based on reviews.
It's not exactly what you're looking for, but you might find this paper
interesting, which tries to justify the ZFC axioms:
Believing the Axioms. Penelope Maddy. The Journal of Symbolic Logic,
Vol.53,No.2.(Jun.,1988),pp.481-511.
https://www.cs.umd.edu/~gasarch/BLOGPAPERS/belaxioms1.pdf
It sounds like you're looking for something similar for predicate and
propositional logic.
--- David A. Wheeler
--
You received this message because you are subscribed to the Google Groups
"Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/metamath/821F29E4-25F3-41DA-8FF0-E35CFEB254A5%40dwheeler.com.
