Original title: Formalizace usuzování a paradox překvapivé písemky
Translated title: Formalization of reasoning and the paradox of surprise examination
Authors: Nevrkla, Svatopluk ; Svoboda, Vladimír (advisor) ; Peregrin, Jaroslav (referee)
Document type: Master’s theses
Year: 2007
Language: cze
Abstract: Po prezentaci možných přístupů k řešení problému v první kapitole jsem ve druhé kapitole poukázal na Sorensenovu kritiku pokusů interpretovat paradox jinak, než pomocí modálních reprezentací epistemických, či doxastických logik. Třetí kapitola byla věnována představení potřebných pojmů k pochopení Binkleyho přínosu k diskuzi paradoxu. V kapitole čtvrté jsem nakonec ukázal, že pokud se přidržíme výše zmíněného přístupu a idealizujeme si usuzovací schopnosti studenta, je analýza paradoxu, kterou provedl Binkley, korektní. Učitelovo oznámení se nám však zdá intuitivně srozumitelné a důvěryhodné, jelikož sami původně nepředjímáme studentův argument v celé komplexnosti. Pokud se s ním však již jednou ztotožníme, nezbude nám než učitelovo tvrzení odmítnout jako absurdní. Budoucnost možných příspěvků k Paradoxu překvapivé písemky pak vidím ve formalismech, které směřují k popisu explicitních znalostí.

Institution: Charles University Faculties (theses) (web)
Document availability information: Available in the Charles University Digital Repository.
Original record: http://hdl.handle.net/20.500.11956/13485

Permalink: http://www.nusl.cz/ntk/nusl-494826


The record appears in these collections:
Universities and colleges > Public universities > Charles University > Charles University Faculties (theses)
Academic theses (ETDs) > Master’s theses