Show Bookstore Categories

forall x: an introduction to formal logic

ByP.D. Magnus

Usually printed in 3 - 5 business days
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.

Details

Publication Date
Nov 27, 2005
Language
English
Category
Education & Language
Copyright
All Rights Reserved - Standard Copyright License
Contributors
By (author): P.D. Magnus

Specifications

Pages
154
Binding
Perfect Bound
Interior Color
Black & White
Dimensions
US Letter (8.5 x 11 in / 216 x 279 mm)

Ratings & Reviews