Necessidade, na lógica e na metafísica, uma propriedade modal de uma proposição verdadeira pela qual não é possível que a proposição seja falsa e de uma proposição falsa pela qual não é possível que a proposição seja verdadeira. Uma proposição é logicamente necessária se instancia uma lei da lógica ou pode ser feita para instanciar uma lei da lógica através da substituição de termos definicionalmente equivalentes. Os exemplos são “Está chovendo agora ou não está chovendo agora” e “Todas as mulheres são seres humanos” (supondo que “mulheres” possam ser substituídas por “seres humanos femininos”). Às vezes, as proposições necessárias são consideradas verdadeiras ou falsas (conforme o caso) em todos os mundos possíveis. Uma proposição contingentemente verdadeira ou falsa é, portanto, verdadeira em alguns mundos possíveis e falsa em outros (por exemplo, "a França é uma democracia"). De acordo com uma visão tradicional, todas as verdadeiras proposições necessárias são analíticas (tautológicas) e conhecíveis a priori (conhecíveis independentemente da experiência). Alguns filósofos reconhecem uma segunda categoria de proposições "metafisicamente" necessárias que não são analíticas e geralmente não são a priori; exemplos incluem declarações de identidade como “Água é H2 O."
epistemologia: proposições necessárias e contingentes
Diz-se que uma proposição é necessária se for verdadeira (verdadeira) em todas as circunstâncias ou condições logicamente possíveis. “Todos os maridos são
