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
    Home/Original/inverse
    See Original
    Inverse View

    It is not the case that Once iterated AGM revision is formalized, the principle Bp → BBp can be captured by constraints on the agent's conditional belief structure without modal operators.

    ?Set your confidence on the premises below to see your aggregate.

    Reasons For

    1 perspective
    Reason for
    ?
    • 1.Conditional beliefs about p given p are not equivalent to believing that one believes p—they conflate epistemic levels in distinct ways.
      ?

      Think about whether this reason is strong or weak

    • 2.AGM revision constrains how beliefs change, not the truth conditions of introspective claims; these solve different formal problems.
      ?

      Think about whether this reason is strong or weak

    • 3.Capturing Bp→BBp requires encoding *which facts make introspection true*, not merely the structure of belief updates across scenarios.
      ?

      Think about whether this reason is strong or weak

    Reasons Against

    1 perspective
    Reason against
    ?
    • 1.AGM revision naturally encodes introspective closure: if an agent revises by p, conditional belief structures track what they'd believe given p.
      ?

      Think about whether this reason is strong or weak

    • 2.Modal operator Bp→BBp requires semantic access to belief operators themselves; conditional structures avoid this by using object-level constraints.
      ?

      Think about whether this reason is strong or weak

    • 3.Iterated revision sequences create nested conditionals (believe q given p, given r) that formally mirror the nested belief depth of Bp→BBp.
      ?

      Think about whether this reason is strong or weak

    Next step

    Based on where you are in your exploration

    Strongest counterpoint
    Explore the most compelling reason on the other side.
    Statements
    321,452
    Perspectives
    108,905
    Topics
    42