|
Lecturer(s)
|
-
Šebela Karel, Mgr. Ph.D.
-
Šebelová Jana, Mgr.
|
|
Course content
|
The course provides the basics of first order predicate logic (FOPL) and the theory of logical entailment. Students will acquire the skill to convert natural language sentences into the language of FOL1 and the ability to verify a validity of arguments. The course also concerns the issue of logical argumentation and argumentation errors related to incorrect use of logical operators and inference rules. Acquired skills are practiced on concrete examples. Content: 1. Naive set theory. The language of FOPL. 2. The logical specification of natural language sentences via FOPL. 3. Model of formula. Satisfiable formulas, tautology, contradiction. 4. Representative properties of binary relations. 5. Aristotelian logic and the method of Venn's diagrams. 6. Natural deduction - inference rules. 7. Natural deduction - direct and indirect proof. 8. Natural deduction - the technique of branch proof from hypotheses . 9. Historical evolution of formal theories. 10. Special axioms of the theory of relations. 11. Kurt Gödel and the completness of formal theories. 12. Definition, explification, classification.
|
|
Learning activities and teaching methods
|
|
unspecified
|
|
Learning outcomes
|
The aim of the course is student's ability of analyzing sentences in natural lunguage using first order predicate logic to make logical proofs of arguments via semantical venn's diagrams method and via natural deduction.
Students will acquire the skill to convert natural language sentences into the language of first order predicate logic and the ability to verify a validity of arguments. They will be able to identify argumentative errors of incorrect use of Logical operators and inference rules.
|
|
Prerequisites
|
Studying do not depend on attending another subject.
|
|
Assessment methods and criteria
|
unspecified
|
|
Recommended literature
|
-
J. Štěpán. Klasická logika. Olomouc.
-
M. Číhalová. Studentův průvodce kurzem Klasická logika. Plzeň.
|