Cover Photo Image

Logic and Reasoning Minor

Logic and reasoning are central to human inquiry. The minor brings together several disciplines that take logic and reasoning as part of their subject matter, emphasizes the core logical elements that are common across disciplines, and shows how to apply these common logical concepts and tools in different domains. The requirement for a minor in Logic and Reasoning is 18-19 credits; 12-13 credit hours from a set of core courses and 6 credit hours from electives. 


Credit Hours

Required Courses  
PHIL 250 Introduction to Symbolic Logic 3
PHIL 310 Intermediate Symbolic Logic 3
MATH 245 Discrete Mathematics (prerequisite MATH 235)
MATH/CS 227 and MATH/CS 228
Elective Courses: Choose at least two of the following 6
CS 444 Artificial Intelligence (prerequisite CS 240)  
MATH 424 Statistical Decision Theory (prerequisite MATH 318)  
PHIL 315 Logic and Legal Reasoning  
PHIL 320 Inductive Logic  
PHIL 410 Philosophy and Scientific Inquiry
(prerequisite GPHIL 101 or instructor permission)
PHIL 396 Philosophy of Physics (prerequisite GPHIL 101)  
PHIL 397 Philosophy of Space and Time  
PHIL 398 Philosophy of Quantum Theory  

Other Coursework

The LRI sponsors and encourages logic-related coursework in departments across the university. Such coursework includes the following:

  • CS 442 Logic in Computer Science—An investigation of the application of logic in computer science, and the use of computing in solving problems in logic.

Back to Top