Structuration cognitive et logique intrinsèque

Boldini, Pascal

Mathématiques et Sciences humaines, Tome 124 (1993), p. 49-70 / Harvested from Numdam

Résumé

À 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.

Abstract

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.

Détail

Publié le : 1993-01-01

MR 1217028 | Zbl 0793.03080

Bibliographie

[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 551362 | Zbl 0434.03050

[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 201300 | Zbl 0137.00702

[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 235979 | Zbl 0176.28901

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

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

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

[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 1164608 | Zbl 0846.68065

[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 661303 | Zbl 0491.06008