OJ304 Formal logic

Faculty of Arts
Spring 2014
Extent and Intensity
2/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
Supplier department: Department of Linguistics and Baltic Languages – Faculty of Arts
Timetable
Wed 10:50–12:25 U32
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
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
  • SOCHOR, Antonín. Logika pro všechny ochotné myslet. Vyd. 1. V Praze: Univerzita Karlova v Praze, 2011, 363 s. ISBN 9788024619590. info
Teaching methods
lectures, homework
Assessment methods
written exam
Language of instruction
Czech
Further Comments
Study Materials
The course is taught once in two years.
Information about innovation of course.
This course has been innovated under the project "Faculty of Arts as Centre of Excellence in Education: Complex Innovation of Study Programmes and Fields at FF MU with Regard to the Requirements of the Knowledge Economy“ – Reg. No. CZ.1.07/2.2.00/28.0228, which is cofinanced by the European Social Fond and the national budget of the Czech Republic.

logo image
The course is also listed under the following terms Spring 2001, Spring 2002, Spring 2003, Spring 2005, Spring 2007, Spring 2009, Autumn 2010, Autumn 2011, Autumn 2015.
  • Enrolment Statistics (Spring 2014, recent)
  • Permalink: https://is.muni.cz/course/phil/spring2014/OJ304