Socratic proofs

DOI10.1023/B:LOGI.0000031374.60945.6EMaRDI QIDQ1876085zbMATH OpenOpenAlexFDO

Authors 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 calculierotetic logicproof searchlogic of questions

Mathematics Subject Classification ID

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

Recommendations

• Socratic proofs for quantifiers
• Socratic proofs and paraconsistency: A case study
• The method of Socratic proofs meets correspondence analysis
• A formal account of Socratic-style argumentation
• scientific article; zbMATH DE number 2213621
• Intuitionistic Socratic procedures
• Rational proofs
• Syllogistic Logic and Mathematical Proof

Cites work

• scientific article; zbMATH DE number 3161194 (Why is no real title available?)
• scientific article; zbMATH DE number 956466 (Why is no real title available?)
• scientific article; zbMATH DE number 3591947 (Why is no real title available?)
• scientific article; zbMATH DE number 2024622 (Why is no real title available?)
• scientific article; zbMATH DE number 1852923 (Why is no real title available?)
• scientific article; zbMATH DE number 1852928 (Why is no real title available?)
• scientific article; zbMATH DE number 2096989 (Why is no real title available?)
• scientific article; zbMATH DE number 2096993 (Why is no real title available?)
• scientific article; zbMATH DE number 1435792 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• Erotetic implications
• Erotetic search scenarios
• Goal-directed proof theory
• Structural proof theory. With an appendix by Aarne Ranta
• The inverse method
• The logic of questions as a theory of erotetic arguments

Cited in

(22)

• The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.
• An abductive Question-Answer System for the minimal logic of formal inconsistency \(\mathsf{mbC}\)
• Automated generation of erotetic search scenarios: classification, optimization, and knowledge extraction
• A formal account of Socratic-style argumentation
• A loop-free decision procedure for modal propositional logics K4, S4 and S5
• The method of Socratic proofs meets correspondence analysis
• Revising the elenchus via belief revision
• Socratic proofs for quantifiers
• An axiomatic account of question evocation: the propositional case
• On Search for Law-Like Statements as Abductive Hypotheses by Socratic Transformations
• Dual erotetic calculi and the minimal \(\mathsf{LFI}\)
• Intuitionistic Socratic procedures
• A cut-free sequent calculus for defeasible erotetic inferences
• Rasiowa-Sikorski deduction systems with the rule of cut: a case study
• Answering by means of questions in view of inferential erotetic logic
• Automatic proof generation in an axiomatic system for \(\mathsf{CPL}\) by means of the method of Socratic proofs
• A defeasible calculus for zetetic agents
• scientific article; zbMATH DE number 2213621 (Why is no real title available?)
• A survey of nonstandard sequent calculi
• Socratic trees
• Socratic proofs and paraconsistency: A case study
• Generating cooperative question-responses by means of erotetic search scenarios

Describes a project that uses

Uses Software

• Pesca

This page was built for publication: Socratic proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1876085)