Curry's paradox, Lukasiewicz, and field
| Abstract | In approaching Ch. 4 of Saving Truth from Paradox, it might be helpful first to revisit Curry’s original paper, and to revisit Lukasiewicz too, to provide more of the scenesetting that Field doesn’t himself fill in. So in §1 I’ll say something about Curry, in §2 we’ll look at what Lukasiewicz was up to in his original three-valued logic, and in §3 we’ll look at the move from a three-valued to a many-valued Lukasiewicz logic. In §4, I move on to announce a theorem by H´. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,631 |
| External links |
  Try with proxy. Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesJeffrey Barrett (2004). Computer Implication and the Curry Paradox. Journal of Philosophical Logic 33 (6):631 - 637.
A. N. Prior (1955). Curry's Paradox and 3-Valued Logic. Australasian Journal of Philosophy 33 (3):177 – 182.
Roberto Cignoli & Daniele Mundici (1997). An Elementary Proof of Chang's Completeness Theorem for the Infinite-Valued Calculus of Lukasiewicz. Studia Logica 58 (1):79-97.
Petr Hájek, Jeff Paris & John Shepherdson (2000). The Liar Paradox and Fuzzy Logic. Journal of Symbolic Logic 65 (1):339-346.
Susan Rogerson (2007). Natural Deduction and Curry's Paradox. Journal of Philosophical Logic 36 (2):155 - 179.
Petr Hájek, Jeff Paris & John Shepherdson (2000). Rational Pavelka Predicate Logic is a Conservative Extension of Łukasiewicz Predicate Logic. Journal of Symbolic Logic 65 (2):669-682.
John N. Martin (2002). Lukasiewicz's Many-Valued Logic and Neoplatonic Scalar Modality. History and Philosophy of Logic 23 (2):95-120.
Grzegorz Malinowski (1977). Degrees of Maximality of Łukasiewicz-Like Sentential Calculi. Studia Logica 36 (3):213 - 228.
Andrew Bacon (2013). Curry's Paradox and Omega Inconsistency. Studia Logica 101 (1):1-9.
Analytics
Monthly downloads |
Added to index2010-05-22Total downloads26 ( #47,549 of 548,941 )Recent downloads (6 months)3 ( #25,799 of 548,941 )How can I increase my downloads? |
My notes
Discussion
