Philosophy 290-2

In this seminar, we will study alternative approaches to the semantics of propositional, first-order, and modal logic that are related to intuitionistic Kripke semantics. Topics will include: supervaluationist semantics; data semantics for epistemic modals; attempts to find a common semantical framework for classical and intuitionistic logic; possibility semantics; inquisitive semantics; truth-maker semantics; information-state semantics.