Downloads & Free Reading Options - Results

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/

forall x is an open access introductory textbook in formal logic. It covers translation, proofs, and formal semantics for sentential and predicate logic.

Surely the most deeply-rooted need of the human soul, its purest aspiration, is for the closest possible union with God. As one turns over the pages of this little work, written by Blessed Albert the Great towards the end of his life, when that great soul had ripened and matured, one feels that here indeed is the ideal of one's hopes. (From the Preface)