PDC Homepage

Home » Products » Purchase

Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia

Volume 2, Issue 2/3, Febrero/Septiembre 1987

Denis Miéville
Pages 285-307

Axiomes et définitions chez Leśniewski
Une manière génétique de développer les systèmes formels

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 logics.

Usage and Metrics