PHIL596J
Download as PDF
PHIL596J - Graduate Seminar in Formal Philosophy: Formal Methods
Course ID
042312
Course Description
The development and exchange of scholarly information, usually in a small group setting. The scope of work shall consist of research by course registrants, with the exchange of the results of such research through discussion, reports and/or papers.
This is a course in logic. In some ways, it will be similar to other logic courses you may have taken and in other ways it will likely be quite different. This course develops a family of formal tools, subjects them to logical scrutiny, and gives some examples of those tools in use. We will limit our attention to qualitative formal tools. The course adopts a worldview according to which there is a natural back and forth between our formal tools and what we can use them for. So we will spend time thinking about the tools as interesting things in their own right and on how we might use them.
This is a course in logic. In some ways, it will be similar to other logic courses you may have taken and in other ways it will likely be quite different. This course develops a family of formal tools, subjects them to logical scrutiny, and gives some examples of those tools in use. We will limit our attention to qualitative formal tools. The course adopts a worldview according to which there is a natural back and forth between our formal tools and what we can use them for. So we will spend time thinking about the tools as interesting things in their own right and on how we might use them.
Min Units
3
Max Units
3
Repeatable for Credit
Yes
Total Completions Allowed
3
Total Units Allowed
9
Grading Basis
GRD - Regular Grades A, B, C, D, E
Career
Graduate
Course Requisites
May be convened with
Component
Seminar
Optional Component
No