TY - JOUR
T1 - Let us investigate! Dynamic Conjecture-Making as the Formal Logic of Abduction
AU - Pietarinen, Ahti-Veikko
AU - Ma, Minghui
PY - 2017
Y1 - 2017
N2 - 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 neighbourhood 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.
AB - 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 neighbourhood 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.
M3 - Article
JO - Journal of Philosophical Logic
JF - Journal of Philosophical Logic
SN - 0022-3611
ER -