The knowability argument and the syntactic type-theoretic approach

Citation data:

Theoria (Spain), ISSN: 2171-679X, Vol: 29, Issue: 2, Page: 201-221

Publication Year:
Usage 193
Downloads 133
Abstract Views 37
HTML Views 18
PDF Views 4
Link-outs 1
Captures 3
Exports-Saves 2
Readers 1
Repository URL:
Lucas Rosenblatt
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.

This article has 0 Wikipedia mention.