20 Credits AUTUMN


Pre-requisites: no

no


Aims/Description: This module will build upon the second year Formal Logic module PHI203. The course will present various ideas that are fundamental to modern logic and will consider the philosophical implications of those ideas. For instance, we will consider the foundational role of set theory, the notion of computability, and the elements of modal logic (the logic of possibility and necessity).Version 2:This module will build upon the second year Formal Logic module PHI203. The course will present and consider various parts of formal logic that are central to large amounts of recent philosophical discussion. For instance, it will examine the central results about propositional and first-order logic, second-order logic, Godel's incompleteness theorem, and the elements of modal logic (the logic of possibility and necessity).

Staff Contact: Anne-Marie Frisby
Teaching Methods: Lectures, Seminars, Tutorials, Independent Study
Assessment: Formal Exam, Course work

Information on the department responsible for this unit (Philosophy):

Departmental Home Page
Teaching timetable

|

NOTE
The content of our courses is reviewed annually to make sure it's up-to-date and relevant. Individual modules are occasionally updated or withdrawn. This is in response to discoveries through our world-leading research; funding changes; professional accreditation requirements; student or employer feedback; outcomes of reviews; and variations in staff or student numbers. In the event of any change we'll consult and inform students in good time and take reasonable steps to minimise disruption.

URLs used in these pages are subject to year-on-year change. For this reason we recommend that you do not bookmark these pages or set them as favourites.

Teaching methods and assessment displayed on this page are indicative for 2021-22. Students will be informed by the academic department of any changes made necessary by the ongoing pandemic.

Western Bank, Sheffield, S10 2TN, UK