Explore
Forall X: An Introduction to Formal Logic
P. D. Magnus
2012
7 Ungluers have
Faved this Work
Login to Fave
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. For more information, see the forall x homepage and the author's homepage. http://www.fecundity.com/logic/
Why read this book? Have your say.
You must be logged in to comment.
yoleus
Rights Information
Are you the author or publisher of this work? If so, you can claim it as yours by registering as an Unglue.it rights holder.Downloads
This work has been downloaded 476 times via unglue.it ebook links.
- 476 - pdf (CC BY-SA) at Internet Archive.
Keywords
- Computers
- Nonfiction
- Software
Editions