Let Us Investigate! Dynamic Conjecture-Making as the Formal Logic of Abduction

Journal of Philosophical Logic 47 (6):913-945 (2018)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 86,605

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A formal logic for abductive reasoning.Joke Meheus & Diderik Batens - 2006 - Logic Journal of the IGPL 14 (2):221-236.
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.
Hints and guesses.Dinda L. Gorlée - 2005 - Sign Systems Studies 33 (2):239-271.
Hints and guesses.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.
Abductive Equivalence in First-order Logic.Katsumi Inoue & Chiaki Sakama - 2006 - Logic Journal of the IGPL 14 (2):333-346.

Analytics

Added to PP
2018-01-18

Downloads
38 (#349,435)

6 months
2 (#530,064)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Ahti-Veikko Pietarinen
Hong Kong Baptist University
Minghui Ma
Sun Yat-Sen University

References found in this work

Knowledge and belief.Jaakko Hintikka - 1962 - Ithaca, N.Y.,: Cornell University Press.
Modal Logic: An Introduction.Brian F. Chellas - 1980 - New York: Cambridge University Press.
Logical Dynamics of Information and Interaction.Johan van Benthem - 2011 - New York: Cambridge University Press.
Basic proof theory.A. S. Troelstra - 1996 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.

View all 23 references / Add more references