PHIL-2140

Introduction to Logic

Introduction to first-order logic as a tool to be used in engineering, computer science, philosophy, etc., and as procedural knowledge helpful in puzzle-solving environments (e.g., standardized tests). A hands-on laboratory component is included. No previous logic or math presupposed. Fall term annually.

4 credit hours