June 28, 2019
Philosophy professor's logic courseware goes international
Philosophy professor Graham Leach-Krause's logic programing environment CARNAP will be used in the reworking of University of British Columbia's logic curriculum.
Leach-Krouse has developed a programing environment for teaching and computer-aided tutoring of logic, which he has employed for a number of years at K-State. The framework is now being employed at other universities, soon to include the University of British Columbia.
University of British Columbia's David Gilbert has just been awarded a grant from the Canadian Ministry of Advanced Education, Skills and Training to use CARNAP to teach tableau methods in the university's reworking of its logic curriculum.