Use in LogicShawn Standefer (University of Melbourne)
G 16 (Jim Potter Room)
Old Physics Building
Melbourne University 3010
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.)
Who is attending?
No one has said they will attend yet.
Will you attend this event?