Office Hours
- MF 9-10:30
- T 11-12
- and by appointment
Syllabi
Other Links
- Ryckman's Logic Works
- Philosophy of Language Links
- A Berkelean Conversation
- Postmodernist Kuhnian Page
Philosophy Blogs
- Brain Hammer
- Brain Pains
- Brains
- Certain Doubts
- Experimental Philosophy
- Fragments of Consciousnes
- Garden of the Forking Path
- Legal Theory Blog
- Lemmings
- Mixing Memory
- Neuroethics & Law Blog
- Orange Philosophy
- PEA Soup
- Philosophy Conferences
- The Brooks Blog
- The Splintered Mind
- The Web of Belief
- Thoughts, Arguments, and Rants
- Unideal Observers
| PHIL420: Topics in Logic (Q-course) |
Texts:
- Language, Proof and Logic, by Barwise and Etchemendy.
- Introduction to Montague Semantics. Dowty, Wall, and Edwards.
- Additional material posted on the right side of this page.
We consider meta-theory for both the propositional and the predicate logic, model theoretic semantics for first-order predicate logic and the syntax and formal possible worlds, model-theoretic semantics for higher-order, modal, tensed, and intensional logics.
This course emphasizes the foundations, and (considerable) extensions and refinements of concepts and techniques typically introduced in introductory symbolic logic courses. The emphasis is on the formal semantics for such languages and the relationships between their syntax and their semantics. In addition, this course examines certain related issues in the Philosophy of Logic.
Topics Include:
|
|
|
|
|
|
|
|
|
|