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
    Michael Dummett argues in 'Frege: Philosophy of Mathemati... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→Russell's logicism differs significantly from Frege's logicism

    Michael Dummett argues in 'Frege: Philosophy of Mathematics' that Russell's type theory is best understood as a technical repair of Frege's own logicist system rather than a departure from it.

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

    Reasons For

    1 perspective
    Reason for
    ?
    • 1.Frege's system collapsed due to unrestricted comprehension; Russell's type theory preserves logicism by restricting comprehension hierarchically.
      ?

      Think about whether this reason is strong or weak

    • 2.Both Frege and Russell aimed to reduce mathematics to logic; type theory maintains this core logicist goal despite technical modifications.
      ?

      Think about whether this reason is strong or weak

    • 3.Russell acknowledged Frege's foundational insights and explicitly built type theory as a response to the paradox problem, not wholesale rejection.
      ?

      Think about whether this reason is strong or weak

    Reasons Against

    1 perspective
    Reason against
    ?
    • 1.Type theory introduces ramification and the axiom of reducibility—substantive additions absent from Frege, suggesting genuine theoretical departure.
      ?

      Think about whether this reason is strong or weak

    • 2.Frege's intensional approach to concepts differs fundamentally from Russell's extensional type-theoretic apparatus, not merely technical repair.
      ?

      Think about whether this reason is strong or weak

    • 3.Russell explicitly rejected Frege's Basic Law V; calling this a 'repair' understates how drastically the foundational principles were reconstructed.
      ?

      Think about whether this reason is strong or weak

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

    Next step

    Based on where you are in your exploration

    Strongest counterpoint
    Explore the most compelling reason on the other side.

    Key Terms

    Frege(as a major historical figure in philosophy)
    Gottlob Frege (1848-1925) was a German logician and philosopher who founded modern logic and did groundbreaking work on how language relates to meaning and existence.
    Michael Dummett(as a philosopher referenced for his views on concreteness)
    A 20th-century British philosopher known for work on logic, language, and metaphysics, including theories about what kinds of things exist in the physical world.
    Philosophy of mathematics(the field Wittgenstein is working in)
    The area of philosophy that asks fundamental questions about math itself: What are numbers? Do they exist in the world, or only in our minds? Are mathematical truths discovered or invented?
    Russell's type theory(A technical solution in logic being compared to Frege's system)
    A logical system created by philosopher Bertrand Russell to solve certain contradictions in early logic, organizing things into different 'types' or levels to prevent circular problems.
    Technical repair(The suggested relationship between Russell's theory and Frege's system)
    A fix or patch to make a broken system work, usually by adjusting or modifying details while keeping the main idea intact.
    logicism(Lukács's characterization of the aspect of Hegel's system that leads to idealist metaphysics)
    the primacy of categories over being

    Connections

    2 topics

    Truth & Knowledge1 linkedPhilosophy of Language1 linked

    Related

    Both Frege and Russell aimed to reduce mathematics to logic; type theory maintai...Frege's intensional approach to concepts differs fundamentally from Russell's ex...

    Details

    Type
    claim
    Perspectives
    2 (1 for, 1 against)
    Edits
    1 edit
    Frege's system collapsed due to unrestricted comprehension; Russell's type theor...
    Russell acknowledged Frege's foundational insights and explicitly built type the...
    +3 moreShow less
    Russell explicitly rejected Frege's Basic Law V; calling this a 'repair' underst...Russell's logicism differs significantly from Frege's logicismType theory introduces ramification and the axiom of reducibility—substantive ad...