The Role of “Terminological Explanations” in Stanisław Leśniewski’s Formalization of the Foundations of Mathematics Cover Image

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ński
Subject(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.

  • Issue Year: XI/2014
  • Issue No: 11
  • Page Range: 157-169
  • Page Count: 13
  • Language: Polish