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 journalJournal articlepeer-review

23 Citations (Scopus)


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 languageEnglish
Pages (from-to)913-945
Number of pages33
JournalJournal of Philosophical Logic
Issue number6
Publication statusPublished - Dec 2018

Scopus Subject Areas

  • Philosophy

User-Defined Keywords

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


Dive into the research topics of 'Let Us Investigate! Dynamic Conjecture-Making as the Formal Logic of Abduction'. Together they form a unique fingerprint.

Cite this