Lecturer(s)
|
-
Dostálová Ludmila, Mgr. Ph.D.
|
Course content
|
The origins of logic. Axiomatic method. Conceptual and deductive structures of theories. Axioms and postulates. Prove as an evidence. Calculus and the idea of the universal language. Euclidean geometry and the fifth postulate. Hilbert?s program and formalism.
|
Learning activities and teaching methods
|
Interactive lecture, Students' self-study, Self-study of literature
- Graduate study programme term essay (40-50)
- 26 hours per semester
- Contact hours
- 26 hours per semester
|
prerequisite |
---|
Knowledge |
---|
Course requires no special prior knowledge and skills. |
learning outcomes |
---|
Students will be able to explain crucial moments in the historical development of logic as a science. They will understand principals of axiomatic method and deduction. They will be able to place the development of logic and axiomatic method in the context of the evolution of European science and philosophy. Students will know how to work within the formalised theory and how to prove their formal properties. |
teaching methods |
---|
Interactive lecture |
Self-study of literature |
assessment methods |
---|
Seminar work |
Continuous assessment |
Recommended literature
|
-
Berka, Karel. O vzniku logiky. 1. vyd. Praha : Státní nakladatelství politické literatury, 1959.
-
Gabbay, Dov M. Handbook of the History of Logic.
-
Kneale, William; Kneale, Martha. The development of logic. Oxford : Oxford University Press, 1984. ISBN 0-19-824773-7.
-
Lévi-Strauss, Claude. Myšlení přírodních národů. Praha : Československý spisovatel, 1971.
-
Vopěnka, Petr. Úhelný kámen evropské vzdělanosti a moci : souborné vydání Rozprav s geometrií. 2. vyd. Praha : Práh, 2001. ISBN 80-7252-022-9.
|