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: 58,843
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 M. Smullyan - 1968 - 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.
First-Order Logic.William Craig - 1975 - Journal of Symbolic Logic 40 (2):237-238.
Structural Proof Theory. [REVIEW]Harold T. Hodes - 2006 - Philosophical Review 115 (2):255-258.

View all 18 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 Leszczynska - 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
45 ( #228,110 of 2,427,269 )

Recent downloads (6 months)
4 ( #188,968 of 2,427,269 )

How can I increase my downloads?


My notes