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.
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.
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.
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.