A type-theoretical Curry paradox and its solution.

The Curry–Howard correspondence, according to which propositions are types, suggests that every paradox formulable in natural deduction has a type-theoretical counterpart. I will give a purely type-theoretical formulation of Curry's paradox. On the basis of the definition of a type |$\Gamma (A)$|⁠ ,...

Full description

Bibliographic Details

Published in:	Philosophical Quarterly Vol. 75; no. 2; pp. 763 - 775
Main Author:	Klev, Ansten
Format:	Article
Published:	Oxford University Press / USA Apr2025
Subjects:	Paradox Proposition (Logic) Natural deduction (Logic) Reasoning Type theory
Online Access:	View this record in EBSCOhost