Socratic Proofs and Paraconsistency: A Case Study

, &
Studia Logica 80 (2):431-466 (2005)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-005-8477-4

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Socratic Trees.Dorota Leszczyńska-Jasion, Mariusz Urbański & Andrzej Wiśniewski - 2013 - Studia Logica 101 (5):959-986.
Socratic proofs.Andrzej Wiśniewski - 2004 - Journal of Philosophical Logic 33 (3):299-326.
Socratic Proofs from Modal Normal Propositional Logics.Dorota Leszczynska - 2004 - Logique Et Analyse 47.
The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.Dorota Leszczyńska-Jasion - 2008 - Studia Logica 89 (3):365-399.
The method of Socratic proofs for normal modal propositional logics.Dorota Leszczyńska - 2007 - Poznań: Wydawn. Naukowe Uniwersytetu im. Adama Mickiewicza.
The method of Socratic proofs for normal modal propositional logics.Dorota Leszczynska-Jasion - 2007 - Poznań: Wydawn. Naukowe Uniwersytetu im. Adama Mickiewicza.
Socratic Proofs for Quantifiers★.Andrzej Wiśniewski & Vasilyi Shangin - 2006 - Journal of Philosophical Logic 35 (2):147-178.
A loop-free decision procedure for modal propositional logics k4, s4 and S.Dorota Leszczyńska-Jasion - 2009 - Journal of Philosophical Logic 38 (2):151 - 177.
Socratic proofs for some normal modal propositional logics.D. Leszczyńska - 2004 - Logique Et Analyse 47 (No. 185–188):259-285.
Minimizing Ambiguity and Paraconsistency.Guido Vanackere - 1999 - Logique Et Analyse 165:39-160.
Why do mathematicians re-prove theorems?John W. Dawson Jr - 2006 - Philosophia Mathematica 14 (3):269-286.
Intuitionistic Socratic procedures.Tomasz F. Skura - 2005 - Journal of Applied Non-Classical Logics 15 (4):453-464.
On discourses addressed by infidel logicians.Walter Carnielli & Marcelo E. Coniglio - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 27--41.
Socratic Method and Writing Instruction.Robert D. Whipple - 1996 - Upa.
Information, Negation, and Paraconsistency.Edwin D. Mares - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 43--55.

Analytics

Added to PP
2009-01-28

Downloads
44 (#353,833)

6 months
5 (#638,139)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Andrzej Wiśniewski
Adam Mickiewicz University

Citations of this work

Socratic Proofs for Quantifiers★.Andrzej Wiśniewski & Vasilyi Shangin - 2006 - Journal of Philosophical Logic 35 (2):147-178.

View all 9 citations / Add more citations

References found in this work

First-order logic.Raymond Merrill Smullyan - 1968 - New York [etc.]: Springer Verlag.
Multiple Conclusion Logic.D. J. Shoesmith & Timothy Smiley - 1978 - Cambridge, England / New York London Melbourne: Cambridge University Press. Edited by T. J. Smiley.
The Posing of Questions: Logical Foundations of Erotetic Inferences.Andrzej Wiśniewski - 1995 - Dordrecht and Boston: Kluwer Academic Publishers.
First-order Logic.William Craig - 1975 - Journal of Symbolic Logic 40 (2):237-238.

View all 22 references / Add more references