On Search for Law-Like Statements as Abductive Hypotheses by Socratic Transformations

DOI10.1007/978-3-319-20762-9_7zbMath1439.03041OpenAlexW2474986176MaRDI QIDQ3305311

Mariusz Urbański, Andrzej Wiśniewski

Publication date: 6 August 2020

Published in: Logic, Argumentation & Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-20762-9_7

zbMATH Keywords

abductionerotetic logicSocratic proofslaw-like statements

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Related Items (1)

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 trees
• Abductive reasoning. Logical investigations into discovery and explanation
• Socratic proofs
• Socratic proofs for quantifiers
• Reasoning through doing. Epistemic mediators in scientific discovery
• Abduction of Generalizations
• Identifying Efficient Abductive Hypotheses Using Multicriteria Dominance Relation
• A Formal Logic for Abductive Reasoning
• First order abduction via tableau and sequent calculi

This page was built for publication: On Search for Law-Like Statements as Abductive Hypotheses by Socratic Transformations