Kurz seznamuje studenty se základy výrokové a predikátové logiky. Studenti se seznamují i s klasifikací klamných argumentů, kterou následně využívají při analýzách textů.
Poslední úprava: Voňková Hana, prof. RNDr. PhDr., Ph.D. et Ph.D. (29.10.2019)
The course introduces students to the basics of the propositional calculus and the predicate logic. Students are also introduced to a classification of fallacies which is then used for text analyses.
Poslední úprava: Voňková Hana, prof. RNDr. PhDr., Ph.D. et Ph.D. (29.10.2019)
Cíl předmětu -
Cílem kurzu je, aby studenti pomocí znalosti základů logiky byli schopni posuzovat správnost argumentů a dokázali využívat tyto znalosti při analýzách textu.
Poslední úprava: Voňková Hana, prof. RNDr. PhDr., Ph.D. et Ph.D. (29.10.2019)
The goal of the course is that students learn to analyze a validity of arguments using the basics of formal logic and subsequently use it for text analyses.
Poslední úprava: Voňková Hana, prof. RNDr. PhDr., Ph.D. et Ph.D. (29.10.2019)
Literatura - angličtina
GENSLER, H. J. Introduction to logic. USA and Canada: Routledge, 2002 (2008)
HODGES, W. Logic: an introduction to elementary logic. Penguin group, 2001.
Poslední úprava: Čapek Adamec Martin, PhDr., Ph.D. (05.11.2018)
Požadavky ke zkoušce -
závěrečný test
Poslední úprava: Voňková Hana, prof. RNDr. PhDr., Ph.D. et Ph.D. (29.10.2019)
written test
Poslední úprava: Voňková Hana, prof. RNDr. PhDr., Ph.D. et Ph.D. (29.10.2019)
Sylabus -
· Základní pojmy - např. sémiotika, vztah vyplývání a sylogysmus
· Výroková logika - určení pravdivostní hodnoty složeného výroku, analýza správnosti argumentu, jazyk výrokové logiky
· Predikátová logika - kvantifikátory, vztah k výrokové logice, De Morganovy zákony, vyvracení úsudku protipříkladem
· Argumentace, klamné argumenty - užití při analýze textu
Poslední úprava: Voňková Hana, prof. RNDr. PhDr., Ph.D. et Ph.D. (29.10.2019)
· Basic terms - e.g., semiotics, logical consequence and syllogism
· Propositional calculus - assignment of the true value of a compound proposition, analysis of a validity of an argument, language of a propositional calculus
· Predicate logic - quantifiers, relationship to the propositional calculus, De Morgan's laws, proving that the argument is invalid using a counterexample
· Proofs (direct proof, proof by contradiction, induction), Venn diagrams, Necessary and sufficient condition
· Argumentation, fallacies - use for the text analysis
Poslední úprava: Voňková Hana, prof. RNDr. PhDr., Ph.D. et Ph.D. (29.10.2019)