FI:IV028 Essentials of General Logic - Course Information

IV028 Essentials of General Logic

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 B204

Prerequisites (in Czech)

! I028 Essentials of General 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

• Applied Informatics (programme FI, B-AP)
• Applied Informatics (programme FI, N-AP)
• Informatics with another discipline (programme FI, B-BI)
• Informatics with another discipline (programme FI, B-FY)
• Informatics with another discipline (programme FI, B-GE)
• Informatics with another discipline (programme FI, B-GK)
• Informatics with another discipline (programme FI, B-CH)
• Informatics with another discipline (programme FI, B-IO)
• Informatics with another discipline (programme FI, B-MA)
• Informatics with another discipline (programme FI, B-SO)
• Informatics with another discipline (programme FI, B-TV)
• Informatics (programme FI, B-IN)
• Informatics (programme FI, M-IN)
• Informatics (programme FI, N-IN)
• Upper Secondary School Teacher Training in Informatics (programme FI, M-IN)
• Upper Secondary School Teacher Training in Informatics (programme FI, M-SS)
• Upper Secondary School Teacher Training in Informatics (programme FI, M-TV)
• Upper Secondary School Teacher Training in Informatics (programme FI, N-SS)
• Information Technology (programme FI, B-IN)

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.

• Enrolment Statistics (Autumn 2005, recent)
  
• Permalink: https://is.muni.cz/course/fi/autumn2005/IV028