Necessidade, na lógica e na metafísica, uma propriedade modal de uma proposição verdadeira por meio da qual não é possível que a proposição seja falsa e de uma proposição falsa por meio da qual não é possível que a proposição seja verdadeira. Uma proposição é logicamente necessária se ela instanciar uma lei da lógica ou pode ser feita para instanciar uma lei da lógica por meio 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” (assumindo que “mulheres” podem ser substituídas por “seres humanos femininos”). As proposições necessárias às vezes são ditas verdadeiras ou falsas (conforme o caso) em todos os mundos possíveis. Uma proposição contingentemente verdadeira ou falsa é, portanto, aquela que é 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 proposições verdadeiras necessárias são analíticas (tautólogas) 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 a priori; exemplos incluem declarações de identidade como “Água é H2 O. ”
Leia mais sobre este tópico epistemologia: proposições necessárias e contingentes ”Uma proposição é considerada necessária se ela se mantém (é verdadeira) em todas as circunstâncias ou condições logicamente possíveis. “Todos os maridos são ... Este artigo foi revisado e atualizado mais recentemente por Brian Duignan, Editor Sênior.
