Kit Fine: Truthmaker Semantics for Intuitionistic Logic

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

Leave a Reply

Please log in using one of these methods to post your comment:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

w

Connecting to %s