PHIL 640General Logic 1
- Level
- Graduate
- Faculty
- Arts
- Last listed
- 1971–72
No longer offered. It’s in Waterloo’s scanned calendars from 1965–66 to 1971–72; the 1995–96 to 2023–24 calendars are on ucalendar.
A rigorous development of the propositional calculus on both matrix and axiomatic bases in a general framework in terms of which various alternative calculi may be examined; particular attention is given to such concepts as completeness, consistency, decidability, modality, extensionality, deducibility, etc., from both formal and philosophical points of view. An axiomatic development of unrestricted first order predicate calculus, including the theory of identity and theories of description. Prereauisite: Philosophy 140*. or (nreferahly) Philnsanhy 240 ar roncont Department of Philosophy
As printed in the 1970–71 to 1971–72 calendars, read by OCR; the scanned page is the original.
Check it elsewhere
In the scanned calendars
How it read in each calendar from 1965–66 to 1971–72, 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.
1970–71 to 1971–72 2 calendars
A rigorous development of the propositional calculus on both matrix and axiomatic bases in a general framework in terms of which various alternative calculi may be examined; particular attention is given to such concepts as completeness, consistency, decidability, modality, extensionality, deducibility, etc., from both formal and philosophical points of view. An axiomatic development of unrestricted first order predicate calculus, including the theory of identity and theories of description. Prereauisite: Philosophy 140*. or (nreferahly) Philnsanhy 240 ar roncont
Department of Philosophy
1966–67 to 1969–70 4 calendars
In this course philosophical issues connected with extensionality, modality, and “alternative logics” will be developed systematically in a general framework.
641* - 642.* Seminar in Logic.
650* - 651.* Seminar in Epistemology.
655* - 656.* Seminar in Metaphysics.
660* - 662.* Seminar in Philosophy of the Sciences.
670* - 679.* Specially Directed Studies.
680* - 689.% Seminar in the History of Philosophy.
698.*(a) - (n). Pre-Thesis Graduate Research in Special Areas.
1965–66 1 calendar
Titled Seminar in Logic.
2 hours.