Forall x: Introduction to Formal Logic, version 1.40

Authors

P.D. Magnus, University at Albany, State University of New YorkFollow

Files

Description

In formal logic, sentences and arguments in English are translated into mathematical languages with well-defined properties. If all goes well, properties of the argument that were hard to discern become clearer. This book covers translation, formal semantics, and proof theory for both sentential logic and quantified logic. Each chapter contains practice exercises; solutions to selected exercises appear in an appendix

Publication Date

12-29-2017

Keywords

logic, text book

Disciplines

Logic and Foundations of Mathematics | Philosophy

Comments

This may be old version of the text. The current version is available at http://www.fecundity.com/logic

Recommended Citation

Magnus, P.D., "Forall x: Introduction to Formal Logic, version 1.40" (2017). Philosophy Faculty Books. 5.
https://scholarsarchive.library.albany.edu/cas_philosophy_scholar_books/5