Studiegids

nl en

Logic

Vak
2017-2018

Admission requirements

Admission to this course is restricted to first-year BA students in Philosophy: Global and Comparative Perspectives.

Description

This course aims to introduce students to the study of logic, especially those elements that are most important for philosophers. The syntax and semantics of two formal languages, sentential /propositional and predicate logic, will be learned. Students will learn to translate and formalise sentences in the natural language into the formal languages and they will learn the proof system of natural deduction.

We shall use an introductory textbook and work from its accompanying textbook.

Course objectives

Students who successfully complete the course will have an understanding of:

  • key concepts in logic (such as validity, consistency, adequacy, and completeness), the syntax and semantics of propositional and predicate logic, formalisations, and natural deduction;

  • the ways to think about language, logic, and semantics that are essential for understanding contemporary philosophy.

Students who successfully complete the course will be able to:

  • explain key concepts in logic in an intuitive and informal way;

  • analyse the logical form of natural language sentences and translate these sentences into the logical languages we shall learn;

  • construct natural deduction proofs.

Timetable

The timetable 2017-2018 is available on the BA Philosophy website

Mode of instruction

  • Lectures and seminars (2 hours per week)

  • Tutorials (2 hours per week)

Class attendance is required for lectures/seminars as well as for tutorials.

Course Load

Total course load 5 EC x 28 hours 140 hours

  • Attending lectures: 13 x 2 hours per week = 26 hours

  • Attending tutorials: 13 x 2 hours per week = 26 hours

  • Preparation lectures and/or seminars: 13 x 4 = 52 hours

  • Exam preparation and completion: 36 hours

Assessment method

  • Weekly assignments, answering problem sets, class attendance and participation: 20% of the final mark

  • Midterm examination (take home): 35% of final mark

  • Final examination (take home): 45% of the final mark

Weighing

The final mark for the course is established by determination of the weighted average of the several subtests. A subtest can be graded as unsatisfactory.

Resit

The resit consists of one take home examination consisting of problem sets (100 % of the final mark), covering the entire course content. The mark for the resit will replace all previously earned marks for subtests. No separate resits will be offered for mid-term tests.

To be able to take the resit, the student must have enough class attendance and must have attempted the weekly assignments. Students who have obtained a satisfactory grade for the first examination(s) cannot take the resit.

Exam review

How and when an exam review will take place will be disclosed together with the publication of the exam results at the latest. If a student requests a review within 30 days after publication of the exam results, an exam review will have to be organized.

Blackboard

Blackboard will be used for:

  • posting assignments and essays

Reading list

  • Halbach, V. 2010. The Logic Manual. Oxford: OUP (Essential textbook, available in the bookstores.)

  • Exercise Booklet (available in class and online).

Registration

Enrolment for courses and examns through uSis is mandatory.

Students are strongly advised to register in uSis through the activity number which can be found in the timetables for courses and exams.

Registration Studeren à la carte and Contractonderwijs

Not applicable.

Contact

Dr. A. Schipper

Remarks

-