Isomorphisms in a category of propositions and proofs
Greg Restall (University of Melbourne)

March 2, 2018, 11:00am - 1:00pm
Logic Group, The University of Melbourne

Old Arts
Parkville 3010


University of Melbourne

Topic areas


Greg Restall (Melbourne) will present "isomorphisms in a category of propositions and proofs" at 11 on 2 March in Old Arts 156.

Abstract: In this talk, I show how a category of propositions and classical proofs can give rise to three different hyperintensional notions of sameness of content. One of these notions is very fine-grained, going so far as to distinguish p and p&p, while identifying other distinct pairs of formulas, such as p∧q and q∧p; p and ¬¬p; or ¬(p∧q) and ¬p∨¬q. Another relation is more coarsely grained, and gives the same account of identity of content as equivalence in Angell’s logic of analytic containment. A third notion of sameness of content is defined, which is intermediate between Angell’s and Parry’s logics of analytic containment. Along the way we show how purely classical proof theory gives resources to define hyperintensional distinctions thought to be the domain of properly non-classical logics.

Supporting material

Add supporting material (slides, programs, etc.)




Who is attending?

1 person is attending:

University Of Melbourne

See all

Will you attend this event?

Let us know so we can notify you of any change of plan.

This event has been submitted and is maintained by:

(University of Melbourne)

You should login and contact this user if you believe the information on this page needs updating.

If you judge that this event entry is inappropriate, please login and report it.