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
    Jaegwon Kim's 1984 formal reconstruction shows that under... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→Global supervenience and strong individual supervenience are not equivalent concepts.

    Jaegwon Kim's 1984 formal reconstruction shows that under any mereologically closed property space, global supervenience and strong supervenience are provably co-extensional.

    ?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.Kim's formal proof rigorously demonstrates logical equivalence under specified constraints, establishing robust theoretical foundations for supervenience relations.
      ?

      Think about whether this reason is strong or weak

    • 2.Mereological closure ensures no hidden compositional gaps, making the property space complete enough for global and strong supervenience to align necessarily.
      ?

      Think about whether this reason is strong or weak

    • 3.This result elegantly resolves longstanding ambiguities about whether global supervenience provides sufficient physicalist foundations comparable to stronger variants.
      ?

      Think about whether this reason is strong or weak

    Reasons Against

    1 perspective
    Reason against
    ?
    • 1.The assumption of mereological closure may itself be question-begging—actual physical systems may resist complete part-whole compositional description.
      ?

      Think about whether this reason is strong or weak

    • 2.Kim's 1984 result has faced subsequent criticism regarding hidden assumptions about property individuation that later work suggests cannot be taken for granted.
      ?

      Think about whether this reason is strong or weak

    • 3.Co-extensionality under idealized conditions doesn't guarantee practical equivalence for explaining mental causation or resolving the exclusion problem in real scenarios.
      ?

      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.

    Connections

    2 topics

    Truth & Knowledge1 linkedModality & Possibility1 linked

    Related

    Co-extensionality under idealized conditions doesn't guarantee practical equival...Global supervenience and strong individual supervenience are not equivalent conc...Kim's 1984 result has faced subsequent criticism regarding hidden assumptions ab...Kim's formal proof rigorously demonstrates logical equivalence under specified c...
    +3 moreShow less
    Mereological closure ensures no hidden compositional gaps, making the property s...The assumption of mereological closure may itself be question-begging—actual phy...This result elegantly resolves longstanding ambiguities about whether global sup...

    Details

    Type
    claim
    Perspectives
    2 (1 for, 1 against)
    Edits
    1 edit