Truth and logic