Naive Truth Theories

The talk will be a nontechnical introduction to the program of giving a theory of truth on which True() is equivalent to A, in a nonclassical logic to escape the paradoxes, with a mention of one currently unsolved problem for the program.