|
Phil 322A --- Modal Logic,
Spring 2010
|
Click here to
download the course syllabus in PDF format
Click here to download the course syllabus in DOC format
|
|
NOTES
| # |
Note |
Posted |
| 1 |
A Brief Overview of Classical First-Order Logic
DOC /
PDF |
JAN 5, 2010 |
| 2 |
Getting Started
DOC /
PDF |
JAN 11, 2010 |
| 3 |
Some Background Technical Matters
DOC /
PDF |
JAN 11, 2010 |
| 4 |
Modal Axiomatics
DOC /
PDF |
JAN 11, 2010 |
| 5 |
Interpretations
DOC /
PDF |
JAN 14, 2010 |
| 6 |
A Semantics for S5
DOC /
PDF |
JAN 14, 2010 |
| 7 |
About Test One
DOC /
PDF |
JAN 15, 2010 |
| 8 |
Normal Modal Logics: The System K
DOC /
PDF |
JAN 18, 2010 |
| 9 |
Non-Normal Modal Logics: The System S2
DOC /
PDF |
JAN 26, 2010 |
| 10 |
Some Metatheorems for K
DOC /
PDF |
JAN 26, 2010 |
| 11 |
Some Metatheorems About K
DOC /
PDF |
JAN 26, 2010 |
| 12 |
Quantified Modal Logic
DOC /
PDF |
JAN 28, 2010 |
| 13 |
Targets
DOC /
PDF |
FEB 2, 2010 |
| 14 |
Difficulties with QML
DOC /
PDF |
FEB 2, 2010 |
| 15 |
Quine’s Objections to Modal Logic
DOC /
PDF |
FEB 4, 2010 |
| 16 |
Assessing Quine’s Objections to QML
DOC /
PDF |
FEB 4, 2010 |
| 17 |
Epistemic Logic
DOC /
PDF |
MAR 2, 2010 |
| 18 |
Hintikka Epistemic Logic
DOC /
PDF |
MAR 4, 2010 |
| 19 |
Belief
DOC /
PDF |
MAR 9, 2010 |
| 20 |
The Logic of Fiction
DOC /
PDF |
MAR 11, 2010 |
| 21 |
Russell’s Theory of Descriptions
DOC /
PDF |
MAR 16, 2010 |
| 22 |
Deontic Logic
DOC /
PDF |
MAR 16, 2010 |
| 23 |
Can Obligation and Permission Be Modalized?
DOC /
PDF |
MAR 22, 2010 |
| 24 |
Temporal Logic
DOC /
PDF |
MAR 22, 2010 |
| 25 |
Origins of Temporal Logic
DOC /
PDF |
MAR 22, 2010 |
| 26 |
Prior’s Approach to Temporal Logic
DOC /
PDF |
MAR 30, 2010 |
| 27 |
The Temporal Modalities
DOC /
PDF |
MAR 30, 2010 |
| |
Some Answers to Test Three
DOC /
PDF |
MAR 30, 2010 |
| 28 |
Hybrid Logics and Reification
DOC /
PDF |
APR 6, 2010 |
| 29 |
A Final Word About McTaggart
DOC /
PDF |
APR 6, 2010 |
| 30 |
Subjunctive Conditionals: A Modal Semantics
DOC /
PDF |
APR 12, 2010 |
|
|
