| Course title | Formal logics 1 |
|---|---|
| Course code | KSA/FL1 |
| 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 propositional logic and the theory of logical entailment. Students will acquire the skill to convert natural language sentences into the language of propositional logic 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. Introduction. Definition and classification of logic. The theory of logical entailment. Properties of valid arguments. 2. Logical argumentation and argumentation errors related to incorrect use of logical operators and inference rules. 3. Basic concepts of propositional logic. Overview of truth-functional connectives. Syntax and Semantics of PL. Well-formed formulas. Model of formula. Satisfiable formulas, tautology, contradiction. 4. Logical analysis of language. Transforming natural language to the PL language. 5. Semantic methods of PL. The truth-table method. Method of indirect semantic proof. Verification formulas. 6. Laws of transformation of formulas. Negation of formulas. 7. Functionally complete system of truth-functional connectives. Proof on the minimum of connectives. 8. Normal forms of formulas of propositional logic. Prove that a formula is a tautology, contradiction, satisfiable. 9. Types of proofs. Theorem of deduction. Soundness and completeness. 10. Natural deduction in PL. The system of inference rules. 11. Proofs PL theorems. 12. Definition, explification, classification.
|
| Learning activities and teaching methods |
| Lecture |
| Learning outcomes |
|
The aim of the course is student's ability of analyzing sentences in natural lunguage via propositional logic to make semantical (table method, method of semantical indirect proof) and syntactical proofs (natural deduction) of arguments.
Students will acquire the skill to convert natural language sentences into the language of propositional 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 |
|
Written exam
|
| 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 (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: - |
| 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: - |