CS 574 Varieties of Formal Semantics
|
|
Beginning model theory. Non-classical logics. Brief review of the pioneering works of Frege, Russell, Tarski et al. in philosophical logic and semantics. Determiners. Quantifiers. Conditionals. Tense and modality. Counterfactuals. Montague's Intensional Logic. Compositionality. Partiality. Nonexistent objects. Situation theory and situation semantics. Discourse representation theory. Paradoxes. Model theory of common knowledge. Situated set theory.
Credit units: 3 ECTS Credit units: 7.5.
|
|
|
| Bilkent University Main Page |
Last regenerated automatically on August 27, 2008 by OAC - Online Academic Catalog Software.
|
|
