Introduction à l'analyse algébrique
René Guitart (1986)
Mathématiques et Sciences Humaines
Similarity:
René Guitart (1986)
Mathématiques et Sciences Humaines
Similarity:
René Guitart (1982)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Pierre Joray (2005)
Philosophia Scientiae
Similarity:
Insatisfait du calcul des classes et des relations de Whitehead et Russell, Leśniewski élabora en 1919-20 une théorie extensionnelle des noms qu’il nomma . Sans entrer dans une description technique du formalisme de Leśniewski, nous montrons dans cet article que l’Ontologie permet un traitement général du distributif qui ne s’appuie à aucun moment sur une notion de classe. Nous illustrons enfin cette particularité importante du système de Leśniewski en proposant une définition logiciste...
Pierre Ageron (2005)
Philosophia Scientiae
Similarity:
Pour qui s’intéresse à la philosophie des mathématiques, Roger Apéry (1916-1994) incarne le défenseur de la mathématique constructive et l’adversaire résolu du formalisme et du bourbakisme. On sait moins qu’il est aussi l’un des premiers universitaires français à avoir fait la promotion de la théorie des catégories, pourtant hautement structuraliste et souvent jugée comme très formelle. L’objectif principal de notre étude est de préciser les conditions historiques et la teneur philosophique...
J. B. Grize (1971)
Mathématiques et Sciences Humaines
Similarity:
Anne Preller (1977)
Publications du Département de mathématiques (Lyon)
Similarity:
Jean Petitot (1997)
Mathématiques et Sciences Humaines
Similarity:
L'article traite des liens entre la syntaxe et la sémantique formelle (de nature logique) des jugements perceptifs et leur contenu proprement perceptif (de nature géométrique). Dans les situations les plus élémentaires le contenu perceptif se ramène à des remplissements de domaines spatiaux (l'extension des objets) par des qualités sensibles (couleurs, textures, etc.). Ces remplissements sont descriptibles par des sections de fibrations appropriées, qui sont des cas particuliers de faisceaux....
Pascal Boldini (1993)
Mathématiques et Sciences Humaines
Similarity:
À 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...
René Guitart (2008)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity: