Předmět Logika (KFI / LOGH)

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 / LOGH - 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;Inovace tohoto kurzu je spolufinancována Evropským sociálním fondem a statním rozpočtem České republiky. Projekt ESF OPVK reg. č. CZ.1.07/2.2.00/07.0217 "ORGANON - Learning Management System (LMS) pro výuku logiky"

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

Čechák, Vladimír; Berka, Karel; Zapletal, Ivo. Co víte o moderní logice. 1. vyd. Praha : Horizont, 1981. 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. Štěpán, Jan. Formální logika. 2. přeprac. vyd. Olomouc : FIN, 1995. ISBN 80-7182-004-0.Church, Alonzo. Introduction to mathematical logic. Princeton : Princeton University Press, 1996. ISBN 0-691-02906-7.Sainsbury, R. M. Logical Forms. Basil Blackwell, Oxford, 1991. Štěpán, Jan; Hrubeš, Jaromír. Logika : terminologický a výkladový slovník. 1. vyd. Ostrava : Ateliér Milata, 1994. 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. Svatek, Jan; Dostálová, Ludmila. Logika pro humanistiku. Dobrá Voda : Aleš Čeněk, 2003. ISBN 80-86473-54-6.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.Materna, Pavel. Umíte logicky myslet ?. 1. vyd. Praha : Státní pedagogické nakladatelství, 1968. 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.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.Weinberger, Ota. Základy právní logiky. 1. vyd. Brno : Masarykova univerzita, 1993. ISBN 80-210-0827-X.

Požadavky

Písemná zkouška a ústní pohovor.

Garant

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

Vyučující

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