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
    If the extension of 'feasibility' tracked by CET is conce... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→The Computational Efficiency Thesis (CET) is supported by a quasi-inductive argument analogous to the quasi-inductive argument for the Church-Turing Thesis (CT).

    If the extension of 'feasibility' tracked by CET is conceptually unstable or context-dependent, then the inductive evidence for CET fails to converge on a single well-defined thesis in the way CT's evidence converges on computability.

    ?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

    CET(as used in philosophy of computation)
    An abbreviation for a specific philosophical thesis about computation (likely 'Computational Feasibility Thesis' or similar), but the exact meaning would depend on the source text.
    CT(The thesis whose acceptance is presupposed throughout the Stroud–Brueckner exchange; its exact formulation is not given in this passage.)
    An unnamed thesis or theory (likely a causal or connectedness theory of content) whose acceptance constrains what believers can conceive regarding the relationship between beliefs and mind-independent objects.
    Conceptually unstable(as used in epistemology)
    A concept whose meaning or boundaries keep shifting depending on how you look at it, making it hard to pin down exactly what it means.
    Context-dependent(describing whether comicality is a fixed property or varies by situation)
    Something that changes meaning or value depending on the situation or circumstances it's in, rather than always being the same.

    Next step

    Based on where you are in your exploration

    Explore a random proposition
    Start fresh with something unrelated.
    Converge(describing how existence and essence might relate for necessary beings)
    Come together or merge into the same thing; stop being separate.
    Feasibility(as used in logic and computation)
    Whether something is actually possible to do in practice, considering real-world limitations like time and resources—not just theoretically possible.
    Inductive evidence(describes how non-criterial evidence works)
    Evidence that builds up a probable case for something without proving it beyond doubt—like noticing it rained every time you wore a blue shirt, so you start thinking the shirt might cause rain.
    Well-defined thesis(as used in logic and academic writing)
    A claim or argument whose meaning is clear and precise, with no ambiguity about what exactly is being argued.
    computability(computer science and philosophy of mathematics)
    The study of what problems can or cannot be solved by following a step-by-step procedure (algorithm) on a computer.
    extension(Semantics and philosophy of language)
    Another term for reference, i.e., the object or set of objects a term picks out

    Connections

    2 topics

    All sources support it1 linkedTruth & Knowledge1 linked

    Related

    The Computational Efficiency Thesis (CET) is supported by a quasi-inductive argu...

    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