PHIL 605 - Seminar in Logic
Section: 001
Term: FA 2006
Subject: Philosophy (PHIL)
Department: LSA Philosophy
Advisory Prerequisites:
Graduate standing.
May not be repeated for credit.
Primary Instructor:

This course will include both a survey of crucial background results and an open-ended exploration of the current state of the art in computer modeling. It will include a philosophical introduction to (1) foundations of computer science, emphasizing the historical links to logic and focusing on Turing machines and Minsky register machines, and (2) essential limits to computability, highlighting the Halting problem but also tracing connections to Gödel, Rice’s Theorem, and Gregory Chaitin’s work on algorithmic randomness.

A major purpose of the course will also be to serve as a hands-on introduction to computer modeling as a subject worthy of both philosophical scrutiny and philosophical use. Topics to be covered include chaotic and complex systems, cellular automata, genetic algorithms, neural nets, and agent-based modeling. Applications will be drawn from philosophical logic, philosophy of language, epistemology, philosophy of mind, and social and political philosophy. A broad philosophical background and creative imagination are more important for the course than is any background knowledge of computers. A basic knowledge of elementary programming will be supplied; no such knowledge is required in advance.

PHIL 605 - Seminar in Logic
Schedule Listing
001 (LEC)
2Graduate Standing
Tu 4:00PM - 6:00PM
NOTE: Data maintained by department in Wolverine Access. If no textbooks are listed below, check with the department.
Syllabi are available to current LSA students. IMPORTANT: These syllabi are provided to give students a general idea about the courses, as offered by LSA departments and programs in prior academic terms. The syllabi do not necessarily reflect the assignments, sequence of course materials, and/or course expectations that the faculty and departments/programs have for these same courses in the current and/or future terms.

No Syllabi are on file for PHIL 605. Click the button below to search for a different syllabus (UM login required)

Search for Syllabus