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/enrol/index.php?id=16560,
Poslední úprava: Kolman Vojtěch, prof. PhDr., Ph.D. (16.09.2024)
The course provides an introduction into logic as a philosophical discipline. The basic logical notions (such as syntax, semantics, logical truth, entailment, proof, identity, existence) and some elementary notions of set theory will be explained. We will study basic features of standard logical systems with a particular focus on classical propositional logic and Aristotelian syllogistics.
Poslední úprava: Punčochář Vít, Mgr., Ph.D. (21.11.2021)
|
