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
    Category-theoretic generality that encompasses a formalis... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→The fact that toposes support closed set logic as readily as open set logic is an argument that inconsistent theories are equally reasonable as items of mathematical study.

    Category-theoretic generality that encompasses a formalism does not constitute the kind of scientific indispensability that warrants treating inconsistent theories as equally reasonable mathematical objects.

    ?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

    Category theory(as used in mathematical logic)
    A highly abstract branch of mathematics that studies how different mathematical structures relate to and transform into each other, rather than focusing on the structures themselves.
    Inconsistent theories(as used in logic and philosophy of science)
    Sets of ideas or rules that contradict each other—where one part says something is true and another part says it's false.
    Mathematical objects(as used in philosophy of mathematics)
    Abstract things that mathematicians study, like numbers, shapes, or functions—they don't exist in the physical world, only in our minds and on paper.
    Scientific indispensability(in philosophy of science)
    The idea that something is so necessary and useful for doing science that we have good reason to believe it's real or true.

    Next step

    Based on where you are in your exploration

    Explore a random proposition
    Start fresh with something unrelated.
    formalism(Applied as a critique of both metaphysics and the sciences in Horkheimer's later work)
    The logical practice of relating facts to concepts in terms of the relation of classes to instances, accomplished by simple deduction, resulting in static universals into which all particulars can be neatly placed

    Connections

    2 topics

    Truth & Knowledge1 linkedModality & Possibility1 linked

    Related

    The fact that toposes support closed set logic as readily as open set logic is a...

    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