Nov 23, 2025  
Rensselaer Catalog 2025-2026 
    
Catalog Navigation
  Catalog Home
  Academic Calendar
  Degrees Offered
  Degree Types
  Information Directory
  RPI in Brief
  Core Curriculum
  Educational Programs and Resources
  Research Resources and Centers
  Student Experience
  Financial Aid
  Admissions
  Tuition and Fees
  Academic Information and Regulations
  Programs
  Schools
  Departments
  Subject Codes
  Courses
  Administration
  Named Professorships
  The Faculty
HELP
Rensselaer Catalog 2025-2026

PHIL 2140 - Introduction to Formal Logic

Introduction to formal logic as a tool to be used in mathematics, computer science, philosophy, etc., and as procedural knowledge helpful in puzzle-solving environments (e.g., standardized tests). A hands-on laboratory component is included. Among pother logics, covers Propositional Calculus and First-Order logic.

When Offered: OFFERED YEARLY

Graded: GRADED

Credit Hours: 4