-
235A mathematically derived definitional/semantical theory of truthNonlinear Studies 25 (1): 173-189. 2018.Ordinary and transfinite recursion and induction and ZF set theory are used to construct from a fully interpreted object language and from an extra formula a new language. It is fully interpreted under a suitably defined interpretation. This interpretation is equivalent to the interpretation by meanings of sentences if the object language is so interpreted. The added formula provides a truth predicate for the constructed language. The so obtained theory of truth satisfies the norms presented i…Read more
-
227Theories of truth for countable languages which conform to classical logicNonlinear Studies. forthcoming.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.
-
University of OuluResearcher
Oulu, Finland
Areas of Specialization
Epistemology |
Philosophy of Language |
Science, Logic, and Mathematics |
Theories of Truth, Misc |