VIKBB02 Logic

Faculty of Arts
Spring 2006
Extent and Intensity
1/1/0. 3 credit(s). Type of Completion: z (credit).
Teacher(s)
prof. PhDr. BcA. Jiří Raclavský, Ph.D. (lecturer)
Guaranteed by
Ing. Zdeněk Kadlec, Dr.
Division of Information and Library Studies – Department of Czech Literature – Faculty of Arts
Contact Person: Mgr. Iva Dušová
Timetable
Thu 18:20–19:55 A11 stara
Course Enrolment Limitations
The course is only offered to the students of the study fields the course is directly associated with.
fields of study / plans the course is directly associated with
Course objectives
Inroduction to logic. Truth-functional (propositional) logic. Semantics of propositional logic: the concept of tautology, truth-functional entailment. Formal language, axiomatization of propositional logic. 1st order logic: semantics, syntax, adding identity. Informatively: Higher order logics, intensional logics, modal systems. The notion of algorithm. The concept of concept, definitions, conceptual systems ('ontology').
Syllabus (in Czech)
  • Obecný úvod do logiky Úvod do výrokové logiky (VL); spojky, analýza vět Tabulková metoda VL, syntax a sémantika VL; tautologie VL
Language of instruction
Czech
The course is also listed under the following terms Spring 2005, Spring 2007, Spring 2008.
  • Enrolment Statistics (Spring 2006, recent)
  • Permalink: https://is.muni.cz/course/phil/spring2006/VIKBB02