- 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