Undergraduate Course: Formal Methods in Philosophy (PHIL10140)
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 10 (Year 3 Undergraduate) |
Credits | 20 |
Home subject area | Philosophy |
Other subject area | None |
Course website |
None |
Taught in Gaelic? | No |
Course description | This course is an introduction to a variety of different formal approaches to philosophy. In this course, core concepts from areas such as the following will be introduced and discussed:
1. Basic Propositional and Predicate Logic, Basic Set Theory.
2. Formal Semantics.
3. Propositional Modal Logic.
4. Conditionals.
5. Probability Theory.
6. Decision Theory.
7. Game Theory.
|
Information for Visiting Students
Pre-requisites | None |
Displayed in Visiting Students Prospectus? | Yes |
Course Delivery Information
|
Delivery period: 2012/13 Semester 2, Available to all students (SV1)
|
Learn enabled: Yes |
Quota: 25 |
Location |
Activity |
Description |
Weeks |
Monday |
Tuesday |
Wednesday |
Thursday |
Friday |
Central | Seminar | | 1-11 | 09:00 - 10:50 | | | | |
First Class |
Week 1, Monday, 09:00 - 10:50, Zone: Central. Room G.06, Dugald Stewart Building. |
No Exam Information |
Summary of Intended Learning Outcomes
The aim of this course is to give students a background and understanding of various formal tools often used in philosophy. This will enable to them to apply these tools to philosophical problems across a wide range of disciplines. Furthermore, it will also ensure that when students are faced with problems or arguments that uses, or appeals to uses of, these formal tools, they will be equipped to understand and evaluate the problems or arguments. |
Assessment Information
Take Home Exercises, Class Participation, Final Exam.
|
Special Arrangements
None |
Additional Information
Academic description |
Not entered |
Syllabus |
Not entered |
Transferable skills |
Not entered |
Reading list |
Jonathan Bennett (2003) żConditionalsż, Oxford University Press.
Irene Heim and Angelika Kratzer (1998) żSemantics in Generative Grammarż Blackwell Publishing.
James McCawley (1993) żEverything that Linguists Have Always Wanted to Know about Logic ż But Were Ashamed to Askż 2nd edition, The Chicago University Press.
Graham Priest (2008) żAn Introduction to Non-Classical Logicż, 2nd edn. Cambridge University Press.
Michael Resnik (1987) żChoices: An Introduction to Decision Theoryż University of Minnesota Press.
Michael Strevens (2006) żNotes on Bayesian Confirmation Theoryż, unpublished ms.
Theodore Sider (2010) żLogic for Philosophyż, Oxford University Press.
Brian Weatherson (2008) żLecture Notes on Game Theoryż, unpublished ms.
Jonathan Weisberg (2011) żVarieties of Bayesianismż In żHandbook of the History of Logicż (ed. Dov Gabbay, Stephan Hartmann and John Woods).
|
Study Abroad |
Not entered |
Study Pattern |
Not entered |
Keywords | Not entered |
Contacts
Course organiser | Dr Anders Schoubye
Tel:
Email: aschouby@exseed.ed.ac.uk |
Course secretary | Miss Susan Richards
Tel: (0131 6)51 3733
Email: sue.richards@ed.ac.uk |
|
|