Skip to the main content

Original scientific paper

https://doi.org/10.26362/20180202

The typing approach to Church-Fitch’s knowability paradox and its revenge form

Jiří Raclavský ; Department of Philosophy Masaryk University, Arne Nováka 1, Brno, 602 00 the Czech Republic


Full text: english pdf 247 Kb

page 31-49

downloads: 804

cite


Abstract

Williamson, Linsky, Paseau and others proposed a solution to Church-
Fitch’s knowability paradox that is based on typing knowledge; however, it received some criticism. Carrara and Fassio objected that the approach has no paradox-independent motivation, it is thus ad hoc. In the first part of the paper, I dismiss such criticism by carefully stating typing approach principles that are based on non-circular formation of propositions and intensional operators operating on them. In the second part of the paper, I demonstrate that the firm foundation of the approach prevents the variants of the paradox by Florio, Murzi and Jago that were developed as allegedly unresolvable by typing knowledge. The revenge form of Church-Fitch’s knowability paradox, which had been proposed by Williamson, Hart, Carrara and Fassio, fares badly as well, since it is likewise based on violation of reasonable typing rules.

Keywords

Church-Fitch’s knowability paradox revenge paradox typing knowledge ramified theory of types Vicious Circle Principle

Hrčak ID:

212752

URI

https://hrcak.srce.hr/212752

Publication date:

25.6.2018.

Visits: 1.484 *