The specific availability for this course is not currently known. If you would like to know if this course will be offered during your session, please contact us.
The course offers an introduction to the study of Logic. Logic is relevant for many disciplines, most notably Mathematics, Computer Science and Philosophy. The course focuses on the syntax and semantics of the logic of propositions in the formal setting of modern mathematical logic. The formalization of language and of the notions of truth and proof is treated in detail. Attention is devoted to the historical development of Logic and to the formalization and analysis of arguments drawn from such diverse fields such as philosophy, mathematics, politics, etc.
