| Course title | Formal logics 2 |
|---|---|
| Course code | KSA/FL2 |
| Organizational form of instruction | Lecture + Seminar |
| Level of course | Bachelor |
| Year of study | 1 |
| Semester | Winter and summer |
| Number of ECTS credits | 4 |
| Language of instruction | Czech |
| Status of course | Compulsory-optional |
| Form of instruction | Face-to-face |
| Work placements | This is not an internship |
| Recommended optional programme components | None |
| Lecturer(s) |
|---|
|
| 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 |
|
| Study plans that include the course |
| Faculty | Study plan (Version) | Category of Branch/Specialization | Recommended semester | |
|---|---|---|---|---|
| Faculty: Faculty of Arts | Study plan (Version): Sociology (2019) | Category: Social sciences | 1 | Recommended year of study:1, Recommended semester: - |
| Faculty: Faculty of Arts | Study plan (Version): Sociology (2024) | Category: Social sciences | 1 | Recommended year of study:1, Recommended semester: - |
| Faculty: Faculty of Arts | Study plan (Version): Sociology (2024) | Category: Social sciences | 1 | Recommended year of study:1, Recommended semester: - |
| Faculty: Faculty of Arts | Study plan (Version): Sociology (2019) | Category: Social sciences | 1 | Recommended year of study:1, Recommended semester: - |