# Introduction To Formal Logic

## PHIL-2140

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.

4 credits Data Intensive II
Prereqs:
none

# Past Term Data
Offered
Not Offered
Offered as Cross-Listing Only
No Term Data
Simple View
Detailed View

| Spring | Summer | Fall
--- | --- | --- | ---
| (Session 1) | (Session 2) |

2026

Introduction To Formal Logic (4c)

- Selmer Bringsjord

Seats Taken: 97/150

2025

Introduction To Formal Logic (4c)

- Selmer Bringsjord

Seats Taken: 62/75

Introduction To Formal Logic (4c)

- Bram Van Heuveln

Seats Taken: 21/40

Introduction To Formal Logic (4c)

- Bram Van Heuveln

Seats Taken: 102/120

2024

Introduction To Logic (4c)

- Selmer Bringsjord

Seats Taken: 169/230

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 38/40

Introduction To Formal Logic (4c)

- Bram Van Heuveln

Seats Taken: 111/120

2023

Introduction To Logic (4c)

- Selmer Bringsjord

Seats Taken: 144/180

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 24/49

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 116/120

2022

Introduction To Logic (4c)

- Selmer Bringsjord

Seats Taken: 163/250

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 43/49

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 103/120

2021

Introduction To Logic (4c)

- Selmer Bringsjord

Seats Taken: 167/500

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 31/36

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 105/120

2020

Introduction To Logic (4c)

- Selmer Bringsjord

Seats Taken: 371/500

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 44/50

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 116/120

2019

Introduction To Logic (4c)

- Selmer Bringsjord

Seats Taken: 470/500

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 43/50

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 133/150

2018

Introduction To Logic (4c)

- Selmer Bringsjord

Seats Taken: 459/500

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 10/19

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 133/120

2017

Introduction To Logic (4c)

- Selmer Bringsjord

Seats Taken: 403/475

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 12/30

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 130/120

2016

Introduction To Logic (4c)

- Selmer Bringsjord

Seats Taken: 345/480

Introduction To Logic (4c)

- Michael J Kalsher
- Michael Joseph Conroy
- Bram Van Heuveln

Seats Taken: 6/19

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 116/120

2015

Introduction To Logic (4c)

- Selmer Bringsjord

Seats Taken: 243/320

Introduction To Logic (4c)

- Michael J Kalsher
- Bram Van Heuveln

Seats Taken: 14/19

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 116/120

2014

Introduction To Logic (4c)

- Selmer Bringsjord

Seats Taken: 144/150

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 9/30

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 124/120

2013

Introduction To Logic (4c)

- Selmer Bringsjord

Seats Taken: 101/100

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 6/30

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 112/100

2012

Introduction To Logic (4c)

- Selmer Bringsjord

Seats Taken: 56/60

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 4/30

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 99/100

2011

Introduction To Logic (4c)

- Selmer Bringsjord

Seats Taken: 52/60

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 11/30

Introduction To Logic (4c)

- Selmer Bringsjord

Seats Taken: 94/100

2010

Introduction To Logic (4c)

- Selmer Bringsjord

Seats Taken: 56/62

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 3/30

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 99/100

2009

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 4/30

Introduction To Logic (4c)

- Selmer Bringsjord

Seats Taken: 56/100

2008

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 6/30

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 122/130

2007

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 7/30

Introduction To Logic (4c)

- Konstantine Arkoudas

Seats Taken: 49/100

2006

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 4/30

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 95/100

2005

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 11/30

Introduction To Logic (4c)

- Yingrui Yang

Seats Taken: 67/75

2004

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 14/30

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 94/120

2003

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 16/30

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 97/120

2002

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 92/120

2001

Introduction To Logic (4c)

- Bram Van Heuveln

Seats Taken: 113/120

2000

Introduction To Logic (4c)

- Selmer Bringsjord

Seats Taken: 86/120

1999

Introduction To Logic (4c)

- Selmer Bringsjord

Seats Taken: 14/50

Introduction To Logic (4c)

- Selmer Bringsjord

Seats Taken: 115/120

1998

Introduction To Logic (4c)

- Selmer Bringsjord

Seats Taken: 11/30

Introduction To Logic (4c)

- Selmer Bringsjord

Seats Taken: 111/116