INSPETOR de CIRCUNSTÂNCIAS - 2

Só vamos aplicar o inspetor de circunstâncias aos argumentos de tipo condicional - Modus Ponens ou Modus Tollens.

Esta operação da avaliação realiza-se nestes tipos de argumentos porque a tabela de verdade não permitiu ser conclusiva. 

A tabela de verdade é conclusiva quando se verificam que todos os valores de verdade da coluna do conetor mais abrangente são verdadeiros (tautologia) ou são falsos (contradição). 

Mas pode acontecer serem uns verdadeiros e outros falsos. Neste caso temos uma contingência. (veja bem o que significa contingência!?)

Uma contingência precisa de uma rede mais fina para detetar a validade do argumento. 

por exemplo:

1ª premissa:            ~A -> B      

2.ª premissa:           ~B 

Conclusão:              A  

1º - calcula-se o valor de verdade para cada uma das premissas e para a conclusão, nas colunas respectivas 

2.º - verifica-se se existe uma linha com a situação de        V      V       F   

3.º - se existir o argumento é inválido, pois traduz uma IMPOSSIBILIDADE

4.º - se não existir o argumento válido.

5º - se existir simultaneamente uma linha com valor V V V e outra V V F conta - obviamente - a que traduz a invalidade do argumento.