Kit Fine: Truthmaker Semantics for Intuitionistic Logic

by Yang Liu

SEMINAR IN LOGIC AND GAMES AT CUNY

Truthmaker Semantics for Intuitionistic Logic
Kit Fine (Philosophy, NYU)
Friday, Novermber 11, 4:15 PM
Room 4419, CUNY Graduate Center
Abstract:  I present a new semantics for intuitionistic logic, which is a kind of cross between the standard constructive semantics and the Kripke semantics, and I discuss some of its philosophical and technical implications