You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

loup-vaillant comments on Help Reform A Philosophy Curriculum - Less Wrong Discussion

22 Post author: JonathanLivengood 08 December 2012 10:45PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (24)

You are viewing a single comment's thread. Show more comments above.

Comment author: loup-vaillant 14 December 2012 06:21:17PM 0 points [-]

I'm tempted to merge symbolic logic and mathematical logic. I'm not sure how they are different from each other. How would you divide them?

I'd put Probability theory before scientific reasoning, since the latter flows from the former (not historically, but this is a philosophy course, not a history one). The result should naturally include the "Bayesian epistemology" part of your formal epistemology course.

Comment author: pragmatist 22 December 2012 06:35:54AM 1 point [-]

Typically, symbolic logic classes focus on reasoning with formal systems and mathematical logic classes focus more on reasoning about formal systems. So in a symbolic logic class you would mainly learn how to do proofs while in a mathematical logic class you would learn about things like Godel's theorems. Maybe "mathematical logic" is a bit of a misnomer, but it is the traditional title of these classes.