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
    Strong global supervenience's universal quantification ov... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→Strong global supervenience entails intermediate global supervenience.

    Strong global supervenience's universal quantification over isomorphisms entails intermediate's existential claim only if at least one isomorphism exists, yet worlds with radically different cardinalities may share B-profiles with no isomorphism available.

    ?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.Universal quantification over isomorphisms requires at least one isomorphism to ground any existential claims about supervenience relations.
      ?

      Think about whether this reason is strong or weak

    • 2.Worlds differing in cardinality can exhibit identical B-profiles, demonstrating that shared intrinsic properties don't guarantee structural correspondence.
      ?

      Think about whether this reason is strong or weak

    • 3.If isomorphism-dependence is built into strong supervenience, then absence of isomorphisms creates a logical gap between global and intermediate claims.
      ?

      Think about whether this reason is strong or weak

    Reasons Against

    1 perspective
    Reason against
    ?
    • 1.Strong supervenience is typically defined without explicit isomorphism requirements, making the claim's formalization non-standard and potentially question-begging.
      ?

      Think about whether this reason is strong or weak

    • 2.B-profile identity across different cardinalities may indicate weak supervenience suffices, not that strong supervenience fails for cardinality-divergent worlds.
      ?

      Think about whether this reason is strong or weak

    • 3.The existential claim about intermediate states doesn't logically depend on isomorphisms existing if supervenience operates at the level of properties alone.
      ?

      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

    B-profile(as used in metaphysics)
    The complete description of basic or physical properties that characterize a world.
    Existential claim(as used in logic)
    A statement asserting that at least one thing of a certain kind actually exists.
    Universal quantification(as used in logic)
    A logical statement that claims something is true for ALL cases, without exception.
    cardinality(Central to comparing infinite sets and establishing that no universal set exists.)
    A measure of the size of a set, indicating the number of elements it contains.
    global supervenience(Modal supervenience relations in philosophy of mind and metaphysics)
    A globally supervenes on B if and only if no two possible worlds share the same global pattern of distribution of B-properties while differing in their global pattern of distribution of A-properties.
    isomorphism(The strongest structural correspondence between two many-sorted structures.)
    An embedding between structures in which all defining maps are bijections.
    supervenience(Philosophy of mind and reduction; contrasted with full reduction)
    A relation in which mental (or higher-level) states are dependent on physiological (or lower-level) states such that any two cases with identical lower-level bases are identical in their higher-level states; a necessary but not sufficient condition for reduction.

    Connections

    1 linked claim · 2 topics

    Consciousness & Mind1 linkedModality & Possibility1 linked
    Strong global supervenience entails intermediate global supervenience.

    Related

    B-profile identity across different cardinalities may indicate weak supervenienc...

    Details

    Type
    claim
    Perspectives
    2 (1 for, 1 against)
    Edits
    1 edit
    If isomorphism-dependence is built into strong supervenience, then absence of is...
    Strong global supervenience entails intermediate global supervenience.
    Strong supervenience is typically defined without explicit isomorphism requireme...
    +3 moreShow less
    The existential claim about intermediate states doesn't logically depend on isom...Universal quantification over isomorphisms requires at least one isomorphism to ...Worlds differing in cardinality can exhibit identical B-profiles, demonstrating ...