Advanced Logic and Metaphysics

The course will provide the students with an overview of truthmaker semantics with special attention to some particular applications. It will begin with a comparison of three forms of truth-conditional semantics: possible worlds semantics, situation semantics and truthmaker semantics. It will then lay down the basic framework of the truthmaking approach. Here, the notions of a state space, of conjunctive and disjunctive part and of exact, inexact and loose verification will be introduced. The remainder of the course will be devoted to applications of the framework to such topics as counterfactuals, deontic logic and scalar implicature.

-

In presenza

-

-