A Truthmaker Semantics for Modal Logics. Dongwoo Kim

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.

Logic and Metaphysics Workshop

Feb 3 Hartry Field, NYU

Feb 10 Melissa Fusco, Columbia

Feb 17 GC CLOSED NO MEETING

Feb 24 Dongwoo Kim, GC

Mar 2 Alex Citikin, Metropolitan Telecommunications

Mar 9 Antonella Mallozzi, Providence

Mar 16 Mircea Dimitru, Bucharest

Mar 23 Jenn McDonald, GC

Mar 30 David Papineau, GC

Apr 6 ? Eoin Moore, GC

Apr 13 SPRING RECESS NO MEETING

Apr 20  Michał Godziszewski, Munich

Apr 27 Michael Glanzberg, Rutgers

May 4 Matteo Zichetti, Bristol

May 11 Lisa Warenski,GC

May 18 PROBABLY NO MEETING