FF:OJ304 Language and Logic - Course Information

OJ304 Natural language and formal logic

Faculty of Arts
Spring 2002

Extent and Intensity

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

Teacher(s)

doc. RNDr. Tomáš Hoskovec, CSc. (lecturer)

Guaranteed by

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 18 fields of study the course is directly associated with, display

Course objectives (in Czech)

Seznámení se základními rysy formálních systémů a srovnání jejich vyjadřovacích možností s vyjadřovacími možnostmi přirozeného jazyka

Syllabus

1) Pojem formálního systému, formálního jazyka a formulí, které v něm lze odvodit. 2) Axiom, odvozovací pravidlo, formální důkaz 3) Teorie a metateorie, dokazatelnost a nedokazatelnost tvrzení 4) Výrokový kalkul. Pravdivost a dokazatelnost formulí 5) Predikátový kalkul. Pravdivost a dokazatelnost formulí 6) Modální logiky 7) Predikace v přirozeném jazyce 8) Modalita, negace a aktuální členění v přirozeném jazyce. Možnosti jejich formálnělogického modelování

Language of instruction

Czech

Further Comments

The course is taught annually.
The course is taught: every week.