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.
|
-
Basson and D. J. O?lonnor. Introduction to Symbolic Logic. Cambridge, London, 1965.
-
Berka Karel. Stručné dějiny logiky. Praha, Univ. Karlova, 1994.
-
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.
-
Church, Alonzo. Introduction to mathematical logic. Princeton : Princeton University Press, 1996. ISBN 0-691-02906-7.
-
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.
-
Mellone, S. H. Elements of Modern Logic. Cambridge, London, 1966.
-
Mleziva, Miroslav. Neklasické logiky. Vyd. 1. Praha : Svoboda, 1970.
-
Quine, W. V. O. Mathematical Logic. Cambridge (Mass.), 1958.
-
Quine, Willard Van Orman. Elementary logic. Cambridge : Harvard University Press, 1998. ISBN 0-674-24451-6.
-
Russell, Bertrand. Logika, jazyk a věda. Praha : Svoboda, 1967.
-
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.
-
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.
-
Š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.
-
Weinberger, Ota. Základy právní logiky. 1. vyd. Brno : Masarykova univerzita, 1993. ISBN 80-210-0827-X.
|