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
    P2 illicitly slides from 'at least one isomorphism is A-p... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→Intermediate global supervenience entails weak global supervenience.

    P2 illicitly slides from 'at least one isomorphism is A-preserving' to 'an A-preserving isomorphism exists whenever a B-preserving one does,' conflating existential and universal quantification over isomorphisms.

    ?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.The argument conflates 'some isomorphism preserves A' with 'all B-preserving isomorphisms preserve A', which are logically distinct quantificational claims.
      ?

      Think about whether this reason is strong or weak

    • 2.Moving from existential to universal quantification without explicit warrant commits a standard fallacy in first-order logic.
      ?

      Think about whether this reason is strong or weak

    • 3.P2's inference pattern requires additional premises about structural relationships that remain unstated and unjustified.
      ?

      Think about whether this reason is strong or weak

    Reasons Against

    1 perspective
    Reason against
    ?
    • 1.In mathematical contexts with canonical or natural isomorphisms, the distinction between existential and universal claims collapses pragmatically.
      ?

      Think about whether this reason is strong or weak

    • 2.The criticism assumes P2 explicitly claims universal quantification when it may only assert conditional: if B-preserving exists, A-preserving exists.
      ?

      Think about whether this reason is strong or weak

    • 3.Structural isomorphism theorems often make such inferences valid by establishing that A and B preservation are equivalent properties, not independent.
      ?

      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-preserving / B-preserving(in logic and mathematical structures)
    Describing a match (isomorphism) that keeps certain important features or properties intact—like a translation that preserves the meaning of the original text, or a map that preserves accurate distances.
    Conflating
    Conflating means mixing together or treating two different things as if they were the same thing, when they're actually distinct. It's a logical error where someone blurs important differences between concepts, ideas, or situations to make an argument seem stronger than it is. For example, conflating "being critical of a policy" with "being disloyal to your country" wrongly equates two separate things.
    Existential quantification(in formal logic)
    A logical claim that says 'at least one thing has this property'—like saying 'someone in this room speaks French' rather than 'everyone in this room speaks French.'
    Illicitly slides / illicit(in philosophical arguments)
    Illegitimately or improperly sneaks from one claim to another without proper justification—like concluding 'all cats are animals, so all animals are cats,' which is an invalid move in logic.
    Universal quantification(as used in logic)
    A logical statement that claims something is true for ALL cases, without exception.
    isomorphism(The strongest structural correspondence between two many-sorted structures.)
    An embedding between structures in which all defining maps are bijections.

    Connections

    1 linked claim · 2 topics

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

    Related

    In mathematical contexts with canonical or natural isomorphisms, the distinction...

    Details

    Type
    claim
    Perspectives
    2 (1 for, 1 against)
    Edits
    1 edit
    Intermediate global supervenience entails weak global supervenience.
    Moving from existential to universal quantification without explicit warrant com...
    P2's inference pattern requires additional premises about structural relationshi...
    +3 moreShow less
    Structural isomorphism theorems often make such inferences valid by establishing...The argument conflates 'some isomorphism preserves A' with 'all B-preserving iso...The criticism assumes P2 explicitly claims universal quantification when it may ...