IV028 Essentials of General Logic

Faculty of Informatics
Autumn 2007
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 10:00–11: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 39 fields of study the course is directly associated with, display
Course objectives
Basic notions of history of logic, of foundations of truth-functional and predicate (1st order)logic, a general information on the contemporary logic.
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. The notion of order. 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. The notion of a model. 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
Assessment methods (in Czech)
Přednáška bez cvičení. Na závěr zkouška.Zkouska se sklada z pisemneho vyreseni prikladu z predikatove logiky (zamereni: semanticke pojmy, duraz na vyplyvani) a z pohovoru o teoretickych zakladech vychazejiciho z prednasky a doporucene literatury.
Language of instruction
Czech
Further Comments
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 2008, Autumn 2009, Autumn 2010, Autumn 2011, Autumn 2012, Autumn 2013, Autumn 2014.
  • Enrolment Statistics (Autumn 2007, recent)
  • Permalink: https://is.muni.cz/course/fi/autumn2007/IV028