Axiomes et définitions chez leśniewski: Une manière génétique de développer Les systèmes formels
Theoria 2 (2):285-307 (1987)
Abstract
The logical theories of Stanislaw Leśniewski differ profoundly form classical formal systems. Unlike the latter, they do not have an entirely predetermined vocabulary. Nor do they have a determined list of functors of syntactical-semantical categories. Due to formalized directives for definitions, the logics of Leśniewski are constructed progressively, making new theses and consequently functors of new syntactical-semantical categories accesible. In this article we present the genetic aspect associated with these theses-definitions. We also show that the property of creativity makes it possible to bridge some of the fundamental gaps in contemporary classical logicsMy notes
Similar books and articles
Ni « pure » ni « appliquée » : les usages de la géométrie chez Wittgenstein et Poincaré.Élie During - 2005 - Revue de Métaphysique et de Morale 2 (2):197-214.
Définition, théorie Des objets et paraconsistance (definition, objects' theory and paraconsistance).Newton C. A. Costa & Jean-Yves Béziau - 1998 - Theoria 13 (2):367-379.
Lesniewski's Early Liar, Tarski and Natural Language.Arianna Betti - 2004 - Annals of Pure and Applied Logic 127 (1-3):267-287.
Lesniewski and Ontological Commitment.Peter Simons - 1995 - In Denis Miéville & D. Vernant (eds.), Stanislaw Lesniewski Aujourd'hui. Université De Grenoble. pp. 103-119.
Analytics
Added to PP
2009-01-28
Downloads
47 (#251,249)
6 months
1 (#450,993)
2009-01-28
Downloads
47 (#251,249)
6 months
1 (#450,993)
Historical graph of downloads