Postgraduate Course: Formal Methods in Philosophy MSc (PHIL11119)
|School||School of Philosophy, Psychology and Language Sciences
||College||College of Humanities and Social Science
|Credit level (Normal year taken)||SCQF Level 11 (Postgraduate)
||Availability||Not available to visiting students
|Summary||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).
- opportunity to submit a formative essay by the week 6 closing deadline
- students will be asked to meet with course organiser to discuss a draft of their paper
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
Entry Requirements (not applicable to Visiting Students)
|| Students MUST have passed:
Logic 1 (PHIL08004)
||Other requirements|| None
Course Delivery Information
|Academic year 2014/15, Available to all students (SV1)
|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
|Assessment (Further Info)
|Additional Information (Assessment)
||One 2500 word essay.
Assignment deadline: Monday 15th December 2014 by 12 noon
Word limit: 2500 words maximum
Return deadline: Monday 19th January 2015
|No Exam Information
| - 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.
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
||Please see Learn page
|Graduate Attributes and Skills
||- 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.
|Additional Class Delivery Information
||The course is taught by Dr Anders Schoubye.
|Course organiser||Dr Anders Schoubye
|Course secretary||Miss Lynsey Buchanan
Tel: (0131 6)51 5002
© Copyright 2014 The University of Edinburgh - 12 January 2015 4:38 am