Theories of truth for countable languages which conform to classical logic

Nonlinear Studies (forthcoming)
  Copy   BIBTEX

Abstract

Every countable language which conforms to classical logic is shown to have an extension which has a consistent definitional theory of truth. That extension has a consistent semantical theory of truth, if every sentence of the object language is valuated by its meaning either as true or as false. These theories contain both a truth predicate and a non-truth predicate. Theories are equivalent when sentences of the object lqanguage are valuated by their meanings.

Author's Profile

Seppo Heikkilä
University of Oulu

Analytics

Added to PP
2019-01-19

Downloads
363 (#59,913)

6 months
113 (#44,628)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?