Last update: 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.
Last update: 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ů.
Aim of the course -
Last update: 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.
Last update: 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.
Literature - Czech
Last update: prof. RNDr. PhDr. Hana Voňková, Ph.D. et Ph.D. (29.10.2019)
SOUSEDÍK, P. Logika pro studenty humanitních oborů. Praha: Nakladatelství Vyšehrad, 2008.
GENSLER, H. J. Introduction to logic. USA and Canada: Routledge, 2002 (2008).
SVOBODA, V., PEREGRIN, J. Od jazyka k logice. Praha: Academia, 2009.
HODGES, W. Logic: an introduction to elementary logic. Penguin group, 2001.
Syllabus -
Last update: 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
Last update: 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