Structuration cognitive et logique intrinsèque
Mathématiques et Sciences Humaines (1993)
- Volume: 121, page 49-70
- ISSN: 0987-6936
Access Full Article
topAbstract
topHow to cite
topBoldini, Pascal. "Structuration cognitive et logique intrinsèque." Mathématiques et Sciences Humaines 121 (1993): 49-70. <http://eudml.org/doc/94439>.
@article{Boldini1993,
abstract = {À 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.},
author = {Boldini, Pascal},
journal = {Mathématiques et Sciences Humaines},
keywords = {knowledge representation; sheaf category; topos; intrinsic logic; relational structures},
language = {fre},
pages = {49-70},
publisher = {Ecole des hautes-études en sciences sociales},
title = {Structuration cognitive et logique intrinsèque},
url = {http://eudml.org/doc/94439},
volume = {121},
year = {1993},
}
TY - JOUR
AU - Boldini, Pascal
TI - Structuration cognitive et logique intrinsèque
JO - Mathématiques et Sciences Humaines
PY - 1993
PB - Ecole des hautes-études en sciences sociales
VL - 121
SP - 49
EP - 70
AB - À 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.
LA - fre
KW - knowledge representation; sheaf category; topos; intrinsic logic; relational structures
UR - http://eudml.org/doc/94439
ER -
References
top- [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), TelecomParis, 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. Zbl0434.03050MR551362
- [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. Zbl0137.00702MR201300
- [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 Theory2, (1968), 278-318. Zbl0176.28901MR235979
- [ 13] Lambek J., "Deductive systems and Categories II", Springer LNM86, 76-122. Zbl0198.33701MR242637
- [14] Lambek J. & Scott P.J., Introduction to higher order categorical logic., Cambridge, Cambridge University Press,1986. Zbl0596.03002MR856915
- [15] Mac Lane S., Categories for the Working Mathematician, New York, Springer-Verlag, 1971. Zbl0232.18001MR354798
- [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 Psychology4, (1973), 328-350.
- [19] Thiopoulos C., "Towards a logic of semiotic systems", Mathématiques Informatique et Sciences Humaines117, (1992), 49-60. Zbl0846.68065MR1164608
- [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. Zbl0491.06008MR661303
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.