La no-class theory de Stanisław Leśniewski
pp. 189-204
Résumé
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 Ontologie. 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 de la notion de cardinalité qui répond d’une manière radicale aux impératifs d’une no-class theory.
Détails de la publication
Publié dans:
Heinzmann Gerhard, Rebuschi Manuel (2005) Aperçus philosophiques en logique et en mathématiques. Philosophia Scientiae 9 (2).
Pages: 189-204
DOI: 10.4000/philosophiascientiae.536
Citation complète:
Joray Pierre, 2005, La no-class theory de Stanisław Leśniewski. Philosophia Scientiae 9 (2), Aperçus philosophiques en logique et en mathématiques, 189-204. https://doi.org/10.4000/philosophiascientiae.536.