FI:IV028 Essentials of General Logic - Course Information
IV028 Essentials of General Logic
Faculty of InformaticsAutumn 2009
- Extent and Intensity
- 2/0. 2 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types of completion: k (colloquium), z (credit).
- Teacher(s)
- prof. PhDr. Pavel Materna, CSc. (lecturer)
- Guaranteed by
- prof. Ing. Václav Přenosil, CSc.
Department of Machine Learning and Data Processing – Faculty of Informatics
Contact Person: prof. PhDr. Pavel Materna, CSc. - Timetable
- Thu 12:00–13:50 B011
- 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
- there are 46 fields of study the course is directly associated with, display
- Course objectives
- At the end of this course the studntes will understand the basic concepts of logic,in particular the difference and mutual relation between semantics and syntax. They will be able to solve the basic tasks in the area of 1st order predicate logic with identity, especially to decide whether the given conclusion follows from the given premises. Further they will be able to judge the possibility of applying logic to solving problems formulated in a natural language.
- Syllabus
- A semantic characteristics of logic.
- Traditional, symbolic / mathematical logic, philosophical logic. A brief overview of the history of logic. A general characteristics of classical logic.
- Propositional (truth-functional) logic, propositional calculus. Definition of calculus.
- Consistency / correctness, completeness, decidability. Truth-functional tautologies. Propositional entailment.
- Formal proof. Meta-theorem of deduction.
- Complete disjunctive and conjunctive normal forms.
- Predicate logic. 1st order predicate logic. Interpretation of a formal system of 1st order predicate logic. Satisfaction, satisfiability, truth in the interpretation, validity (logical truth), logical & analytic entailment.
- Fragment: categorical syllogism. Functions, identity, individual descriptions. 2nd order predicate logic. A theory of types. Non-classical logics. Many-valued, modal, intensioonal logics.
- Literature
- ŠTĚPÁN, Jan. Formální logika. 2. přeprac. vyd. Olomouc: FIN, 1995, 109 s. ISBN 80-7182-004-0. info
- Teaching methods
- lectures, (class) discussions
- Assessment methods
- Lecture (no exercises). Discussions during the lesson are supported. Examination: a written part: solving an example from predicate logic, emphasis on semantic notions, especially entailment). a verbal part: a discussion on theoretical fundamentals (based on the lecture and the recommended literature).
- Language of instruction
- Czech
- Further comments (probably available only in Czech)
- The course is taught annually.
- Enrolment Statistics (Autumn 2009, recent)
- Permalink: https://is.muni.cz/course/fi/autumn2009/IV028