UConn Logic Group – Logic Colloquium, February 16, 2018
[ Ссылка ]
Andrew Tedder (UConn) & Stewart Shapiro (OSU/UConn) – Saving Truth for Intuitionists
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 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.
