Johannes Korbmacher: Exact Truthmaker Semantics for Propositional Modal Logic(s)

Lecture by Johannes Korbmacher (Munich), organized by the Department of Theoretical Philosophy

I develop an exact truthmaker semantics for propositional modal logic. The idea of exact truthmaker semantics is that we can give the semantic content of a statement by saying what precisely it is in the world that makes the statement true: by giving its exact truthmakers. Intuitively here, an exact truthmaker of a statement is a state (of affairs) such that whenever the state obtains, it is directly and wholly responsible for the truth of the statement. In particular, an exact truthmaker of a statement will not contain...(continue reading...)