A standard introduction to the formal techniques of argument analysis. Formal logic was invented to mirror and evaluate mathematical reasoning and is now a separate branch of Mathematics. Our interest in it will, however, not be mathematical. Instead we will concentrate on the relation of formal logic to everyday reasoning and language in general. The course is essential for students thinking of majoring in Philosophy, but also very useful to Computing Science and Mathematics majors. It is designed to transfer to SFU as their Philosophy 210 (required for both Philosophy and Computing Science majors), and to UBC as Philosophy 302. There are no prerequisites, although students may find Philosophy 110 provides useful background. Please note that this is not an introductory philosophy course, but one which introduces mathematical methods of argument analysis. It is not suitable for students merely seeking a general understanding of what philosophy has to offer.

Course Notes

This is an approved Quantitative/Analytical course for baccalaureate degrees.