Mstivá forma Fitchova paradoxu poznatelnosti
| Autoři | |
|---|---|
| Rok publikování | 2014 |
| Druh | Další prezentace na konferencích |
| Fakulta / Pracoviště MU | |
| Citace | |
| Popis | 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. |
| Související projekty: |