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

Ahti-Veikko Pietarinen, Minghui Ma

Research output: Contribution to journal › Article

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

Let us investigate! Dynamic Conjecture-Making as the Formal Logic of Abduction. / Pietarinen, Ahti-Veikko; Ma, Minghui.

In: Journal of Philosophical Logic, 2017.

Research output: Contribution to journal › Article

Pietarinen, A-V & Ma, M 2017, 'Let us investigate! Dynamic Conjecture-Making as the Formal Logic of Abduction', Journal of Philosophical Logic.
Pietarinen A-V, Ma M. Let us investigate! Dynamic Conjecture-Making as the Formal Logic of Abduction. Journal of Philosophical Logic. 2017.
Pietarinen, Ahti-Veikko ; Ma, Minghui. / Let us investigate! Dynamic Conjecture-Making as the Formal Logic of Abduction. In: Journal of Philosophical Logic. 2017.
@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 -