Logic, language, and reality