OJ304 Přirozený jazyk a formální logika

Filozofická fakulta
jaro 2002
Rozsah
2/0/0. 3 kr. Doporučované ukončení: zk. Jiná možná ukončení: k.
Vyučující
doc. RNDr. Tomáš Hoskovec, CSc. (přednášející)
Garance
doc. RNDr. Tomáš Hoskovec, CSc.
Ústav jazykovědy a baltistiky – Filozofická fakulta
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
Mateřské obory/plány
předmět má 18 mateřských oborů, zobrazit
Cíle předmětu
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
Osnova
  • 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í
Další komentáře
Předmět je vyučován každoročně.
Výuka probíhá každý týden.
Předmět je zařazen také v obdobích jaro 2001, jaro 2003, jaro 2005, jaro 2007, jaro 2009, podzim 2010, podzim 2011, jaro 2014, podzim 2015.