Course: Formal Logic and Philosophical Logic 2

« Back
Course title Formal Logic and Philosophical Logic 2
Course code KFI/FOL2
Organizational form of instruction no contact
Level of course Bachelor
Year of study 1
Semester Summer
Number of ECTS credits 5
Language of instruction Czech
Status of course Compulsory
Form of instruction unspecified
Work placements unspecified
Recommended optional programme components None
Course availability The course is available to visiting students
  • Novotný Daniel D., Ph.D.
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
"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.

Study plans that include the course
Faculty Study plan (Version) Category of Branch/Specialization Recommended year of study Recommended semester
Faculty: Faculty of Theology Study plan (Version): Philosophy and Religious Studies (2016) Category: Philosophy, theology 1 Recommended year of study:1, Recommended semester: Summer