I028 Essentials of General Logic

Faculty of Informatics
Autumn 2001
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. PhDr. Karel Pala, CSc.
Department of Machine Learning and Data Processing – Faculty of Informatics
Contact Person: prof. PhDr. Pavel Materna, CSc.
Timetable
Thu 9:00–10:50 B410
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 (in Czech)
Sémantická charakteristika logiky.
Tradiční logika, symbolická (matematická) logika, filosofická logika.
Stručný přehled dějin logiky.
Klasická logika -- obecná charakteristika. Výroková logika, výrokový kalkul. Definice kalkulu. Bezespornost, úplnost, rozhodnutelnost. Tautologie výrokové logiky. Výrokově-logické vyplývání. Formální důkaz. Metateorém dedukce. Úplná disjunktivní, konjunktivní normální forma.
Predikátová logika. Pojem řádu. Predikátová logika 1. řádu. Interpretace formálního systému predikátové logiky 1. řádu. Splňování, splnitelnost, pravdivost v interpretaci, logické a analytické vyplývání. Pojem modelu.
Fragment: kategorický sylogismus. Funkce, identita, individuální deskripce.
Predikátová logika 2. řádu.
Teorie typů.
Neklasické logiky. Vícehodnotové, modální, intenzionální logiky.
Syllabus (in Czech)
  • Sémantická charakteristika logiky.
  • Tradiční logika, symbolická (matematická) logika, filosofická logika.
  • Stručný přehled dějin logiky.
  • Klasická logika -- obecná charakteristika. Výroková logika, výrokový kalkul. Definice kalkulu. Bezespornost, úplnost, rozhodnutelnost. Tautologie výrokové logiky. Výrokově-logické vyplývání. Formální důkaz. Metateorém dedukce. Úplná disjunktivní, konjunktivní normální forma.
  • Predikátová logika. Pojem řádu. Predikátová logika 1. řádu. Interpretace formálního systému predikátové logiky 1. řádu. Splňování, splnitelnost, pravdivost v interpretaci, logické a analytické vyplývání. Pojem modelu.
  • Fragment: kategorický sylogismus. Funkce, identita, individuální deskripce.
  • Predikátová logika 2. řádu.
  • Teorie typů.
  • Neklasické logiky. Vícehodnotové, modální, intenzionální logiky.
Assessment methods (in Czech)
Přednáška bez cvičení. Na závěr zkouška.
Language of instruction
Czech
Further Comments
The course is taught annually.
The course is also listed under the following terms Autumn 1995, Autumn 1997, Autumn 1998, Autumn 1999, Autumn 2000.
  • Enrolment Statistics (recent)
  • Permalink: https://is.muni.cz/course/fi/autumn2001/I028