** Logic
Review for Applications
**(version 1.24,
September 18, 2009
)

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
(Note: All FLASH presentations below are written for a different setting and sometimes use unexpected chapter or exercise names. Their logic content is fine, though!)
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, drag the file into your fonts folder.
Or get further installation directions.
Also available for the Mac.

start with the Logic
Café itself.- Logic Concepts
- Optional: Introduction to the Café and to Logic
- Introductory Informal
Logic

FLASH Lecture and Exercise Help

Part I: Arguments

Part II: Validity and Soundness, Strength and Cogency

Part III: Deduction and Induction

Part IV: Fallacies - Further Deductive
Concepts
FLASH mini-lecture: Concepts

FlashBoard: Conditionals and Logical Equivalence

- 0th order logic: Sentence Logic with predicates
and names
- The Symbolic
Language
FLASH mini-lecture: Symbolization I

FLASH mini-lecture: Symbolization II

- Possibility,
Semantics, Truth Tables
FLASH mini-lecture: Tables I

FLASH mini-lecture: Tables II

FLASH mini-lecture: Logical Truth

FLASH mini-lecture: Validity

- Deduction

Part I: Easy Rules of InferenceFLASH mini-lecture: Derivations I

Part II: On to v and = rules

Part III: Reductios

Part IV: Rules of ReplacementFLASH mini-lecture: Reductios I

- The Symbolic
Language
- 1st order logic: Adding Quantifiers
- Universal and
Existential Quantifiers
FLASH mini-lecture: Symbolizations

- Deduction for 1st
o.l.
FLASH mini-lecture: Derivations

- Universal and
Existential Quantifiers
- Applied Logic

Copyright © 1999-2005
John F. Halpin. All rights reserved. "The Logic Café",
"Logic Review for Applications" are trademarks belonging to

**John F. Halpin**.

** Mathematical 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