The concept of truth in a finite universe

Journal of Philosophical Logic 29 (6):617-633 (2000)
  Copy   BIBTEX

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 Tarski'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

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1026542526897

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Undefinability of truth and nonstandard models.Roman Kossak - 2004 - Annals of Pure and Applied Logic 126 (1-3):115-123.
Truth definitions in finite models.Leszek Aleksander Kołodziejczyk - 2004 - Journal of Symbolic Logic 69 (1):183-200.
Undefinability vs. Definability of Satisfaction and Truth.Roman Murawski - 1999 - Vienna Circle Institute Yearbook 6:203-215.
Remarks on Recursive Definitions of Truth.Philippe de Rouilhan - unknown
Truth and its Nature.Jaroslav Peregrin - 1999 - Dordrecht, Netherland: Springer.
Refuting Incompleteness and Undefinability.P. Olcott - manuscript
On representing concepts in finite models.Marcin Mostowski - 2001 - Mathematical Logic Quarterly 47 (4):513-523.
Tarski's Definition of Truth.Scott Soames - 1998 - In Understanding Truth. Oxford and New York: Oxford University Press USA.
What Were Tarski's Truth-Definitions for?John F. Fox - 1989 - History and Philosophy of Logic 10 (2):165-179.
A simple theory containing its own truth predicate.Nicholas Shackel - 2018 - South American Journal of Logic 4 (1):121-131.

Analytics

Added to PP
2009-01-28

Downloads
714 (#37,827)

6 months
122 (#47,108)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Panu Raatikainen
Tampere University

Citations of this work

Add more citations

References found in this work

Understanding Truth.Scott Soames - 1998 - Oxford and New York: Oxford University Press USA.
Undecidable theories.Alfred Tarski - 1968 - Amsterdam,: North-Holland Pub. Co.. Edited by Andrzej Mostowski & Raphael M. Robinson.
A course in mathematical logic.J. L. Bell - 1977 - New York: sole distributors for the U.S.A. and Canada American Elsevier Pub. Co.. Edited by Moshé Machover.
A Course in Mathematical Logic.J. L. Bell & M. Machover - 1978 - British Journal for the Philosophy of Science 29 (2):207-208.

View all 15 references / Add more references