PHI 230 Symbolic Logic
An introduction to deductive logic. The course begins with sentential logic, which is the study of implication relations among sentences where sentences are taken as the basic units of examination. It proceeds to predicate logic, which takes into account certain syntactical components of sentences, including quantifiers ("every," "some," etc.), names and definite descriptions (Gracie, the mountain, etc.), and predicates, both monadic ("... is blue") and polyadic ( "... loves …," etc.).