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 (Winter 2018)

Monday 8am - 1pm, 2 - 8pm

Tuesday 8am - 8pm

Wednesday 8am - 1pm, 2:30 - 8pm

Thursday 8am - 8pm

Friday 8am - 4: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