Předmět Logika (KFI / LOF)

Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu KFI / LOF - Logika, Fakulta filozofická, Západočeská univerzita v Plzni (ZČU).

Materiál	Typ	Datum	Počet stažení

Obsah

Probíraná témata: pojem, soud, úsudek; přirozený a umělý jazyk; logický čtverec, sylogistika; platnost, splnitelnost, tautologie, kontradikce; vyplývání; kvantifikované výroky, predikáty; transformace výroků; logika tříd a relací; definice a definování; neklasické logiky, trojhodnotová logika, modální logika.

Získané způsobilosti

Studenti se naučí používat základní pojmy formální logiky. Dokážou odvodit platnost úsudku ve výrokové a predikátové logice. Vysvětlí použití Aristotelské logiky. Formalizují věty přirozeného jazyka v jazyce predikátové logiky. Rozpoznají a dokážou vytvořit adekvátní definice. Popíšou některé systémy neklasických logik.

Literatura

Štěpán, Jan. Formální logika. 2. přeprac. vyd. Olomouc : FIN, 1995. ISBN 80-7182-004-0.Štěpán, Jan; Hrubeš, Jaromír. Logika : terminologický a výkladový slovník. 1. vyd. Ostrava : Ateliér Milata, 1994. Materna, Pavel. Umíte logicky myslet ?. 1. vyd. Praha : Státní pedagogické nakladatelství, 1968. Bokr, Josef; Svatek, Jan. Základy logiky a argumentace : pro zájemce o umělou inteligenci, filozofii, práva a učitelství. 1. vyd. Dobrá Voda u Pelhřimova : Aleš Čeněk, 2000. ISBN 80-902627-8-3.Quine, Willard Van Orman. Elementary logic. Cambridge : Harvard University Press, 1998. ISBN 0-674-24451-6.Mellone, S. H. Elements of Modern Logic. Cambridge, London, 1966. Church, Alonzo. Introduction to mathematical logic. Princeton : Princeton University Press, 1996. ISBN 0-691-02906-7.Basson and D. J. O?lonnor. Introduction to Symbolic Logic. Cambridge, London, 1965. Sainsbury, R. M. Logical Forms. Basil Blackwell, Oxford, 1991. Svatek, Jan. Logika I : [pro učitele občanské výchovy]. 1. vyd. Plzeň : ZČU, 1995. ISBN 80-7082-189-2.Russell, Bertrand. Logika, jazyk a věda. Praha : Svoboda, 1967. Quine, W. V. O. Mathematical Logic. Cambridge (Mass.), 1958. Mleziva, Miroslav. Neklasické logiky. Vyd. 1. Praha : Svoboda, 1970. Berka Karel. Stručné dějiny logiky. Praha, Univ. Karlova, 1994. Kneale, William; Kneale, Martha. The development of logic. Oxford : Oxford University Press, 1984. ISBN 0-19-824773-7.Svatek, Jan. Úvod do logiky : Určeno [pro posl.] 2. a 3. roč. fak. strojní a fak. elektrotechn. 1. vyd. Plzeň : Vysoká škola strojní a elektrotechnická, 1991. ISBN 80-7082-031-4.Weinberger, Ota. Základy právní logiky. 1. vyd. Brno : Masarykova univerzita, 1993. ISBN 80-210-0827-X.

Požadavky

Pre-Exam credit: written test. Exam: combined examination.

Garant

Mgr. Ludmila Dostálová, Ph.D.

Vyučující

Mgr. Ludmila Dostálová, Ph.D.Mgr. Ludmila Dostálová, Ph.D.