PdF:OV3MP_LO Logic - Course Information

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

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.