Truthmaker Semantics

This chapter concerns an analysis of counterpossibles in terms of truthmaker semantics. The basic notions of truthmaker semantics, such as states, exact, inexact, and loose verifiers are explained both from a formal and informal point of view (Sect. 4.1). The second subsection (Sect. 4.2) is dedicated to an analysis of counterfactuals in terms of truthmaker semantics, along with the question of impossible states and so-called possible outcomes. This section is meant to provide a model of truthmaker semantics for counterpossibles along with a critical analysis of it. Finally, Sect. 4.3 develops an account of the metaphysics of truthmakers. It is partly inspired by the works of Alexius MeinongMeinongAlexius, and it aims to address a popular criticism of the metaphysics of truthmakers.