21 de Abril, 2015 Carlos Esperança
Prova da existência de Deus
«A verdade por vacuidade é uma afirmação que diz que todos os elementos de um conjunto vazio têm uma certa propriedade. Por exemplo, na sentença “todos os telefones na sala estão desligados” pode ser verdade pois não existem telefones na sala e a sentença “todos os telefones na sala estão ligados” poderia também ser verdade, e por vacuidade, poderia ser verdade a conjunção das duas sentenças: “todos os telefones na sala estão ligados e desligados”.
Mais formalmente, um uso relativamente bem definido refere-se a uma sentença condicional com um antecedente falso numa implicação. Um exemplo desse tipo de sentença é “se Ayers Rock está na França, então a Torre Eiffel está na Bolívia”. Tais sentenças são consideradas verdadeiras por vacuidade pois o fato do antecedente ser falso evita o uso de uma sentença para inferir algo sobre o valor-verdade do consequente. Eles são verdade pois uma condicional material está definida para ser verdade quando o antecedente é falso (independentemente se a conclusão é verdadeira ou não).
Na matemática pura, sentenças verdadeiras por vacuidade não são de interesse quando sozinhas, mas elas frequentemente surgem como o caso base de provas de indução matemática. Essa noção tem tanta relevância quanto qualquer outra área que utiliza a lógica clássica.
Fora da matemática, sentenças que podem ser informalmente caracterizadas como verdadeiras por vacuidade, podem ser enganosas. Tais sentenças fazem afirmações sobre objetos qualificados que na verdade não existem. Por exemplo, uma criança pode dizer para seus pais “Eu comi todos os vegetais do meu prato”, mesmo que não existam vegetais no seu prato. (Mais precisamente, porém estranho: “Eu não deixei nenhum vegetal no meu prato (ou seja, “restos), contra a afirmação implícita (“Eu comi X”) de um evento que não existe».
