Course title | Formal Logic and Philosophical Logic 2 |
---|---|
Course code | KFI/FFL2 |
Organizational form of instruction | Lecture + Seminary |
Level of course | Bachelor |
Year of study | not specified |
Semester | Summer |
Number of ECTS credits | 5 |
Language of instruction | Czech, English |
Status of course | unspecified |
Form of instruction | unspecified |
Work placements | unspecified |
Recommended optional programme components | None |
Course availability | The course is available to visiting students |
Lecturer(s) |
---|
|
Course content |
Modern formal logic: Language as the object of logic. Semiotics. Frege's triangle. Logical form and ormalization, truth, provability and entailment. Extension, intension and hyperintension. Sentential logic. Predicate logic. Extensions of classical logic. Lamba predicates, descriptions. Possible worlds and modal logic. Selected problems of philosophical logic: Universals, Truth, Existence, Proper Names, Possible worlds.
|
Learning activities and teaching methods |
Monologic (reading, lecture, briefing), Dialogic (discussion, interview, brainstorming), Work with text (with textbook, with book) |
Learning outcomes |
An introduction into the modern conception of logic (propositional logic, predicate logic, some extensions). Elementary exercises of logical skills in modern formal logic. Philosophy of modern logic.
- theoretical knowledge of sentential and predicate logic and the standard extensions thereof - capability of elementary logical analysis of natural language using modern tools - practical ability to distinguish valid and invalid argument of sentential logic - insight into the most basic problems of modern philosophical logic |
Prerequisites |
Formální a filosofická logika 1 nebo Logika.
KFI/FFL1 ----- or ----- KFI/KFFL1 |
Assessment methods and criteria |
Oral examination, Student performance assessment, Test
Continuous homework, active participation in seminars, repetition exams. |
Recommended literature |
|
Study plans that include the course |
Faculty | Study plan (Version) | Category of Branch/Specialization | Recommended semester |
---|