Sets, truth, and recursion

Reinhard Kahle

pp. 143-152

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

Abstract

We discuss some philosophical aspects of an intensional set theory based on an axiomatic truth theory. This set theory gains its justification from natural truth axioms combined with standard recursion-theoretic operations.