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 |
|
© Copyright 2012 The University of Edinburgh - 31 August 2012 4:32 am
|
University Homepage