.

0 (hodnocen0 x )

(3.7) Půjčeno:55x 

BK

Vyd. 1.

Praha : Vyšehrad, 1999

175 s. : il.

ISBN 80-7021-306-X (brož.)

Obsahuje tabulky, ilustrace, předmluvu

Bibliografie: s. 174-175

Logika - učebnice vysokošk.

000055220

Předmluva — 9 // I ZÁKLADNÍ POJMY 13 // I. 1 Předmět formální logiky 14 // I. 2 Proě formální logika — 18 // I. 3 Sémiotika — 22 // I. 4 Vztah vyplývání — 27 // II DĚJINY LOGIKY 33 // II. 1 ; Antická logika — 37 // II. 1.1 Aristoteles — 39 // §i Aristotelovo logické dílo — 40 // §2 Kategorie — 42 // §3 O vyjadřování — 45 // §4 První analytiky 50 // §5 Sémantický pohled na aristotelskou sylogistiku — 57 // III. 1.2 Megarsko-stoická škola — 64 // III. 2 Scholastická logika — 71 // §1 Vlastnosti termínů — 73 // §2 O důsledcích — 82 // Kap. 3 Novověká logika — Leibniz 87 // §1 Leibnizův přínos 88 // §2 Leibnizův přístup k aristotelské sylogistice — 91 // Kap. 4 Vznik moderní logiky - Frege 94 // §1 Pojmové písmo 96 // III SYSTÉM KLASICKÉ LOGIKY 107 // Kap.(T) Výroková logika 108 // §1 Určení pravdivostní hodnoty složeného výroku 111 // §2 Analýza správnosti argumentu 122 // Kap. 2 Jazyk výrokové logiky — 124 // §1 Syntax 125 // §2 Sémantika 128 // Kap. -3 Axiomatický systém 131 // Kap. 4 Predikátová logika 138 // Kap. 5 Axiomatizace aristotelské sylogistiky — 149 // §1 Syntax a sémantika 151 // §2 Axiomatický systém 158 // IV NEKLASICKÉ LOGIKY 165 // §1 Trojhodnotová logika 166 // §2 Modální logika 170 // Seznam literatury 174