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
    Extensionality follows from this contextual definition vi... — Carmelics
    Home/Philosophy of Language
    HistoryEditSee Inverse

    Part of a larger discussion

    Supports→The extensionality of classes is a derived result, not a postulate.

    Extensionality follows from this contextual definition via the logic of properties.

    Modality & PossibilityPhilosophy of Language
    ?Rate how convincing each reason is below to see the overall strength.

    No one has weighed in yet. Be the first to share reasons for or against this statement.

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

    Topics

    Philosophy of LanguageModality & Possibility

    Related

    If F and H are coextensive, then anything true of {x: Fx} will be true of {x: Hx...The extensionality of classes is a derived result, not a postulate.To say something G of the class of Fs is to say there exists a predicative prope...

    Next step

    Based on where you are in your exploration

    Browse more in Philosophy of Language
    Related propositions within the same area of thought.

    Similar

    Predication can be understood as a special link that connects a proper...81%Dispositional properties are distinct from categorical properties.80%Intellectual property is a term that purports to apply the concept of ...80%If the proposition is true, the logical subject exemplifies the proper...79%

    Source

    AI-extracted
    SEP: logical-construction
    View source passageHide passage
    Russell’s “No-Class” theory of classes from *20 of Principia Mathematica provides a contextual definition like that of the theory of definite descriptions. One of Russell’s early diagnoses of the paradox of the class of all classes that are not members of themselves was that it showed that classes could not be individuals. Indeed Russell seems to have come across his paradox by applying Cantor’s famous diagonal argument to show that there are more classes of individuals than individuals. Hence,

    Details

    Type
    premise
    Perspectives
    0 (0 for, 0 against)
    Edits
    1 edit

    Open for perspectives

    This idea is waiting for its first supporting or challenging perspective.

    Share the first perspective