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
|
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
|
Prerequisites
|
"Formální a filosofická logika 1"
|
Assessment methods and criteria
|
Oral examination, Student performance assessment, Test
Continuous homework, active participation in seminars, repetition exams.
|
Recommended literature
|
-
Kolář, Petr. Argumenty filosofické logiky, Filosofia, Praha 1999. Praha, 1999.
-
Kolář, Petr. Pravda a fakt, Filosofia, Praha 2002.
-
M. J. Loux. M. J. Loux: "Nutné a možné", in: Studia Neoaristotelica 1-2/2004 až 1/2005, (přel. Prokop Sousedík).. České Budějovice, 2005.
-
Mark Sainsbury. "Philosophical Logic", in: Philosophy. A Thorough Guide through the Subject, ed. A.C. Grayling, Oxford University Press 1995. Oxford, 1995.
-
P. Cmorej. Úvod do logické syntaxe a sémantiky, Triton. 2002.
-
Prokop Sousedík. Logika pro studenty humanitních oborů, Vyšehrad, Praha 2001. Praha: Vyšehrad, 2001.
|