get ebooks free

Share the ideas ...


Forall x: an introduction to Formal Logic
by P.D. Magnus

Category: Philosophy Books
Usage:
Creative Commons
Ebook Format: PDF
Total Downloads: 1267

Login or Register to Download this eBook

Register Here


Sponsored links:
Forall x: an introduction to Formal Logic by P.D. Magnus
Free Ebook Synopsis

In formal logic, sentences and arguments 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 text describes two formal languages which have been of special importance to philosophers: truth-functional sentential logic and quantified predicate logic. The book covers translation, formal semantics, and proof theory for both languages. This can be used as the textbook for a semester long course in logic, for a unit on logic, or for self-directed study. Each chapter contains practice exercises; solutions to selected exercises appear in an appendix.The author is an assistant professor of philosophy at the University at Albany, SUNY.