Validade

term: Validade summary: "Argumento é válido quando é impossível que todas as premissas sejam verdadeiras e a conclusão falsa. Validade é forma, não conteúdo." relatedModules: [history-of-logic, propositional-logic] seeAlso: [argumento, solidez, contrapositiva]

Definição

Um argumento é válido quando é impossível que todas as premissas sejam verdadeiras e a conclusão seja falsa. A validade é uma propriedade estrutural — depende da forma, não do conteúdo.

Intuição

Validade é o type-check do raciocínio. O compilador verifica se a estrutura está correta, não se os valores em runtime serão sensatos. Um argumento pode ser válido com premissas absurdas:

Todo gato voa. Sócrates é um gato. Logo, Sócrates voa.

A forma é impecável (modus ponens generalizado). As premissas são falsas. O argumento é válido, mas não é sólido. Veja solidez.

Validade vs verdade

• Validade é propriedade do argumento (forma).
• Verdade é propriedade das proposições individuais (conteúdo).

Argumentos não são verdadeiros ou falsos; são válidos ou inválidos. Proposições não são válidas ou inválidas; são verdadeiras ou falsas. Confundir os dois é a confusão estrutural mais comum em discussões de lógica.

Registro computacional

Validade ≈ corretude de tipos. Um programa pode estar bem tipado e ainda assim produzir resultados absurdos se os dados de entrada estiverem errados.