|
Lecturer(s)
|
|
|
|
Course content
|
(1) Logic as a discipline (2) Introduction to the logic of Aristotle (3) Concept, definition (4) Propositions and their relations (5) Selected problems of semantics (6) Syllogism (7) Venn diagrams (8) Megarian-Stoic logic (9) Scholasticism and logic (10) Modern notation; logical operators (11) Propositional calculus (12) Forms of the truth-table method (13) Predicate (quantificational) calculus
|
|
Learning activities and teaching methods
|
|
unspecified, unspecified
|
|
Learning outcomes
|
Student acquaints with basic notions of logic and logical semantics; and also with history of logic. He/she gets some skill in formal verification of arguments: In the field of propositional calculus we use the truth tables; in predicate calculus, namely syllogistics, the diagram method is employed.
Student acquaints with main topics of logic and with contemporary methodology of this discipline. He/she gets some skill in formal verification of arguments.
|
|
Prerequisites
|
Special preconditions are not required.
|
|
Assessment methods and criteria
|
unspecified
During the semester the student follows the lectures; he/she collaborates actively in seminars. The final written test includes formal verification of arguments by truth tables and diagrams.
|
|
Recommended literature
|
-
Cmorej P. Úvod do logické syntaxe a sémantiky. Praha, 2002. ISBN 80-7254-294-X.
-
Novák L., Dvořák P. Úvod do logiky aristotelské tradice. České Budějovice, 2007. ISBN 978-80-7040-959-6.
-
Sochor A. Logika pro všechny ochotné myslet. Praha, 2011. ISBN 978-80-246-1959-0.
-
Sousedík P. Logika pro studenty humanitních oborů. Praha, 2001. ISBN 80-7021-509-7.
|