Obsah ZÁKLADNÍ POJMY LOGIKA DESKRIPTIVNÍHO JAZYKA 2 VÝROKOVÁ LOGIKA 49 3 VNITŘNÍ STAVBA VÝROKŮ 78

Podobné dokumenty
Obsah Předmluva Rekapitulace základních pojmů logiky a výrokové logiky Uvedení do predikátové logiky...17

Úvod do TI - logika 1. přednáška. Marie Duží

Úvod do logiky. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 23

ZÁKLADNÍ METODOLOGICKÁ PRAVIDLA PŘI ZPRACOVÁNÍ ODBORNÉHO TEXTU. Martina Cirbusová (z prezentace doc. Škopa)

Mezi... aspekty řadíme obecné pojmy, tvrzení či soudy a tvrzení následně vyvozená.

Marie Duží

Výroková logika. Teoretická informatika Tomáš Foltýnek

ZÁKLADY LOGIKY A METODOLOGIE

VÝUKOVÝ MATERIÁL. Bratislavská 2166, Varnsdorf, IČO: tel Číslo projektu

Logika a logické programování

Mgr. Ladislav Zemánek Maturitní okruhy Matematika Obor reálných čísel

Úvod do logiky a logického programování.

Logika. Akademie managementu a komunikace, Praha PhDr. Peter Jan Kosmály, PhD.

výrok-každésdělení,uněhožmásmyslseptát,zdaječinenípravdivé, aproněžprávějednaztěchtodvoumožnostínastává.

Výroková a predikátová logika - II

Obsah. 1. Pojem a struktura práva

Transparentní intenzionální logika (TIL)

Formálnílogickésystémy pro aplikaci v informatice Martin Žáček

λογος - LOGOS slovo, smysluplná řeč )

Další (neklasické) logiky. Jiří Velebil: AD0B01LGR 2015 Predikátová logika 1/20

Cvičení Aktivita 1. část 2. část 3. část Ústní Celkem Známka

1. Matematická logika

Unární je také spojka negace. pro je operace binární - příkladem může být funkce se signaturou. Binární je velká většina logických spojek

MATURITNÍ TÉMATA Z MATEMATIKY

Logika a studijní předpoklady

Predikátová logika dokončení

platné nejsou Sokrates je smrtelný. (r) 1/??

1 Výroková logika 1. 2 Predikátová logika 3. 3 Důkazy matematických vět 4. 4 Doporučená literatura 7

Maturitní témata profilová část

Logika a jazyk. filosofický slovník, Praha:Svoboda 1966)

Logika. 2. Výroková logika. RNDr. Luděk Cienciala, Ph. D.

Premisa Premisa Závěr

Sémantika predikátové logiky

Formální systém výrokové logiky

Logika 5. Základní zadání k sérii otázek: V uvedených tezích doplňte z nabízených adekvátní pojem, termín, slovo. Otázka číslo: 1. Logika je věda o...

Základní pojmy matematické logiky

Místo pojmu výroková formule budeme používat zkráceně jen formule. Při jejich zápisu

Převyprávění Gödelova důkazu nutné existence Boha

Logika. 1. Úvod, Výroková logika

Prameny a normy finančního práva

Sylabus kurzu: Právo univerzální na všechny fakulty

1. MATEMATICKÁ LOGIKA A MNOŽINY

Sylogistika. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 16

Logika. 6. Axiomatický systém výrokové logiky

Matematická logika. Rostislav Horčík. horcik

Okruh č.9: sémantické metody dokazování v PL1 model formule Tradiční Aristotelova logika kategorický sylogismus subjekt predikátové výroky

Fuzzy logika a reálný svět, aneb jsou všechny hromady skutečně malé?

MOCNINY A ODMOCNINY. Standardy: M M PYTHAGOROVA VĚTA. Standardy: M M

přednáška 2 Marie Duží

PRÁVNICKÁ FAKULTA ZČU. katedra teorie práva TEORIE PRÁVA

Výroková logika. Sémantika výrokové logiky

Slovo autora 9 Pøedmluva? Pøedmluva! 10 Úvod Co umí tøíletý èlovíèek? Co platí pro v echnylidi pro dìti také

ASK. Test deduktivního a kreativního myšlení. HTS Report. Jan Ukázka ID Datum administrace Standard 1. vydání

Výroková a predikátová logika - II

Teoreticko-metodologický seminář. Zdeňka Jastrzembská

Bakalářská matematika I

Měření výsledků výuky a vzdělávací standardy

1. Predikátová logika jako prostedek reprezentace znalostí

Klauzulární logika. úvod. Šárka Vavrečková. 20. října Ústav informatiky Filozoficko-Přírodovědecká fakulta Slezské univerzity, Opava

2.2 Sémantika predikátové logiky

Každé formuli výrokového počtu přiřadíme hodnotu 0, půjde-li o formuli nepravdivou, a hodnotu 1, půjde-li. α neplatí. β je nutná podmínka pro α

Výroková a predikátová logika - II

Maturitní otázky z předmětu MATEMATIKA

Bakalářský seminář - 3

Logický důsledek. Petr Kuchyňka

LOGIKA VÝROKOVÁ LOGIKA

I-S-T 2000 R. Test struktury inteligence IST R. HTS Report. Jan Ukázka ID Datum administrace Standard A 1.

Základy logiky a teorie množin

Organizace. Zápočet: test týden semestru (pátek) bodů souhrnný test (1 pokus) Zkouška: písemná část ( 50 bodů), ústní část

Matematická logika. Rostislav Horčík. horcik

Matematický seminář. OVO ŠVP Tématický celek Učivo ŠVP Integrace Mezipředmětové vztahy. jejich soustavy. Spojitost funkce v bodě. Limita funkce v bodě

Úvod do TI - logika Výroková logika (2.přednáška) Marie Duží

Výroková logika syntaxe a sémantika

Aristotelská logika. Pojem

Výroková a predikátová logika - IX

Učební osnovy předmětu PRÁVO

Učitelství 1. stupně ZŠ tématické plány předmětů matematika

Teorie práva VŠFS. Metodický list č. 1

4.2 Syntaxe predikátové logiky

Matematika pro informatiky KMA/MATA

Úvod do predikátové logiky. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 1

Výroková a predikátová logika - III

Klauzulární logika. Znalostní báze. Šárka Vavrečková

Úvod do TI - logika Predikátová logika 1.řádu (4.přednáška) Marie Duží marie.duzi@vsb.cz

teorie logických spojek chápaných jako pravdivostní funkce

Teorie práva Základy práva

Obsah. Použité zkratky XIII. Slovo o autorovi. Úvod. Část I Právní skutečnosti, právní úkony a pojem vady právních úkonů 1

Obsah. I. Objektivní pravděpodobnosti. 1. Pravděpodobnost a relativní četnosti... 23

Logika pro sémantický web

METODY ŘEŠENÍ ÚLOH MX2M

Systém přirozené dedukce výrokové logiky

SINGULÁRNÍ VÝROKY: Jednoduchý singulární výrok vznikne spojením singulárního termínu s termínem obecným pomocí spony=slova je.

Matematická indukce, sumy a produkty, matematická logika

OBSAH DÍL PRVNÍ OBECNÁ ČÁST... 25

Moderní technologie ve studiu aplikované fyziky CZ.1.07/2.2.00/ Množiny, funkce

Okruh č.3: Sémantický výklad predikátové logiky

Teorie systémů TES 1. Úvod

Hermeneutika a právní myšlení

Úvod do logiky (presentace 2) Naivní teorie množin, relace a funkce

Matematika B101MA1, B101MA2

Transkript:

259 Obsah PŘEDMLUVA 5 ZÁKLADNÍ POJMY 1 ÚVODNÍ ÚVAHY 1.1 o povaze a úkolech logiky 1.2 Logika a právo. Pojem právní logiky 1.3 Vyjadřovací soustava a sdělovací proces. 1.4 Několik základních pojmů potřebných pro výklad logiky. 9 9 13 15 30 I LOGIKA DESKRIPTIVNÍHO JAZYKA 2 VÝROKOVÁ LOGIKA 49 2.1 Charakteristika výrokové logiky............. 49 2.2 Pravdivostní hodnoty. Dvouhodnotová výroková logika 50 2.3 Elementární a složené výroky. Pravdivostní funktory 50 2.4 Pravdivostní funkce. Pravdivostní funktory...... 53 2.5 Zásady správné stavby výrazů výrokové logiky.... 62 2.6 Vyhodnocení výroku (formule). Tabulková, neboli maticová analýza 63 2.7 Důsledkové vztahy výrokové logiky.................. 67 3 VNITŘNÍ STAVBA VÝROKŮ 78 3.1 Závislost některých dil.sledkových vztahů na vnitřní stavbě výroků 78 3.2 Elementy vnití'ní stavby výroků.... 79 3.3 Logické systémy analyzovaných výroků 83

4 LOGIKA TŘÍD 84 4.1 Charakteristika logiky tříd....... 84 4.2 Třída, prázdná třída, univerzální třída 85 4.3 Grafické znázornění tříd, výsledků operací s třídami a vztahů mezi třídami... 87 4.4 Operace s třídami.................... 88 4.5 Vztahy mezi třídami. Výroky (formule) třídové logiky 90 4.6 Zákony třídové logiky......... 92 4.7 Vztahy mezi rozsahy názv\l (pojmů) 98 4.8 Nauka o subjekt-predikátových výrocích 102 4.9 O Aristotelovských a tradičních subjekt-predikátových výrocích 106 5 LOGIKA VZTAHŮ 110 5.1 Operace se vztahy. 113 5.2 Formální vlastnosti vztahů 115 5.3 Důležité typy vztahů... 117 5.4 Formální vlastnosti vztahů a vyvozování důsledků 119 6 MODÁLNÍ LOGIKA 121 6.1 Obecné poznámky 121 6.2 Modální operátory 122 6.3 Několik důsledkových pravidel 123 6.4 Filozofické poznámky k pojmům "možné" a "nutné". 124 6.5 Logické a reálné modality... 124 6.6 Carnapova definice logických modalit 124 6.7 Možné světy a definice možnosti a nutnosti 125 6.8 Struktura nornického výroku........ 125 II LOGICKÉ SYSTÉMY PRAKTICKÉHO MYŠLENÍ 7 LOGIKA NORMATIVNÍCH VĚT 129 7.1 Charakteristika logiky normativních vět. 129 7.2 Pojem normativní věty.... 130 260

261 7.3 Pojem platnosti normativních vět a důsledkové vztahy s normativními články................. 132 7.4 Teorie struktury normativních vět... 7.5 Logické spory mezi normativními větami 7.6 Normativní řád.... 7.7 Vyvozování d\lsledků v logice normativních vět. 7.8 Poznámka k tzv. deontické logice 7.9 Zdůvodňování norem.... 7.10 Logika normativních vět a právo. 8 TELEOLOGIE. TEORIE JEDNÁNÍ 8.1 Charakteristika formální teorie účelových vztahů. 8.2 Účelový vztah.... 8.3 Vyjádřitelnost účelů a určení prostředkú 134 143 144 145 151 152 153 8.4 Soustava účelů.... 163 8.5 Mnohost prostředků k danému účelu. Relativní hodnocení prostředků 163 8.6 Volba prostředku (zp'lsobu jednání)........ 165 8.7 Rektifikace chtěnosti a rozvoj účelové soustavy. 8.8 Dynamika účelové soustavy... 8.9 Formálně finalistická teorie jednání 159 159 161 162 9 LOGIKA HODNOT A PREFERENCÍ 9.1 Pojem hodnoty, kategorie hodnocení, systém hodnot. 9.2 Škála hodnocení.... 9.3 Základy logiky preferencí. 9.4 Kvantitativní určení hodnot 9.5 Logická neslučitelnost mezi hodnotícími větami 9.6 Filozofické poznámky k obecné axiologii... 172 173 174 174 175.176 177 III LOGICKÉ ZÁKLADY OBECNÉ A PRÁVNICKÉ METODOLOGIE 10 DEFINICE 181 10.1 Všeobecná charakteristika definice. 181

10.2 Typy definic podle pragmatické funkce 10.3 Důležité typy definic.... 10.4 Definice praktických pojmů 10.5 Definice a usuzování... 10.6 Dělení pojmu a klasifikace 10.7 Objasňování výrazů.. 183 186 192 11 OTÁZKA A ODPOVĚĎ 193 11.1 Význam a charakteristika logické analýzy otázky. 193 11.2 Pojem otázky (tázací věty). 194 11.3 Elementy stavby otázek 195 11.4 Pojem odpovědi.... 196 11.5 Charakteristika nejdůležitějších typů otázek a přiměřených odpovědí na ně... 198 11.6 Oznamovací funkce otázky.200 11.7 Řečnické otázky...... 201 11.8 Otázka a odpověď v právní praxi.201 12 INDUKCE A KAUZALITA 12.1 Pojem zobecnění 12.2 Kauzalita... 13 TEORIE ARGUMENTACE 13.1 Pojem argumentace............... 13.2 Metodologické problémy logické argumentace. 13.3 O metodologických vadách v argumentaci. 13.4 Pragmatická dimenze argumentace... 13.5 Právnické teorie pragmatické argumentace 204.204.207 214 214 215 219 221.226 14 INTERPRETACE TEXTŮ, ZVLÁŠTĚ PRÁVNÍCH PŘEDPISŮ 229 14.1 Pojem interpretace textu.... 229 14.2 Několik obecných zásad interpretačních 231 14.3 Metody interpretace........232 14.4 Extenzivní a restriktivní interpretace.233 14.5 Interpretace právních předpisů....233 262

263 14.6 Aplikace právních předpisů... 239 14.7 Interpretace právních úkonů (projevů vůle) a individuálních právních aktů... "... 240 15 O DEDUKTIVNÍ METODĚ 241 PŘEHLEDY 247 SEZNAM SYMBOLŮ 255