| Course title | Propositional Logic |
|---|---|
| Course code | KFI/B2VL |
| Organizational form of instruction | Lecture + Exercise |
| Level of course | Bachelor |
| Year of study | not specified |
| Semester | Winter |
| 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 propositional logic and the theory of logical entailment. Students will learn how to translate natural language sentences into the language of propositional logic and how 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 practised using specific examples in seminars. 1. Introduction to Logic 2. Definition of Classical Logic 3. Inference (Probabilistic vs. Deductive) 4. Definition of Propositional Logic and Semantics of Connectives 5. Truth Functions and Formula Models 6. Semantic methods of verifying judgments 7. Equivalent reformulations 8. Complete systems of connectives 9. Natural deduction (direct and indirect proof) 10. Natural deduction (conditional proof) 11. Definitions 12. Classification and explication
|
| Prerequisites |
|
unspecified
|
| 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 (2022) | Category: Philosophy, theology | 2 | Recommended year of study:2, Recommended semester: Winter |
| Faculty: Faculty of Arts | Study plan (Version): Philosophy (2022) | Category: Philosophy, theology | 2 | Recommended year of study:2, Recommended semester: Winter |
| Faculty: Faculty of Arts | Study plan (Version): Philosophy (2019) | Category: Philosophy, theology | 2 | Recommended year of study:2, Recommended semester: Winter |
| Faculty: Faculty of Arts | Study plan (Version): Philosophy (2019) | Category: Philosophy, theology | 2 | Recommended year of study:2, Recommended semester: Winter |