Uma proposição necessária é aquela que não pode ser falsa. Podemos contemplar várias possibilidades que descrevem como as coisas poderiam ter sido, mas não são; se uma proposição for verdadeira em todas essas possibilidades, então é verdadeira em todos os mundos possíveis, ou necessariamente verdadeira.
A noção de 'necessidade' é alética (do grego
alétheia, 'verdade'): caracteriza o modo de uma proposição ser verdadeira - o de ser verdadeira em todos os mundos possíveis.