FF:OJ304 Formal logic - Course Information
OJ304 Formal logic
Faculty of ArtsAutumn 2010
- Extent and Intensity
- 1/1/0. 4 credit(s). Type of Completion: zk (examination).
- Teacher(s)
- doc. RNDr. Tomáš Hoskovec, CSc. (lecturer)
- Guaranteed by
- doc. RNDr. Tomáš Hoskovec, CSc.
Department of Linguistics and Baltic Languages – Faculty of Arts - Timetable
- Wed 8:20–9:55 C32
- Prerequisites
- High-school knowledge of mathematics and basic formal logic.
- Course Enrolment Limitations
- The course is also offered to the students of the fields other than those the course is directly associated with.
- fields of study / plans the course is directly associated with
- Classical Archaeology (programme FF, B-HI) (2)
- Classical Archaeology (programme FF, B-HS)
- Classical Archaeology (programme FF, M-HI)
- Classical Archaeology (programme FF, M-HS)
- Classical Archaeology (programme FF, N-HI)
- Classical Archaeology (programme FF, N-HS)
- Classical Greek Language and Literature (programme FF, B-FI)
- Classical Greek Language and Literature (programme FF, B-HS)
- Classical Greek Language and Literature (programme FF, M-FI)
- Classical Greek Language and Literature (programme FF, M-HS)
- Classical Greek Language and Literature (programme FF, N-FI)
- Classical Greek Language and Literature (programme FF, N-HS)
- Latin Language and Literature (programme FF, B-FI)
- Latin Language and Literature (programme FF, B-HS)
- Latin Language and Literature (programme FF, M-FI)
- Latin Language and Literature (programme FF, M-HS)
- Latin Language and Literature (programme FF, N-FI)
- Latin Language and Literature (programme FF, N-HS)
- Modern Greek Language and Literature (programme FF, B-FI) (2)
- Modern Greek Language and Literature (programme FF, B-HS)
- Modern Greek Language and Literature (programme FF, M-FI)
- Modern Greek Language and Literature (programme FF, M-HS)
- Modern Greek Language and Literature (programme FF, N-FI) (2)
- Modern Greek Language and Literature (programme FF, N-HS)
- General Linguistics (programme FF, B-FI) (2)
- General Linguistics (programme FF, B-HS)
- General Linguistics (programme FF, M-FI)
- General Linguistics (programme FF, M-HS)
- General Linguistics (programme FF, N-FI) (2)
- General Linguistics (programme FF, N-HS)
- Course objectives
- The main objective of the course will intoduce students to formal system of the first-order logic, including classical aproaches to logic analysis, predicate logic etc.
- Syllabus
- 1) Cultural conditioning of rationality. 2) Logic as rational thinking in words. 3) Classic syllogism. 4) General form of formal system. 5) Formalization of logic. 6) Complexity of logic. Tautology. 7) "Syntax" and "samantics" of predicate logic. 8) Complexity of predicate logic. 9) Other uses of predicate logic.
- Literature
- SOCHOR, Antonín. Klasická matematická logika. 1. vyd. Praha: Karolinum, 2001, 402 s. ISBN 8024602180. info
- VOPĚNKA, Petr. Rozpravy s geometrií. 1. vyd. Praha: Panorama, 1989, 519 s. ISBN 80-7038-031-4. info
- VOPĚNKA, Petr. Úhelný kámen evropské vzdělanosti a moci : souborné vydání Rozprav s geometrií. 2. vyd. Praha: Práh, 2001, 918 s. ISBN 8072520229. info
- VOPĚNKA, Petr. Podivuhodný květ českého baroka : (první přednášky o teorii množin). Vyd. 1. Praha: Karolinum, 1998, 296 s. ISBN 8071846465. info
- VOPĚNKA, Petr. Meditace o základech vědy. Praha: Práh, 2001, 202 s. ISBN 807252044X. info
- Teaching methods
- lectures, homework
- Assessment methods
- written exam
- Language of instruction
- Czech
- Follow-Up Courses
- Further Comments
- Study Materials
The course is taught once in two years.
- Enrolment Statistics (Autumn 2010, recent)
- Permalink: https://is.muni.cz/course/phil/autumn2010/OJ304