Socratic proofs for quantifiers

DOI10.1007/s10992-005-9000-0zbMath1101.03011MaRDI 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

completeness; first-order logic; logic of questions; Pure Calculus of Quantifiers

Mathematics Subject Classification ID

03A05: Philosophical and critical aspects of logic and foundations

03B65: Logic of natural languages

03B10: Classical first-order logic

Related Items

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

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