BEGIN:VCALENDAR PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN VERSION:2.0 CALSCALE:GREGORIAN METHOD:PUBLISH BEGIN:VEVENT DTSTAMP:20240328T230046Z DTSTART;TZID=Australia/Melbourne:20170413T121500 DTEND;TZID=Australia/Melbourne:20170413T141500 SUMMARY:Use in Logic UID:20240328T230049Z-iCalPlugin-Grails@philevents-web-6f97df9687-7c6q9 TZID:Australia/Melbourne LOCATION:Old Physics Building\, Melbourne University\, Australia\, 3010 DESCRIPTION:
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.)
ORGANIZER: METHOD:PUBLISH END:VEVENT END:VCALENDAR