A Revenge Form of Fitch's Knowability Paradox for Russellian Typing Knowledge

Title in English A Revenge Form of Fitch's Knowability Paradox for Russellian Typing Knowledge
Authors

RACLAVSKÝ Jiří

Year of publication 2014
MU Faculty or unit

Faculty of Arts

Citation
Description It is already known that typing knowledge is capable to resolve Fitch's knowability paradox. The present paper focuses on a special form of the recently raised criticism of Russellian typing knowledge which consists in a revenge form of Fitch's paradox. The revenge problem was suggested by Williamson, Hart and also Carrara with Fassio. The basic idea of the main form of a revenge Fitch's paradox employs quantification over type levels. However, the formalism evoked in the criticism is ambivalent. Suggesting a proper method of quantification over types, I examine several possible readings of the revenge paradox. As I show in details, if such readings were viable, they would violate the proper typing rules. It seems thus the there is no revenge for the Russellian typing approach to Fitch's knowability paradox.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.