Relatório de estagio

Dedução

PROPOSIÇÕES CATEGÓRICAS

Argumento dedutivo é aquele cujas premissas fornecem provas decisivas para verdade de sua conclusão. Todo argumento dedutivo pode ser válido ou inválido: valido na impossibilidade de suas premissas serem verdadeiras sem que seja verdadeira a sua conclusão e inválido no caso contrário.

O estudo clássico ou aristotélico da dedução fundamentava-se em argumentos que continham proposições de um tipo especial, chamadas proposições categóricas. As proposições desse tipo são habitualmente analisadas como asserções sobre classes, afirmando ou negando que uma classe esteja incluída em uma outra no todo ou em parte.

Há quatro formas típicas de proposições categóricas, as quais são ilustradas pelas quatro proposições seguintes:

1) Todos os políticos são mentirosos.
2) Nenhum político é mentiroso.
3) Alguns políticos são mentiroso.
4) Alguns políticos não são mentirosos. afirmativa.

É A primeira é uma proposição universal uma asserção sobre duas classes, a classe de todos os políticos e a classe de todos os mentirosos, afirmando que a primeira está incluída ou contida na Segunda; isto significa que todo membro da primeira classe é também membro da Segunda.

A Segunda é uma proposição universal negativa. Nega universalmente, que os políticos sejam mentirosos. Fazendo uma asserção sobre as duas classes, vê-se que a primeira está excluída da Segunda - totalmente excluída - o que equivale a dizer que não há membro algum da primeira que seja também membro da Segunda.

A terceira é uma proposição particular afirmativa. Assim o que se afirma nesse caso é que alguns membros da classe de todos os políticos são também membros da classe de todos os mentirosos. Mas não se afirma isso dos políticos universalmente; não se diz, de um modo geral, que todos os políticos são mentirosos; mas apenas, algum político ou alguns políticos em particular.

A Quarta é uma proposição particular negativa. Este exemplo tal como o anterior é