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 principle Bp → BBp is rejected by most epistemologist... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→Epistemic logic can express principles that AGM belief revision and non-monotonic logic cannot straightforwardly express

    The principle Bp → BBp is rejected by most epistemologists as psychologically unrealistic and is explicitly denied in weak S4-alternatives like the logic KD45 without positive introspection.

    ?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

    Bp → BBp(This is the principle being discussed; p stands for any belief)
    A symbolic formula meaning 'if someone believes something (B), then they believe that they believe it (BB).' The arrow means 'if...then.'
    Introspection (or positive introspection)(KD45 logic explicitly denies that humans have this perfect ability to recognize all their own beliefs)
    The ability to look inward and accurately understand your own thoughts and beliefs; 'positive introspection' means being able to know what you believe whenever you actually believe it.
    KD45 (modal logic system)(An example of a 'weak S4-alternative'—a modified version of S4 with fewer assumptions)
    An alternative formal logical system similar to S4 but with different rules; it rejects some principles that S4 accepts.
    Logic (or formal logic)(KD45 and S4 are different logical systems with different rules)
    A system of rules for reasoning that determines what conclusions must be true if certain starting statements are true.

    Next step

    Based on where you are in your exploration

    Explore a random proposition
    Start fresh with something unrelated.
    Psychologically unrealistic(Philosophers reject this principle because people don't actually have perfect awareness of their own beliefs)
    Something that doesn't match how human minds actually work in reality; it's theoretically possible but humans don't actually function this way.
    S4 (modal logic system)(A technical framework philosophers use to study beliefs and knowledge)
    A formal logical system designed to reason about what is possible and necessary; S4 includes the principle Bp → BBp.
    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

    Connections

    2 topics

    Truth & Knowledge1 linkedConsciousness & Mind1 linked

    Related

    Epistemic logic can express principles that AGM belief revision and non-monotoni...

    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