A formal account of Socratic-style argumentation

DOI10.1016/J.JAL.2006.04.001MaRDI QIDQ2480967zbMATH OpenOpenAlexFDO

Authors Martin Caminada

Publication date 7 April 2008

Published in Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jal.2006.04.001

zbMATH Keywords

inferenceargumentationdialogue

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logic in artificial intelligence (68T27)

Recommendations

• Arguments, proofs, and dialogues
• Socratic trees
• Preferred semantics as Socratic discussion
• Socratic proofs
• A proof theorical framework for argumentation modeling

Cites work

• scientific article; zbMATH DE number 1759380 (Why is no real title available?)
• scientific article; zbMATH DE number 1759381 (Why is no real title available?)
• scientific article; zbMATH DE number 1852916 (Why is no real title available?)
• A logic for default reasoning
• A logic-based theory of deductive arguments
• A mathematical treatment of defeasible reasoning and its implementation.
• Abstract argumentation systems
• An abstract, argumentation-theoretic approach to default reasoning
• Argument-based extended logic programming with defeasible priorities
• Defeasible Dialectics: A Controversy-Oriented Approach towards Defeasible Argumentation
• Defeasible logic programming: an argumentative approach
• How to reason defeasibly
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• Persuasion and Value in Legal Argument
• Question-begging in non-cumulative systems
• Two party immediate response disputes: Properties and efficiency

Cited in

(2)

• Socratic proofs
• Revising the elenchus via belief revision

Describes a project that uses

Uses Software

• OSCAR

This page was built for publication: A formal account of Socratic-style argumentation

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