Sur l'utilisation de la logique en sciences cognitives : questions de méthode

Résumé En Fr

On using logics in cognitive sciences : methodological issues. This paper intends to discuss some methodological problems relative to the use of logic in cognitive sciences. First we recall a number of characteristics formal logics inherits from its origins in the mathematical universe and which prescribe a cautious attitude when cognitive modelling is concerned. Secondly we insist on taking profit of the various branches of logic and especially of concepts and techniques related to computation and proof theory, including their developments in theoretical computer science. These considerations are supported by a study of the semantics of modalities in natural language. Finally we investigate the conditions of an overtaking of the present logical paradigm in profit of mathematical theories still to be elaborated.

Cet article se propose de discuter quelques problèmes de méthode relatifs à l'usage de la logique en sciences cognitives. En premier lieu nous rappelons un certain nombre de caractéristiques de la logique formelle, liées à ses origines au sein de l'univers mathématique et qui imposent une attitude prudente lorsqu'il est question de modéliser la cognition. En second lieu nous insistons sur une bonne exploitation de l'ensemble des méthodes logiques et plaidons pour une ouverture sur la calculabilité et sur la théorie de la preuve, en incluant leurs prolongements en informatique théorique. Ces considérations sont appuyées sur une étude de la sémantique des modalités. Finalement nous nous interrogeons sur les conditions d'un dépassement du paradigme logique au profit de théories mathématiques encore à construire.