Další formáty:
BibTeX
LaTeX
RIS
@misc{1164732, author = {Raclavský, Jiří}, booktitle = {workshop "Knowledge, Scepticism and Modality", Padova, Italy, 24 February 2014}, keywords = {Fitch's knowability paradox; type theory; typing knowledge; revenge}, language = {eng}, note = {(zvaná přednáška - workshop)}, title = {A Revenge Form of Fitch's Knowability Paradox for Russellian Typing Knowledge}, url = {http://filosofia.dafist.unige.it/esap/index.php?action=view&id=2275&date_id=2275&module=calendarmodule&src=%40random473d7a74c8bd1}, year = {2014} }
TY - SLIDE ID - 1164732 AU - Raclavský, Jiří PY - 2014 TI - A Revenge Form of Fitch's Knowability Paradox for Russellian Typing Knowledge N1 - (zvaná přednáška - workshop) KW - Fitch's knowability paradox KW - type theory KW - typing knowledge KW - revenge UR - http://filosofia.dafist.unige.it/esap/index.php?action=view&id=2275&date_id=2275&module=calendarmodule&src=%40random473d7a74c8bd1 N2 - It is already known that typing knowledge is capable to resolve Fitch's knowability paradox. The present paper focuses on a special form of the recently raised criticism of Russellian typing knowledge which consists in a revenge form of Fitch's paradox. The revenge problem was suggested by Williamson, Hart and also Carrara with Fassio. The basic idea of the main form of a revenge Fitch's paradox employs quantification over type levels. However, the formalism evoked in the criticism is ambivalent. Suggesting a proper method of quantification over types, I examine several possible readings of the revenge paradox. As I show in details, if such readings were viable, they would violate the proper typing rules. It seems thus the there is no revenge for the Russellian typing approach to Fitch's knowability paradox. ER -
RACLAVSKÝ, Jiří. A Revenge Form of Fitch's Knowability Paradox for Russellian Typing Knowledge. In \textit{workshop ''Knowledge, Scepticism and Modality'', Padova, Italy, 24 February 2014}. 2014.
|