FI:I028 Essentials of General Logic

I028 Essentials of General Logic

Faculty of Informatics
Autumn 1997

Extent and Intensity

2/0. 2 credit(s). Recommended Type of Completion: zk (examination). Other types of completion: k (colloquium), z (credit).

Teacher(s)

prof. PhDr. Pavel Materna, CSc. (lecturer)

Guaranteed by

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

The course is also listed under the following terms Autumn 1995, Autumn 1998, Autumn 1999, Autumn 2000, Autumn 2001.