What Is Formal Truth In Logic