This module is inactive in the selected year. The information shown below is for the academic year that the module was last running in, prior to the year selected.
2019/20 Undergraduate Module Catalogue
MATH3021 Philosophy of Logic and Mathematics
20 creditsClass Size: 35
Module manager: Professor Michael Rathjen
Taught: Semester 2 (Jan to Jun) View Timetable
Year running 2019/20
Pre-requisite qualificationsMATH2040 or PHIL2121 or PHIL2122.
This module is mutually exclusive with
|MATH5021M||Philosophy of Logic and Mathematics|
|PHIL3123||Philosophy of Logic & Maths|
This module is approved as a discovery module
Module summaryMathematics contrasts with empirical sciences, at least at first glance. Mathematicians are not content with experiments that confirm their hypothesis, they seek proofs. Science is contingent, where mathematics, if true, is necessarily true. However, scientific theories are often framed in mathematical terms. So what's the connection? How can mathematics be relevant to empirical applications? These features of mathematics give rise to some deep and extremely interesting philosophical questions. We will discuss a number of classical and contemporary approaches to these questions and related ones.
ObjectivesOn completion of this module, students should be able to:
- understand and discuss critically in detail the philosophical issues concerning the nature and application of logic or mathematics;
- read, interpret and criticise historical and contemporary research work on the subject.
Students will study a selection from the following or relevantly similar topics:
Philosophy of Mathematics Logicism (Frege, Russell, etc) Intuitionism (Kant and Kantians, Brouwer, etc) Formalism (Hilbert) The metaphysics of mathematical objects: realism and nominalism The epistemology of mathematics The (unreasonable?) effectiveness of mathematics in the sciences.
Philosophy of Logic What is logic? Logical constants; the scope of logic; higher order logic. Logical concepts: philosophical analysis of one or more of: the conditional, quantifiers, negation, definite descriptions etc. Alternative logics: free logic; many-valued and fuzzy logics; intuitionistic logic; relevance logics. Modern theories of truth from Russell to the present: correspondence, redundancy, Tarski, minimalism, truthmaker theory. Theories of vagueness: fuzzy logic, supervaluation, epistemic theories. Intensional logics, their uses and justifications. Paradoxes: types and avoidance strategies. Expanding logic: Generalised Quantifiers; Indexicals; Tense; Logic Diagrams. Approached to logic: formalist; semantic; logic in use. Logic and ontology. Logic, cognition and natural language; non-monotonic logics. Logic and computing: paradigms and their motivation; dynamic logics. Logic: One or Many?
Due to COVID-19, teaching and assessment activities are being kept under review - see module enrolment pages for information
|Delivery type||Number||Length hours||Student hours|
|Private study hours||173.00|
|Total Contact hours||27.00|
|Total hours (100hr per 10 credits)||200.00|
Private studyReading & seminar preparation: 113 hours;
Essay preapration: 60 hours.
Opportunities for Formative FeedbackStudents will be asked to hand in work during one seminar each week which can form the basis of discussion with module leader in office hours. They will be invited to submit draft essay/mock exams prior to formal assessment. The module leader will comment on these on request. Students will be invited to prepare and present material during seminars.
Methods of assessment
|Assessment type||Notes||% of formal assessment|
|Total percentage (Assessment Coursework)||100.00|
Normally resits will be assessed by the same methodology as the first attempt, unless otherwise stated
Reading listThe reading list is available from the Library website
Last updated: 30/04/2019
Browse Other Catalogues
- Undergraduate module catalogue
- Taught Postgraduate module catalogue
- Undergraduate programme catalogue
- Taught Postgraduate programme catalogue
Errors, omissions, failed links etc should be notified to the Catalogue Team.PROD