An online and open-source textbook and homework system for symbolic logic using semantic tableaux

TitleAn online and open-source textbook and homework system for symbolic logic using semantic tableaux
Faculty/College/UnitArts
StatusActive
Duration2 Year
Initiation04/01/2020
Project Summary

The goal of this project is to create a free, open-source, web-based, and interactive logic text along with an accompanying homework system that will automate the marking of student homework assignments and supports semantic tableaux. It builds on two, extant open educational resources: Professor Jonathan Ichikawa’s UBC version of forall x, an open-source logic text; and Carnap, a framework designed to facilitate the development of in-browser formal reasoning applications, which was developed by Graham Leach-Krouse (Kansas State University). A free text/homework system will eliminate the non-tuition costs imposed by the Philosophy Department’s distance education logic course. The automated marking will allow teaching assistant hours to be reallocated, shifting the focus of the TA role from marking to more pedagogically fruitful interactions with students. Teaching with tableaux will make it easier to address more advanced concepts in introductory philosophy courses, easing the transition between lower and upper-level courses.

Funding Details
Year 1: Project YearYear 1
Year 1: Funding Year2020/2021
Year 1: Project TypeSmall TLEF
Year 1: Principal InvestigatorDavid Robert Gilbert
Year 1: Funded Amount24,468
Year 1: Team Members

David Robert Gilbert, Instructor, Philosophy, Faculty of Arts

Year 2: Project YearYear 2
Year 2: Funding Year2021/2022
Year 2: Project TypeSmall TLEF
Year 2: Principal InvestigatorDavid Robert Gilbert
Year 2: Funded Amount14,600
Year 2: Team Members

David Robert Gilbert, Assistant Professor of Teaching, Philosophy, Faculty of Arts
Tristan MacKinlay, Undergraduate student
Jade Fink, Undergraduate student