Undergraduate Course: Logic 1 (PHIL08004)
Course Outline
School | School of Philosophy, Psychology and Language Sciences |
College | College of Humanities and Social Science |
Credit level (Normal year taken) | SCQF Level 8 (Year 1 Undergraduate) |
Availability | Available to all students |
SCQF Credits | 20 |
ECTS Credits | 10 |
Summary | 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. |
Course description |
Not entered
|
Entry Requirements (not applicable to Visiting Students)
Pre-requisites |
|
Co-requisites | |
Prohibited Combinations | |
Other requirements | None |
Information for Visiting Students
Pre-requisites | None |
Course Delivery Information
|
Academic year 2015/16, Available to all students (SV1)
|
Quota: 0 |
Course Start |
Semester 1 |
Timetable |
Timetable |
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 )
|
Assessment (Further Info) |
Written Exam
100 %,
Coursework
0 %,
Practical Exam
0 %
|
Additional Information (Assessment) |
Degree exam (100%)
|
Feedback |
Not entered |
Exam Information |
Exam Diet |
Paper Name |
Hours & Minutes |
|
Main Exam Diet S1 (December) | | 2:00 | | Resit Exam Diet (August) | | 2:00 | |
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.
|
Contacts
Course organiser | Dr Brian Rabern
Tel:
Email: |
Course secretary | Mr Simon Cann
Tel: 0131 650 9870
Email: |
|
© Copyright 2015 The University of Edinburgh - 27 July 2015 11:50 am
|