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 KD45 axiomatization preserves positive and negative i... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→Replacing the reflexivity condition on the accessibility relation with seriality allows doxastic models to capture belief rather than knowledge

    The KD45 axiomatization preserves positive and negative introspection, forcing idealized agents who know exactly what they believe — an implausible condition for fallible believers.

    ?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

    Axiomatization(as in the title of Reichenbach's work)
    The process of taking a theory and organizing it into a set of basic assumptions (called axioms) from which everything else can be logically derived.
    Fallible believers(as used in epistemology)
    Real people who are capable of being wrong, making mistakes, or holding beliefs without full certainty—in other words, humans.
    Idealized agents(as used in philosophy of mind and epistemology)
    Hypothetical, perfect thinkers in philosophical thought experiments who have unlimited reasoning ability and perfect information, unlike real humans.
    KD45 axiomatization(as used in epistemology and modal logic)
    A formal system of logical rules used to describe how knowledge and belief work, named after the axioms it includes (K, D, 4, and 5). It's like a rulebook for reasoning about what someone knows or believes.

    Next step

    Based on where you are in your exploration

    Explore a random proposition
    Start fresh with something unrelated.
    negative introspection(Epistemic logic principle being examined via Heytesbury's casus)
    The principle that if an agent does not know P, then the agent knows that the agent does not know P
    positive introspection(Accepted by Heytesbury in contrast to his rejection of negative introspection)
    The principle that if an agent knows P, then the agent knows that the agent knows P

    Connections

    2 topics

    Truth & Knowledge1 linkedModality & Possibility1 linked

    Related

    Replacing the reflexivity condition on the accessibility relation with seriality...

    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