Let us investigate! Dynamic Conjecture-Making as the Formal Logic of Abduction

Research output: Contribution to journalArticle

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 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.
Original languageEnglish
JournalJournal of Philosophical Logic
Publication statusAccepted/In press - 2017

Fingerprint

Dynamic Logic
Logic
Abduction
Formal Logic
Construal
Contraction
Cut
Abductive Inference

Cite this

@article{24f580846cde4e1487e8072c26e40824,
title = "Let us investigate! Dynamic Conjecture-Making as the Formal Logic of Abduction",
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 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.",
author = "Ahti-Veikko Pietarinen and Minghui Ma",
year = "2017",
language = "English",
journal = "Journal of Philosophical Logic",
issn = "0022-3611",
publisher = "Springer Netherlands",

}

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 -