Syllabus
· 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
Annotation
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.