uwloo

PHIL 242Extensions and Applications of Elementary Logic

Faculty
Arts
Credit
0.5
Last listed
1994–95

No longer offered. It’s in Waterloo’s scanned calendars from 1979–80 to 1994–95 (before that, 1976–77 to 1978–79 used the number for Philosophical Logic); the 1995–96 to 2023–24 calendars are on ucalendar.

The classical logic introduced in PHIL 140 will be extended to form systems of modal logic, including logics of obligation, belief and knowledge, necessity, and temporal order. Essentialism, future contingencies, proofs for the existence of God will be discussed.

As printed in the 1979–80 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

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.

1979–80 to 1994–95 16 calendars

The classical logic introduced in PHIL 140 will be extended to form systems of modal logic, including logics of obligation, belief and knowledge, necessity, and temporal order. Essentialism, future contingencies, proofs for the existence of God will be discussed.

Prereq: PHIL 140 or consent of instructor

3 class hours a week · 0.5 credit

1976–77 to 1978–79 3 calendars

Another title: Philosophical Logic, probably a different course under the same number (or a misread scan).

The course begins with a brief review of the materials covered in Phil 140. Then systems of modal logic will be developed and applied to such philosophical problems as obligation, belief and knowledge, essentialism, future contingencies, existence of God.

Prereq: Phil 140 or familiarity with elementary sentence and predicate logic .

Offered Fall, Winter · 3 class hours a week · 0.5 credit