PHIL 230 - Symbolic Logic

Semester Offered: Spring
1 unit(s)

One of the traditional branches of philosophy, logic is centrally concerned with understanding what makes one or more premises imply a conclusion. Like its Aristotelian predecessor, modern logic rests on the insight that one can better understand implication by abstracting to some degree from the contents of particular premises and conclusions, concentrating instead on their formal features. It attempts to make these features more transparent by constructing “formal systems” that combine a formal language with inferential rules. By ascending to a metalogical vantage point, modern logic also seeks to determine whether these formal developments prove adequate to their purpose. Mr. Winblad.