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
    The Church paradox generates an unacceptable result under... — Carmelics
    Statements
    321,452
    Perspectives
    108,905
    Topics
    42
    Home/Philosophy of Language
    HistoryEditSee Inverse

    Part of a larger discussion

    Supports→Russellian intensional logic is inadequate

    The Church paradox generates an unacceptable result under such a logic

    Philosophy 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 Language

    Related

    In Russellian intensional logic, variables and constants operate as in extension...Russellian intensional logic is inadequate

    Similar

    A solution that generates an equally problematic consequence has not r...

    Next step

    Based on where you are in your exploration

    Browse more in Philosophy of Language
    Related propositions within the same area of thought.
    83%
    Russell's paradox can be formulated without relying on Excluded Middle77%
    The Sorites paradox arises from apparently valid reasoning from appare...77%
    NC entails Curry's paradox77%

    Source

    AI-extracted
    SEP: identity-relative
    View source passageHide passage
    The following paradox — perhaps the ultimate paradox of identity — derives from an argument of Church (1982). Suppose Pierre thinks that London and Londres are different cities, but of course doesn’t think that London is different from London, or that Londres is different from Londres. Assuming that proper names lack Fregean senses, we can apply LL to get the result that London and Londres are distinct. We have here an argument that, given the standard account of identity, merely thinking that \

    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