The Knowability Argument and the Syntactic Type-Theoretic Approach

Citation data:

THEORIA. An International Journal for Theory, History and Foundations of Science, ISSN: 0495-4548, Vol: 29, Issue: 2, Page: 201-221

Publication Year:
Usage 205
Downloads 143
Abstract Views 37
Full Text Views 24
Link-outs 1
Captures 3
Exports-Saves 2
Readers 1
Citations 1
Citation Indexes 1
Repository URL:
Rosenblatt, Lucas
UPV/EHU Press; Euskal Herriko Unibertsitatea / Universidad del PaĆ­s Vasco
Arts and Humanities
article description
Recently, there have been some attempts to block the Knowability Paradox and other modal paradoxes by adopting a type-theoretic framework in which knowledge and necessity are regarded as typed predicates. The main problem with this approach is that when these notions are simultaneously treated as predicates, a new kind of paradox appears. I claim that avoiding this paradox either by weakening the Knowability Principle or by introducing types for both predicates is rather messy and unattractive. I also consider the prospect of using the truth predicate to emulate necessity, knowledge and other modal notions. It turns out that this idea works much better.