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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,337
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Modal Logic: An Introduction.Brian F. Chellas - 1980 - Cambridge University Press.
Basic Proof Theory.A. S. Troelstra - 2000 - Cambridge University Press.

View all 23 references / Add more references

Citations of this work BETA

Abduction and Diagrams.Ahti-Veikko Pietarinen - forthcoming - Logic Journal of the IGPL.
To Peirce Hintikka’s Thoughts.Ahti-Veikko Pietarinen - 2019 - Logica Universalis 13 (2):241-262.

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.
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.
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 index
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

My notes