Exploring term Fall 2023 Change
- ACAN: Arts of Canada
- ADMN: Public Administration
- AE: Art Education
- AGEI: Ageing
- AHVS: Art History and Visual Studies
- ANTH: Anthropology
- ART: Visual Arts
- ARTS: Arts
- ASL: American Sign Language
- ASTR: Astronomy
- ATWP: Academic and Technical Writing Program
- BCMB: Biochemistry and Microbiology
- BIOC: Biochemistry
- BIOL: Biology
- BME: Biomedical Engineering
- CE: Community Engagement
- CHEM: Chemistry
- CIVE: Civil Engineering
- COM: Commerce
- CS: Canadian Studies
- CSC: Computer Science
- CW: Creative Writing (En'owkin Centre)
- CYC: Child and Youth Care
- DHUM: Digital Humanities
- DSST: Disability Studies (DSS)
- ECE: Electrical and Computer Engineering
- ECON: Economics
- ED-D: Educational Psychology and Leadership Studies
- ED-P: Curriculum and Instruction Studies
- EDCI: Curriculum and Instruction Studies
- EDUC: Education
- ENGR: Engineering
- ENSH: English
- ENT: Entrepreneurship
- EOS: Earth and Ocean Sciences
- EPHE: Exercise Science, Physical and Health Education
- ER: Environmental Restoration
- ES: Environmental Studies
- EUS: European Studies
- FA: Fine Arts
- FRAN: French and Francophone Studies
- GDS: Global Development Studies
- GEOG: Geography
- GMST: Germanic Studies
- GNDR: Gender Studies
- GREE: Greek
- GRS: Greek and Roman Studies
- HDCC: Human Dimensions of Climate Change
- HINF: Health Information Science
- HLTH: Health
- HS: Health and Society
- HSD: Human and Social Development
- HSTR: History
- HUMA: Humanities
- IB: International Business
- ICDG: Indigenous Community Development and Governance
- IED: Indigenous Education
- IGOV: Indigenous Governance
- INGH: Indigenous Health Studies
- INTS: International Health Studies
- IS: Indigenous Studies
- ISP: Intercultural Studies and Practice
- ITAL: Italian
- LAS: Latin American Studies
- LATI: Latin
- LAW: Law
- LING: Linguistics
- MATH: Mathematics
- MDIA: Media Studies
- MECH: Mechanical Engineering
- MEDI: Medieval Studies
- MEDS: Medical Science
- MICR: Microbiology
- MRNE: Marine Science
- MUS: Music
- NURS: Nursing
- PAAS: Pacific and Asian Studies
- PHIL: Philosophy
- PHYS: Physics
- POLI: Political Science
- PORT: Portuguese
- PSYC: Psychology
- RCS: Religion, Culture and Society
- SCIE: Science
- SENG: Software Engineering
- SJS: Social Justice Studies
- SLST: Slavic Studies
- SMGT: Service Management
- SOCI: Sociology
- SOCW: Social Work
- SOSC: Social Science
- SPAN: Spanish
- STAT: Statistics
- TCA: Transformative Climate Action
- THEA: Theatre
- TS: Technology and Society
- VIRS: Visiting International Research Studies
- VKUR: Valerie Kuehne Undergraduate Research Award
- WRIT: Writing
- PHIL100: Introduction to Philosophy
- PHIL201: Critical Thinking
- PHIL203: Elementary Formal Logic
- PHIL204: Traditions of Asian Philosophy
- PHIL207A: Introduction to Ancient Philosophy
- PHIL208: Introduction to Islamic Philosophy
- PHIL210: Introduction to Early Modern Philosophy
- PHIL211: Introduction to Existentialism
- PHIL220: Introduction to Philosophy of Science
- PHIL223: Introduction to Philosophy of the Social Sciences
- PHIL225: Death and Dying
- PHIL232: Moral Problems of Contemporary Society
- PHIL235: Ethics of Violence, War and Terrorism
- PHIL236: Introduction to Social and Political Philosophy
- PHIL238: Philosophy in Literature
- PHIL239: Philosophy and Feminism
- PHIL240: Introduction to Philosophy of Art
- PHIL251: Knowledge, Certainty and Skepticism
- PHIL252: Introduction to Metaphysics
- PHIL260: Introduction to Philosophy of Mind
- PHIL261: Philosophy of Religion
- PHIL290: Introduction to Selected Topics
- PHIL301: Plato
- PHIL303: Aristotle
- PHIL305A: Early Medieval Philosophy
- PHIL305B: Later Medieval Philosophy
- PHIL306: The Rationalists
- PHIL308: The Empiricists
- PHIL309: Kant
- PHIL311: Existentialist Thinkers
- PHIL314: 19th-Century Philosophy
- PHIL316: History of Analytic Philosophy
- PHIL321: Philosophy of Medicine
- PHIL330: Professional and Business Ethics
- PHIL331: Biomedical Ethics
- PHIL333: Philosophy and the Environment
- PHIL335: Contemporary Moral Philosophy
- PHIL336: Philosophy of Law
- PHIL337: Ethics: Theory and Practice
- PHIL338: Meta-ethics
- PHIL339: Theories of Justice
- PHIL351: Epistemology
- PHIL352: Metaphysics
- PHIL354: Philosophy of Language
- PHIL356: Philosophy of Science
- PHIL358: Theory of Perception
- PHIL360: Philosophy and Film
- PHIL362: Philosophy of Mind
- PHIL370: Theoretical Logic
- PHIL371: Logic
- PHIL375: Philosophy of Mathematics
- PHIL379: Early Greek Thought
- PHIL380: Wittgenstein
- PHIL383: The Life and Times of Socrates
- PHIL390: Topics in Philosophy
- PHIL391: Directed Studies in Philosophy
- PHIL420: Advanced Topics in Philosophy of Science
- PHIL424: Advanced Studies in Ancient Philosophy
- PHIL426: Major Figures in Ancient Philosophy
- PHIL427: Advanced Studies in Early Modern Philosophy
- PHIL430: Advanced Ethics
- PHIL431: Advanced Biomedical Ethics
- PHIL433: Advanced Social and Political Philosophy
- PHIL436: Advanced Philosophy of Law
- PHIL440: Advanced Aesthetics
- PHIL450: Advanced Metaphysics
- PHIL451: Advanced Epistemology
- PHIL453: Advanced Theory of Perception
- PHIL460: Advanced Philosophy of Mind
- PHIL462: Advanced Philosophy of Language
- PHIL490: Advanced Topics in Philosophy
- PHIL491: Directed Studies in Philosophical Topics
PHIL370
Theoretical Logic
Treatment and justification of formal logic from a theoretical point of view: Ideal formal languages developed, and their relationship to natural languages discussed. Syntactic and semantic theories formalized for the analysis of complex deductive arguments. The metatheory of formal logic, relating the syntactic theories and the semantic theories, developed. Topics may include consistency, compactness, soundness and completeness.
Lecture: 3h
Lab: 0h
Tutorial: 0h
Credits: 1.5