Course: null

« Back
Course title -
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)
  • 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
Prerequisites
"Formální a filosofická logika 1"
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
  • 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