Anotace
Cílem předmětu je uvést studenty do logiky jako filosofické disciplíny a připravit je na studium formálních metod v rámci kurzu Formální logika. Vyloženy budou takto základní pojmy logiky jako jsou syntax, sémantika, pravda, logická pravda, důkaz, vyplývání, rovnost, existence, soud, úsudek atd., zejména ve vztahu k výrokové logice a sylogistice.
Zohledněny budou také filosofické a historické souvislosti oboru. Podmínkou udělení zápočtu je pravidelná účast obnášející soustavnou přípravu z hodiny na hodinu, tedy osvojení si probrané látky, řádné a včasné plnění zadaných úkolů a kontrolních testů, včetně testu výstupního.Podpora kurzu je na stránkách moodlu https://dl1.cuni.cz/course/view.php?id=15240.