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
Remarks
-