Socratic proofs for quantifiers

DOI10.1007/s10992-005-9000-0zbMath1101.03011OpenAlexW2053254769MaRDI QIDQ2499290

Yanyan Li

Publication date: 14 August 2006

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

Full work available at URL: https://doi.org/10.1007/s10992-005-9000-0

zbMATH Keywords

completenessfirst-order logiclogic of questionsPure Calculus of Quantifiers

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65) Classical first-order logic (03B10)

Related Items

Automated Generation of Erotetic Search Scenarios, Socratic trees, Rasiowa-Sikorski deduction systems with the rule of cut: a case study, 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 loop-free decision procedure for modal propositional logics K4, S4 and S5, Tableaux and dual tableaux: transformation of proofs, The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G., The Method of Socratic Proofs Meets Correspondence Analysis, Socratic proofs and paraconsistency: A case study, An abductive Question-Answer System for the minimal logic of formal inconsistency \(\mathsf{mbC}\)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Socratic proofs and paraconsistency: A case study
• The logic of questions as a theory of erotetic arguments
• Erotetic implications
• Socratic proofs