Další formáty:
BibTeX
LaTeX
RIS
@proceedings{1122976,
author = {Raclavský, Jiří},
booktitle = {Congress on Logic and Philosophy of Science CLPS13, Belgium, 16-18 September 2013},
keywords = {typing knowledge; Fitch's paradox; revenge paradox; ramified theory of types},
language = {eng},
note = {(konf. abstrakt)},
title = {The Revenge of Fitch’s Knowability Paradox for Typing Approach and the Alleged Self-Refutation of Ramified Type Theory},
year = {2013}
}
TY - CONF
ID - 1122976
AU - Raclavský, Jiří
PY - 2013
TI - The Revenge of Fitch’s Knowability Paradox for Typing Approach and the Alleged Self-Refutation of Ramified Type Theory
N1 - (konf. abstrakt)
KW - typing knowledge
KW - Fitch's paradox
KW - revenge paradox
KW - ramified theory of types
N2 - Russellian typing knowledge is capable to resolve the famous Fitch's knowability paradox and it is immune to the recently raised criticism. But there is a special form of the criticism proposing a revenge problem, which is addressed in this talk. Revenge forms of Fitch's paradox were proposed by Williamson, Hart and also Carrara with Fassio. The basic idea employs quantification over type levels, as suggested already by Gödel in his criticism of ramified theory of types. From the viewpoint of a type theorist, however, the formalism used by the critics is ambivalent. I recover altogether six possible readings of the revenge form of the paradox. It is then evident that the revenge arguments go through only when they directly violate typing rules. In other words, the approach is immune to the criticism.
ER -
RACLAVSKÝ, Jiří. The Revenge of Fitch’s Knowability Paradox for Typing Approach and the Alleged Self-Refutation of Ramified Type Theory. In \textit{Congress on Logic and Philosophy of Science CLPS13, Belgium, 16-18 September 2013}. 2013.
|
