Use in Logic
Shawn Standefer (University of Melbourne)

April 13, 2017, 12:15pm - 2:15pm
The University of Melbourne, Philosophy Discipline

G 16 (Jim Potter Room)
Old Physics Building
Melbourne University 3010

This will be an accessible event, including organized related activities

Topic areas


Abstract: One of the motivations given by Anderson and Belnap for their logics E and R was the Use Criterion, which said that in the derivation of a conditional, the antecedent had to be used to obtain the consequent. The Use Criterion largely dropped out of subsequent work on relevant logics. I will present an interpretation of proofs in terms of informational flow that, I think, captures a core idea of the Use Criterion. I briefly explain how this can be used to respond to some objections to the Use Criterion. (This is a talk for generalists, and it will not assume any particular logical background.)

Supporting material

Add supporting material (slides, programs, etc.)




Who is attending?

No one has said they will attend yet.

Will you attend this event?

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