Postgraduate Course: Formal Methods in Philosophy MSc (PHIL11119)
|School||School of Philosophy, Psychology and Language Sciences
||College||College of Humanities and Social Science
||Availability||Not available to visiting students
|Credit level (Normal year taken)||SCQF Level 11 (Postgraduate)
|Home subject area||Philosophy
||Other subject area||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 Set Theory.
2. Propositional Modal Logics.
4. Probability Theory.
5. Decision Theory and Game Theory.
Formal Methods in Philosophy MSc is also shared with the undergraduate version Formal Methods in Philosophy (PHIL10140).
The course is taught by Dr Anders Schoubye.
- opportunity to submit a formative essay on Learn by week 6 deadline (Monday 21st October by 12 noon)
- students will be asked to meet with course organiser to discuss a draft of their paper
Entry Requirements (not applicable to Visiting Students)
|| Students MUST have passed:
Logic 1 (PHIL08004)
||Other requirements|| None
|Additional Costs|| None
Course Delivery Information
|Delivery period: 2013/14 Semester 1, Available to all students (SV1)
||Learn enabled: Yes
|Course Start Date
|Breakdown of Learning and Teaching activities (Further Info)
Lecture Hours 20,
Feedback/Feedforward Hours 2,
Programme Level Learning and Teaching Hours 4,
Directed Learning and Independent Learning Hours
|Breakdown of Assessment Methods (Further Info)
|No Exam Information
Summary of Intended Learning Outcomes
|- A general understanding of the mathematical and logical tools often used in areas such as formal
epistemology, philosophy of language, and philosophical logic.
- An ability to apply these tools to various philosophical problems.
- An ability to engage with research that makes use of these tools.
|One 2500 word essay.|
Assignment deadline: Monday 16th December 2013 by 12 noon
Word limit: 2500 words maximum
Return deadline: Tuesday 21st January 2014
||1. Basic Set Theory, Propositional Logic, Lambda Abstraction,
2. Introduction to Formal Semantics and Type-Driven Interpretation.
3. Propositional Modal Logic
5. Probability Theory
6. Decision Theory
7. Game Theory
||- An ability to approach and characterize problems in a rigorous and systematic way.
- An understanding of, and competence with, mathematical and logical tools applicable to problems in areas both within and outside of philosophy.
Barwise and Etchemendy (2011, 2nd ed) "Language, Proof and Logic:, CSLI Publications
Theodore Sider (2010) "Logic for Philosophy", Oxford University Press.
Brian Weatherson (2011) "The Logic of Decision", unpublished ms.
D.H. Mellor (2005) "Probability - A Philosophical Introduction", Routledge
Jonathan Bennett (2003) "Conditionals", Oxford 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.
Jonathan Weisberg (2011) "Varieties of Bayesianism" In "Handbook of the History of Logic" (ed. Dov Gabbay, Stephan Hartmann and John Woods).
Kahneman and Tversky (1974) "Judgement under Uncertainty: Heuristics and Biases", Science, vol. 185
Kahneman and Tverysky (1979) "Prospect Theory - An Analysis of Decision under Risk", Econometrica, 47:2, 263-291
|Course organiser||Dr Anders Schoubye
|Course secretary||Miss Lynsey Buchanan
Tel: (0131 6)51 5002
© Copyright 2013 The University of Edinburgh - 10 October 2013 5:12 am