 By contrast, (2) is not a logical truth: one could easily hold fixed its logical structure, but vary the meaning of ‘bachelor’ or ‘unmarried’ and thereby produce a false sentence. However, (2) is a promising candidate to be conceptually necessary. On one gloss, a sentence is conceptually necessary (or “analytically true”) if it is true solely in virtue of the meanings or concepts involved in the sentence. Sentence (2) is a traditional example. If ‘bachelor’ means unmarried male, then the meaning of the sentence suffices to explain why it is true. (The notion of analyticity is famously controversial; for discussion, see the entry on the  analytic-synthetic distinction.)