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/

- What is logic?
- Arguments
- Sentences
- Two ways that arguments can go wrong
- Deductive validity
- Other logical notions
- Formal languages
- Practice Exercises

- Sentential logic
- Sentence letters
- Connectives
- Other symbolization
- Sentences of SL
- Practice Exercises

- Truth tables
- Truth-functional connectives
- Complete truth tables
- Using truth tables
- Partial truth tables
- Practice Exercises

- Quantified logic
- From sentences to predicates
- Building blocks of QL
- Quantifiers
- Translating to QL
- Sentences of QL
- Identity
- Practice Exercises

- Formal semantics
- Semantics for SL
- Interpretations and models in QL
- Semantics for identity
- Working with models
- Truth in QL
- Practice Exercises

- Proofs
- Basic rules for SL
- Derived rules
- Rules of replacement
- Rules for quantifiers
- Rules for identity
- Proof strategy
- Proof-theoretic concepts
- Proofs and models
- Soundness and completeness
- Practice Exercises

- Other symbolic notation
- Solutions to selected exercises
- C Quick Reference

#### Free Machine Learning Books

11 Books

- Pattern Recognition and Machine Learning (Information Science and Statistics)
- by Christopher M. Bishop
- Data mining
- by I. H. Witten
- The Elements of Statistical Learning: Data Mining, Inference, and Prediction
- by Various

#### Free Chemistry Textbooks

9 Books

- CK-12 Chemistry
- by Various
- Concept Development Studies in Chemistry
- by John Hutchinson
- An Introduction to Chemistry - Atoms First
- by Mark Bishop

#### Free Mathematics Textbooks

21 Books

- Microsoft Word - How to Use Advanced Algebra II.doc
- by Jonathan Emmons
- Advanced Algebra II: Activities and Homework
- by Kenny Felder
- de2de
- by

#### Free Children Books

38 Books

- The Sun Who Lost His Way
- by
- Tania is a Detective
- by Kanika G
- Firenze_s-Light
- by

#### Free Java Books

10 Books

- Java 3D Programming
- by Daniel Selman
- The Java EE 6 Tutorial
- by Oracle Corporation
- JavaKid811
- by