On stratified truth

Andrea Cantini

pp. 369-389

in: Theodora Achourioti, Henri Galinon, José Martínez Fernández, Kentaro Fujimoto (eds), Unifying the philosophy of truth, Berlin, Springer, 2015

Abstract

Is there a consistent axiomatization of a stratified form of the Tarskian hierarchy, where stratification is meant in the sense of Quine's New Foundations ( extsf{NF})? In the following we propose a system of truth and abstraction, which might be regarded as an answer to the problem.

Cited authors

Quine Willard Van Orman