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
    If propositions are not genuine objects in the domain ove... — 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.

    If propositions are not genuine objects in the domain over which quantifiers range—as deflationary nominalists like Prior urged—then no well-formed correlation between propositions and classes exists to generate the diagonal.

    ?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

    Classes(as mathematical/logical groupings)
    Groups or sets of objects that share something in common; a way of collecting similar things together.
    Diagonal(as used in geometry and spatial reasoning)
    A straight line connecting two opposite corners of a shape, like a chessboard.
    Prior(in Bayesian reasoning)
    Your initial beliefs or probability assignments about something before you receive any new evidence or information.
    deflationary nominalists(in philosophy of language and metaphysics)
    Philosophers who believe propositions are not real objects but just convenient ways of speaking about true or false statements.
    domain(Both f1 and f2 have the reals as their domain)

    Next step

    Based on where you are in your exploration

    Explore a random proposition
    Start fresh with something unrelated.
    The set of input values over which a function is defined.
    genuine objects(in ontology (the study of what exists))
    Things that actually exist and have real properties, rather than being abstract ideas or just ways of speaking.
    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
    quantifiers(the logical form Russell said descriptions should take)
    Words like 'all,' 'some,' and 'none' that express how many things we're talking about; Russell argued that phrases like 'the king of France' should be understood using these quantity-words rather than as simple names.
    range(as used in semantics and philosophy of language)
    The set of different situations or contexts where a word can be correctly used in real-world communication.
    well-formed correlation(in logic)
    A proper, systematic matching or pairing between two types of things that follows logical rules.

    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