Ohio State University
Making Truth Safe For Intuitionists
(joint work with Andrew Tedder)
21 February 2018, 16:00
Faculdade de Letras de Lisboa
Abstract: We consider a handful of solutions to the liar paradox which admit a naive truth predicate and employ a non-classical logic, and which include a proposal for classical recapture. Classical recapture is essentially the property that the paradox solvent (in this case, the non-classical interpretation of the connectives) only affects the portion of the language not including the truth predicate – so that the connectives can be interpreted classically in sentences in which the truth predicate does not occur. We consider a variation on this theme where the logic to be recaptured is not classical but rather intuitionist logic, and consider the extent to which these handful of solutions to the liar admit of intuitionist recapture by sketching potential ways of altering their various methods for classical recapture to suit an intuitionist framework.