IV028 Essentials of General Logic

Faculty of Informatics
Autumn 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
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.
The course is also listed under the following terms Autumn 2002, Autumn 2003, Autumn 2004, Autumn 2005, Autumn 2006, Autumn 2007, Autumn 2008, Autumn 2010, Autumn 2011, Autumn 2012, Autumn 2013, Autumn 2014.
  • Enrolment Statistics (Autumn 2009, recent)
  • Permalink: https://is.muni.cz/course/fi/autumn2009/IV028