Language, truth and logic. (2001)