This thesis develops a new approach to the formal de nition of a truth predicate that allows a consistent, semantically closed defiition within classical logic. The approach is built on an analysis of structural properties of languages that make Liar Sentences and the paradoxical argument
possible. By focusing on these conditions, standard formal dfinitions of semantics are shown to impose systematic limitations on the definition of formal truth predicates.
The alternative approach to the...[Show more]
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.