|
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...
|
| |
|
Jazyková správnost a nesprávnost jako argument v internetových diskuzích
Trojanová, Monika ; Švelch, Jaroslav (vedoucí práce) ; Kraus, Jiří (oponent)
Diplomová práce "Jazyková správnost a nesprávnost jako argument v internetových diskuzích" se zabývá jazykovou kritikou, kterou uživatelé internetových diskuzí využívají ve své argumentaci. Práce nejprve rámuje téma jazyka a řeči, argumentace, rétoriky a komunikace. Představuje internetové diskuze, popisuje jejich fungování, jejich přínos v komunikaci a také uživatele, kteří vytvářejí v diskuzích obsah. Práce poté analyzuje korpus internetových diskuzí, v nichž se objevila argumentace na základě jazykové správnosti a nesprávnosti. Představuje komunikační situace a na jejich základě pak kategorizuje spouštěče jazykové kritiky, argumenty kritizujících a reakce kritizovaných. Zkoumá, jak je argumentace jazykovou správností a nesprávností vnímána ostatními diskutujícími. Zabývá se také důsledkem jazykové kritiky v dané diskuzi. Tato práce si klade za cíl postihnout, zda a v jakých případech může jazyková nesprávnost ovlivnit informační hodnotu daného příspěvku a také jak je jazyková správnost a nesprávnost využívána v argumentaci uživatelů.
|
|
Jazyková správnost a nesprávnost jako argument v internetových diskuzích
Trojanová, Monika ; Švelch, Jaroslav (vedoucí práce) ; Kraus, Jiří (oponent)
Diplomová práce "Jazyková správnost a nesprávnost jako argument v internetových diskuzích" se zabývá jazykovou kritikou, kterou uživatelé internetových diskuzí využívají ve své argumentaci. Práce nejprve rámuje téma jazyka a řeči, argumentace, rétoriky a komunikace. Představuje internetové diskuze, popisuje jejich fungování, jejich přínos v komunikaci a také uživatele, kteří vytvářejí v diskuzích obsah. Práce poté analyzuje korpus internetových diskuzí, v nichž se objevila argumentace na základě jazykové správnosti a nesprávnosti. Představuje komunikační situace a na jejich základě pak kategorizuje spouštěče jazykové kritiky, argumenty kritizujících a reakce kritizovaných. Zkoumá, jak je argumentace jazykovou správností a nesprávností vnímána ostatními diskutujícími. Zabývá se také důsledkem jazykové kritiky v dané diskuzi. Tato práce si klade za cíl postihnout, zda a v jakých případech může jazyková nesprávnost ovlivnit informační hodnotu daného příspěvku a také jak je jazyková správnost a nesprávnost využívána v argumentaci uživatelů.
|
|
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.
|