Philosophy of formal logics

Lecturer:

Tutor:

Supervisor:

Department of Mathematics

Synopsis:

What is logic. Logical content. History of logic. Logical analysis of the language. Definition. Classification and reasoning. Propositional logic, syntax and semantics. Predicate logic, syntax, semnatics. Traditional logic. Natural deduction of classical logic. Introduction to modal logic and temporal logic.

Requirements:

To be specified by tutor.

Syllabus of lectures:

1. What is logic.

2. Logical content.

3. History of logic.

4. Logical analysis of the language.

5. Definition.

6. Classification and reasoning.

7. Propositional logic, syntax and semantics.

8. Predicate logic, syntax.

9. Semantics of propositional logic.

10. Traditional logic.

11. Natural deduction of classical logic.

12. Modal logic, introduction.

13. Temporal logic.

14. Backup class.

Syllabus of tutorials:

1. What is logic.

2. Logical content.

3. History of logic.

4. Logical analysis of the language.

5. Definition.

6. Classification and reasoning.

7. Propositional logic, syntax and semantics.

8. Predicate logic, syntax.

9. Semantics of propositional logic.

10. Traditional logic.

11. Natural deduction of classical logic.

12. Modal logic, introduction.

13. Temporal logic.

14. Backup class.

Study Objective:

Study materials:

1. K. Johnson Wu: Discovering Formal Logic. The Duskin Publishing Group, Guilford, CT, 1994.

Note:

Further information:

No time-table has been prepared for this course

The course is a part of the following study plans: