Translator Disclaimer
2006 Variations on a Theme of Curry
Lloyd Humberstone
Notre Dame J. Formal Logic 47(1): 101-131 (2006). DOI: 10.1305/ndjfl/1143468315

Abstract

After an introduction to set the stage, we consider some variations on the reasoning behind Curry's Paradox arising against the background of classical propositional logic and of BCI logic and one of its extensions, in the latter case treating the "paradoxicality" as a matter of nonconservative extension rather than outright inconsistency. A question about the relation of this extension and a differently described (though possibly identical) logic intermediate between BCI and BCK is raised in a final section, which closes with a handful of questions left unanswered by our discussion.

Citation

Download Citation

Lloyd Humberstone. "Variations on a Theme of Curry." Notre Dame J. Formal Logic 47 (1) 101 - 131, 2006. https://doi.org/10.1305/ndjfl/1143468315

Information

Published: 2006
First available in Project Euclid: 27 March 2006

zbMATH: 1107.03018
MathSciNet: MR2211186
Digital Object Identifier: 10.1305/ndjfl/1143468315

Subjects:
Primary: 03B47
Secondary: 03B05

Rights: Copyright © 2006 University of Notre Dame

JOURNAL ARTICLE
31 PAGES


SHARE
Vol.47 • No. 1 • 2006
Back to Top