ÍNDICE:
ToggleOs quatro tipos de proposições categóricas
Ao combinarmos a qualidade e a quantidade, identificamos quatro tipos de juízos que terão um papel relevante na teoria das inferências. A importância desses tipos justifica que sejam simbolizados pelas vogais A, E, I, O.
Como os argumentos são tratados na lógica?
Antes de definir esses juízos, é crucial compreender como os argumentos são tratados na lógica. Nesse sentido, a lógica opera com argumentos formalizados, substituindo os conteúdos das proposições ou juízos que compõem o argumento por símbolos, focando apenas na forma das mesmas.
Na lógica aristotélica, que será estudada a seguir, Aristóteles estabeleceu que cada elemento de uma proposição pode ser substituído por um único símbolo.
Para exemplificar, consideremos a proposição:
A Clara é uma menina muito bondosa.

Para formalizar esse 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 empregadas para substituir o Sujeito e o Predicado de qualquer proposição, independentemente do seu conteúdo. (S é P ou S não é P)
Quais são os quatro tipos de proposições categóricas?
Agora, vamos analisar a classificação da combinação das proposições categóricas/juízos em relação à quantidade e qualidade.
Os quatro tipos de proposições categóricas são:
- Universais afirmativos (A): seguem a forma “Todo o S é P”.
Exemplo: “Todos os moçambicanos são cidadãos honrados.” - Universais negativos (E): apresentam a forma “Nenhum S é P”.
Exemplo: “Nenhuma ave tem quatro patas.” - Particulares afirmativos (I): têm a forma “Algum S é P”.
Exemplo: “Alguns filósofos são criativos.” - Particulares negativos (O): seguem a forma “Algum S não é P”.
Exemplo: “Alguns filósofos não são acadêmicos.”
Estas vogais são derivadas das duas primeiras vogais da palavra “AfIrmo” e das duas únicas vogais da palavra “nEgO“.
Em resumo, o juízo e a proposição são classificados de acordo com vários critérios, incluindo a quantidade, a qualidade, a inclusão do predicado no sujeito, a dependência da experiência, a relação ou condição, a modalidade e a matéria.
Os quatro tipos de proposições categóricas (proposições que afirmam ou negam sem reservas) resultam da combinação da quantidade (universal e particular) e da qualidade (afirmativo e negativo).
| Tipo | Quantidade | Qualidade | Exemplos |
| A | Universal | Afirmativa | Todos cães são companheiros. |
| E | Universal | nEgativa | Nenhum cão é companheiro. |
| I | Particular | afIrmativa | Alguns cães são companheiros. |
| O | Particular | Negativa (negO) | Alguns cães não são companheiros. |
Artigos “Lógica II“
Confira estes artigos:
-
Conectivas lógicas ou Operadores lógicos
As conectivas lógicas, também conhecidas como operadores lógicos, são partículas que representam diferentes operações lógicas.
-
Proposições simples e proposições complexas
Este artigo aborda a distinção entre Proposições simples e proposições complexas, explorando sua importância na…
-
A Lógica Proposicional ou Lógica moderna
A lógica proposicional, também conhecida como lógica sentencial, é um ramo da lógica que se…
-
Falácias: conceito, caraterísticas e tipos
Falácia é o termo utilizado para um raciocínio errado que aparenta ser verdadeiro. A origem…
-
Silogismos hipotéticos: condicional, disjuntivo, conjuntivo e dilema
Silogismos hipotéticos são um tipo de silogismo que, ao contrário dos silogismos categóricos, têm a…
-
Classificação dos silogismos
Classificação dos silogismos – Existem dois tipos principais de silogismo: categóricos e hipotéticos
-
Figuras e modos do silogismo
A figura de um silogismo é determinada pelo papel que o termo médio desempenha nas…
-
Silogismo: conceito, estrutura, princípios e regras
O silogismo é uma forma de inferência mediata ou raciocínio dedutivo, desenvolvido por Aristóteles na…
-
Inferências Mediatas (ou Raciocínios)
-Analogia, indução e dedução são três tipos de inferências mediatas ou raciocínios completamente diferenciados. saiba…
-
Inferências Imediatas por Conversão
Inferências imediatas por conversão são um tipo de operação lógica em que as proposições são…
