|
Právní argumentace (korektní i nekorektní způsoby vyvozování závěrů)
Drozdková, Anna ; Žák Krzyžanková, Katarzyna (vedoucí práce) ; Maršálek, Pavel (oponent)
Právní argumentace: korektní i nekorektní způsoby vyvozování závěrů Abstrakt Tato diplomová práce se zabývá problematikou právní argumentace a jejího významu v kontextu tuzemského právního prostředí. Právní argumentace představuje klíčový prvek v procesu realizace práva, včetně fáze jeho nalézání, a má zásadní vliv na legitimitu rozhodování orgánů aplikujících právo. Cílem této práce je tak poskytnou ucelený této problematiky, pokud možno v celé její šíří. Argumentace je v textu pojata široce jako předkládání důvodů pro určité tvrzení s cílem přesvědčit adresáta k přijetí takového tvrzení. V tomto pojetí jsou proto zahrnuty jak správné, korektní, způsoby argumentace, tak i ty nekorektní. V práci je tak usilováno o definici hranice mezi korektní a nekorektní argumentací a identifikaci kritérií pro hodnocení korektnosti argumentace. První část práce situuje právní argumentaci do kontextu procesu realizace práva a zkoumá její roli při nalézání práva a zajištění legitimity procesu. Druhá část se pak zaměřuje na samotnou argumentaci, definuje její podstatu a specifika v právním kontextu, včetně soudcovské argumentace. Třetí část se zabývá hodnocením korektnosti argumentace a navrhuje racionalitu jako vůdčí kritérium pro rozlišení mezi korektními a nekorektními způsoby argumentace. Poslední část navazuje s...
|
| |
|
On the semantics of exceptions for high level and low level languages
Tejiščák, Matúš ; Swierstra, Wouter (vedoucí práce) ; Kučera, Petr (oponent)
V práci se zabýváme korektností kompilátoru jazyka s výjimkami. Předkládáme formální sémantiku; jak denotační sémantiku vysokoúrovňového jazyka, tak operační sémantiku jazyka instrukcí pro zásobníkový stroj. Studujeme metodu odvíjení zásobníku a poté, iterativně ve více krocích, předkládáme modifikovanou metodu. Tato je strukturálně rekurzivní a tudíž vhodná pro implementaci v totálních závisle typovaných jazycích. Nakonec předkládáme implementaci kompilátoru v závisle typovaném jazyce Agda, spolu se strojově ověřitelným důkazem, že předložená implementace kompilátoru při překladu zachovává sémantiku programu.
|