Logic Review

Logic Review for Applications
(version 1.22, September 11, 2005 )
courtesy of the folks from the Logic Café

These pages provide a recapitulation of logic basics together with some issues of applied logic. They are meant for philosophy or other courses which presuppose some logic. Students who have studied no logic, may want to

Tutorials

Logic Concepts
1. Optional: Introduction to the Café and to Logic
2. Introductory Informal Logic
  Part I: Arguments
  Part II: Validity and Soundness, Strength and Cogency
  Part III: Deduction and Induction
  Part IV: Fallacies
3. Further Deductive Concepts
0th order logic: Sentence Logic with predicates and names
1. The Symbolic Language
2. Possibility, Semantics, Truth Tables
3. Deduction
  Part I: Easy Rules of Inference
  Part II: v and = rules
  Part III: Reductios
  Part IV: Rules of Replacement
1st order logic: Adding Quantifiers
1. Universal and Existential Quantifiers
2. Deduction for 1st o.l.
Applied Logic
1. Probability: Axioms and Bayes' Theorem
2. Turing Machines
3. Mathematical Logic
4. Metatheory
5. (under construction) Could be, Would be, Must be: Philosophical Logic and "Serious Metaphysics".

Exercises and Exams

Reference for the basic ideas all in one place (also: in word format for better printing)

Glossary

The Logic Café

The Logic Font (New Version!) You'll need the font to see logic's special characters. For Windows, drag the file into your fonts folder. Or get further installation directions. Also available for the Mac.

start with the Logic Café itself.

Mathmatical Logic...this is our predicate logic with a specially interpreted two place predicate:

Ixy: x is identical to y (i.e., x=y)

We do this by looking to the Logic Café's Chapter Nine.

...start