Logic

Logic

Minor

Hours	15 Credit Hours
MAP	Major Academic Plan

Program Requirements

requirement 1 Complete 1 course

MATH 290 - Fundamentals of Mathematics 3.0

PHIL 205 - Introduction to Logic and Critical Thinking 3.0

requirement 2 Complete 2 courses

PHIL 305 - Intermediate Formal Logic 3.0

PHIL 405 - Advanced Logic and Metalogic 3.0

requirement 3 Complete 1 course

MATH 341 - Theory of Analysis 1 3.0

MATH 371 - Abstract Algebra 1 3.0

PHIL 420 - Philosophy of Language 3.0

PHIL 421 - Metaphysics 3.0

requirement 4 Complete 3.0 hours from the following course(s)

PHIL 110 - Introduction to Philosophy 3.0

PHIL 201 - History of Philosophy 1 3.0

PHIL 202 - History of Philosophy 2 3.0

PHIL 205 - Introduction to Logic and Critical Thinking 3.0

PHIL 210 - Science and Civilization 1 3.0

PHIL 211 - Science and Civilization 2 3.0

PHIL 212R - Introduction to Applied Ethics 3.0

PHIL 213 - Introduction to Ethics 3.0

PHIL 214 - Introduction to the Philosophy of Art 3.0

PHIL 215 - Introduction to the Philosophy of Religion 3.0

PHIL 217R - Modern Political Philosophy 3.0

PHIL 249R - Philosophical Lecture Series 1.0

PHIL 300 - Philosophical Writing 3.0

PHIL 305 - Intermediate Formal Logic 3.0

PHIL 313R - History of Ethics 3.0

PHIL 320R - Studies in Ancient Philosophy 3.0

PHIL 330R - Studies in Medieval Philosophy 3.0

PHIL 340R - Studies in Modern Philosophy 3.0

PHIL 350R - Studies in Contemporary Philosophy 3.0

PHIL 370R - Women and Philosophy 3.0

PHIL 399R - Philosophy Program Internship 3.0

PHIL 405 - Advanced Logic and Metalogic 3.0

PHIL 413R - Topics in Ethics 3.0

PHIL 415 - Philosophy of Religion 3.0

PHIL 416 - Philosophy of Law 3.0

PHIL 420 - Philosophy of Language 3.0

PHIL 421 - Metaphysics 3.0

PHIL 422 - Epistemology 3.0

PHIL 423R - History and Philosophy of Science 3.0

PHIL 424 - Philosophy of Mind 3.0

PHIL 450R - Advanced Topics in Philosophy 3.0

PHIL 490 - Senior Seminar 1.0

PHIL 495R - Directed Readings in Philosophy 3.0v

PHIL 501R - Graduate Seminar 5.0v

No more than 6 hours may double-count for the philosophy major and the logic minor.

Program Outcomes:

Logic and Metalogic

1. Construct, symbolize, and evaluate proofs in syllogistic logic, truth-functional logic, first-order (quantificational) logic, set-theory and Peano arithmetic.

2. Understand the development of logic, including metalogical results.

Assessed 2015