The concept of truth in a finite universe

Authors
Raatikainen, P
Citation
P. Raatikainen, The concept of truth in a finite universe, J PHILOS LO, 29(6), 2000, pp. 617-633
Citations number
22
Categorie Soggetti
Philosiphy
Journal title
JOURNAL OF PHILOSOPHICAL LOGIC
ISSN journal
00223611 → ACNP
Volume
29
Issue
6
Year of publication
2000
Pages
617 - 633
Database
ISI
SICI code
0022-3611(200012)29:6<617:TCOTIA>2.0.ZU;2-R
Abstract
The prospects and limitations of defining truth in a finite model in the sa me language whose truth one is considering are thoroughly examined. It is s hown that in contradistinction to Traski's undefinability theorem for arith metic, it is in a definite sense possible in this case to define truth in t he very language whose truth is in question.