Skip to Main content Skip to Navigation
Conference papers

Aristotle's Square in a Logic of Scientific Discovery

Abstract : We present our use of Aristotle's square and its extensions (see [Beziau03], [Moretti04]) to formalize a pragmatic logic of scientific discovery. We provide an interpretation of the resulting hypercubic structure to frame the paraconsistent and paracomplete representation of the computation of a theoretical predictive model corroborated by experimentation. This activity of producing a predictive and explicative model is at the core of the scientific interactive process of publication, refutation, and model confrontation that occurs during the construction of a consensual theory by a community. Finally, we describe in a constructive way how this logic can be achieved by a hierarchical and modular community of auto-epistemic and adaptive agents, as in [Sallantin06].
Complete list of metadata

Cited literature [3 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00274305
Contributor : Christopher Dartnell <>
Submitted on : Thursday, April 17, 2008 - 5:56:54 PM
Last modification on : Monday, January 11, 2021 - 5:24:06 PM
Long-term archiving on: : Friday, May 21, 2010 - 1:50:42 AM

Identifiers

  • HAL Id : lirmm-00274305, version 1

Collections

Citation

Christopher Dartnell, Dominique Luzeaux, Jean Sallantin. Aristotle's Square in a Logic of Scientific Discovery. 1st World Congress on the Square of Opposition, Jun 2007, Montreux, Switzerland. ⟨lirmm-00274305⟩

Share

Metrics

Record views

227

Files downloads

125