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 (Fall 2017)

Monday: 9:00am - 5:00pm

Tuesday: 9:00am - 2:00pm, 4:00 - 6:00pm

Wednesday: 9:00am - 6:00pm

Thursday: 9:00am - 2:00pm, 4:00 - 6:00pm

Friday: 9:00am - 1:00pm









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