Forall X: An Introduction to Formal Logic

Forall X: An Introduction to Formal Logic


7 Ungluers have Faved this Work
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.

Why read this book? Have your say.

You must be logged in to comment.

Rights Information

Are you the author or publisher of this work? If so, you can claim it as yours by registering as an rights holder.


This work has been downloaded 435 times via ebook links.
  1. 435 - pdf (CC BY-SA) at Internet Archive.


  • Computers
  • Nonfiction
  • Software


edition cover


Copy/paste this into your site: