PHIL 140Introduction to Formal Logic
- Faculty
- Arts
- Offered
- Fall, Winter, Spring
- Credit
- 0.5
- Last listed
- 1994–95
No longer offered. It’s in Waterloo’s scanned calendars from 1976–77 to 1994–95 (before that, 1969–70 to 1975–76 used the number for Fundamentals of Logic); the 1995–96 to 2023–24 calendars are on ucalendar.
Elementary sentence and predicate logic. Translation from English into formalism, decision methods and deductions. Application of Graphic Methods to Logic. This course is a preparation for courses in the foundations of mathematics, scientific methods, and more advanced logic courses.
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.
Discussed on r/uwaterloo
One post or comment in 1 thread mentions PHIL 140, August 2018 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 2018
Facts: Feridun was a professor in Mechanical Engineering. Feridun is of Turkish origin. Showerthought: Feridun is a Mechanical Turk. 79 points, 9 comments
“Sorry. I should really be working on my work term report right now.”
u/AspiringSpacePirate: “1) A is a B 2) A is a C > Therefore, A is a BC The premises are true, but I question the argument's validity. I will defer to someone who has a background in formal logic.”
u/NegativeBinomialM136: “Antireq: PHIL 140; Not open to students in the Faculty of Mathematics I wish I could take it.”
Check it elsewhere
- Undergraduate Calendar, 1995–96If it ran past 1994–95, on ucalendar
- Course outlinesSyllabi from past terms (UW login)
- UW FlowStudent ratings and reviews
- WClassesPast sections back to 2004, and who taught them
In the scanned calendars
How it read in each calendar from 1969–70 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
Elementary sentence and predicate logic. Translation from English into formalism, decision methods and deductions. Application of Graphic Methods to Logic. This course is a preparation for courses in the foundations of mathematics, scientific methods, and more advanced logic courses.
Offered Fall, Winter, Spring · 3 class hours a week · 0.5 credit
- 1976–77 PDF p. 347
- 1977–78 PDF p. 386
- 1978–79 PDF p. 375
- 1979–80 PDF p. 388
- 1980–81 PDF p. 411
- 1981–82 PDF p. 421
- 1982–83 PDF p. 376
- 1983–84 PDF p. 389
- 1984–85 PDF p. 389
- 1985–86 PDF p. 401
- 1986–87 PDF p. 405
- 1987–88 PDF p. 420
- 1988–89 PDF p. 418
- 1989–90 PDF p. 440
- 1990–91 PDF p. 419
- 1991–92 PDF p. 427
- 1992–93 PDF p. 420
- 1993–94 PDF p. 423
- 1994–95 PDF p. 426
1969–70 to 1975–76 6 calendars
Another title: Fundamentals of Logic, probably a different course under the same number (or a misread scan).
Basic types of reasoning will be analyzed. The reasons for using symbols in logic will be explored, and some simple systems considered, Attention will also be devoted to informal arguments and scientific method. No prerequisite
3 hours