Undergraduate Course: Logic 1 (PHIL08004)
Course Outline
| School | School of Philosophy, Psychology and Language Sciences |
College | College of Arts, Humanities and Social Sciences |
| Credit level (Normal year taken) | SCQF Level 8 (Year 1 Undergraduate) |
Availability | Available to all students |
| SCQF Credits | 20 |
ECTS Credits | 10 |
| Summary | This course is an introduction to what is known as formal or symbolic logic, requiring no prior knowledge of philosophy or mathematics. |
| Course description |
This course is an introduction to what is known as formal or symbolic logic, requiring no prior knowledge of philosophy or mathematics. It does not aim to communicate results about logical systems but instead it aims to impart a skill¿the ability to recognise and construct correct deductions and refutations. We will proceed via a graduated but unified development of logic from the basics of the sentential logic up to (monadic) predicate logic. Along the way we will take short diversions into the historical issues that led to various logical developments (e.g. the insights of Aristotle, the Stoics, Leibniz, Frege, Jaskowski, and Tarski).
|
Entry Requirements (not applicable to Visiting Students)
| Pre-requisites |
|
Co-requisites | |
| Prohibited Combinations | |
Other requirements | None |
Information for Visiting Students
| Pre-requisites | None |
| High Demand Course? |
Yes |
Course Delivery Information
|
| Academic year 2019/20, Available to all students (SV1)
|
Quota: 0 |
| Course Start |
Semester 2 |
Timetable |
Timetable |
| Learning and Teaching activities (Further Info) |
Total Hours:
200
(
Lecture Hours 33,
Seminar/Tutorial Hours 11,
Programme Level Learning and Teaching Hours 4,
Directed Learning and Independent Learning Hours
152 )
|
| 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 S2 (April/May) | | 2:00 | | | Resit Exam Diet (August) | | 2:00 | |
Learning Outcomes
On completion of this course, the student will be able to:
- Ability to translate English sentences (and arguments) into the logical system.
- Ability to construct derivations of valid arguments in predicate logic.
- Ability to demonstrate the invalidity of an argument by constructing a countermodel.
- Gain a working understanding of the basic concepts of propositional and predicate logic.
- Ability to assess any philosophical argument in terms of the logical systems learned for validity or invalidity.
|
Additional Information
| Course URL |
https://www.ed.ac.uk/ppls/philosophy/current/undergraduate/handbooks |
| Graduate Attributes and Skills |
Not entered |
| Additional Class Delivery Information |
Lecturers:
Brian Rabern
Alistair Isaac
Weekly tutorials from week 2 to 11. Optional drop-in sessions will be held on Fridays from week 2 until the exam diet. These are not compulsory. |
| Keywords | Not entered |
Contacts
| Course organiser | Dr Brian Rabern
Tel:
Email: brian.rabern@ed.ac.uk |
Course secretary | Ms Vera Spiliotakou
Tel: (0131 6)50 3628
Email: Vera.Spiliotakou@ed.ac.uk |
|
|
University Homepage