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
    Without a prior commitment to a privileged interpretation... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→A consistent formal system of arithmetic must contain statements that are true but not provable within that system.

    Without a prior commitment to a privileged interpretation of arithmetic, 'true but unprovable' collapses into 'unprovable in this system but provable in an extension'—a far weaker claim.

    ?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

    Arithmetic
    Arithmetic is the branch of mathematics dealing with basic number operations—addition, subtraction, multiplication, and division. It's the foundation of math that you use in everyday life, like calculating change at a store, splitting a bill, or figuring out measurements. Essentially, it's the practical math skill everyone learns early in school to work with numbers in simple, straightforward ways.
    Privileged interpretation(as what the author claims we shouldn't assume about arithmetic)
    A special or favored way of understanding something that is treated as uniquely correct or important, often without sufficient justification.
    Unprovable in this system(as contrasted with provable in extensions)
    A statement that cannot be proven using the specific set of rules and assumptions (called axioms) that define a particular mathematical or logical system.
    extension(Semantics and philosophy of language)
    Another term for reference, i.e., the object or set of objects a term picks out

    Next step

    Based on where you are in your exploration

    Explore a random proposition
    Start fresh with something unrelated.
    true but unprovable(Informal characterization of the Gödel sentence G_F when F is consistent)
    A sentence that holds in the standard model of arithmetic but cannot be derived as a theorem within the formal system F

    Connections

    2 topics

    Truth & Knowledge1 linkedModality & Possibility1 linked

    Related

    A consistent formal system of arithmetic must contain statements that are true b...

    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