Natural deduction and Curry's paradox

Susan Frances Rogerson

    Research output: Contribution to journalArticleResearchpeer-review


    Curry s paradox, sometimes described as a general version of the better known Russell s paradox, has intrigued logicians for some time. This paper examines the paradox in a natural deduction setting and critically examines some proposed restrictions to the logic by Fitch and Prawitz. We then offer a tentative counterexample to a conjecture by Tennant proposing a criterion for what is to count as a genuine paradox.
    Original languageEnglish
    Pages (from-to)155-179
    Number of pages25
    JournalJournal of Philosophical Logic
    Issue number2
    Publication statusPublished - Apr 2007

    Cite this