Theories of Truth Which Have No Standard Models

Leitgeb, Hannes (June 2001): Theories of Truth Which Have No Standard Models. In: Studia Logica, Vol. 68, No. 1: pp. 69-87

Abstract

This papers deals with the class of axiomatic theories of truth for semantically closed languages, where the theories do not allow for standard models; i.e., those theories cannot be interpreted as referring to the natural number codes of sentences only (for an overview of axiomatic theories of truth in general, see Halbach6). We are going to give new proofs for two well-known results in this area, and we also prove a new theorem on the nonstandardness of a certain theory of truth. The results indicate that the proof strategies for all the theorems on the nonstandardness of such theories are ``essentially'' of the same kind of structure.

• Item Type: Journal article
• Faculties: Philosophy, Philosophy of Science and Religious Science > Munich Center for Mathematical Philosophy (MCMP); Philosophy, Philosophy of Science and Religious Science > Munich Center for Mathematical Philosophy (MCMP) > Logic
• Subjects: 100 Philosophy and Psychology > 160 Logic
• ISSN: 1572-8730
• Language: English