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
Contributor : Christopher Dartnell Connect in order to contact the contributor
Submitted on : Thursday, April 17, 2008 - 5:56:54 PM
Last modification on : Friday, August 5, 2022 - 3:02:57 PM
Long-term archiving on: : Friday, May 21, 2010 - 1:50:42 AM


  • HAL Id : lirmm-00274305, version 1



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⟩



Record views


Files downloads