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
    The identity reduction witnessing reflexivity is triviall... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→The polynomial time many-one reducibility relation ≤_P is a preorder (reflexive and transitive).

    The identity reduction witnessing reflexivity is trivially well-defined only if problems are individuated extensionally as sets of strings, collapsing intensional distinctions philosophers like Carnap and Frege treat as meaningful.

    ?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

    Extensionally(as used in logic and semantics)
    Treating something based on what it actually is or what group it belongs to, rather than how we describe it. If something can't be 'handled extensionally,' it means we can't just look at what it actually contains or is.
    Gottlob Frege(historical philosopher)
    A late 19th and early 20th-century German philosopher and logician who made fundamental contributions to understanding how language and meaning work.
    Identity reduction(as used in metaphysics and philosophy of mind)
    A philosophical technique where you try to show that one thing is really just another thing in disguise—like arguing that the mind is really just the brain.
    Intensional distinctions(what mereological extensionality fails to distinguish)
    Differences in meaning or how something is understood, rather than differences in what physical parts or objects are involved.

    Next step

    Based on where you are in your exploration

    Explore a random proposition
    Start fresh with something unrelated.
    Rudolf Carnap(as a philosopher of language and logic)
    A 20th-century German-American philosopher who thought the best way to understand scientific language was to translate it into a basic, logical framework.
    reflexivity(Relational models in modal logic)
    A property of a relation R on W such that every state w stands in relation R to itself; corresponds to the Veracity axiom in epistemic logic (what is known is true)
    well-defined(in mathematics and logic)
    Clear and precise enough that there's no confusion about what something means or how it works.

    Connections

    2 topics

    Truth & Knowledge1 linkedModality & Possibility1 linked

    Related

    The polynomial time many-one reducibility relation ≤_P is a preorder (reflexive ...

    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