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
    If the resolution of an asymmetry requires restricting wh... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→Internal Set Theory resolves the asymmetry between standard and non-standard reals by enriching the basic language of mathematics to distinguish between standard and non-standard real numbers and between internal and external sets.

    If the resolution of an asymmetry requires restricting which set-theoretic operations preserve standardness, the resulting framework imposes new asymmetries rather than eliminating the original one.

    ?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

    asymmetry(Modal logic frame semantics)
    A frame property expressible in hybrid logic by the formula c→□¬◇c, meaning if world x accesses world y, then y does not access x.
    framework(Carnap's philosophy of language and logic)
    A structured system of rules or language that must be in place for rational discourse to be possible.
    preserves(describing whether mathematical operations keep important qualities intact)
    To keep something the same or maintain a quality; in this context, to ensure that certain properties remain true when you apply an operation.
    set-theoretic operations(describing mathematical tools used to manipulate groups of things)
    Mathematical procedures you perform on collections of objects (called 'sets'), like combining them, finding what they have in common, or removing items.

    Next step

    Based on where you are in your exploration

    Explore a random proposition
    Start fresh with something unrelated.
    standardness(referring to what counts as acceptable or typical within a mathematical system)
    The quality of being normal, regular, or conforming to an accepted rule or pattern.

    Connections

    2 topics

    Truth & Knowledge1 linkedPhilosophy of Language1 linked

    Related

    Internal Set Theory resolves the asymmetry between standard and non-standard rea...

    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