Bradwardine HypersequentsGreg Restall (University of Melbourne)
July 27, 2012, 12:00pm - 2:00pm
School of Historical and Philosophical Studies, University of Melbourne
Common Room, Old Quad, University of Melbourne (Parkville)
Melbourne
Australia
Organisers:
University of Melbourne
Topic areas
Details
According to Stephen Read, Thomas Bradwardine's theory of truth provides an independently motivated solution to the paradoxes of truth, such as the liar. In a series of papers, I have discussed modal models for Read's reconstruction of Bradwardine's theory. In this paper, provide a hypersequent calculus for this theory, and I show that the cut rule is admissible in the hypersequent calculus. I end with a discussion of the logic of identity in this setting.
Registration
No
Who is attending?
No one has said they will attend yet.
Will you attend this event?