language truth and logic