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
    Edward Nelson's predicativist program in 'Predicative Ari... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→Exponentiation is not provably total in IΔ_0

    Edward Nelson's predicativist program in 'Predicative Arithmetic' (1986) disputes that exponential growth is well-defined at all, undermining the comparison premise rather than the conclusion.

    ?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.Predicativism avoids circular reasoning by rejecting impredicative definitions that presuppose the totality of sets they define.
      ?

      Think about whether this reason is strong or weak

    • 2.Exponential functions in standard analysis rely on quantification over infinite sequences, which predicativism legitimately questions as foundationally unclear.
      ?

      Think about whether this reason is strong or weak

    • 3.Nelson's approach preserves computational meaningfulness by restricting to finitely constructible numbers, avoiding infinitary assumptions.
      ?

      Think about whether this reason is strong or weak

    Reasons Against

    1 perspective
    Reason against
    ?
    • 1.Predicative arithmetic severely limits mathematical expressivity; most theorems in analysis become unprovable, not merely reconceptualized.
      ?

      Think about whether this reason is strong or weak

    • 2.Exponential growth appears well-defined even within predicative frameworks when formulated via recursion rather than quantification over infinite sets.
      ?

      Think about whether this reason is strong or weak

    • 3.Nelson's critique disputes the *justification* of exponential functions but doesn't show they're meaningless—it's a philosophical disagreement, not a mathematical discovery.
      ?

      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

    Comparison premise(as what Nelson targets instead of the conclusion)
    An assumption used in an argument that allows us to compare or evaluate two things—in this case, the starting assumption that makes the argument work.
    Edward Nelson(as the author being discussed)
    An American mathematician and philosopher (1932-2014) who developed predicativism, a philosophical approach to mathematics that questions whether certain mathematical objects and operations are truly well-defined or meaningful.
    Exponential growth(as the mathematical concept Nelson questions)
    A pattern where something increases by multiplying by the same factor repeatedly (like doubling: 1, 2, 4, 8, 16...), growing faster and faster as time goes on.
    Predicative Arithmetic(as the title of Nelson's 1986 work)
    A system of mathematics built on predicativist principles that avoids using infinite or circular definitions, treating only numbers and operations that can be clearly constructed.
    predicativism(Philosophy of mathematics; contrasted with classical set theory which accepts the power set of the natural numbers)
    The position that sets exist only if they are definable in some non-circular linguistic way
    well-defined(in mathematics and logic)
    Clear and precise enough that there's no confusion about what something means or how it works.

    Connections

    2 topics

    Truth & Knowledge1 linkedSkepticism1 linked

    Related

    Exponential functions in standard analysis rely on quantification over infinite ...Exponential growth appears well-defined even within predicative frameworks when ...

    Details

    Type
    claim
    Perspectives
    2 (1 for, 1 against)
    Edits
    1 edit
    Exponentiation is not provably total in IΔ_0
    Nelson's approach preserves computational meaningfulness by restricting to finit...
    +3 moreShow less
    Nelson's critique disputes the *justification* of exponential functions but does...Predicative arithmetic severely limits mathematical expressivity; most theorems ...Predicativism avoids circular reasoning by rejecting impredicative definitions t...