I028 Essentials of General Logic

Faculty of Informatics
Autumn 2000
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.
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
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.
Language of instruction
Czech
Further Comments
The course is taught annually.
The course is taught: every week.
The course is also listed under the following terms Autumn 1995, Autumn 1997, Autumn 1998, Autumn 1999, Autumn 2001.
  • Enrolment Statistics (Autumn 2000, recent)
  • Permalink: https://is.muni.cz/course/fi/autumn2000/I028