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

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F18%3A00101815" target="_blank" >RIV/00216224:14210/18:00101815 - isvavai.cz</a>

Result on the web

<a href="http://dx.doi.org/10.26362/20180202" target="_blank" >http://dx.doi.org/10.26362/20180202</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.26362/20180202" target="_blank" >10.26362/20180202</a>

Result language

angličtina

Original language name

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

Original language description

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.

Czech name

—

Czech description

—

Type

J_imp - Article in a specialist periodical, which is included in the Web of Science database

CEP classification

—

OECD FORD branch

60301 - Philosophy, History and Philosophy of science and technology

Project

<a href="/en/project/GA16-19395S" target="_blank" >GA16-19395S: Semantic notions, paradoxes and hyperintensional logic based on modern ramified theory of types</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2018

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

Prolegomena: Journal of Philosophy

ISSN

1333-4395

e-ISSN

—

Volume of the periodical

17

Issue of the periodical within the volume

1

Country of publishing house

HR - CROATIA

Number of pages

19

Pages from-to

31-49

UT code for WoS article

000453256800002

EID of the result in the Scopus database

2-s2.0-85063722604