Loading Events

« All Events

  • This event has passed.

KripkeCenter: Marilynn Johnson

December 9, 2013 @ 1:00 pm - 2:30 pm

Johnson-225x300Saul Kripke Center Brown Bag Lunch Lecture
Marilynn Johnson
PhD Student, CUNY Graduate Center
“Tree Trimming”

Date/Time: Monday, December 9, 1-2:30pm
Location: CUNY Graduate Center, Room 5414

 

 

ABSTRACT: In An Introduction to Non-Classical Logic: From If to Is Graham Priest (2008) presents branching rules in Free Logic, Variable Domain Modal Logic, and Intuitionist Logic. I propose a simpler, non-branching rule to replace Priest’s rule for universal instantiation in Free Logic, a second, slightly modified version of this rule to replace Priest’s rule for universal instantiation in Variable Domain Modal Logic, and third and fourth rules, further modifying the second rule, to replace Priest’s branching universal and particular instantiation rules in Intuitionist Logic. In each of these logics the proposed rule leads to tableaux with fewer branches. In Intuitionist logic, the proposed rules allow for the resolution of a particular problem Priest is grappling with throughout the chapter. In this paper, I demonstrate that the proposed rules can greatly simplify tableaux and argue that they should be used in place of the rules given by Priest.

Image: Yuko Oda

Details

Date:
December 9, 2013
Time:
1:00 pm - 2:30 pm
Event Categories:
,

Venue

CUNY Graduate Center, Room TBA

Leave a Reply. You comment will be sent to an administrator for approval.

css.php
Need help with the Commons? Visit our
help page
Send us a message
Skip to toolbar