OV3MP_LO Logic

Faculty of Education
Autumn 2006
Extent and Intensity
2/0/0. 3 credit(s). Type of Completion: zk (examination).
Teacher(s)
prof. PhDr. BcA. Jiří Raclavský, Ph.D. (lecturer)
Guaranteed by
prof. PhDr. BcA. Jiří Raclavský, Ph.D.
Department of Philosophy – Faculty of Arts
Contact Person: Marie Baráčková
Course Enrolment Limitations
The course is also offered to the students of the fields other than those the course is directly associated with.
fields of study / plans the course is directly associated with
Course objectives
Introduction to propositional and predicate logic with respect to their future teaching by participants of this course.
Syllabus
  • 1. Introduction to logic, its meaning, history and key notions. 2. Propositional calculus (semantic tables; transcription from natural to formal language). 3. The concept of entailment. 4. Classical forms of arguments. 5. Testifing of validity of arguments by method of (semantic) counterexample. 6. Basics of predicate calculus (logical square, Venn diagrams, transcription from natural to formal language, quantifiers, set-theoretical semantic understanding). 7. Testifing of validity of syllogisms by Venn diagrams (i.e. a semantic method). 8. Elementary (natural) deductions. 9. Correct and incorrect argumentation. 10. Notions of definition, concept. 11. Logical ridles (simple and truth-tellers-like kind).
Language of instruction
Czech
Further comments (probably available only in Czech)
The course can also be completed outside the examination period.
The course is taught annually.
The course is taught: every week.
The course is also listed under the following terms Autumn 2004, Autumn 2005, Autumn 2007.
  • Enrolment Statistics (Autumn 2006, recent)
  • Permalink: https://is.muni.cz/course/ped/autumn2006/OV3MP_LO