Aristotle's Square in a Logic of Scientific Discovery - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Conference Papers Year : 2007

Aristotle's Square in a Logic of Scientific Discovery


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].
Fichier principal
Vignette du fichier
Montreux-abstractDLS-short.pdf (42.14 Ko) Télécharger le fichier

Dates and versions

lirmm-00274305 , version 1 (17-04-2008)


  • 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⟩
140 View
65 Download


Gmail Facebook X LinkedIn More