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
    Home/Original/inverse
    See Original
    Inverse View

    It is not the case that There must be true arithmetical sentences which are not provable

    ?Set your confidence on the premises below to see your aggregate.

    Reasons For

    2 perspectives
    Reason for 1 of 2
    ?
    • 1.Truth in arithmetic is not a language-independent fact but is defined relative to a model, making 'true but unprovable' model-relative rather than absolute.
      ?

      Think about whether this reason is strong or weak

    • 2.Gödel sentences are true only in the standard model; in non-standard models of arithmetic, those same sentences can be false, undermining claims of absolute unprovable truth.
      ?

      Think about whether this reason is strong or weak

    • 3.Hilbert's formalist position holds that mathematical truth just is provability within a formal system, so 'true but unprovable' collapses into a category error.
      ?

      Think about whether this reason is strong or weak

    Reason for 2 of 2
    ?
    • 1.P2 assumes soundness of the formal system, but if we cannot verify soundness without a stronger system, the argument begs the question against a strict formalist.
      ?

      Think about whether this reason is strong or weak

    • 2.Lucas and Putnam's debates show that attributing truth to Gödel sentences requires adopting a Platonist semantic framework that is itself philosophically contested, not a neutral starting point.
      ?

      Think about whether this reason is strong or weak

    Reasons Against

    1 perspective
    Reason against
    ?
    • 1.The set of provable sentences in arithmetic and the set of true arithmetical sentences cannot coincide
      ?

      Think about whether this reason is strong or weak

    • 2.All provable sentences are true
      ?

      Think about whether this reason is strong or weak

    Next step

    Based on where you are in your exploration

    Strongest counterpoint
    Explore the most compelling reason on the other side.
    Statements
    321,452
    Perspectives
    108,905
    Topics
    42