| Title | An online and open-source textbook and homework system for symbolic logic using semantic tableaux |
|---|---|
| Faculty/College/Unit | Arts |
| Status | Completed |
| Duration | 2 Year |
| Initiation | 04/01/2020 |
| Completion | 04/01/2023 |
| 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 Year | Year 1 |
| Year 1: Funding Year | 2020/2021 |
| Year 1: Project Type | Small TLEF |
| Year 1: Principal Investigator | David Robert Gilbert |
| Year 1: Funded Amount | 24,468 |
| Year 1: Team Members | David Robert Gilbert, Instructor, Philosophy, Faculty of Arts |
| Year 2: Project Year | Year 2 |
| Year 2: Funding Year | 2021/2022 |
| Year 2: Project Type | Small TLEF |
| Year 2: Principal Investigator | David Robert Gilbert |
| Year 2: Funded Amount | 14,600 |
| Year 2: Team Members | David Robert Gilbert, Assistant Professor of Teaching, Philosophy, Faculty of Arts |
| Year 2: TLEF Showcase |  |
| Project Report | 2021-TLEF-Final-Report-Gilbert-WEB.pdf |