Structuration cognitive et logique intrinsèque

Boldini, Pascal

Mathématiques informatique et sciences humaines, Tome 121 (1993), pp. 49-70.

À travers l'étude d'un modèle de représentation des connaissances comme catégorie de faisceaux de traits localement définis ; ce texte montre que la théorie des topoï permet de décrire formellement l'émergence d'une logique intrinsèque à partir d'une approche relationnelle, qu'elle soit structurale ou cognitive. On peut alors caractériser mathématiquement le défaut d'intensionnalité des modèles classiques, et montrer qu'une solution est dans la mathématisation de structures entièrement relationnelles.

Through the study of a knowledge representation model as a sheaf category of locally defined features ; this paper shows that topos theory enables us to describe formally the emergence of an intrinsic logic from a relational approach, whatever it may be, structural or cognitive. Then we can mathematically characterize the lack of intensionality in classical models, and show that a solution is the mathematization of fully relational structures.

[1] Boldini P. & Barthelemy J.P., "Peut-on parler d'émergence dans les systèmes symboliques ?", actes du séminaire Emergence dans les modèles de la cognition, (1992), Telecom Paris, 145-153.

[2] Descles J.P., "La 'logique intensionnelle' est-elle vraiement intensionnelle?", Histoire Epistémologie Langage, tome 5, fascicule 2, (1983),149-152.

[3] Dowty D.R., Wall R.E., & Peters S., Introduction to Montagüe semantics, Dordrecht, D. Reidel Publishing Company,1981.

[4] Engel P., La norme du vrai, Paris, Gallimard,1989.

[5] Godement R., Théorie des faisceaux, Paris, Hermann,1964.

[6] Goldblatt R., Topoï, the categorial analysis of logic, Amsterdam, North-Holland, 1979. | MR | Zbl

[7] Kanellos I. & Descles J.P., "La notion de typicalité : une approche formelle", Sémantique et Cognition, sous la direction de Danielle DUBOIS, Editions du CNRS, (1989), 225-244.

[8] Kripke S.A., "Semantical analysis of Intuitionistic Logic I", in J. N. Crossley and M. A. E. Dummett (eds), Formal Systems and recursive functions, Amsterdam, North-Holland, 1965. | MR | Zbl

[9] Kripke S.A., Naming and necessity, Oxford, Blackwell, 1972, trad. fr., La logique des noms propres, Editions de Minuit, 1982.

[10] Lakoff G., Women, Fire, and Dangerous Things, Chicago, The University of Chicago Press, 1987.

[11] Langacker R.W., Foundations of Cognitive Grammar, volume I, Theoretical Prerequisites, Stanford, Stanford University Press, 1987.

[12] Lambek J., "Deductive systems and Categories I", J. Math. Systems Theory 2, (1968), 278-318. | MR | Zbl

[ 13] Lambek J., "Deductive systems and Categories II", Springer LNM 86, 76-122. | MR | Zbl

[14] Lambek J. & Scott P.J., Introduction to higher order categorical logic., Cambridge, Cambridge University Press,1986. | MR | Zbl

[15] Mac Lane S., Categories for the Working Mathematician, New York, Springer-Verlag, 1971. | MR | Zbl

[16] Rastier F., Sémantique interprétative, Paris, Presses Universitaires de France, 1987.

[17] Rastier F., Sémantique et recherche cognitive, Paris, Presses Universitaires de France, 1991.

[ 18] Rosch E., "Natural Categories", Cognitive Psychology 4, (1973), 328-350.

[19] Thiopoulos C., "Towards a logic of semiotic systems", Mathématiques Informatique et Sciences Humaines 117, (1992), 49-60. | Numdam | MR | Zbl

[20] Vignaux G., Les sciences cognitives, une introduction, Paris, Editions la Découverte, 1991.

[21] Wille R., "Restructuring lattice theory, an approach based on hierarchies of concepts", in I. Rival (ed.), Ordered Sets, Dordrecht, D. Reidel Publishing Company, 1982. | MR | Zbl