Leśniewski's systems of logic and foundations of mathematics

DOI10.1007/978-3-319-00482-2zbMath1280.03004OpenAlexW615916062MaRDI QIDQ1955687

Rafal Urbaniak

Publication date: 18 June 2013

Published in: Trends in Logic -- Studia Logica Library (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-00482-2

zbMATH Keywords

Ontologyparadoxesset theoryLeśniewskiMereologytheory of definitionshigher-order quantificationProtothetic

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Set theory (03E99)

Related Items (11)

On definitions in mathematics ⋮ A Sound Interpretation of Leśniewski's Epsilon in Modal Logic KTB ⋮ Potential infinity, abstraction principles and arithmetic (Leśniewski style) ⋮ Bolesław Sobociński on Universals ⋮ Mereology then and now ⋮ Leśniewski on metalogic and definitions ⋮ The universe in Leśniewski's mereology: some comments on Sobociński's reflections ⋮ The Principle of Contradiction and Ecthesis in Aristotle's Syllogistic ⋮ Mereology with super-supplemention axioms. A reconstruction of the unpublished manuscript of Jan F. Drewnowski ⋮ Leśniewski's ontology -- proof-theoretic characterization ⋮ On Blass translation for Leśniewski's propositional ontology and modal logics

This page was built for publication: Leśniewski's systems of logic and foundations of mathematics