Logo

forall x: An Introduction to Formal Logic

Large book cover: forall x: An Introduction to Formal Logic

forall x: An Introduction to Formal Logic
by


ISBN/ASIN: B002ACW8VA
Number of pages: 160

Description:
forall x is an introduction to sentential logic and first-order predicate logic with identity, logical systems that significantly influenced twentieth-century analytic philosophy. After working through the material in this book, a student should be able to understand most quantified expressions that arise in their philosophical reading.

Home page url

Download or read it online for free here:
Download link
(0.6MB, PDF)

Similar books

Book cover: Topics in Logic and FoundationsTopics in Logic and Foundations
by - The Pennsylvania State University
This is a set of lecture notes from a 15-week graduate course at the Pennsylvania State University. The course covered some topics which are important in contemporary mathematical logic and foundations but usually omitted from introductory courses.
(950 views)
Book cover: The Art of LogicThe Art of Logic
by - University of Pittsburgh
Contents: Grammar; The art of the logic of truth-functional connectives; Quantifier proofs; A modicum of set theory; Symbolizing English quantifiers; Quantifier semantics - interpretation and counterexample; Theories; Definitions.
(8384 views)
Book cover: Formal LogicFormal Logic
- Wikibooks
An undergraduate college level textbook covering first order predicate logic with identity but omitting metalogical proofs. The first rules of formal logic were written over 2300 years ago by Aristotle and are still vital.
(9740 views)
Book cover: A Second Course in LogicA Second Course in Logic
by - University of Cincinnati
This book is for anyone who has had a solid introductory logic course and wants more. Topics covered include soundness and completeness for first-order logic, Tarski's theorem on the undefinability of truth, Godel's incompleteness theorems, etc.
(8276 views)