Socratic Trees

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

Abstract
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
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 39,692
Through your library

References found in this work BETA

Basic Proof Theory.A. S. Troelstra - 2000 - Cambridge University Press.
First-Order Logic.Raymond M. Smullyan - 1968 - New York [Etc.]Springer-Verlag.
Structural Proof Theory.Sara Negri, Jan von Plato & Aarne Ranta - 2001 - Cambridge University Press.
Socratic Proofs.Andrzej Wiśniewski - 2004 - Journal of Philosophical Logic 33 (3):299-326.

View all 11 references / Add more references

Citations of this work BETA

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

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 theAeneid.Emily Gowers - 2011 - Classical Antiquity 30 (1):87-118.

Analytics

Added to PP index
2012-09-05

Total views
28 ( #273,919 of 2,327,914 )

Recent downloads (6 months)
3 ( #542,080 of 2,327,914 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature