ENROLL Course Search

NOTE: There are some inconsistencies in the course listing data - ITS is looking into the cause.

Alternatives: For requirement lists, please refer to the current catalog. For up-to-the-minute enrollment information, use the "Search for Classes" option in The Hub. If you have any other questions, please email registrar@carleton.edu.

Saved Courses (0)

Your search for courses for 22/WI and with code: SPECINTPHILSCI found 2 courses.

Revise Your Search New Search

PHIL 210.00 Logic 6 credits

Closed: Size: 25, Registered: 27, Waitlist: 0

Leighton 304

MTWTHF
9:50am11:00am9:50am11:00am9:40am10:40am
Synonym: 62188

Jason Decker

The study of formal logic has obvious and direct applicability to a wide variety of disciplines (including mathematics, computer science, linguistics, philosophy, cognitive science, and many others). Indeed, the study of formal logic helps us to develop the tools and know-how to think more clearly about arguments and logical relationships in general; and arguments and logical relationships form the backbone of any rational inquiry. In this course we will focus on propositional logic and predicate logic, and look at the relationship that these have to ordinary language and thought.

PHIL 236.00 Proof, Knowledge, and Understanding in Mathematics 6 credits

Open: Size: 25, Registered: 16, Waitlist: 0

CMC 206

MTWTHF
10:10am11:55am10:10am11:55am
Synonym: 62194

Douglas B Marshall

An introduction to the philosophy of mathematics focusing on the history and development of mathematical proofs. The course is organized around three central questions: i. What is the relationship between a mathematical proof and our knowledge of the theorem that it proves? ii. Do some mathematical proofs go beyond establishing the truth of their theorems and actually explain why the theorems are true? iii. How has our mathematical knowledge grown throughout history? We will first address these questions by reading and discussing Imre Lakatos's book Proofs and Refutations. We will continue with readings drawn from classic and contemporary sources in the history and philosophy of mathematics. This course has no formal prerequisites, though it does presuppose a willingness to read, assess, and write about mathematical proofs.  

Search for Courses

This data updates hourly. For up-to-the-minute enrollment information, use the Search for Classes option in The Hub

Instructional Mode
Class Period
Courses or labs meeting at non-standard times may not appear when searching by class period.
Requirements
You must take 6 credits of each of these.
Overlays
You must take 6 credits of each of these,
except Quantitative Reasoning, which requires 3 courses.
Special Interests