BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2018/newsitem/9776/16-
 March-2018-DIP-Colloquium-Ryosuke-Igarashi
DTSTAMP:20180313T132359
SUMMARY:DIP Colloquium, Ryosuke Igarashi
ATTENDEE;ROLE=Speaker:Ryosuke Igarashi (Kyoto Univ
 ersity)
DTSTART;TZID=Europe/Amsterdam:20180316T160000
DTEND;TZID=Europe/Amsterdam:20180316T173000
LOCATION:ILLC Seminar Room F1.15, Science Park 107
 , Amsterdam
DESCRIPTION:This paper is intended to offer a phil
 osophical analysis of the propositional intuitioni
 stic logic formulated as NJ. This system has been 
 connected to Prawitz and Dummett’s proof-theoretic
  semantics and its computational counterpart. The 
 problem is, however, there has been no successful 
 justification of ex falso quodlibet (EFQ): “From t
 he absurdity ‘⊥’, an arbitrary formula follows.” T
 o justify this rule, we propose a novel intuitioni
 stic natural deduction with what we call quasi-mul
 tiple conclusion. In our framework, EFQ is no long
 er an inference deriving everything from ‘⊥’, but 
 rather represents a “jump” inference from the absu
 rdity to the other possibility. The paper is joint
  work with Yosuke Fukuda.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>This paper is 
 intended to offer a philosophical analysis of the 
 propositional intuitionistic logic formulated as N
 J. This system has been connected to Prawitz and D
 ummett’s proof-theoretic semantics and its computa
 tional counterpart. The problem is, however, there
  has been no successful justification of ex falso 
 quodlibet (EFQ): “From the absurdity ‘⊥’, an arbit
 rary formula follows.” To justify this rule, we pr
 opose a novel intuitionistic natural deduction wit
 h what we call quasi-multiple conclusion. In our f
 ramework, EFQ is no longer an inference deriving e
 verything from ‘⊥’, but rather represents a “jump”
  inference from the absurdity to the other possibi
 lity. The paper is joint work with Yosuke Fukuda.<
 /p>\n
URL:http://projects.illc.uva.nl/LoLa/DIP-Colloquiu
 m/event/35117/A-Reconstruction-of-Ex-Falso-Quodlib
 et-via-Quasi-Multiple-Conclusion-Natural-Deduction
CONTACT:Peter Hawke at p.m.hawke at uva.nl
END:VEVENT
END:VCALENDAR