A case for satisfaction classes model theoretic vs axiomatic approaches to the notion of truth

Main Article Content

A. Strollo


One of the basic question we can ask about truth in a formal setting is what, if anything, we gain when we have a truth predicate at disposal. For example, does the expressive power of a language change or does the proof strength of a theory increase?

Satisfaction classes are often described as complicated model theoretic constructions unable to give useful information toward the notion of truth from a general point of view. Their import is narrowed to a dimension of pure technical utility and curiosity. Here I offer an application of satisfaction classes in order to show that they can have a relevant role in confronting proof theoretical equivalent theories of truth.


Данные скачивания пока не доступны.

Article Details

Как цитировать
A. Strollo. A case for satisfaction classes // Логические исследования / Logical Investigations. 2018. Т. 19. № 1.