Article Title：The concept of truth in a finite universe
Abstract：
The prospects and limitations of defining truth in a finite model in the same language whose truth one is considering are thoroughly examined. It is shown that in contradistinction to Traski's undefinability theorem for arithmetic, it is in a definite sense possible in this case to define truth in the very language whose truth is in question.
Keywords: truth-definitions; finite models
DOI: 10.1023/A:1026542526897
Source：JOURNAL OF PHILOSOPHICAL LOGIC
Welcome to correct the error, please contact email: humanisticspider@gmail.com
