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 |
http://www.philosophy.ed.ac.uk/phil_students/undergraduate/course_guides.php |
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: 2014/15 Semester 1, Available to all students (SV1)
|
Learn enabled: Yes |
Quota: None |
|
Web Timetable |
Web Timetable |
| Class Delivery Information |
Lecturers:
Brian Rabern
Alistair Isaac
Weekly tutorials from week 2 to 11. |
| Course Start Date |
15/09/2014 |
| Breakdown of Learning and Teaching activities (Further Info) |
Total Hours:
200
(
Lecture Hours 33,
Seminar/Tutorial Hours 10,
Summative Assessment Hours 2,
Programme Level Learning and Teaching Hours 4,
Directed Learning and Independent Learning Hours
151 )
|
| Additional Notes |
|
| Breakdown of Assessment Methods (Further Info) |
Written Exam
100 %,
Coursework
0 %,
Practical Exam
0 %
|
| Exam Information |
| Exam Diet |
Paper Name |
Hours & Minutes |
|
| Main Exam Diet S1 (December) | | 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 Brian Rabern
Tel:
Email: brian.rabern@ed.ac.uk |
Course secretary | Ms Stephanie Fong
Tel:
Email: S.Fong@ed.ac.uk |
|
© Copyright 2014 The University of Edinburgh - 29 August 2014 4:35 am
|
University Homepage