P352 | 3376 | Savion

Does formal logic really capture the way we use operators (e.g., "and", "if") in NATURAL LANGUAGES? What are "DEVIANT LOGICS"? What problems do they address? What is the place of theories of TRUTH in logic? Can logical systems be used to measure human RATIONALITY? The prerequisite for this course is a formal logic course (P150, P250, or their equivalents). Although this course is not technical, common background knowledge of first order logic's concepts and methods is essential for the conceptual analysis of the topics above. Final grade is calculated from class participation and homework assignments, group presentation, a few short essays and a final exam.