ZS 2015/2016: Formální a filosofická logika 2: Porovnání verzí

Verze z 21. 1. 2016, 17:54

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