Forall X: Introductory Textbook in Formal Logic

Front Cover
University Press of Florida, 2009 - Mathematics - 160 pages
This book is an introduction to sentential logic and first-order predicate logic with identity, logical systems that significantly influenced twentieth-century analytic philosophy. It contains content, practice exercises, symbolic notations, and solutions to selected exercises. After working through the material in this book, a student should be able to understand most quantified expressions that arise in their philosophical reading. Anyone using this book is best advised to make a hard copy for reading and to work through practice exercises with pencil and paper. See: http: // to download the book in raw LaTeX, and to link to Lulu on-demand publisher to order a bound hard copy. The most recent version is available on-line at http: //, OGT+ ISBN: 97816161003

What people are saying - Write a review

User Review - Flag as inappropriate

This edition is not made with the author's approval and does not reflect the current version of the book. The book is under an open license and is available for free from the official website:

Bibliographic information