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

Course: Logic

« Back
Course title Logic
Course code KFI/LOF
Organizational form of instruction Lecture + Tutorial
Level of course Bachelor
Year of study not specified
Semester Winter
Number of ECTS credits 5
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)
  • Dostálová Ludmila, Mgr. Ph.D.
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) - 43 hours per semester
  • Preparation for comprehensive test (10-40) - 25 hours per semester
  • Preparation for formative assessments (2-20) - 10 hours per semester
prerequisite
Knowledge
Course requires no special prior knowledge and skills.
learning outcomes
Students will learn how to use fundamental concepts of formal logic. They will be able to demonstrate the validity of arguments in propositional and predicate logic. They will be able to explain the use of Aristotelian logic. They will know how to formalize natural language sentences into the language of the first order logic. They will be able to recognize and to create an adequate definition. They will be able to describe some non-classical logic systems.
teaching methods
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, date of update: 26.07.2024 23:53. Data created for academic year 2024/2025