Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

16 March 2018, DIP Colloquium, Ryosuke Igarashi

Speaker: Ryosuke Igarashi (Kyoto University)
Title: A Reconstruction of Ex Falso Quodlibet via Quasi-Multiple-Conclusion Natural Deduction
Date: Friday 16 March 2018
Time: 16:00-17:30
Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam

This paper is intended to offer a philosophical analysis of the propositional intuitionistic 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 the absurdity ‘⊥’, an arbitrary formula follows.” To justify this rule, we propose a novel intuitionistic natural deduction with what we call quasi-multiple conclusion. In our framework, EFQ is no longer an inference deriving everything from ‘⊥’, but rather represents a “jump” inference from the absurdity to the other possibility. The paper is joint work with Yosuke Fukuda.

Please note that this newsitem has been archived, and may contain outdated information or links.