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
    Therefore the implication is strictly one-directional, an... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→Many-one reducibility implies Turing reducibility (A ≤_m B implies A ≤_T B)

    Therefore the implication is strictly one-directional, and conflating the two reducibilities obscures the finer degree-theoretic distinctions Post's program was designed to expose.

    ?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

    Conflating
    Conflating means mixing together or treating two different things as if they were the same thing, when they're actually distinct. It's a logical error where someone blurs important differences between concepts, ideas, or situations to make an argument seem stronger than it is. For example, conflating "being critical of a policy" with "being disloyal to your country" wrongly equates two separate things.
    Degree-theoretic(in logic and metaphysics)
    Related to a theory that measures truth and properties in degrees or gradations rather than as absolute categories.
    Implication(as what the arrow symbol (→) represents)
    A logical connection between two statements where if the first is true, the second must also be true; written as 'p → q' meaning 'if p then q.'
    One-directional(describing the flow of meaning between words)
    Moving or flowing in only one direction, rather than going both ways.

    Next step

    Based on where you are in your exploration

    Explore a random proposition
    Start fresh with something unrelated.
    Post's program(as used in logic and computability theory)
    A research program in mathematical logic founded by Emil Post that studied how problems can be ranked by their difficulty in computation.
    reducibility(Computability theory; used to compare the relative difficulty of decision problems.)
    Problem P1 is reducible to problem P2 if a solution of P2 immediately yields a solution of P1.

    Connections

    2 topics

    Truth & Knowledge1 linkedModality & Possibility1 linked

    Related

    Many-one reducibility implies Turing reducibility (A ≤_m B implies A ≤_T B)

    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