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.

Archive