Is formal logic successful in capturing the way operators
(like "and", "if", and "some") are used in natural languages?  What
are "Many-Valued logics"?  What are "Intensional Logics"?  What
problems 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 knowledge of first-order logic's concepts and
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.