Logic is typically understood as the systematic and rigorous study of inference and argument — the science of figuring out what follows from what, and why. Formal logic does this by thinking carefully about systems of inference: what are they good for; what choices we confront when devising them; how, if at all, can we show that we've made the right choices — that is, that our systems of inference really accomplish their aims? We will study a number of formal systems of inference, including systems meant to apply under the all-too-familiar condition of uncertainty. We will aim not only to master their details but also to think about what the nature and point of systems of logic are.
No data submitted
No knowledge of philosophy will be presupposed.
3hrs of lecture with discussion per week