On a Theory of Truth and on the Regress Problem
- Publication date
- Publisher
Abstract
A theory of truth is introduced for a first--order language L of set theory. Fully interpreted metalanguages which contain their truth predicates are constructed for L. The presented theory
is free from infinite regress, whence it provides a proper framework to study the regress problem. Only ZF set theory, concepts definable in L and classical two-valued logic are used