| Course title | Predicate Logic |
|---|---|
| Course code | KFI/B2PL |
| Organizational form of instruction | Lecture + Exercise |
| Level of course | Bachelor |
| Year of study | 2 |
| Semester | Summer |
| Number of ECTS credits | 6 |
| Language of instruction | Czech |
| Status of course | Compulsory |
| Form of instruction | Face-to-face |
| Work placements | This is not an internship |
| Recommended optional programme components | None |
| Lecturer(s) |
|---|
|
| Course content |
|
unspecified
|
| Learning activities and teaching methods |
| unspecified |
| Learning outcomes |
|
This course provides an introduction to first-order predicate logic (PL1) and the theory of logical entailment. Students will acquire the skill of translating natural language sentences into the language of first-order predicate logic and the ability to verify the validity of inferences. The course also addresses issues of logical argumentation and fallacies related to the use of logical operators, inference rules, and the definition of terms. The acquired knowledge is practiced using concrete examples in seminars. 1. Definitions and Explanations 2. Aristotelian Logic 3. The PL1 Language 4. Analysis of Natural Language Sentences in PL1 5. PL1 Semantics (Formula Models) 6. Theory of Binary Relations 7. Venn Diagram Method 8. Natural Deduction (Direct and Indirect Proof) 9. Natural Deduction (Conditional Proof) 10. Axiomatic System of PL1
|
| Prerequisites |
|
unspecified
KFI/B2VL |
| Assessment methods and criteria |
|
unspecified
Credit is awarded based on attendance and active participation in the seminars. The exam takes the form of a test consisting of two parts: a practical section, the content of which corresponds to the seminars; and a theoretical section, the content of which corresponds to the lectures. |
| 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): Philosophy (2019) | Category: Philosophy, theology | 2 | Recommended year of study:2, Recommended semester: Summer |
| Faculty: Faculty of Arts | Study plan (Version): Philosophy (2022) | Category: Philosophy, theology | 2 | Recommended year of study:2, Recommended semester: Summer |
| Faculty: Faculty of Arts | Study plan (Version): Philosophy (2022) | Category: Philosophy, theology | 2 | Recommended year of study:2, Recommended semester: Summer |
| Faculty: Faculty of Arts | Study plan (Version): Philosophy (2019) | Category: Philosophy, theology | 2 | Recommended year of study:2, Recommended semester: Summer |