PHIL 230 - Symbolic Logic

Semester Offered: Fall and Spring
1 unit(s)

Topic for 2015/16a and b: One of the traditional branches of philosophy, logic is concerned with understanding valid inference. It rests on the idea that what makes premises imply conclusions can be clarified by abstracting to some extent from their content, concentrating instead on their formal features. This course examines the modern approach to making these features more transparent, focusing on the construction and application of formal languages, interpretations, and inferential rules. Employing a metalogical perspective, it also addresses the adequacy of these methods. Mr. Winblad.

Two 75-minute periods.