An introduction to features of rational thinking activity, its expression, and its relation to the world, focusing on such topics as predication, truth, negation, necessity, entailment, logical form, or quantification.