.

0 (hodnocen0 x )

(24) Půjčeno:48x 

BK

Příručka

Vyd. 1.

Praha : Academia, 2009

428 s. ; 21 cm

ISBN 978-80-200-1740-6 (váz.)

Galileo ; sv. 28

Obsahuje bibliografie, bibliografické odkazy a rejstříky

000195434

1 CO JE TO LOGIKA? // 1.1 Hledání pravidel argumentace // 1.2 Tři pojetí předmětu logiky // 1.3 Psychologismus, platonismus, pragmatismus // 1.4 Pravidla // 2 LOGICKÁ SYMBOLIKA A LOGICKÁ FORMA // 2.1 Správné a nesprávné úsudky // 2.2 Úsudky a argumentace // 2.3 Logická struktura a logická forma // 2.4 Logická analýza // 3 HLEDÁNÍ KRITÉRIÍ SPRÁVNOSTI ÚSUDKŮ // 3.1 Správnost úsudků a platnost úsudkových forem // 3.2 Tabulková metoda // 3.3 Sémantické stromy // 3.4 Sémantické stromy pro predikátovou logiku // 3.5 Přirozená dedukce a axiomatika // 4 LOGICKÁ ANALÝZA PŘIROZENÉHO JAZYKA // 4.1 Logická analýza jazyka jako cesta k logické formě // 4.2 Cesty logické analýzy // 4.3 Určité deskripce a jejich russellovská analýza // 4.4 Meze russellovská analýzy // 5 LOGICKÉ SYSTÉMY A KALKULY // 5.1 Formální systémy // 5.2 Systém klasické výrokové logiky // 5.3 Logický systém jako nástroj vs jako předmět studia // 5.4 Designační a generativní vymezení // 5.5 Systém klasické predikátové logiky // 5.6 Obecná struktura logického systému // 6 ZA HRANICEMI KLASICKÉ LOGIKY I: MODÁLNÍ LOGIKY // 6.1 Alternativní reglementace logického výraziva // 6.2 Systémy modální logiky // 6.3 Modality a možné světy // 6.4 Sémantika modální logiky // 6.5 Modální predikátová logika // 6.6 Modální logika jako nástroj logické analýzy // 7 ZA HRANICEMI KLASICKÉ LOGIKY II: PŘÍKLADY DALŠÍCH LOGIK // 7.1 Epistemická logika // 7.2 Deontická logika // 7.3 Alternativní verze klasických logických operátorů? // 7.4 Intuicionistická logika // 7.5 Vícehodnotové logiky // 8 CO JE TO VÝZNAM? // 8.1 Dvě úrovně sémantiky // 8.2 Význam výroku, význam výpovědi, sdělení // 8.3 Logická explikace významu // 9 DOSAH LOGIKY // 9.1 Výroky v přirozeném jazyce // 9.2 Problematické výroky //

9.3 Neoznamovací výroky? // 9.4 Logika předpisů a otázek? // 9.5 Hranice aplikovatelnosti logických teorií // 10 PARADOXY // 10.1 Původ a povaha paradoxů // 10.2 Paradoxy na úsvitu moderní logiky // 10.3 Anatomie a fyziologie paradoxů // 10.4 Prevence vzniku Russellova paradoxu pomocí teorie typů // 10.5 Paradox lháře a Tarského hierarchie jazyků // 10.6 Godelův důkaz neúplnosti // DODATEK A: SYSTÉM KLASICKÉ VÝROKOVÉ LOGIKY A.1 Syntax a sémantika KVL A.2 Sémantické stromy pro KVL A.3 Systém přirozené dedukce KVL A.4 Sekventový kalkul pro KVL A.5 Hilbertovský kalkul pro KVL A.6 Korektnost a úplnost KVL // DODATEK B: SYSTÉM KLASICKÉ PREDIKÁTOVÉ LOGIKY B.1 Syntax a sémantika KPL B.2 Sémantické stromy pro KPL B.3 Systém přirozené dedukce pro KPL B.4 Sekventový kalkul pro KPL B.5 Hilbertovský kalkul pro KPL B.6 Korektnost a úplnost KPL // DODATEK C: SYSTÉMY NEKLASICKÝCH LOGIK C.1 Syntax a sémantika C.2 Sémantické stromy C.3 Kalkuly pnrozené dedukce C.4 Sekventové kalkuly C.5 Hilbertovské kalkuly C.6 Korektnost, úplnost, rozhodnutelnost