Structuration cognitive et logique intrinsèque

Pascal Boldini

Mathématiques et Sciences Humaines (1993)

  • Volume: 121, page 49-70
  • ISSN: 0987-6936

Abstract

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

How to cite

top

Boldini, 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. [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. [2] Descles J.P., "La 'logique intensionnelle' est-elle vraiement intensionnelle?", Histoire Epistémologie Langage, tome 5, fascicule 2, (1983),149-152. 
  3. [3] Dowty D.R., Wall R.E., & Peters S., Introduction to Montagüe semantics, Dordrecht, D. Reidel Publishing Company,1981. 
  4. [4] Engel P., La norme du vrai, Paris, Gallimard,1989. 
  5. [5] Godement R., Théorie des faisceaux, Paris, Hermann,1964. 
  6. [6] Goldblatt R., Topoï, the categorial analysis of logic, Amsterdam, North-Holland, 1979. Zbl0434.03050MR551362
  7. [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. [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. [9] Kripke S.A., Naming and necessity, Oxford, Blackwell, 1972, trad. fr., La logique des noms propres, Editions de Minuit, 1982. 
  10. [10] Lakoff G., Women, Fire, and Dangerous Things, Chicago, The University of Chicago Press, 1987. 
  11. [11] Langacker R.W., Foundations of Cognitive Grammar, volume I, Theoretical Prerequisites, Stanford, Stanford University Press, 1987. 
  12. [12] Lambek J., "Deductive systems and Categories I", J. Math. Systems Theory2, (1968), 278-318. Zbl0176.28901MR235979
  13. [ 13] Lambek J., "Deductive systems and Categories II", Springer LNM86, 76-122. Zbl0198.33701MR242637
  14. [14] Lambek J. & Scott P.J., Introduction to higher order categorical logic., Cambridge, Cambridge University Press,1986. Zbl0596.03002MR856915
  15. [15] Mac Lane S., Categories for the Working Mathematician, New York, Springer-Verlag, 1971. Zbl0232.18001MR354798
  16. [16] Rastier F., Sémantique interprétative, Paris, Presses Universitaires de France, 1987. 
  17. [17] Rastier F., Sémantique et recherche cognitive, Paris, Presses Universitaires de France, 1991. 
  18. [ 18] Rosch E.,"Natural Categories", Cognitive Psychology4, (1973), 328-350. 
  19. [19] Thiopoulos C., "Towards a logic of semiotic systems", Mathématiques Informatique et Sciences Humaines117, (1992), 49-60. Zbl0846.68065MR1164608
  20. [20] Vignaux G., Les sciences cognitives, une introduction, Paris, Editions la Découverte, 1991. 
  21. [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 ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.