css.php

A Truthmaker Semantics for Modal Logics (Dongwoo Kim)

The Logic and Metaphysics Workshop will meet on February 24th from 4:15-6:15 in room 7395 of the CUNY Graduate Center for a talk by Dongwoo Kim (CUNY).

Title: A Truthmaker Semantics for Modal Logics

Abstract: This paper attempts to provide an exact truthmaker semantics for a family of normal modal propositional logic. The new semantics can be regarded as an “exactification” of the Kripke semantics in the sense of Fine (2014). For it offers an account of the accessibility relation on worlds in terms of the banning and allowing relations on states. The main idea is that an exact truthmaker for “Necessarily P” is a state that bans the exact falsifiers of P from obtaining, and an exact truthmaker for “Possibly P” is a state that allows┬áthe exact verifiers of P to obtain.

Leave a Reply

Your email address will not be published. Required fields are marked *