University of West Bohemia in Pilsen
Study programmes & Course catalogue
for academic year 2025/2026
University of West Bohemia in Pilsen
Česky
Search
FAQ

Course: Logic

» List of faculties » FF » KFI
Course title Logic
Course code KFI/LOFB
Organizational form of instruction Lecture + Tutorial
Level of course Bachelor
Year of study not specified
Semester Winter and summer
Number of ECTS credits 6
Language of instruction Czech
Status of course unspecified
Form of instruction Face-to-face
Work placements This is not an internship
Recommended optional programme components None
Lecturer(s)
  • Kwiatkowska Alena, Mgr. Ph.D.
  • Procházková Jitka, Mgr. Ph.D.
  • Musilová Martina, Mgr.
Course content
The following topics will be presented: terms, statements, arguments; natural and artificial language; square of opposites, syllogisms; validity, satisfiability, tautology, contradiction; reasoning; quantified formula, predicates; transforming formulas; logic of classes and relations; definitions and defining; non-classical logic, three valued logic, modal logic.

Learning activities and teaching methods
Lecture, Practicum
  • Contact hours - 52 hours per semester
  • Preparation for an examination (30-60) - 58 hours per semester
  • Preparation for comprehensive test (10-40) - 36 hours per semester
  • Preparation for formative assessments (2-20) - 10 hours per semester
teaching methods
Knowledge
Lecture
Practicum
assessment methods
Combined exam
Test
Recommended literature
  • 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.


Study plans that include the course
Faculty Study plan (Version) Category of Branch/Specialization Recommended year of study Recommended semester
University of West Bohemia in Pilsen, date of update: 23.04.2025 23:52. Data created for academic year 2025/2026