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 - extended!)

Mon: 8:30am-7pm

Tues: 8:30am-2pm, 4pm-7

Wed: 8:30-7pm

Thurs: 8am-2pm, 4-8pm

Fri: 8:30-4:15pm

 

 






 

 

 

 



 

 

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