O documento discute a noção de validade formal em lógica. Um argumento é válido quando as premissas necessariamente levam à conclusão - ou seja, se as premissas forem verdadeiras, a conclusão não pode ser falsa. Dois exemplos ilustram argumentos válidos e inválidos. A validade de um argumento é testada imaginando se a conclusão pode ser falsa enquanto as premissas permanecem verdadeiras.
2. A noção de validade relevante para a
Lógica que iremos estudar é a noção de
validade formal.
3. O que é a noção de validade?
Por validade (que apenas se aplica a
argumentos ou raciocínios e não a
proposições ou juízos) querer-se-á dar
conta de uma certa relação que as
premissas e a conclusão de um
argumento têm.
4. Um argumento é válido quando a
conclusão do argumento se segue das
premissas do argumento. Por se segue
querer-se-á dizer, quando de premissas
verdadeiras a conclusão obtida não pode
ser falsa.
5. Por exemplo:
Premissa 1 ‘As províncias angolanas ficam
em África’.
Premissa 2‘Benguela é uma província
angolana’.
Conclusão ‘Benguela fica em África’.
O argumento é válido, não porque as
premissas são verdadeiras e a conclusão,
mas porque se a conclusão for falsa, pelo
menos uma das premissas também o será.
6. Ou seja, se Benguela não fica em África,
então ou as províncias angolanas não
ficam em África ou Benguela não é uma
pronvíncia africana. Caso as províncias
angolanas fiquem em África e caso
Benguela seja uma província africana;
então NECESSARIAMENTE Benguela fica
em África.
7. Outro exemplo:
Premissa ‘Luanda é a capital de Angola ou é a maior
cidade de Angola’
Conclusão ‘Luanda é a capital de Angola’.
Apesar de a premissa e a conclusão do argumento
serem verdadeiras, o argumento é inválido.
Porque: Luanda pode ser a maior cidade de Angola e,
portanto, a premissa ser verdadeira, e ainda assim,
Luanda não ser a capital de Angola.
8. Resumindo:
Para testarmos a validade de um argumento temos de
fazer um exercício hipotético e responder à seguinte
questão: se a conclusão do argumento for falsas as
premissas podem ser todas (simultaneamente)
verdadeiras?
Resposta afirmativa: argumento inválido.
Resposta negativa: argumento válido.