Generalized Tarski`s thesis in elucidatory terms

Abstract

A key piece of Beall and Restall's logical pluralism is the so-called Generalized Tarski’s Thesis (GTT). Their classic book Logical Pluralism claims that this thesis is a statement "of the same kind" as Church-Turing Thesis (Beall and Restall, 2006, p. 25). The aim of the article is to show in some detail the difficulty involved in elaborating the analogy between the two theses. For this purpose, we describe what we will call the ‘elucidatory approach’ to the theses, based on a usual way of understanding Church-Turing Thesis, to which Beall and Restall subscribe. Subsequently, we identify three features of GTT and, based on them, argue that GTT needs to be more assimilable to the elucidatory perspective of Church-Turing Thesis.