University Seminar: Logic Across Disciplines

Spring 2020

Title: The tree method for priority arguments
Speaker: Valentina Harizanov, GWU
Date and Time:  Friday, January 24, 12:30PM-1:30PM
Place: Phillips Hall (801 22nd Street), Room 736

Abstract:  We will introduce a tree construction for a priority argument by introducing a priority tree in which every node has a strategy for satisfying a corresponding requirement. At the end, we define a true path, which in the case of the finite injury argument can be computed using the halting set. The nodes along the true path satisfy the requirements of the construction.