Logic Lab

The logic lab is located in UH-47. It is a place to find assistance in your philosophy courses, and even just to hang out! The lab includes 16 computer stations with both standard software and specialized programs for logic courses, along with a separate tutoring area. It is staffed during the hours below with philosophy majors ready to help you with your coursework in philosophy, be it a tough logic problem or a paper on the problem of evil.

Here is a link to a description of our logic offerings, including the minor in philosophical logic.

Hours (Spring 2018)

Monday 8-5pm

Tuesday 8-6pm

Wednesday 8-5pm

Thursday 8-6pm

Friday 9-12noon, 1:30-3:30pm









Here is a link to Professor Tony Roy's text, Symbolic Logic: An Accessible Introduction to Serious Mathematical Logic

Formulaic, Ruth Barcan Marcus
Logic and Computability, Kurt Gödel Converse, Ruth Barcan Marcus

Kurt Gödel and Ruth Barcan Marcus
Titles: Formulaic, Logic and Computability and Converse

Artist: Renee Jorgensen Bolinger