A close study of some finer points underlying analytic philosophic reasoning. What is meaning and reference? What is truth? What is the relation between necessity and truth? How many kinds of entailment are there? Are the laws of logic knowable a priori or are they open to empirical refutation? Are there really such things as possible worlds? How else can we make sense of counterfactual talk? What is it to make a judgment of probability? A careful examination of these issues, among others, will solidify a general appreciation of both philosophy and logic.