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
    Inconsistent theories arising from closed set logic are n... — Carmelics
    Statements
    321,452
    Perspectives
    108,905
    Topics
    42
    Home/Modality & Possibility
    HistoryEditSee Inverse

    Part of a larger discussion

    Supports→Dynamical theories determine their own logic of possible propositions, and the resulting theories may be inconsistent and are as natural as incomplete theories

    Inconsistent theories arising from closed set logic are no less natural than incomplete theories arising from open set logic

    Modality & PossibilityTruth & Knowledge
    ?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.

    Topics

    Modality & PossibilityTruth & Knowledge

    Related

    Dynamical theories determine their own logic of possible propositions, and the r...Specifying a topological space by its closed sets is equally legitimateSpecifying a topological space by its open sets is legitimate and yields intuiti...

    Next step

    Based on where you are in your exploration

    Browse more in Modality & Possibility
    Related propositions within the same area of thought.
    The logic of closed sets is paraconsistent and supports inconsistent nontrivial ...

    Similar

    The fact that toposes support closed set logic as readily as open set ...85%The logic of closed sets is paraconsistent and supports inconsistent n...85%The logic of closed sets is paraconsistent, supporting inconsistent no...84%The result that toposes support closed set logic equally to open set l...83%

    Source

    AI-extracted
    SEP: mathematics-inconsistent
    View source passageHide passage
    There have proved to be many places throughout analysis where there are distinctive inconsistent insights. The examples in the remainder of this section are drawn from Mortensen (1995). For example: (1) Robinson’s (1974) non-standard analysis was based on infinitesimals, quantities smaller than any real number, as well as their reciprocals, the infinite numbers. This has an inconsistent version, which has some advantages for calculation in being able to discard higher-order infinitesimals. Inter

    Details

    Type
    premise
    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