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

DOI10.1007/978-3-319-00482-2zbMATH Open1280.03004OpenAlexW615916062WikidataQ114964646 ScholiaQ114964646MaRDI QIDQ1955687FDOQ1955687

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

paradoxesset theoryOntologyMereologytheory of definitionshigher-order quantificationPrototheticLeśniewski

Mathematics Subject Classification ID

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

Cited In (19)

• Bolesław Sobociński on Universals
• On Blass translation for Leśniewski's propositional ontology and modal logics
• Paul Hertz’s Systems of Propositions As a Proof-Theoretical Conception of Logic
• A Sound Interpretation of Leśniewski's Epsilon in Modal Logic KTB
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Principle of Contradiction and Ecthesis in Aristotle's Syllogistic
• The universe in Leśniewski's mereology: some comments on Sobociński's reflections
• Title not available (Why is that?)
• Mereology with super-supplemention axioms. A reconstruction of the unpublished manuscript of Jan F. Drewnowski
• Stanisław Jaśkowski and Natural Deduction Systems
• Potential infinity, abstraction principles and arithmetic (Leśniewski style)
• Title not available (Why is that?)
• On definitions in mathematics
• Title not available (Why is that?)
• Mereology then and now
• Title not available (Why is that?)
• Leśniewski on metalogic and definitions
• Leśniewski's ontology -- proof-theoretic characterization

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1955687)