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

    It is not the case that The supporting argument equivocates between 'definable within the system' and 'definable mathematically,' and rejecting the former does not entail rejecting the latter.

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

    Reasons For

    1 perspective
    Reason for
    ?
    • 1.The distinction assumes mathematics is independent of formal systems, but all mathematical reasoning ultimately relies on formal foundations.
      ?

      Think about whether this reason is strong or weak

    • 2.'Definable mathematically' is itself vague without specifying which mathematical framework or metatheory is being invoked.
      ?

      Think about whether this reason is strong or weak

    • 3.If something isn't definable in any formal system, calling it 'mathematically definable' lacks clear epistemic justification.
      ?

      Think about whether this reason is strong or weak

    Reasons Against

    1 perspective
    Reason against
    ?
    • 1.Formal systems have axioms and inference rules; definitions within them are constrained by these rules.
      ?

      Think about whether this reason is strong or weak

    • 2.Mathematical definability uses broader resources (set theory, model theory) not available inside any single formal system.
      ?

      Think about whether this reason is strong or weak

    • 3.Gödel's incompleteness shows some truths are mathematically real but not derivable within specific systems.
      ?

      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.