Topics in Logic (420)
Back | Home | Up | Next
LU Senior Experience | Syllabi | Scholarship | Philosophy Alums | Philosophy@LU | Philosophy Links | Philosophy of Language Links | Philosophy Multimedia | Why Philosophy? | News | Contents


Office Hours

MF 9-10:30
T 11-12
and by appointment


Introduction to Philosophy
Symbolic Logic
Berkeley, Hume, Kant, & Mill
Early Analytic Philosophy
Philosophy of Science
Philosophy of Art
Philosophy of Language
Philosophy of Mind
Topics in Logic
Puzzles and Paradoxes

Other Links

Ryckman's Logic Works
Philosophy of Language Links
A Berkelean Conversation
Postmodernist Kuhnian Page

Philosophy Blogs

PHIL420: Topics in Logic (Q-course)


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:

  • Introduction; sets and functions
  • Typed languages
  • Predicates, arguments, and their denotations   
  • The lambda operator
  • Model theory and interpretations
  • Quantifiers
  • Propositional operators
  • Tensed logic
  • (Alethic) Modal Logic
  • Intensional semantics