The Major in Logic and Computation
- Reflects the Philosophy Department's distinct approach to Philosophy
- Gives students a firm foundation in logic, computation, and statistics
- Provides analytic methods used to address philosophical issues
- Students take a common core of courses in logic, methodology, and computer science, along with individualized advanced electives, and Senior Thesis
Program Learning Objectives
- To develop familiarity with the many branches of contemporary mathematical logic (from proof theory and model theory to philosophical logic and the theory of computability)
- To understand theory, research and applications in a discipline related to philosophical logic (from Cognitive Science to Artificial Intelligence and Machine Learning to theoretical problems in philosophy)
- To acquire fundamental programming skills as well as additional computational tools
- To acquire fundamental statistical and mathematical skills
- To develop familiarity with relevant foundational debates in the area of methodology and epistemology
- To be equipped to face and solve mature philosophical and conceptual problems in areas ranging from the foundations of mathematics and methodology to the foundations of cognition, with the help of logical and computational tools
Coursework
Logic & Computation is a Bachelor of Science degree. The curriculum of the major is designed to be flexible and tailored to the individual student’s interests. There are three pre-requisite courses that students will take to prepare them in computer science, mathematics and statistics. The course requirements consist of seven core courses (including the Senior Thesis) and four advanced electives.
You can learn more about the curriculum and major requirements in the .
Logic & Computation is also offered as , which focuses on the same skills as the major, but requires only six courses.
Beyond the Degree
Logic & Computation students gain skills in logic, analytic philosophy, mathematics, statistics, and computer science, enabling them to pursue professional careers or graduate study in many areas.
Logic & Computation students go on to a wide range of careers and graduate work, including:
- Software engineering
- Computer science
- Cognitive science
- Business analysts
- Philosophy
...and more.