.

0 (hodnocen0 x )

(1.5) Půjčeno:3x 

BK

Praha : Nakladatelství politické literatury, 1962

000014329

Rekat.

Předmluva // Úvod // Kapitola I. TEORIE LOGICKÝCH POJMÚ // 1. Logické termíny a schémata odvozování // 2. Teorie výrokotvorných částic // Implikace. Negace. Konjunkce. Disjunkce. // Ekvivalence. // 3. Teorie kvantifikátorů // Logické formy jednoduchých výroků. Kvantifikátory. Obecný // kvantifikátor. Existenční kvantifikátor. Vztahy mezi kvantifikátory. // 4. Teorie vztahu totožnosti // Schémata odvozování a logicky platné formule. Totožnost. // Různost. // 5. Teorie tříd // Prvek třídy. Inkluze a rovnost tříd. Sjednocení, průnik a doplněk. Relace. // Kapitola II. TEORIE DEDUKTIVNÍCH SOUSTAV // 1. Odvozováni a deduktivní soustava // Logické odvozování. Deduktivní soustava // 2. Axiomatická metoda // Funkce odvozování ve vědě. Axiomatická metoda ve starověku. Neeukleidovská geometrie. Axiómatizace aritmetiky. // Počátky moderni logiky. Paradoxy. Teorie typů. // 3. Formalizace // Hilbertův program. Formalizace. Symbolizace. Metateorie. // Syntax a sémantika. // 4. Interpretace // Udělení významu. Splňováni a model. Interpretace formalizované aritmetiky. Implicitní definice. // 5. Meze formalizace // Gödelovy výsledky. // Kapitola III. PŘEDMĚT LOGIKY // 1. Logická odvoditelnost // Logicky platné formule. Logický kalkul. Vztah logické odvoditelnosti. // 2. Logické vyplývání // Vyplývání. Logické vyplývání. Logicky pravdivý výrok a formule. Sémantická formulace logiky. Sémantická formulace // teorie výrokotvorných částic. // 3. Logická odvoditelnost a logické vyplývání // Bezespornost logického kalkulu. Neúplnost logického kalkulu. // Nerozhodnutelnost logického kalkulu. // 4. Logické pojmy // Problém logických pojmú. Logika v užším a širším smyslu. //

5. Neklasické logiky // Klasická logika. Vícehodnotové logiky. Intenzionální logiky. // Intuicionistická logika. Klasická logika a neklasické logiky. // 6. Indukce a pravděpodobnostní úsudky // 7. Nejdůležitější závery // Kapitola IV. TROCHU FILOSOFIE // 1. Empirismus, konvencionalismus a logika // Vulgární empirismus. Konvencionalismus. Je logika libovolnou // konvencí? Hovoří o něčem logické zákony? Logika a zkušenost. // Logika a skutečnost. Soudobá filosofická tendence. // 2. Matematika, filosofie a logika // Logika a matematika. Logika a filosofie. Formální logika // a dialektika. // Kapitola V. К ČEMU JE LOGIKA? // 1. Metodologický význam logiky // Metodologický význam teorie deduktivních soustav. Další // logické problémy metodologie. Logika a metodologie. // 2. Užití logiky v technice a kybernetice // Logika a reléové sítě. Elektronkové a jiné sítě. Teorie neuronových sítí. Logika a kybernetika. // 3. Další aplikace a všeobecný význam studia logiky // REJSTŘÍK

cnb000623455