Una es la distinción entre enunciados analíticos (tautologías y contradicciones) cuya verdad (o falsedad) es una función de los significados de las palabras en el enunciado ("todos los solteros no están casados") y enunciados sintéticos, cuya verdad (o falsedad) es una función de estados de cosas (contingentes).