Other formats:
BibTeX
LaTeX
RIS
@proceedings{1179255, author = {Raclavský, Jiří}, booktitle = {workshop Logic Café Brno 2014 (Brno)}, keywords = {Fitch's knowability paradox; type theory; typing knowledge; revenge}, language = {cze}, note = {(konference)}, title = {Mstivá forma Fitchova paradoxu poznatelnosti}, year = {2014} }
TY - CONF ID - 1179255 AU - Raclavský, Jiří PY - 2014 TI - Mstivá forma Fitchova paradoxu poznatelnosti N1 - (konference) KW - Fitch's knowability paradox KW - type theory KW - typing knowledge KW - revenge N2 - V přednášce analyzuji mstivou formu Fitchova paradoxu, kterou navrhli Williamson a Hart jakožto atak vůči řešení daného paradoxu pomocí russellovského typování znalosti. Při desambiguaci jimi užité notace navrhuji několik korektních druhů kvantifikace přes ‚typové úrovně‘ (tj. typy nebo řády). Vždy se ale ukáže, že paradoxní odvození je typováním stále úspěšně blokováno. ER -
RACLAVSKÝ, Jiří. Mstivá forma Fitchova paradoxu poznatelnosti (A Revenge Form of Fitch's Knowability Paradox). In \textit{workshop Logic Café Brno 2014 (Brno)}. 2014.
|