uwloo

PHIL 241Intermediate Logic

Faculty
Arts
Credit
0.5
Last listed
1994–95

No longer offered. It’s in Waterloo’s scanned calendars from 1976–77 to 1994–95; the 1995–96 to 2023–24 calendars are on ucalendar.

Axiom systems of logic are developed and compared with natural deduction procedures. Then certain properties of these logical systems, such as consistency, completeness and compactness, will be investigated.

As printed in the 1976–77 to 1994–95 calendars, read by OCR; the scanned page is the original. Later calendars (1995–96 on) aren’t on uwloo.

Requirements, as last listed

Prereq: PHIL 140 or consent of instructor

Discussed on r/uwaterloo

One post or comment in 1 thread mentions PHIL 241, July 2017 to December 2024. Quoted word for word, newest first; each reply sits under the post and the comment that started its branch. Search r/uwaterloo for newer posts.

Spring 2017

PHIL 251 EASY OR HARD? 0 points, 7 comments

“Pls save me from myself”

u/twofactorial: “Not PHIL 241 specifically, but I feel like PHIL in general is one of those "opinion" subjects. In my opinion, any opinion subject is hard to do poorly, but also hard to do well.”

View on RedditRemove this

Check it elsewhere

In the scanned calendars

How it read in each calendar from 1976–77 to 1994–95, newest first. The text is OCR of the scanned pages; years whose wording matches are shown once, from the clearest scan. Each year links to its page on uwloo and to that page of the scanned PDF.

1976–77 to 1994–95 19 calendars

Axiom systems of logic are developed and compared with natural deduction procedures. Then certain properties of these logical systems, such as consistency, completeness and compactness, will be investigated.

Prereq: PHIL 140 or consent of instructor

3 class hours a week · 0.5 credit