Livre | Chapitre
Sets, truth, and recursion
pp. 143-152
Résumé
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.
Détails de la publication
Publié dans:
Achourioti Theodora, Galinon Henri, Martínez Fernández José, Fujimoto Kentaro (2015) Unifying the philosophy of truth. Dordrecht, Springer.
Pages: 143-152
DOI: 10.1007/978-94-017-9673-6_6
Citation complète:
Kahle Reinhard, 2015, Sets, truth, and recursion. In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.) Unifying the philosophy of truth (143-152). Dordrecht, Springer.