Poslední úprava: prof. RNDr. PhDr. Hana Voňková, Ph.D. et Ph.D. (29.10.2019)
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: prof. RNDr. PhDr. Hana Voňková, 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.
Cíl předmětu -
Poslední úprava: prof. RNDr. PhDr. Hana Voňková, Ph.D. et Ph.D. (29.10.2019)
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: prof. RNDr. PhDr. Hana Voňková, 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.
Literatura - angličtina
Poslední úprava: PhDr. Martin Čapek Adamec, Ph.D. (05.11.2018)
GENSLER, H. J. Introduction to logic. USA and Canada: Routledge, 2002 (2008)
HODGES, W. Logic: an introduction to elementary logic. Penguin group, 2001.
Požadavky ke zkoušce -
Poslední úprava: prof. RNDr. PhDr. Hana Voňková, Ph.D. et Ph.D. (29.10.2019)
závěrečný test
Poslední úprava: prof. RNDr. PhDr. Hana Voňková, Ph.D. et Ph.D. (29.10.2019)
written test
Sylabus -
Poslední úprava: prof. RNDr. PhDr. Hana Voňková, Ph.D. et Ph.D. (29.10.2019)
· 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: prof. RNDr. PhDr. Hana Voňková, 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