Journal of Philosophical Logic 47 (6):913-945 (2018)
Authors | |
Abstract |
We present a dynamic approach to Peirce’s original construal of abductive logic as a logic of conjecture making, and provide a new decidable, contraction-free and cut-free proof system for the dynamic logic of abductive inferences with neighborhood semantics. Our formulation of the dynamic logic of abduction follows the philosophical and scientific track that led Peirce to his late, post-1903 characterization of abductive conclusions as investigands, namely invitations to investigate propositions conjectured at the level of pre-beliefs.
|
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
ISBN(s) | |
DOI | 10.1007/s10992-017-9454-x |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Knowledge and Belief: An Introduction to the Logic of the Two Notions.Jaakko Hintikka - 1962 - Ithaca: Cornell University Press.
Knowledge and Belief: An Introduction to the Logic of the Two Notions.Jaakko Hintikka - 1962 - Studia Logica 16:119-122.
Logical Dynamics of Information and Interaction.Johan van Benthem - 2011 - Cambridge University Press.
View all 23 references / Add more references
Citations of this work BETA
Abductive Inference Within a Pragmatic Framework.Daniele Chiffi & Ahti-Veikko Pietarinen - forthcoming - Synthese:1-17.
On Explainable AI and Abductive Inference.Kyrylo Medianovskyi & Ahti-Veikko Pietarinen - 2022 - Philosophies 7 (2):35.
Pragmatic Logics for Hypotheses and Evidence.Massimiliano Carrara, Daniele Chiffi & Ciro De Florio - forthcoming - Logic Journal of the IGPL.
View all 8 citations / Add more citations
Similar books and articles
A Formal Logic for Abductive Reasoning.Joke Meheus & Diderik Batens - 2006 - Logic Journal of the IGPL 14 (2):221-236.
The Abduction of the Atom: An Exercise in Hypothesizing.Joseph A. Novak - 1995 - Informal Logic 17 (2).
Advice on Abductive Logic.Dov Gabbay & John Woods - 2006 - Logic Journal of the IGPL 14 (2):189-219.
Dynamic Epistemic Logic.Hans van Ditmarsch, and, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
Reasoning Processes as Epistemic Dynamics.Fernando Velázquez-Quesada - 2015 - Axiomathes 25 (1):41-60.
Hints and Guesses: Legal Modes of Semio-Logical Reasoning.Dinda L. Gorlée - 2005 - Sign Systems Studies 33 (2):239-271.
A Formal Explication Of The Search For Explanations: The Adaptive Logics Approach To Abductive Reasoning.Hans Lycke - 2012 - Logic Journal of the IGPL 20 (2):497-516.
Hints and Guesses: Legal Modes of Semio-Logical Reasoning.Dinda L. Gorlée - 2005 - Sign Systems Studies 33 (2):239-271.
Abduction is Not Deduction-in-Reverse.Marta Cialdea Mayer & Fiora Pirri - 1996 - Logic Journal of the IGPL 4 (1):95-108.
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
Seeking Explanations: Abduction in Logic, Philosophy of Science and Artificial Intelligence.Atocha Aliseda-Llera - 1997 - Dissertation, Stanford University
Abduction as a Logic and Methodology of Discovery: The Importance of Strategies. [REVIEW]Sami Paavola - 2004 - Foundations of Science 9 (3):267-283.
Dynamic Consequence and Public Announcement.Andrés Cordón Franco, Hans van Ditmarsch & Angel Nepomuceno - 2013 - Review of Symbolic Logic 6 (4):659-679.
Abductive Equivalence in First-Order Logic.Katsumi Inoue & Chiaki Sakama - 2006 - Logic Journal of the IGPL 14 (2):333-346.
Analytics
Added to PP index
2018-01-18
Total views
32 ( #356,847 of 2,507,887 )
Recent downloads (6 months)
1 ( #416,715 of 2,507,887 )
2018-01-18
Total views
32 ( #356,847 of 2,507,887 )
Recent downloads (6 months)
1 ( #416,715 of 2,507,887 )
How can I increase my downloads?
Downloads