Determinar a validade de argumentos

Testar a validade dos argumentos é o objetivo final da lógica. Mas, para isso, precisamos de determinar a sua forma lógica. Uma vez concluída esta tarefa inicial (a que os exercícios anteriores incluídos nesta página se dedicaram), construímos uma tabela que nos permita verificar se a forma lógica do argumento que queremos pôr à prova passa, ou não, o teste de validade.

Sabemos o que se entende por validade dedutiva. Há pelo menos duas maneiras de expressar esta ideia:

1. Um argumento é válido quando é impossível a conclusão ser falsa caso todas as suas premissas sejam verdadeiras.

2. Um argumento é válido quando a verdade da conclusão é uma consequência lógica da verdade das premissas.

Estas duas maneiras de expressar a ideia de validade dedutiva são equivalentes. Ambas dizem-nos que se for possível uma dada forma de argumento ter premissas verdadeiras e conclusão falsa, então essa forma de argumento é inválida. As tabelas que vamos contruir para testar a validade dos argumentos destinam-se a mostrar-nos se esta situação pode, ou não, acontecer.

Exercícios

Soluções

Deixe uma resposta

O seu endereço de email não será publicado. Campos obrigatórios marcados com *