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 et Sciences humaines}, volume = {116}, year = {1991}, pages = {29-46}, mrnumber = {1167761}, zbl = {0794.03010}, language = {fr}, url = {http://dml.mathdoc.fr/item/MSH_1991__116__29_0} }
Parrochia, Daniel. Trames, classifications, définitions. Mathématiques et Sciences humaines, Tome 116 (1991) pp. 29-46. http://gdmltest.u-ga.fr/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 573938 | Zbl 0419.00003
, , ,Essai sur la connaissance approchée, Paris, Vrin, 1973.
,Œuvres, Paris, P.U.F., 1970.
,Topologie générale, Paris, Hermann,1971. | MR 358652
,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 615739 | Zbl 0497.05023
, ,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 703291 | Zbl 0501.68053
, «Séminaire de mathématique floue (polycopié), Université Lyon 1, 1977-1978.
,Algèbre et topologie booléennes, Paris, Masson, 1979. | MR 532013 | Zbl 0465.06001
, ,An algebraic approach of non classical logics, North Holland, 1974. | MR 446968 | Zbl 0299.02069
,Trames planes, Paris, Dunod, 1977.
,