Loading Events

« All Events

  • This event has passed.

Logic&Meta: Federico Pailos

May 2, 2016 @ 4:15 pm - 6:15 pm

Monday 2 May, 4.15-6.15

Federico Pailos, Buenos Aires

A Recovery Operator for Non-transitive Theories

Room 6421, CUNY Graduate Center

Abstract: I will present a way to expand some non-transitive theories in order to recover cautious versions of Cut. I will show how to do this for ST in a direct way. The resulting logic, STcon (ST with a consistency operator), will be non-trivial, and also sound and complete with respect to a disjunctive three-side sequent system called LSCcon. The way to do the same thing with ST+ (ST with a transparent truth predicate) is not that straightforward. In order to accomplish our goal, we need to change the self-referential procedure, from a Strong to a Weak one. I will show that the resulting theory, ST*, is not only non-trivial, but sound and complete with respect to the proof system LSC*.

The workshop is organized by Graham Priest

Details

Date:
May 2, 2016
Time:
4:15 pm - 6:15 pm
Event Categories:
,

Venue

Room 6421, CUNY Graduate Center
365 5th Avenue
New York City ,

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