Réponse à un appel
Jan Ostrowski (1967)
Mathématiques et Sciences Humaines
Similarity:
Displaying similar documents to “Biographie de René Lavendhomme”
Réponse à un appel
Programme du 3e colloque sur les catégories, dédié à Charles Ehresmann
Andrée Charles Ehresmann (1980)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
La philosophie mathématique de Roger Apéry
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...
Qu'est-ce que la logique dans une catégorie ?
René Guitart (1982)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Bibliographie commentée
Jean-Pierre Desclés, Jean-Pierre Ginisti (1988)
Mathématiques et Sciences Humaines
Similarity:
La no-class theory de Stanisław Leśniewski
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...
Sur les principes sémantiques de Frege et sur une définition non-fregéenne de la notion d'identité propositionnelle
Grzegorz Malinowski (1991)
Mathématiques et Sciences Humaines
Similarity:
Une réalisation non-fregéenne du programme sémantique de G. Frege donnée par R. Suszko [5] est une des plus intéressantes constructions logiques de ces dernières années. Notre article est une présentation des aspects formels et philosophiques de la construction du calcul propositionnel SCI qui forme la base de cette réalisation.
Le pragmatisme peircéen, la théorie des catégories et le programme de Thiel
Ralf Krömer (2005)
Philosophia Scientiae
Similarity:
La théorie des catégories vaut tant par ses applications mathématiques que par les débats philosophiques qu’elle suscite. Elle sert à en topologie algébrique, à en algèbre homologique et, en tant qu’alternative à la théorie des ensembles, à en géométrie algébrique dans la conception de Grothendieck. La théorie des catégories est une discipline fondamentale en le sens de Christian Thiel, car elle traite d’opérations typiques de la mathématique de structures. Cette thèse est défendue...