Philosophy 12A

Summer 2018 8wks

Number Title Instructor Days/time Room
12A Introduction to Logic-Online Course Holliday TuWTh 1-3:30 TBA



The online summer version of 12A concentrates on three systems of symbolic logic: propositional logic (also known as sentential logic); syllogistic logic; and predicate logic (also known as first-order logic). Propositional logic formalizes reasoning involving “propositional connectives” such as and, or, not, if…then, and if and only if, as these words are used in mathematics. Syllogistic logic formalizes reasoning involving basic patterns of “quantification” such as all whales are mammals or some animals are carnivores. Finally, predicate logic formalizes reasoning involving a greater variety of patterns of quantification, plus the attribution of properties to objects, both of which are on display in a statement such as for every number that is prime, there is a larger number that is prime.
