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
    Quine argued in 'Set Theory and Its Logic' that Russell-s... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→Simple Type Theory (STT) gives rise to Russell's Appendix B paradox when supplemented with the principle that propositions differing by a constituent are distinct propositions and a correlation of propositions with classes they mention.

    Quine argued in 'Set Theory and Its Logic' that Russell-style paradoxes generated by type theory reveal the instability of treating propositions as set-like objects subject to membership conditions.

    ?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.

    Key Terms

    Instability(what the framework is argued NOT to have)
    The quality of being contradictory or prone to falling apart logically.
    Membership conditions(the criteria for what belongs in a set)
    Rules that determine what can or cannot be included in a particular group or collection.
    Quine(as a proper name referring to the philosopher whose theory is being discussed)
    Willard Van Orman Quine was a 20th-century American philosopher who wrote about how we know things and how language works. In this statement, we're discussing one of his specific ideas about observation.
    Russell-style paradoxes(the problem Quine was analyzing)
    Logical contradictions discovered by philosopher Bertrand Russell that show how certain ways of defining groups or collections lead to impossible situations (like a set that both does and doesn't contain itself).

    Next step

    Based on where you are in your exploration

    Explore a random proposition
    Start fresh with something unrelated.
    Set Theory and Its Logic(the work being referenced)
    A book by Quine that explores mathematical sets (groups of objects) and the logical rules that govern them.
    Set-like objects(how the statement treats propositions incorrectly)
    Things that behave like mathematical collections or groups, where you can ask whether something 'belongs' to them or not.
    propositions(Answer to the question of what metaphysical category propositions belong to)
    Entities belonging to a sui generis metaphysical category of their own kind, not reducible to other categories
    type theory(Introduced by Russell and Whitehead to resolve set-theoretic and semantic paradoxes)
    A logical framework that organizes entities into an infinite hierarchy of types, where classes of sets are of a higher type than sets of individuals, preventing self-membership and cross-type predication

    Connections

    2 topics

    Modality & Possibility1 linkedPhilosophy of Language1 linked

    Related

    Simple Type Theory (STT) gives rise to Russell's Appendix B paradox when supplem...

    Details

    Type
    claim
    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