University Of Edinburgh Logic 1

By | 31st May 2017

university of edinburgh logo

University Of Edinburgh Logic 1

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 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 2016/17, 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
Learning Outcomes
On completion of this course, the student will be able to:
  1. Ability to translate English sentences (and arguments) into the logical system.
  2. Ability to construct derivations of valid arguments in predicate logic.
  3. Ability to demonstrate the invalidity of an argument by constructing a countermodel.
  4. Gain a working understanding of the basic concepts of propositional and predicate logic.
  5. Ability to assess any philosophical argument in terms of the logical systems learned for validity or invalidity.
Reading List
None
Additional Information
Course URL http://www.ed.ac.uk/ppls/philosophy/current/undergraduate/handbooks/logic-1
Graduate Attributes and Skills Not entered
Additional Class Delivery Information Lecturers:
Brian Rabern
Alistair IsaacWeekly tutorials from week 2 to 11.
Keywords Not entered
Contacts
Course organiser Dr Brian Rabern
Tel:
Email: brian.rabern@ed.ac.uk
Course secretary Miss Ann-Marie Cowe
Tel: (0131 6)50 3961
Email: Annmarie.Cowe@ed.ac.uk