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

Minghui Ma; Ahti Veikko Pietarinen

doi:10.1007/s10992-017-9454-x

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

Minghui Ma^*, Ahti Veikko Pietarinen

^*Corresponding author for this work

Research output: Contribution to journal › Journal article › peer-review

23 Citations (Scopus)

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.

Original language	English
Pages (from-to)	913-945
Number of pages	33
Journal	Journal of Philosophical Logic
Volume	47
Issue number	6
DOIs	https://doi.org/10.1007/s10992-017-9454-x
Publication status	Published - Dec 2018

Scopus Subject Areas

Philosophy

User-Defined Keywords

Abduction
Conjecture making
Dynamic logic
Neighborhood semantics
Peirce
Pre-belief
Scientific discovery

Access to Document

10.1007/s10992-017-9454-x

Cite this

@article{b215da66380042ee9d4a58653902b372,

title = "Let Us Investigate! Dynamic Conjecture-Making as the Formal Logic of Abduction",

abstract = "We present a dynamic approach to Peirce{\textquoteright}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 = "Abduction, Conjecture making, Dynamic logic, Neighborhood semantics, Peirce, Pre-belief, Scientific discovery",

author = "Minghui Ma and Pietarinen, {Ahti Veikko}",

note = "Funding Information: This first author is supported by Chinese National Funding of Social Sciences (grant no. 16CZX049). The second author is supported by the Academy of Finland (project 1270335, Diagrammatic Mind (DiaMind): Logical and Cognitive Aspects of Iconicity, 2013–2017) and the Estonian Research Council (project PUT 1305, (Abduction in the Age of Fundamental Uncertainty, 2016–2018), Principle Investigator A.-V. Pietarinen). Publisher Copyright: {\textcopyright} 2018, Springer Science Business Media B.V., part of Springer Nature",

year = "2018",

month = dec,

doi = "10.1007/s10992-017-9454-x",

language = "English",

volume = "47",

pages = "913--945",

journal = "Journal of Philosophical Logic",

issn = "0022-3611",

publisher = "Springer Netherlands",

number = "6",

}

TY - JOUR

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

AU - Ma, Minghui

AU - Pietarinen, Ahti Veikko

N1 - Funding Information: This first author is supported by Chinese National Funding of Social Sciences (grant no. 16CZX049). The second author is supported by the Academy of Finland (project 1270335, Diagrammatic Mind (DiaMind): Logical and Cognitive Aspects of Iconicity, 2013–2017) and the Estonian Research Council (project PUT 1305, (Abduction in the Age of Fundamental Uncertainty, 2016–2018), Principle Investigator A.-V. Pietarinen). Publisher Copyright: © 2018, Springer Science Business Media B.V., part of Springer Nature

PY - 2018/12

Y1 - 2018/12

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

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

KW - Abduction

KW - Conjecture making

KW - Dynamic logic

KW - Neighborhood semantics

KW - Peirce

KW - Pre-belief

KW - Scientific discovery

UR - http://www.scopus.com/inward/record.url?scp=85040787592&partnerID=8YFLogxK

U2 - 10.1007/s10992-017-9454-x

DO - 10.1007/s10992-017-9454-x

M3 - Journal article

AN - SCOPUS:85040787592

SN - 0022-3611

VL - 47

SP - 913

EP - 945

JO - Journal of Philosophical Logic

JF - Journal of Philosophical Logic

IS - 6

ER -

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

Abstract

Scopus Subject Areas

User-Defined Keywords

Access to Document

Other files and links

Fingerprint

Cite this