FF:OJ304 Jazyk a logika - Informace o předmětu

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

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

• Český jazyk a literatura (program FF, M-FI) (2)
• Český jazyk a literatura (program FF, M-HS)
• Český jazyk (program FF, D-FI)
• Klasická filologie (program FF, D-FI)
• Klasická filologie (program FF, M-FI)
• Klasická filologie (program FF, M-HS)
• Klasický řecký jazyk a literatura (program FF, M-FI)
• Klasický řecký jazyk a literatura (program FF, M-HS)
• Latinský jazyk a literatura (program FF, M-FI)
• Latinský jazyk a literatura (program FF, M-HS)
• Moderní filologie (program FF, M-FI)
• Moderní filologie (program FF, M-HS)
• Obecná jazykověda (program FF, D-FI)
• Obecná jazykověda (program FF, M-FI)
• Obecná jazykověda (program FF, M-HS)
• Paleoslovenistika a slovanské jazyky (program FF, D-FI)
• Srovnávací indoevropská jazykověda (program FF, D-FI)

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.

• Statistika zápisu (jaro 2002, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/phil/jaro2002/OJ304