WClasses

PHIL 240 - Introduction to Formal Logic

Logic is the study of good inferences. This course examines a particular class of inferences, namely those where the truth of the conclusion is guaranteed by the logical form of the inference. These are called deductively valid arguments. Students will explore formal systems such as classical sentential logic and quantificational logic, and develop the skills required to evaluate arguments using concepts such as soundness, consistency, and logical equivalence. Students will develop good inferential practices for constructing deductively sound arguments.

Prerequisites

Not open to students in the Faculty of Mathematics

Corequisites

None

Antirequisites

None

Offerings

Winter 2026 [1261]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 081	3692	39 / 40

Fall 2025 [1259]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	3659	23 / 40	10:00 - 11:20	T,Th

Winter 2025 [1251]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 081	3820	38 / 40

Winter 2024 [1241]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 081	3887	35 / 40

Fall 2023 [1239]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	3694	37 / 40	10:00 - 11:20	T,Th

Winter 2023 [1231]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 081	4039	35 / 40				Kyle Kenneth James Adams

Fall 2022 [1229]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	4058	0 / 40

Winter 2022 [1221]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	7739	23 / 40	10:00 - 11:20	M,W	ML 349	Greg Andres

Fall 2021 [1219]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 081	3995	24 / 50				Jessica Oddan

Winter 2021 [1211]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 081	7767	28 / 50				Greg Andres

Fall 2020 [1209]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 081	4050	24 / 50				Jessica Oddan

Winter 2020 [1201]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 081	7609	33 / 50				Jim Jordan

Fall 2019 [1199]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	4164	30 / 40	18:30 - 21:20	T	ML 354	Greg Andres

Winter 2019 [1191]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	9471	1 / 1
LEC 081	8441	31 / 65				Jessica Oddan

Fall 2018 [1189]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	8444	27 / 40	18:30 - 21:20	T	ML 246	Gregory George Andres

Spring 2018 [1185]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 081	4572	27 / 65				Phillipe Beriault

Winter 2018 [1181]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	3684	26 / 40	18:30 - 21:20	T	QNC 2501	Gregory George Andres

Fall 2017 [1179]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	9559	1 / 1
LEC 081	8268	41 / 65				Phillipe Beriault

Spring 2017 [1175]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 081	4674	34 / 65				Gregory George Andres

Winter 2017 [1171]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	3597	34 / 40	18:30 - 21:20	T	HH 334	Gregory George Andres

Winter 2016 [1161]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	4329	31 / 40	16:00 - 17:20	T,Th	HH 334	David M DeVidi

Winter 2015 [1151]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	7425	20 / 40	08:30 - 09:50	T,Th	HH 1102	Kurt Sheldon Holukoff

Winter 2014 [1141]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	8716	1 / 1

Fall 2013 [1139]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	7386	23 / 40	09:30 - 10:20	M,W,F	HH 280	Steven Weinstein

Winter 2013 [1131]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	3961	30 / 40	09:00 - 10:20	T,Th	RCH 206	Nicholas Ray

Fall 2012 [1129]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	8392	2 / 1

Winter 2012 [1121]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	7608	32 / 40	08:30 - 09:50	T,Th	ML 349	Gregory George Andres
LEC 002	8155	2 / 1

Fall 2010 [1109]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	2752	28 / 30	10:00 - 11:20	T,Th	DWE 3519	Steven Weinstein

Fall 2009 [1099]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	2542	30 / 30	13:00 - 14:20	T,Th	RCH 208	Steven Weinstein

Fall 2008 [1089]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	1528	20 / 40	10:00 - 11:20	T,Th	DWE 1515	David M DeVidi

Fall 2007 [1079]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	1349	23 / 40	09:30 - 10:20	M,W,F	DWE 3517	Anna Teresa Marie Bullen

Fall 2006 [1069]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	1324	27 / 30	10:00 - 11:20	T,Th	HH 334	Steven Weinstein

Fall 2005 [1059]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	1362	25 / 30	11:30 - 12:50	T,Th,H,H		Nancy Davies

Fall 2004 [1049]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	1356	28 / 30	12:30 - 13:50	T,Th,H,H		James W Van Evra

Fall 2003 [1039]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	1370	25 / 30	11:30 - 12:20	M,W,F,H,H		E. Jennifer Ashworth

Fall 2002 [1029]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	1483	23 / 30	11:30 - 12:20	M,W,F,H,H		E. Jennifer Ashworth

Winter 2002 [1021]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	3142	21 / 40	11:30 - 12:20	M,W,F,D,W,E		E. Jennifer Ashworth

Fall 2001 [1019]

Section	Class	Enrolled	Time	Days	Location	Instructor
		/

UW Flow Ratings

Liked: 87.50%

87.50%

Easy: 55.00%

55.00%

Useful: 60.00 %

60.00%

PHIL 240 leads to

PHIL 341 - Intermediate Classical Logic

PHIL 342 - Non-Standard Logics

PHIL 440A - Logical Theory

PHIL 440B - Logical Theory

PHIL 441 - Studies in Logic

PHIL 442 - Studies in Logic