La no-class theory de Stanisław Leśniewski

Pierre Joray

Philosophia Scientiae (2005)

  • Volume: 9, Issue: 2, page 189-204
  • ISSN: 1281-2463

Abstract

top
Leśniewski was not satisfied by Whitehead and Russell’s calculus of classes and relations. In 1919-20, he elaborated an extensional theory of names he called Ontology. Without a description of the full technical apparatus of Leśniewski’s formalism, I show here that Ontology gives rise to a general treatment of distributive predication which makes no use of the notion of class. In order to illustrate the importance of this peculiarity, I will give a logicist definition of cardinality which is radically conform with the requierments of a no-class theory.

How to cite

top

Joray, Pierre. "La no-class theory de Stanisław Leśniewski." Philosophia Scientiae 9.2 (2005): 189-204. <http://eudml.org/doc/103749>.

@article{Joray2005,
abstract = {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.},
author = {Joray, Pierre},
journal = {Philosophia Scientiae},
language = {fre},
number = {2},
pages = {189-204},
publisher = {Éditions Kimé},
title = {La no-class theory de Stanisław Leśniewski},
url = {http://eudml.org/doc/103749},
volume = {9},
year = {2005},
}

TY - JOUR
AU - Joray, Pierre
TI - La no-class theory de Stanisław Leśniewski
JO - Philosophia Scientiae
PY - 2005
PB - Éditions Kimé
VL - 9
IS - 2
SP - 189
EP - 204
AB - 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.
LA - fre
UR - http://eudml.org/doc/103749
ER -

References

top
  1. [1] Ajdukiewicz, Kazimierz1935.— Die syntaktische Konnexität, Studia Philosophica, 1, 1–27. Trad. angl. dans Mc Call S. (éd). Polish Logic, 1920-1939. Oxford : Clarendon, 1967, 207–231. Zbl0015.33702
  2. [2] Canty, John Thomas1967.— Leśniewski’s Ontology and Gödel’s Incompleteness Theorem, Thèse de doctorat, University of Notre Dame, Indiana. 
  3. [3] Canty, John Thomas1969.— The Numerical Epsilon, Notre Dame Journal of Formal Logic, 10, 47–63. Zbl0167.00905MR241266
  4. [4] Joray, Pierre1999.— Domaines de quantification et catégorie syntaxico-sémantiques, dans Rôle et enjeux de la notion de catégorie en logique. Travaux de logique du CdRS, 13, Université de Neuchâtel, 43–62. Zbl0970.03505MR1765028
  5. [5] Joray, Pierre2001.— La subordination logique. Une étude du nom complexe dans l’Ontologie de S. Leśniewski, Berne : Peter Lang. 2002 L’identité est-elle relative ? Remarques sur une illusion logique, Revue de Théologie et de Philosophie, 134, 1–14. 
  6. [6] Joray, Pierre2002a.— Logicism in Leśniewski’s Ontology, Logica Trianguli, 6, 3–20. Zbl1051.03007MR1989989
  7. [7] Joray, Pierre2004.— What is Wrong with Creative Definitions ?, Logika (Wrocław), 23. 
  8. [8] Joray, Pierre2004a.— La quantification catégorielle, dans Joray, P. (éd.), La quantification dans la logique moderne, Paris : L’Harmattan (coll. Epistémologie et philosophie des sciences), 233–260. MR2194930
  9. [9] Joray, Pierre2004b.— Axiomatique et définition dans les systèmes logiques de Leśniewski, Tarski et Łukasiewicz, dans Pouivet, R. (éd.), Actes du colloque ‘Philosophie et logique en Pologne 1918-1939’, Nancy, 20–22 nov. 2003, à paraître. 
  10. [10] Joray, Pierre & Godart-Wendling, Béatrice2002.— De la théorie des catégories sémantiques à l’analyse de la quantification dans la syntaxe d’Ajdukiewicz, Langages, 148, 28–50. 
  11. [11] Lejewski, Czesław1954.— Logic and Existence, The British Journal for the Philosophy of Science, 5 : 104-119. Repris dans [Srzednicki et al. 1984, 45–58]. 1929 Grundzüge eines neuen Systems der Grundlagen der Mathematik, Fundamenta Mathematicae, 14 : 1-80. Trad. angl. dans [Leśniewski 1992, 410–492]. 
  12. [12] Leśniewski, Stanisław1989.— Sur les fondements des mathématiques, Trad. fr. par Kalinowski, G., Paris : Hermès. Zbl0865.01009
  13. [13] Leśniewski, Stanisław1992.— Collected Works, Surma, J. T. (éds). 2 vol. Dordrecht : Kluwer. 
  14. [14] Miéville, Denis1984.— Un développement des systèmes logiques de Stanisław Leśniewski : Protothétique-Ontologie-Méréologie, Berne : Peter Lang. 
  15. [15] Miéville, Denis2001.— Introduction à l’oeuvre de Leśniewski I : la Protothétique, Travaux de logique du CdRS, Hors série, Université de Neuchâtel. Zbl1001.03004
  16. [16] Ockham, Guillaume 1488.— Summa totius logicae. Cité dans Somme logique I, trad. fr. Biard, J., Mauvesin : Trans-Europ-Repress, 2e édition, 1993. 
  17. [17] Russell, Bertrand1920.— Introduction à la philosophie mathématique, trad. fr. Rivenc, F., Paris : Payot, 1991. 
  18. [18] Sobociński, Boleslaw1949-50.— L’analyse de l’antinomie russellienne par Leśnievski, Methodos, vol. I, 94–107, 220-228 ; vol. II, 237–257. Zbl0034.15201
  19. [19] Srzednicki, J. T. J., Rickey V. F. & Czelakowski J. (éds) 1984.— Leśnievski’s Systems. Ontology and Mereology, La Hague : Nijhoff. 
  20. [20] Tarski, Alfred1923.— Sur le terme primitif de la logistique, dans Logique, sémantique, métamathématique I, trad. fr. Granger, G.-G., Paris : A. Colin, 1972, 1–25. 
  21. [21] Woleński, Jan1986.— Reism and Leśnievski’s Ontology, History and Philosophy of Logic, 7, 167–176. MR868750

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.