L'article part d'une analogie entre trames et partitions, définitions conceptuelles et optiques. On montre que les divisions d'un espace de concepts ressemblent souvent à celles de l'espace réel. On étudie alors quelques exemples de pavage d'un espace conceptuel (Aristote) et on compare les processus dichotomiques platoniciens (générateurs de définitions) aux filtres d'une algèbre booléenne. Par la suite, on généralise ces modèles, considérant des structures floues et des «ensembles approximatifs» (au sens de Z. Pawlak). Enfin, on essaie d'obtenir une caractérisation locale de la définition utilisant des résultats de la théorie des topoï.
The paper begins with an analogy between grids and partitions, and between optical and conceptual definitions. We show that divisions of a space of concepts often look like divisions of the real space. We study then some examples of tiling a conceptual space (Aristote) and compare platonician dichotomic processes (which produce definitions) with filters on a boolean algebra. Then, we generalize these models, and consider fuzzy structures and filters on “rough sets” (in the sense of Z. Pawlak). Finally, we try to get a local caracterisation of definition, using some results of theory of topoï.
@article{MSH_1991__116__29_0, author = {Parrochia, Daniel}, title = {Trames, classifications, d\'efinitions}, journal = {Math\'ematiques informatique et sciences humaines}, pages = {29--46}, publisher = {Ecole des hautes-\'etudes en sciences sociales}, volume = {116}, year = {1991}, mrnumber = {1167761}, zbl = {0794.03010}, language = {fr}, url = {http://archive.numdam.org/item/MSH_1991__116__29_0/} }
TY - JOUR AU - Parrochia, Daniel TI - Trames, classifications, définitions JO - Mathématiques informatique et sciences humaines PY - 1991 SP - 29 EP - 46 VL - 116 PB - Ecole des hautes-études en sciences sociales UR - http://archive.numdam.org/item/MSH_1991__116__29_0/ LA - fr ID - MSH_1991__116__29_0 ER -
Parrochia, Daniel. Trames, classifications, définitions. Mathématiques informatique et sciences humaines, Tome 116 (1991), pp. 29-46. http://archive.numdam.org/item/MSH_1991__116__29_0/
«Le problème formel des classifications empiriques», La classification dans les sciences, Bruxelles, Duculot, 1963.
,Mathematical logic in latin America, North Holland, 1980. | MR | Zbl
, , ,Essai sur la connaissance approchée, Paris, Vrin, 1973.
,Œuvres, Paris, P.U.F., 1970.
,Topologie générale, Paris, Hermann,1971. | MR
,Sophiste, Paris, Belles Lettres, 1969.
,Traité de Logique, Paris, 1925.
,Les dialogues de Platon, Paris, P.U.F., 1963.
,Graphes et Algorithmes, Paris, Eyrolles, 1979. | MR | Zbl
, ,La théorie aristotélicienne de la science, Paris, Aubier-Montaigne, 1976. Pour la connaissance philosophique, Paris, O. Jacob, 1987.
,Idées directrices pour une phénoménologie, trad. P. Ricoeur, Paris, Gallimard, 1950.
,Introduction à la théorie des sous-ensembles flous, II, Paris, Masson, 1975.
,Formes et systématiques philosophiques, thèse dactylographiée, Université Lyon III, 1988.
,«Le philosophe automate», Milieu, 30,1987.
,«Formalisation booléenne et intuitionniste de la logique hégélienne», Folia philosophica, Łódz, 1990.
,Rough Sets», International Journal of Computer and Information Sciences, Vol.11, n°5, 1982. | MR | Zbl
, «Séminaire de mathématique floue (polycopié), Université Lyon 1, 1977-1978.
,Algèbre et topologie booléennes, Paris, Masson, 1979. | MR | Zbl
, ,An algebraic approach of non classical logics, North Holland, 1974. | MR | Zbl
,Trames planes, Paris, Dunod, 1977.
,