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
    To say something G of the class of Fs is to say there exi... — Carmelics
    Statements
    321,452
    Perspectives
    108,905
    Topics
    42
    Home/Philosophy of Language
    HistoryEditSee Inverse

    Part of a larger discussion

    Supports→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 property H coextensive with F such that H is G.

    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

    Extensionality follows from this contextual definition via the logic of properti...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.

    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

    Truly predicating a property of something without specifying intention...79%The bundle theorist's theory of predication requires that a property b...76%E cannot serve as the I-predicable because it is defined in terms of i...76%Token acts of predicating properties of objects have truth conditions.76%

    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