Elementary Logic
Philosophy 1068
Home
Facts
Dates
Reading
Study Schedule
Topic A: 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 B: Sentential Logic
Introduction to 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
Derivations in Sentential Logic
DS01
Derivations in sentential logic
DS02
Some rules
DS03
More rules
DS04
Strategies for making a derivation
Answers to DS exercises
Reflections on Sentential Logic
SL09 :
"If...then..." and the material conditional
SL10 :
The limitations of Sentential Logic
RS01 :
Why the rules are good, part 1
RS02 :
Why the rules are good, part 2
Answers to RS exercises
Topic C: Predicate logic
MPL01 :
Predicate logic: the basic idea
MPL02 :
Quantifiers
MPL03 :
The formal system MPL
MPL04 :
MPL interpretation
MPL05 :
Validity in MPL
DPL01 :
Derivations in monadic predicate logic
DPL02 :
More derivations
Answers to DPL exercises
-------------------------------------------
Notes
Find answers to frequently asked questions
in the
Elementary Logic Faq.