TY - JOUR
T1 - A Dynamic Approach to Peirce's Interrogative Construal of Abductive Logic
AU - Ma, Minghui
AU - Pietarinen, Ahti-Veikko
N1 - Funding Information:
This work is supported by China National Fund of Humanities and Social Sciences (grant no. 14ZDB016).
This work is supported by the Academy of Finland (project 1270335) and the Estonian Research Council (project PUT 267) (Diagrammatic Mind: Logical and Cognitive Aspects of Iconicity, Principle Investigator A.-V. Pietarinen).
Publisher copyright:
© Individual authors and College Publications 2016 All rights reserved.
PY - 2016/5
Y1 - 2016/5
N2 - Peirce’s novel, post-1903 interrogative construal of abductive logic is studied in terms of a dynamic approach. The information flow in abduction is inter- preted by a dynamic mechanism over ranges. An abductive logic is proposed that analyzes conjecture-making in scientific discovery. It explains how the up- dates on models representing the inquirers’ information proceed when they are faced with new surprising facts. The formal semantics for this logic is given by neighborhood models. We apply our abductive logic to an analysis of some examples of scientific discovery.
AB - Peirce’s novel, post-1903 interrogative construal of abductive logic is studied in terms of a dynamic approach. The information flow in abduction is inter- preted by a dynamic mechanism over ranges. An abductive logic is proposed that analyzes conjecture-making in scientific discovery. It explains how the up- dates on models representing the inquirers’ information proceed when they are faced with new surprising facts. The formal semantics for this logic is given by neighborhood models. We apply our abductive logic to an analysis of some examples of scientific discovery.
UR - https://www.collegepublications.co.uk/ifcolog/?00005
M3 - Journal article
SN - 2631-9810
VL - 3
SP - 73
EP - 104
JO - Journal of Applied Logics - IfCoLog Journal of Logics and their Applications
JF - Journal of Applied Logics - IfCoLog Journal of Logics and their Applications
IS - 1
ER -