|
|
.
|
|
|
0 (hodnocen0 x )
|
|
|
(1.5) Půjčeno:3x
|
|
|
BK
|
|
|
|
|
|
|
|
|
Vyd. 1.
|
|
|
Praha : Academia, 2004
|
|
|
205 s. ; 21 cm
|
|
|
|
|
|
 |
|
|
ISBN 80-200-1187-0 (váz.)
|
|
|
Obsahuje dodatky, rejstřík
|
|
|
Bibliografie: s. 195-198
|
|
|
|
|
|
|
|
|
|
|
|
Logika - pojednání
|
|
|
Logika výroková - pojednání
|
|
|
|
|
|
|
|
|
000055580
|
|
|
OBSAH // 1 ?? a k čemu je logika? 9 // 1.1 Co je předmětem logiky? 9 // 1.2 Formální logika 12 // 1.3 Existuje jenom jedna, nebo více logik? 16 // 1.4 O této knize 19 // 2 Klasický výrokový počet 23 // 2.1 Syntax 23 // 2.2 Axiomatika 26 // 2.3 Sémantika 35 // 2.4 Alternativní axiomatizace 41 // 2.5 Klíčové charakteristiky 43 // 2.5.1 Dedukce 45 // 2.5.2 Kompaktnost 46 // 2.5.3 Korektnost a úplnost 48 // 2.5.4 Denotační nasycenost 52 // 2.5.5 Rozhodnutelnost 52 // 2.6 Zobecnění 53 // 3 Některé alternativy 57 // 3.1 Lze K VP vylepšit? 57 // 3.2 Intuicionistický výrokový počet 59 // 3.3 Vícehodnotové výrokové počty 68 // 3.3.1 Bočvarova trojhodnotová logika 69 // 3.3.2 Kleeneho trojhodnotová logika 70 // 3.3.3 Parakonzistentní čtyřhodnotová logika 73 // 3.4 Lukasiewiczovy troj-a vícehodnotové logiky 77 // 3.5 Souvislostní a relevanční výrokové počty 84 // 4 Modálni výroková logika a možné světy 91 // 4.1 Operátor nutnosti 91 // 4.2 Boolovy algebry a ,možné světy1 95 // 4.3 Kripkovská sémantika pro KVP 98 // 4.4 Nutnost a možnost 104 // 4.5 Modálni výrokový počet S5 105 // 4.6 Kripkovská sémantika a modálni výrokový počet ? 109 // 4.7 Dedukce 114 // 4.8 Rozhodnutelnost 116 // 5 Další variace na modálni logiku 119 // 5.1 Modálni výrokové počty T, B a S4 119 // 5.2 Některé teorémy ??? 122 // 5.3 Korespondenční teorie 124 // 5.4 Slabé modálni logiky 127 // 5.5 Temporální logika 131 // 5.6 Deontická
|
|
|
logika 133 // 6 Další variace na kripkovskou sémantiku 135 // 6.1 Kripkovská sémantika pro IVP 135 // 6.2 Kripkovská sémantika pro relevanční logiky 139 // 6.3 Multimodální logiky a dynamický výrokový počet 143 // 7 Obecná algebraická sémantika pro výrokové počty 149 // 7.1 Obecná definice výrokového počtu 149 // 7.2 Algebraická fonnulace 151 // 7.3 Základní ,přirozená sémantika4 152 // 7.4 Kripkovské verze ,přirozené sémantiky4 157 // 7.5 Od ,kripkovské4 ? ,pravdivostně-hodnotové4 sémantice 160 // Dodatek A. Přirozená dedukce a sekventový počet 163 // Dodatek B. Sémantické rozhodovací stromv 169 // v // Dodatek C. Substrukturální logiky 175 // Dodatek D. Přehled vlastností vybraných výrokových počtů 177 // Citovaná literatura 195 // Rejstřík // 199
|
|
|
(OCoLC)85087738
|
|
|
cnb001283967
|
