VIKBB02 Logic

Faculty of Arts
Spring 2008
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.
Department of Philosophy – Faculty of Arts
Contact Person: Mgr. Iva Dušová
Timetable
Thu 18:20–19:55 A11 stara
Prerequisites
no special prresuppositions
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
there are 10 fields of study the course is directly associated with, display
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
  • Introduction to logic. Truth-functional (propositional) logic. Semantics of propositional logic: the concept of tautology, truth-functional entailment. Formal language, axiomatization of propositional logic. The concept of formal proof.Deduction theorem. 1st order logic: semantics, syntax, adding identity, descriptive operator, functions. Informatively: Higher order logics. 'Non-classical logics'. Intensional logics, modal systems. The concept of concept, definitions.
Assessment methods (in Czech)
Přednášky spojené s praktickými cvičeními. Zkouška je písemná (test). Účast na přednáškách není povinná, ale je doporučená.
Language of instruction
Czech
Teacher's information
http://www.phil.muni.cz/elf/course/view.php?id=478
The course is also listed under the following terms Spring 2005, Spring 2006, Spring 2007.
  • Enrolment Statistics (recent)
  • Permalink: https://is.muni.cz/course/phil/spring2008/VIKBB02