Undergraduate Course: Logic 1 (PHIL08004)
Course Outline
| School | School of Philosophy, Psychology and Language Sciences |
College | College of Humanities and Social Science |
| Course type | Standard |
Availability | Available to all students |
| Credit level (Normal year taken) | SCQF Level 8 (Year 1 Undergraduate) |
Credits | 20 |
| Home subject area | Philosophy |
Other subject area | None |
| Course website |
None |
Taught in Gaelic? | No |
| Course description | An introduction to formal logic: deduction in sentential and first-order logic, truth tables, elementary logic of relations, identity, semantics of first order logic. Philosophical issues arising from logic may also be considered. This course is appropriately combined with Philosophy of Science 1. |
Entry Requirements (not applicable to Visiting Students)
| Pre-requisites |
|
Co-requisites | |
| Prohibited Combinations | |
Other requirements | None |
| Additional Costs | None |
Information for Visiting Students
| Pre-requisites | None |
| Displayed in Visiting Students Prospectus? | Yes |
Course Delivery Information
|
| Delivery period: 2011/12 Semester 2, Available to all students (SV1)
|
WebCT enabled: Yes |
Quota: None |
| Location |
Activity |
Description |
Weeks |
Monday |
Tuesday |
Wednesday |
Thursday |
Friday |
| Central | Lecture | Logic 1 | 1-11 | 17:10 - 18:00 | | | | | | Central | Lecture | Logic 1 | 1-11 | | 17:10 - 18:00 | | | | | Central | Lecture | Logic 1 | 1-11 | | | | 17:10 - 18:00 | |
| First Class |
Week 18, Monday, 17:10 - 18:00, Zone: Central. Logic 1 Lecture - David Hume Tower, Lecture Theatre B |
| Additional information |
Weekly tutorials from week 2 to 11. |
| Exam Information |
| Exam Diet |
Paper Name |
Hours:Minutes |
|
|
| Main Exam Diet S2 (April/May) | | 2:00 | | | | Resit Exam Diet (August) | | 2:00 | | |
Summary of Intended Learning Outcomes
The course provides a general introduction to both propositional logic and predicate logic.
Lectures and detailed handouts provide the central course material; and weekly tutorial groups provide support for students to work through the formal exercises. Four pieces of homework are treated as formative assessments. Through this weekly coursework, students are expected to acquire a working understanding of basic concepts of propositional and predicate logic, including methods for solving formal problems. |
Assessment Information
Degree exam (100%)
|
Special Arrangements
| None |
Additional Information
| Academic description |
Not entered |
| Syllabus |
Not entered |
| Transferable skills |
Not entered |
| Reading list |
Not entered |
| Study Abroad |
Not entered |
| Study Pattern |
Not entered |
| Keywords | Not entered |
Contacts
| Course organiser | Dr Paul Schweizer
Tel: (0131 6)50 2704
Email: paul@inf.ed.ac.uk |
Course secretary | Ms Francesca Anderson
Tel: (0131 6)50 3961
Email: fanders2@exseed.ed.ac.uk |
|
© Copyright 2011 The University of Edinburgh - 16 January 2012 6:38 am
|
University Homepage