All programmes > Logic: Advanced Course

Logic: Advanced Course (B-KUL-W0Q21A)

6 ECTSEnglish39 Second termCannot be taken as part of an examination contract
Heylen Jan
This course is taught this academic year, but not next year. This course is taught this academic year, but not next year.
POC Philosophy (internationaal)

Aims

The aim of the course is to provide an introduction to intermediate logic, which is a continuation of an introduction to logic and a preparation for advanced logic.

At the end of the course the student should

  • have knowledge and understanding of the theory and metatheory of classical first-order logic;
  • be able to solve exercises the theory and metatheory of classical first-order logic.

Previous knowledge

The student has successfully completed an introductory course in logic, e.g. “Logic (W0W03A)”, “Logica (W0Y03A)”, or “Logica en argumentatieleer (C01B6A)” or the equivalent.

Alternatively, the student can prepare by taking Units 1-3 of the “Open Online Courses in Philosophy: Introduction to Logic”.

Is included in these courses of study

Activities

6 ects. Logic: Advanced Course (B-KUL-W0Q21a)

6 ECTSEnglishFormat: Lecture39 Second term
Heylen Jan
POC Philosophy (internationaal)

Content

1. Sets, relations, functions

2. The syntax of propositional logic

3. The semantics of propositional logic

4. Natural deduction for propositional logic

5. Soundness and completeness

6. The syntax of first-order logic

7. The semantics of first-order logic

8. Natural deduction for first-order logic

9. Soundness and completeness

Course material

  • An open access textbook based on Open Logic Project, An Open-Source, Collaborative Logic Text. This textbook will be made available on Toledo.
  • Supplementary material made available on Toledo

Evaluation

Evaluation: Logic: Advanced Course (B-KUL-W2Q21a)

Type : Exam during the examination period
Description of evaluation : Written
Type of questions : Open questions