Philosophy | logic and philosophy
P352 | 3776 | Savion


Is formal logic successful in capturing the way operators
(like "and" and "if", and "some") are used in natural languages?
What are "Many-Valued Logics"?  What are 'Intensional Logics"?  What
prroblems do they address?  What is the place of diverse
metaphysical theories of truth in logic?  How do logical systems
relate to actual human rationality?

The course's prerequisite (P150, P250 or their equivalents) ensures
common background knowleddge of first-order logic's concepts and
their methods, necessary for the philosophical analysis of the
issues above.  The course is not technical, but philosophical-
conceptual.  Final grade is calculated from class participation,
homework assignments, a few short essays, and a final exam.