|
|||||
|
|
Socratic Proofs and Paraconsistency: A Case Study |
|
| Authors: | Andrzej Wiśniewski Guido Vanackere Dorota Leszczyńska |
| Institution: | (1) Section of Logic and Cognitive Science, Institute of Psychology, Adam Mickiewicz University, Poznań, Poland;(2) Centre for Logic and Philosophy of Science, University of Ghent, Belgium;(3) Institute of Philosophy, University of Zielona Góra, Zielona Góra, Poland |
| Abstract: | This paper develops a new proof method for two propositional paraconsistent logics: the propositional part of Batens' weak paraconsistent logic CLuN and Schütte's maximally paraconsistent logic Φv. Proofs are de.ned as certain sequences of questions. The method is grounded in Inferential Erotetic Logic. |
| Keywords: | Socratic proofs paraconsistent logics logic of questions |
| 本文献已被 SpringerLink 等数据库收录！ | |