Language,_Truth,_and_Logic