Skip to content
Carmelics
TopicsThinkersChangesContributorsLoading account…

    Carmelics

    A reasoning platform. Break down any belief into clear reasons, explore both sides, and weigh the evidence honestly.

    Navigate

    • Topics
    • Search
    • Recent Changes
    • Contribute
    • How It Works
    • Glossary
    • Thinkers
    • Contributors
    • About
    • Statistics
    • Terms
    • Privacy

    Database

    Statements
    —
    Perspectives
    —
    Topics
    —

    Press ? for keyboard shortcuts

    LoyalLoyalJusticeJustice
    Made withinDC&Austin
    Statements
    321,452
    Perspectives
    108,905
    Topics
    42
    The Lemma Concerning Zero presupposes logicism's reductio... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→No number precedes zero

    The Lemma Concerning Zero presupposes logicism's reduction of 'number' to extensions of concepts, which Russell's paradox showed to be formally inconsistent in Frege's original system.

    ?Rate how convincing each reason is below to see the overall strength.

    No one has weighed in yet. Be the first to share reasons for or against this statement.

    Sign in or register to share your perspective on this statement.

    Key Terms

    Bertrand Russell
    Bertrand Russell was a British philosopher, logician, and social activist (1872-1970) who became famous for trying to show that mathematics could be built from pure logic, and for his clear, witty writing that made complex ideas accessible to everyday readers. He also became a public intellectual who spoke out on major issues like nuclear weapons, religion, and social justice, earning the Nobel Prize in Literature in 1950. Today, he's remembered as one of the most important thinkers of the 20th century who believed philosophy should tackle real-world problems, not just abstract puzzles.
    Formally inconsistent(describing the relationship between FUNC and the theorem's conclusions)
    Logically contradictory or self-contradictory according to mathematical rules—like trying to prove something is both true and false at the same time.
    Gottlob Frege(historical philosopher)
    A late 19th and early 20th-century German philosopher and logician who made fundamental contributions to understanding how language and meaning work.
    Russell's paradox(Independently discovered by Zermelo and Russell)

    Next step

    Based on where you are in your exploration

    Explore a random proposition
    Start fresh with something unrelated.
    The paradox of the 'set' of all sets that are not members of themselves
    extension of a concept(Peirce's 1880 algebra of logic; extension can be empty under the modern semantic assumption)
    The class of all objects that fall under a given concept
    lemma(Used in the logical sense of an auxiliary proposition needed to complete an argument)
    A subsidiary claim that must be added to an argument to make it perfectly relevant
    logicism(Lukács's characterization of the aspect of Hegel's system that leads to idealist metaphysics)
    the primacy of categories over being
    reduction (in philosophy)(used in this statement about whether one question can be reduced to another)
    A claim that something complex can be completely explained or replaced by something simpler—the idea that one thing really just boils down to another.

    Connections

    2 topics

    Proof of definition segments1 linkedTruth & Knowledge1 linked

    Related

    No number precedes zero

    Details

    Type
    claim
    Perspectives
    0 (0 for, 0 against)
    Edits
    1 edit

    Open for perspectives

    This idea is waiting for its first supporting or challenging perspective.

    Share the first perspective