VIKBB02 Logic
Faculty of ArtsSpring 2005
- 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
- PhDr. Pavla Kánská
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 20
- 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
- Information and Library Studies (programme FF, B-IS) (2)
- Information and Library Studies (programme FF, M-IS) (2)
- Information and Library Studies (programme FF, N-IS) (2)
- 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
- Enrolment Statistics (Spring 2005, recent)
- Permalink: https://is.muni.cz/course/phil/spring2005/VIKBB02