123

Anotacoes

• Subtema: Proposições Categóricas Ao combinarmos a qualidade e a quantidade, encontramos quatro tipos de juízos que desempenham um papel importante na teoria das inferências, que abordaremos mais adiante. A sua importância justifica que sejam simbolizados pelas vogais A, E, I, O. Antes de definir estes juízos, é importante entender como a lógica trabalha com argumentos formalizados, substituindo por símbolos os conteúdos das proposições ou juízos que compõem o argumento. Na lógica aristotélica, cada elemento de uma proposição é substituído por um só símbolo. Por exemplo, na frase "A clara é uma mera turba bordea", temos: - Sujeito: A clara - Cópula: é - Predicado: uma mera turba bordea Para formalizar este juízo, substituímos os termos por letras ou símbolos, obtendo a forma de proposição: - Sujeito Cópula Predicado: S é/não é P As formas S e P podem ser utilizadas em substituição do Sujeito e Predicado de qualquer proposição, independentemente do conteúdo da mesma (S é P/S não é P). • Subtema: Classificação das Proposições Categóricas Vejamos agora a classificação das proposições categóricas/juízos no que se refere à quantidade e qualidade: - Universais afirmativos (A): s...