Cílem předmětu je seznámit studenty se základy klasické logiky, a to jak moderní tak i tradiční. Představit základní metody zjišťování pravdivostních podmínek formulí a ověřování platnosti úsudků ve výrokové a predikátové logice. Ukázat postup formalizace vět přirozeného jazyka do jazyka formalizovaného.
- Teacher: Ludmila Dostálová
- Teacher: Tereza Matějková
Cílem předmětu je seznámit studenty se základy klasické logiky, a to jak moderní tak i tradiční. Představit základní metody zjišťování pravdivostních podmínek formulí a ověřování platnosti úsudků ve výrokové a predikátové logice. Ukázat postup formalizace vět přirozeného jazyka do jazyka formalizovaného.
- Teacher: Stefanie Dach
Cílem předmětu je uvést studenty do teorie argumentace. Základem kurzu bude osvojení analýzy argumentačních výpovědí různého druhu. Důraz je kladen na schopnost argumentace jako přesvědčování pomocí různých nástrojů, stejně jako schopnost argumentaci ostatních analyzovat a rozeznat její korektní či nekorektní prostředky.
- Teacher: Eliška Babůrková Květová
- Teacher: Ludmila Dostálová