Course: Logic

» List of faculties » CMF » KFK
Course title Logic
Course code KFK/LOG
Organizational form of instruction Lecture
Level of course Master
Year of study not specified
Semester Winter and summer
Number of ECTS credits 4
Language of instruction Czech
Status of course Compulsory-optional
Form of instruction Face-to-face
Work placements This is not an internship
Recommended optional programme components None
Lecturer(s)
  • Dvořák Petr, doc. Mgr. Ph.D.
Course content
statement and its parts; logical form of a statement; logical relationships among statements; argument; syllogism: figure, mood, rules of validity; propositional logic: logical connectives, checking validity based on truth-tables, formal proof; predicate logic: monadic and polyadic predicates, the rules of instantiation and generalization, analyzing arguments in PL; modal logic and its use in philosophy; informal logic

Learning activities and teaching methods
Lecture, Dialogic Lecture (Discussion, Dialog, Brainstorming), Demonstration
Learning outcomes
The course introduces the elements of Aristotelian and predicate logic. It also introduces the basics of logical semantics, the theory of definition and argumentation and some fundamental problems of the theory of knowledge.
Students will gain a survey of basic logic and the theory of argumentation.
Prerequisites
unspecified

Assessment methods and criteria
Written exam

The essentials of syllogistics, propositional and predicate logic, including practical applications.
Recommended literature
  • Pavel Cmorej. (2002). Úvod do logické syntaxe a sémantiky. Praha.


Study plans that include the course
Faculty Study plan (Version) Category of Branch/Specialization Recommended year of study Recommended semester
Faculty: Sts Cyril and Methodius Faculty of Theology Study plan (Version): Catholic Theology (2) Category: Philosophy, theology 2 Recommended year of study:2, Recommended semester: -