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 claim conflates logical independence from empirical c... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→Post's problem demonstrates that intermediate c.e. Turing degrees exist between 0 and 0', meaning T-completeness requires independent justification beyond m-completeness alone.

    The claim conflates logical independence from empirical computational differences; intermediate degrees show complexity distinctions, not that T-completeness needs separate foundational justification.

    ?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

    Computational differences(explaining practical variations in complexity)
    Variations in how much processing power, steps, or resources are needed to solve different problems or systems.
    Conflates(in argumentation and logic)
    Treats two different things as if they're the same thing, or mixes them up in a way that causes confusion.
    Empirical
    # Empirical Empirical means based on real observation, experience, or experiments rather than theory or guessing. When something is empirical, it's proven by actually testing it or seeing it happen in the real world, not just thinking about it logically. For example, empirical evidence might be data collected from a survey or results from a scientific experiment that shows what actually occurs.
    Intermediate degrees(describing nuanced complexity distinctions)
    The many levels or stages that exist between two extremes, rather than just having two opposite categories.

    Next step

    Based on where you are in your exploration

    Explore a random proposition
    Start fresh with something unrelated.
    Logical independence(the assumption that individual representations could exist separately from a unified self)
    The idea that one thing can exist or be true completely on its own, without needing anything else to explain it or make it work.
    T-completeness(as used in computability theory)
    A property in mathematical logic where a system can solve certain problems using a different, broader method (Turing reducibility). It's a more general way of measuring completeness than m-completeness.
    foundational justification(Foundationalist epistemology; the target of BonJour's regress-style objection)
    A form of justification in which a belief is justified independently of other beliefs — its justification does not derive from inferential relations to further justified beliefs.

    Connections

    1 linked claim

    Post's problem demonstrates that intermediate c.e. Turing degrees exist between ...

    Related

    Post's problem demonstrates that intermediate c.e. Turing degrees exist between ...

    Details

    Type
    premise
    Perspectives
    0 (0 for, 0 against)

    Open for perspectives

    This idea is waiting for its first supporting or challenging perspective.

    Share the first perspective