Studia Logica 101 (5):959-986 (2013)

Andrzej Wiśniewski
Adam Mickiewicz University
The method of Socratic proofs (SP-method) simulates the solving of logical problem by pure questioning. An outcome of an application of the SP-method is a sequence of questions, called a Socratic transformation. Our aim is to give a method of translation of Socratic transformations into trees. We address this issue both conceptually and by providing certain algorithms. We show that the trees which correspond to successful Socratic transformations—that is, to Socratic proofs—may be regarded, after a slight modification, as Gentzen-style proofs. Thus proof-search for some Gentzen-style calculi can be performed by means of the SP-method. At the same time the method seems promising as a foundation for automated deduction.
Keywords Socratic transformations  Socratic proofs  Sequent calculi  Proof search  Automated deduction
Categories (categorize this paper)
DOI 10.1007/s11225-012-9404-0
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,337
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

First-Order Logic.Raymond Merrill Smullyan - 1968 - Berlin, Germany: New York [Etc.]Springer-Verlag.
Basic Proof Theory.A. S. Troelstra - 2000 - Cambridge University Press.
Structural Proof Theory.Sara Negri, Jan von Plato & Aarne Ranta - 2001 - Cambridge University Press.
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 19 references / Add more references

Citations of this work BETA

A Survey of Nonstandard Sequent Calculi.Andrzej Indrzejczak - 2014 - Studia Logica 102 (6):1295-1322.

View all 6 citations / Add more citations

Similar books and articles

Game Trees For Decision Analysis.Prakash P. Shenoy - 1998 - Theory and Decision 44 (2):149-171.
The Method of Socratic Proofs for Normal Modal Propositional Logics.Dorota Leszczyńska - 2007 - Wydawn. Naukowe Uniwersytetu Im. Adama Mickiewicza.
Socratic Proofs.Andrzej Wiśniewski - 2004 - Journal of Philosophical Logic 33 (3):299-326.
On Scott and Karp Trees of Uncountable Models.Tapani Hyttinen & Jouko Väänänen - 1990 - Journal of Symbolic Logic 55 (3):897-908.
Essays on the Philosophy of Socrates.Hugh H. Benson (ed.) - 1992 - Oxford University Press.
Kierkegaard's Socratic Point of View.Paul Muench - 2007 - Kierkegaardiana 24:132-162.
Platonism.Paul Elmer More - 1931 - New York: Greenwood Press.
Trees and Family Trees in the Aeneid.Emily Gowers - 2011 - Classical Antiquity 30 (1):87-118.


Added to PP index

Total views
48 ( #236,221 of 2,508,063 )

Recent downloads (6 months)
2 ( #276,886 of 2,508,063 )

How can I increase my downloads?


My notes