Logic Review

Logic Review for Applications
(version 1.05, August 22, 2005 )
courtesy of the folks from the Logic Café

These pages provide a very brief 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 (under construction)
  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. (coming soon) Deduction for 1st o.l.
Applied Logic
1. Probability: Axioms and Bayes' Theorem

Turing Machines
Mathematical Logic
Metatheory
(coming soon) Could be, Would be, Must be: Philosophical Logic

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 (You'll need the font to see logic's special characters. For Windows, unzip and go to your fonts folder and choose 'File > Install New Font'. 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