2017年
A reconstruction of ex falso quodlibet via quasi-multiple-conclusion natural deduction
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ダウンロード
回数 : 459
- ,
- 巻
- 10445
- 号
- 開始ページ
- 554
- 終了ページ
- 569
- 記述言語
- 英語
- 掲載種別
- 研究論文(国際会議プロシーディングス)
- DOI
- 10.1007/978-3-662-55665-8_38
- 出版者・発行元
- Springer Verlag
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.
- ID情報
-
- DOI : 10.1007/978-3-662-55665-8_38
- ISSN : 1611-3349
- ISSN : 0302-9743
- SCOPUS ID : 85029446770