Skip to Main content Skip to Navigation
Journal articles

La méthode des élucidations successives

Claude Lobry 1
1 MERE - Water Resource Modeling
CRISAM - Inria Sophia Antipolis - Méditerranée , INRA - Institut National de la Recherche Agronomique : UMR0729
Abstract : In the process of elaboration of a model one emphasize on the necessity of confronting the model with the reality which it is supposed to represent. There is another aspect of the modelling process, to my opinion also essential, about which one usually do not speak. It consists in a logico-linguistic work where formal models are used to produce prediction which are not confronted with the reality but serve for falsifying assertions which nevertheless seemed to be derived from the not formalized model. More exactly a first informal model is described in the natural language and, considered in the natural language, seems to say some thing but in a more or less clear way. Then we translate the informal model into a formal model (mathematical model or computer model) where what was argumentation becomes demonstration.The formal model so serves for raising ambiguities of the natural language. But conversely a too much formalized text quickly loses any sense for a human brain what makes necessary the return for a less formal language. It is these successive "translations" between more or less formal languages that I try to analyze on two examples, the first one in population dynamics, the second in mathematics.
Document type :
Journal articles
Complete list of metadata

Cited literature [15 references]  Display  Hide  Download

https://hal.inria.fr/hal-01277835
Contributor : Coordination Episciences Iam <>
Submitted on : Tuesday, February 23, 2016 - 11:44:47 AM
Last modification on : Tuesday, February 9, 2021 - 3:28:03 PM
Long-term archiving on: : Tuesday, May 24, 2016 - 12:13:37 PM

File

arima00911.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : hal-01277835, version 1

Collections

Citation

Claude Lobry. La méthode des élucidations successives. Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2008, 9, pp.171-193. ⟨hal-01277835⟩

Share

Metrics

Record views

196

Files downloads

991