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
Prereqs:
none

Past Term Data

Offered
Not Offered
Offered as Cross-Listing Only
No Term Data
Spring Summer Fall
(Session 1) (Session 2)
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: 120/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