The inconsistency of certain formal logics

DOI10.2307/2269292zbMath0060.02209OpenAlexW2041887887WikidataQ56139865 ScholiaQ56139865MaRDI QIDQ5834323

Haskell B. Curry

Publication date: 1942

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2269292

zbMATH Keywords

foundations, philosophy, logic

Related Items (33)

Logical predictivism ⋮ Restriction by noncontraction ⋮ Recursive Predicates and Quantifiers ⋮ Paths to triviality ⋮ Non-monotonic set theory as a pragmatic foundation of mathematics ⋮ Unnamed Item ⋮ Systems of illative combinatory logic complete for first-order propositional and predicate calculus ⋮ A pragmatic dissolution of Curry's paradox ⋮ Naive \textit{modus ponens} ⋮ TRUTH WITHOUT CONTRA(DI)CTION ⋮ Identifying logical evidence ⋮ Metalogic, Schopenhauer and Universal Logic ⋮ Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit I ⋮ Fusion and confusion ⋮ Inconsistency in natural languages ⋮ The search for a reduction in combinatory logic equivalent to \(\alpha\beta\)-reduction ⋮ Logical consequence and the paradoxes ⋮ External curries ⋮ Extensionality and restriction in naive set theory ⋮ Computer implication and the Curry paradox ⋮ Field's Paradox and Its Medieval Solution ⋮ XI Latin American Symposium on Mathematical Logic ⋮ The justification of identity elimination in Martin-Löf's type theory ⋮ Paradoxes of Expression ⋮ A further consistent extension of basic logic ⋮ Russell's 1903 - 1905 Anticipation of the Lambda Calculus ⋮ Unnamed Item ⋮ BUNDER’S PARADOX ⋮ Implied-Meaning Analysis of the Currian Conditional ⋮ Logical paradoxes for many-valued systems ⋮ Non-reflexivity and revenge ⋮ A Dialetheic Interpretation of Classical Logic ⋮ Toward useful type-free theories. I

This page was built for publication: The inconsistency of certain formal logics