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
doc. RNDr. Tomáš Hoskovec, CSc.
Department of Linguistics and Baltic Languages – Faculty of Arts
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)
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.
The course is also listed under the following terms Spring 2001, Spring 2003, Spring 2005, Spring 2007, Spring 2009, Autumn 2010, Autumn 2011, Spring 2014, Autumn 2015.
  • Enrolment Statistics (Spring 2002, recent)
  • Permalink: https://is.muni.cz/course/phil/spring2002/OJ304