ZS 2015/2016: Formální a filosofická logika 2
Z WiKi TF
Verze z 21. 1. 2016, 17:54, kterou vytvořil Admin (diskuse | příspěvky) (Založena nová stránka s textem „TEMATICKÉ OKRUHY PŘEDNÁŠEK A SEMINÁŘŮ Tradiční vs. moderní logika (kategorický soud a funkce, úsudky ze složených soudů, atd.) Základní…“)
TEMATICKÉ OKRUHY PŘEDNÁŠEK A SEMINÁŘŮ
Tradiční vs. moderní logika (kategorický soud a funkce, úsudky ze složených soudů, atd.)
Základní pojmy logické sémantiky a syntaxe (jazyk, individuová jména, predikáty, atomární výroky, molekulární výroky, spojky, proměnné, splňování, individuové deskripce, lambda abstrakce, atd.)
Výroková logika
Predikátová logika
Varia z moderní filosofické logiky
