Socratic proofs

DOI10.1023/B:LOGI.0000031374.60945.6ezbMath1048.03009OpenAlexW4235732401MaRDI QIDQ1876085

Andrzej Wiśniewski

Publication date: 16 August 2004

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:logi.0000031374.60945.6e

zbMATH Keywords

sequent calculiproof searcherotetic logiclogic of questions

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical propositional logic (03B05) Structure of proofs (03F07)

Related Items

Automated Generation of Erotetic Search Scenarios, Socratic trees, Rasiowa-Sikorski deduction systems with the rule of cut: a case study, An axiomatic account of question evocation: the propositional case, Dual erotetic calculi and the minimal \(\mathsf{LFI}\), Generating cooperative question-responses by means of erotetic search scenarios, Answering by Means of Questions in View of Inferential Erotetic Logic, On Search for Law-Like Statements as Abductive Hypotheses by Socratic Transformations, A survey of nonstandard sequent calculi, A loop-free decision procedure for modal propositional logics K4, S4 and S5, Socratic proofs for quantifiers, A cut-free sequent calculus for defeasible erotetic inferences, The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G., Intuitionistic Socratic procedures, The Method of Socratic Proofs Meets Correspondence Analysis, A Defeasible Calculus for Zetetic Agents, Socratic proofs and paraconsistency: A case study, An abductive Question-Answer System for the minimal logic of formal inconsistency \(\mathsf{mbC}\)

Uses Software

• Pesca

Cites Work

• The logic of questions as a theory of erotetic arguments
• Erotetic implications
• Erotetic search scenarios
• Goal-directed proof theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item