BEGIN:VCALENDAR PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN VERSION:2.0 CALSCALE:GREGORIAN METHOD:PUBLISH BEGIN:VEVENT DTSTAMP:20240329T104937Z DTSTART;TZID=Australia/Melbourne:20180316T070000 DTEND;TZID=Australia/Melbourne:20180316T090000 SUMMARY:Two plans in the semantics of relevant logic UID:20240329T104937Z-iCalPlugin-Grails@philevents-web-6f97df9687-7c6q9 TZID:Australia/Melbourne LOCATION:Old Quad\, Parkville\, Australia\, 3010 DESCRIPTION:
Takuro Onishi (Kyoto) will present "Two plans in the semantics of relevant logic" at 11 on 16 March in Old Quad G10.
\nAbstract: In his paper "The American plan completed\," Routley examined how to extend the four-valued semantics for FDE (so called American plan) to accommodate full relevant implication. The resultant four-valued frame semantics was hopelessly complicated\, and he concluded that "[t]he American plan is ... little more than a very circuitous and cumbersome way of avoiding the much more intuitive Australian plan"\, which is a simple frame semantics with one ternary relation and one "star" function. In this talk\, I will try to make clearer the relationship between the two plans by reorganizing Routley's semantics. In my model\, the four-valued American approach serves as an explanatory basis to introduce "star-like" relations avoiding De and Omori's criticism about circularity\, and the two-valued Australian frame semantics is considered as a developed form of the American plan.
ORGANIZER;CN=Shawn Standefer: METHOD:PUBLISH END:VEVENT END:VCALENDAR