The problem of truth