O significado de verdade “necessária” versus verdade “contingente”
Existe uma tendência histórica na Filosofia a distinguir entre verdades que são necessárias e verdades que são contingentes. Uma verdade necessária é uma proposição verdadeira cuja negação implica contradição, sendo portanto impossível. Logo, se “um mais um é igual a dois” é uma verdade necessária, então, a proposição “um mais um não é igual a dois” será contraditória. Considerando os