FF:PH1201 Logic II - Course Information
PH1201 Logic II
Faculty of ArtsSpring 2015
- Extent and Intensity
- 2/1/0. 4 credit(s). Type of Completion: zk (examination).
- Teacher(s)
- prof. PhDr. BcA. Jiří Raclavský, Ph.D. (lecturer)
- Guaranteed by
- prof. PhDr. Josef Krob, CSc.
Department of Philosophy – Faculty of Arts
Contact Person: Hana Holmanová
Supplier department: Department of Philosophy – Faculty of Arts - Timetable
- Fri 8:20–10:45 J21
- Prerequisites
- Credit in Logic I
- 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
- Philosophy (programme FF, B-HS)
- Philosophy (programme FF, B-PH) (3)
- Upper Secondary School Teacher Training in Social Studies Basics (programme FF, N-MA)
- Upper Secondary School Teacher Training in Social Studies Basics (programme FF, N-SS) (2)
- Course objectives
- At the end of the course students should be able to: understand and explain key notions of first-order logic (tautology, entailment, formal language, axiomatization, formal proof) and non-classical logics; apply formal techniques of controlling whether a formula is a tautology and whether an argument is valid; apply formal techniques (equivalent transformations, proving by means of Gentzen's sequential calculus); apply techniques to an ordinary reasoning (negations or equivalences of sentences, validity of an argument)
- Syllabus
- 1st order logic:
- - informal introduction
- - its syntax, semantics
- - proof, natural deduction
- - identity, descriptive operator, functions
- - perspectives: higher order logics, modal and intensional logics
- - formalized theories, arithmetics of natural numbers, incompleteness theorems
- - algorithm
- - concept, definition
- Literature
- required literature
- ŠTĚPÁN, Jan. Klasická logika. 1. vyd. Olomouc: Univerzita Palackého v Olomouci, 2001, 198 s. ISBN 8024402548. info
- recommended literature
- ŠTĚPÁN, Jan. Logika a logické systémy. Vyd. 1. Olomouc: Votobia, 1992, 165 s. ISBN 80-85619-29-6. info
- Teaching methods
- lectures introducing theoretical notions and technical applications; classes devoted to technical applications.
- Assessment methods
- written test exam; its first part part consists in testing the validity of an argument, the second part relates to several easier skills such as negation of sentences, the third part examines the understanding of the selected notions
- Language of instruction
- Czech
- Further comments (probably available only in Czech)
- Study Materials
The course is taught annually. - Teacher's information
- http://www.phil.muni.cz/elf/course/view.php?id=1908
- Enrolment Statistics (Spring 2015, recent)
- Permalink: https://is.muni.cz/course/phil/spring2015/PH1201