Advanced Logic and Metaphysics - B

State-space Semantics. According to a classical conception of truth, the truth of a proposition is grounded in something; that is, for any proposition, if is true, then there exists some entity in the actual world, such that’s existence grounds that is true. Let us say that any whose existence grounds that is true is a truthmaker for. State space semantics is a general framework for studying what truthmakers are, how they are structured and how their existence relates to the truth of propositions. In principle, this framework should be general enough to incorporate possible worlds semantics, inquisitive semantics, situation semantics, truthmaker semantics, topic-based semantics, and semantics based on algebraic approaches. The aim of this course is to introduce this framework and investigate its main features and instantiations, with a special emphasis on the logics characterized by state spaces satisfying different constraints.

Prerequisite: propositional logic; basic modal logic.

-

In presenza

-

-