Logical truth revisited