|Organizational form of instruction||Lecture|
|Level of course||Bachelor|
|Year of study||not specified|
|Number of ECTS credits||5|
|Language of instruction||Czech, English|
|Status of course||unspecified|
|Form of instruction||unspecified|
|Recommended optional programme components||None|
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)|
Becoming familiar with the modern conception of logic and practicing logical skills in modern formal 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
"Formální a filosofická logika 1"
----- or -----
|Assessment methods and criteria|
Oral examination, Student performance assessment, Test
Continuous homework, active participation in seminars, repetition exams.
|Study plans that include the course|
|Faculty||Study plan (Version)||Category of Branch/Specialization||Recommended year of study||Recommended semester|