Logic for Philosophers
Philosophy 2006
Home
Facts
Dates
Reading
Study Schedule
Topic 1 : Validity
L1 :
What is Logic?
L2 :
Statements
L3 :
Avoiding ambiguity
A01 :
Identifying arguments
A02 :
Validity and soundness
A03 :
Patterns of valid arguments
A06 :
Good arguments
Topic 2: Sentential Logic
SL01 :
Introduction to Sentential Logic
SL02 :
Well-formed formula in SL
SL03 :
Truth-tables for SL connectives
SL04 :
More complicated truth-tables
SL05 :
Logical properties and relations
SL06 :
Formalization in SL
Exercise 1.3 at
http://logic.tamu.edu/cgi-bin/quizmaster
SL07 :
The full truth-table method
SL08 :
The indirect method
SL09 :
"If...then..." and the material conditional
SL10 :
The limitations of Sentential Logic
Topic 3: Predicate logic
MPL01 :
Predicate logic: the basic idea
MPL02 :
Quantifiers
MPL03 :
The formal system MPL
MPL04 :
MPL interpretation
MPL05 :
Validity in MPL
FAQ
Find answers to frequently asked questions
in the
Elementary Logic Faq.