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 domains of worlds vary, a B-preserving isomorphism... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→Intermediate global supervenience entails weak global supervenience.

    If the domains of worlds vary, a B-preserving isomorphism can exist between worlds that differ in which A-properties are instantiated, undermining P3's identification of the two conditions.

    ?Rate how convincing each reason is below to see the overall strength.
    1 reason for
    1 reason against

    Reasons For

    1 perspective
    Reason for
    ?
    • 1.Domain variance allows structurally identical worlds to differ in which entities exist, making B-preserving isomorphisms possible despite A-property differences.
      ?

      Think about whether this reason is strong or weak

    • 2.P3 conflates structural identity (B-preservation) with metaphysical identity (A-property instantiation), but these are distinct conditions requiring separate evaluation.
      ?

      Think about whether this reason is strong or weak

    • 3.If B-properties supervene on structural relations alone, then worlds with identical structures but different domains can share all B-properties while differing in A-properties.
      ?

      Think about whether this reason is strong or weak

    Reasons Against

    1 perspective
    Reason against
    ?
    • 1.A-properties typically constitute what entities are fundamental to a world; changing which A-properties are instantiated changes world identity itself, not just isomorphism conditions.
      ?

      Think about whether this reason is strong or weak

    • 2.B-preserving isomorphisms between distinct domains require a background identity criterion independent of both A and B, creating explanatory regress rather than solving it.
      ?

      Think about whether this reason is strong or weak

    • 3.P3's identification is meant to show when worlds are genuinely identical; structural similarity without A-property identity leaves the core identity question unanswered.
      ?

      Think about whether this reason is strong or weak

    Sign in or register to share your perspective on this statement.

    Next step

    Based on where you are in your exploration

    Strongest counterpoint
    Explore the most compelling reason on the other side.

    Key Terms

    A-properties and B-properties(metaphysics)
    In this context, these are two different categories of characteristics that things can have. A-properties and B-properties are distinguished based on a specific philosophical debate about how to classify different kinds of properties.
    B-preserving isomorphism(Used in the modal framework for defining global supervenience relations.)
    A mapping I between two possible worlds such that for every individual x in w1, the image of x under I in w2 has all and only the same B-properties as x.
    P3(as referenced in formal logic or philosophical argumentation)
    A specific rule or principle (probably the third one in a list) being discussed in the larger argument.
    domains of worlds(metaphysics/possible worlds theory)
    In philosophy, a 'world' is a complete possible way things could be. The 'domain' is the set of things that exist in that world. If worlds have different domains, one world might contain objects or entities that don't exist in another world.
    instantiated(as used in metaphysics and logic)
    Made real or brought into existence as an actual example; like when a concept becomes a real thing you can observe.

    Connections

    1 linked claim · 2 topics

    Consciousness & Mind1 linkedModality & Possibility1 linked
    Intermediate global supervenience entails weak global supervenience.

    Related

    A-properties typically constitute what entities are fundamental to a world; chan...

    Details

    Type
    claim
    Perspectives
    2 (1 for, 1 against)
    Edits
    1 edit
    B-preserving isomorphisms between distinct domains require a background identity...
    Domain variance allows structurally identical worlds to differ in which entities...
    If B-properties supervene on structural relations alone, then worlds with identi...
    +3 moreShow less
    Intermediate global supervenience entails weak global supervenience.P3 conflates structural identity (B-preservation) with metaphysical identity (A-...P3's identification is meant to show when worlds are genuinely identical; struct...