Return of the Pack Stay Informed
Main Content Region

Logic Lab

Lab Door


The Logic Lab, located in UH-047, is open and ready to assist you! 

The Logic Lab 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.


Lab Lounge


Hours (Fall 2021) - in person in UH-047

Monday: 10 am - 5 pm (Tutor: Cameron)

Tuesday: 12-2 pm (Tutor: Francessca)

Wednesday: 10 am - 5 pm (Tutor: Cameron)

Thursday:  12-2 pm (Tutor: Francessca)

Hours (Fall 2021) - virtual

To visit the virtual logic lab, hit the zoom room link of the tutor on duty. You will then be taken
the tutor’s personal zoom room. If the tutor is already speaking with someone, you will
be placed in a ‘waiting room’ and the tutor will let you know when he or she will be available.

Tuesday: 3 - 5 pm Tutor: Francessca) -

Thursday 3 - 5 pm Tutor: Francessca) -

Friday: 9 am - 1 pm (Tutor: Francessca) -

Friday: 1 - 4 pm (Tutor: Cameron -


Professor Tony Roy's, Symbolic Logic: An Accessible Introduction to Serious Mathematical Logic





Barcan portrait


Kurt Godel portrait


Barcan Portrait

Kurt Gödel and Ruth Barcan Marcus

Titles: Formulaic, Logic and Computability and Converse

Artist: Renee Jorgensen Bolinger