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
    Claiming 'no further constraints' is substantive only if ... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→A result's interest is not diminished merely because its proof is constructive; the type-space construction reveals that CKR imposes no further constraints beyond IESDS survival, which is itself a substantive finding.

    Claiming 'no further constraints' is substantive only if prior uncertainty existed; if this relationship was already established, the finding's interest depends on prior ignorance.

    ?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

    Established relationship(as used in philosophy of science)
    A connection between two things that has already been proven or confirmed to be true.
    Prior ignorance(as used in epistemology and philosophy of science)
    Not knowing something before you investigate it—the absence of knowledge that existed before new evidence or research came along.
    Prior uncertainty(as used in epistemology and philosophy of science)
    Not knowing something before you look into it or do research—the state of being genuinely unsure before you get new information.
    constraints(Used in the context of time travel space-times to distinguish genuine lawlike constraints from mere contingent compatibility)
    Restrictions on states on spatial surfaces that hold as a matter of law rather than accidental fact

    Next step

    Based on where you are in your exploration

    Explore a random proposition
    Start fresh with something unrelated.
    epistemology(Contrasted with purely descriptive scientific inquiry)
    A normative enterprise that tells us how we ought to reason from evidence and how we ought to justify our beliefs, as distinct from merely describing how we do reason or justify beliefs
    substantive(classification of linguistic forms by their role in expressing categories of thought)
    The linguistic form required to express thought's apprehension of independent objects

    Connections

    1 linked claim

    A result's interest is not diminished merely because its proof is constructive; ...

    Related

    A result's interest is not diminished merely because its proof is constructive; ...

    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