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

Kód výsledku v 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>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

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

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

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

Popis výsledku anglicky

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.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

60301 - Philosophy, History and Philosophy of science and technology

Projekt

<a href="/cs/project/GA16-19395S" target="_blank" >GA16-19395S: Sémantické pojmy, paradoxy a hyperintenzionální logika založená na moderní rozvětvené teorii typů</a><br>

Návaznosti

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

Rok uplatnění

2018

Kód důvěrnosti údajů

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

Název periodika

Prolegomena: Journal of Philosophy

ISSN

1333-4395

e-ISSN

—

Svazek periodika

17

Číslo periodika v rámci svazku

1

Stát vydavatele periodika

HR - Chorvatská republika

Počet stran výsledku

19

Strana od-do

31-49

Kód UT WoS článku

000453256800002

EID výsledku v databázi Scopus

2-s2.0-85063722604