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
    A framework that cannot distinguish necessarily co-extens... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→The simple theory of types can serve as a prototypical formal property theory

    A framework that cannot distinguish necessarily co-extensive properties like 'triangular' and 'trilateral' fails as a prototypical property theory.

    ?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.Property theories should capture conceptual distinctions that are cognitively and linguistically real, even if extensionally identical.
      ?

      Think about whether this reason is strong or weak

    • 2.A framework that treats 'triangular' and 'trilateral' as indistinguishable cannot explain why we have two distinct concepts for one property.
      ?

      Think about whether this reason is strong or weak

    • 3.Necessary co-extensionality is compatible with distinct modes of presentation; good theories should preserve this distinction.
      ?

      Think about whether this reason is strong or weak

    Reasons Against

    1 perspective
    Reason against
    ?
    • 1.A property theory's job is to identify what properties *are*, not to preserve every cognitive or linguistic distinction we make.
      ?

      Think about whether this reason is strong or weak

    • 2.The claim confuses properties themselves with concepts or definitions of properties—different concepts can refer to the same property.
      ?

      Think about whether this reason is strong or weak

    • 3.Many successful scientific frameworks identify distinct phenomena as identical (e.g., water and H₂O) without theoretical failure.
      ?

      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 linkedPhilosophy of Language1 linked

    Related

    A framework that treats 'triangular' and 'trilateral' as indistinguishable canno...A property theory's job is to identify what properties *are*, not to preserve ev...Many successful scientific frameworks identify distinct phenomena as identical (...Necessary co-extensionality is compatible with distinct modes of presentation; g...
    +3 moreShow less
    Property theories should capture conceptual distinctions that are cognitively an...The claim confuses properties themselves with concepts or definitions of propert...The simple theory of types can serve as a prototypical formal property theory

    Details

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