Rola „terminologicznych wyjaśnień” w Stanisława Leśniewskiego formalizacji podstaw matematyki
The Role of “Terminological Explanations” in Stanisław Leśniewski’s Formalization of the Foundations of Mathematics
Author(s): Ryszard MiszczyńskiSubject(s): Philosophy, History of Philosophy, Philosophical Traditions, Special Branches of Philosophy
Published by: Uniwersytet Jana Długosza w Częstochowie
Keywords: Stanisław Leśniewski; formalization of protothetics; terminological explanation
Summary/Abstract: The article deals with the way in which S. Leśniewski performed the radical formalization ofmathematics. “Terminological explanations” were a metalanguage description of the languageused to fromalize mathematics.
Journal: Prace Naukowe Akademii im. Jana Długosza w Częstochowie. Filozofia
- Issue Year: XI/2014
- Issue No: 11
- Page Range: 157-169
- Page Count: 13
- Language: Polish
