Solidez

term: Solidez summary: "Argumento é sólido quando é válido E todas as suas premissas são verdadeiras. Em inglês: soundness." relatedModules: [history-of-logic, propositional-logic] seeAlso: [validade, argumento]

Definição

Um argumento é sólido quando satisfaz duas condições:

1. é válido, e
2. todas as suas premissas são, de fato, verdadeiras.

Em literatura técnica em português, frequentemente se mantém o termo em inglês — soundness — por economia.

Intuição

Validade garante que se as premissas valem, a conclusão também vale. Solidez é validade + premissas verdadeiras. Argumento sólido tem conclusão necessariamente verdadeira.

Por que importa

• Argumento inválido → a conclusão não segue, mesmo se as premissas forem verdadeiras.
• Argumento válido mas não sólido → a conclusão segue da forma, mas alguma premissa é falsa; a conclusão pode ser qualquer coisa.
• Argumento sólido → a conclusão é necessariamente verdadeira.

A lógica formal estuda a validade. A solidez exige conhecimento sobre o mundo — saber se cada premissa é, de fato, verdadeira.

Exemplo

Todo número primo maior que 2 é ímpar. 7 é primo e maior que 2. Logo, 7 é ímpar.

Válido (modus ponens). Premissas verdadeiras. Argumento sólido — conclusão necessariamente verdadeira.