.

0 (hodnocen0 x )

(1.7) Půjčeno:12x 

BK

1. vyd.

Praha : Státní pedagogické nakladatelství, 1970

190 s. : il. ; 29 cm

Učební texty vysokých škol

Obsahuje bibliografii

Učeno pro posluhače pedagogických fakult

Vydavatel: Ústav pro učit. vzdělání na Univ. Karlově v Praze

000056565

Předmluva 3 // 1. LEKCE (seminář) // Předběžná rozprava - místo úvodu 7 // Cvičení "logického" úsudku 8 // O úsudku z Jiného konce: forma (schéma) úsudku 12 // Předběžné shrnutí I 14 // Jaký bude v logice náš jazyk? (Předběžně o tom, čím se budeme // v logice zabývat) 15 // Shrnutí II 20 // 2. LEKCE (přednáška) // 1 // PR // ET LOGIKY // | 2 // Čím se budeme v logice zabývat? (Pokračování rozpravy ze semináře; především o předmětu logiky) // Přehled vývojových etap logiky // Filosofie a logika // Některé přednosti studia logiky a její význam // Shrnutí // 3. LEKCE (seminář) // VLASTNOSTI FORMULÍ VÝROKOVÉ LOGIKY (PRAVDIVOSTNÍ TABULKA) // Interpretace výrokových spojek pravdivostní tabulkou // Formule // Pravdivostní vyhodnocování formulí (kategorie formulí) // Budování systému výrokové logiky tabulkovou metodou // Vyhodnocování formulí a více než dvěma argumenty // Ekvivalence formulí // Shrnutí // 4. LEKCE (přednáška) // FORMULACE MYŠLENEK V PŘIROZENÉM JAZYCE (I) 54 // Přenos informace 54 // Řeč, jazyk, myšlení 55 // Vyjadřovací soustava 55 // Grafický jazyk z hlediska logiky 56 // Denotace a smysl 57 // Vlastní a nevlastní symboly 59 // Poznámka o synonymii a homonymii 63 // Pragmatika, sémantika, syntaktika 64 // Co je formalizovaný jazyk? 66 // Shrnutí 66 // Informace o 1. kontrolním testu 67 // 5. LEKCE (seminář) // PRÁCE S FORMULEMI 69 // Převod formule na výrok 69 // Převod výroku na formuli 70 // Praktická cvičení v převodech výroků na formule 71 // Přehled některých potřebných ekvivalentních formulí 74 // Shrnutí 76 // 6. LEKCE (přednáška) // FORMULACE MYŠLENEK V PRIROZENIM JAZYCE (II) // Jazyk a metajazyk // Definice // Klasická definice // Základní principy ("zákony") klasické logiky // Kontrárnost a kontradikce //

Konverze, inverze, kontrapozice // ÚSUDEK a JEHO FORMA (ZÁKLADNÍ ÚSUDKOVÁ PRAVIDLA) // Úsudková pravidla // Poznámka k formě modus ponens // DŮKAZ PRAVDIVOSTI VYPOVĚDÍ (VÝROK) // Přímý důkaz // Nepřímý důkaz // SUBJEKTIVNÍ PŘEKÁŽKY ADEKVÁTNÍ FORMULACE MYŠLENEK A CHYBY PŘI JEJICH SDĚLOVÁNÍ // Shrnutí // 7. LEKCE (seminář) // PRÁCE S FORMULEMI A S ÚSUDKOVÝMI SCHÉMATY 105 // Varianta tabulkové metody 105 // Nepřímá metoda 107 // Postup odvození závěru u složitějších úsudkových schémat 109 // Konzistence úsudku 114 // Řešení relativně složitějších úloh na základě úsudkových schémat 115 // Souvislost úsudkových forem s formulemi 118 // Shrnutí 120 // LEKCE (přednáška) // INFORMACE O DALŠÍCH PROSTŘEDCÍCH VÍSTAVBY LOGIKY // Neextenzionální funktory // Predikátová logika // Pojem predikátu // Kvantifikátory // Převod výroku obsahujícího kvantifikující výrazy na logické schéma // Tautologie predikátové logiky 1. stupně // Poznámky k třídové logice // Poznámky k logice relací // Shrnutí // LEKCE (seminář) // PROBLEMATIKA LOGICKÉHO ČTVERCE, ANEB VÝLET DO TRADIČNÍ LOGIKY // 2. kontrolní test (Maketa testu) // Shrnutí // 10 // LEKCE (přednáška) // OBECNÉ METODLOGIE VE // Výchozí pojmy // Člověk a problém // Člověk a metoda // Tradiční dělení metod // Dedukce // Budování deduktivního systému axiomatizací // Formalizace teorie // Indukce // Úplná Indukce // Neúplná indukce // Shrnutí // LEKCE (seminář) // AXIOMATIZACE VÝROKOVÉ BLOKOVÉ SCHÉMA // Shrnutí // LEKCE (přednáška) // APLIKACE LOGIKY V PRAXI (I) // Příklad technické // Stručná informace // aplikace logiky // o "logickém rozhodování" samoč. počítače // Moderní vyučovací pomůcky a program výuky bez stroje // Malá ukážka programu stroje // Shrnutí //

LEKCE (seminář) // STRUČNÁ REKAPITULACE UČIVA // 178 // LEKCE (prednáška) // APLIKACE LOGIKY V PRAXI (II) // Učitel a logika // Chyby školních detí a logika // Dětské myšlení a jeho logická stránka // ZÁVĚR KURSU // Doplňující literatura // Závěr 185 // OBSAH 187

(OCoLC)42129632

cnb000426902