1

UNICAP – CTCH – Curso de Filosofia – LÓGICA – Profa. Eleonoura Enoque da Silva

Teoria do Silogismo Categórico

Notas de Aula

Proposições Categóricas

Vogal associada – Tipo de Proposição categórica – Estrutura

A – Universal Afirmativa - Todos os S são P .
E – Universal Negativa - Nenhum S é P .
I – Particular Afirmativa - Algum S é P
O – Particular Negativa - Algum S não é P

Figuras do Silogismo

1ª Figura 2ª Figura 3ª Figura 4ª Figura

PM M_ P P_ M M_ P P_ M
Pm S _ M S _ M M _ S M _ S
C  S _ P  S_ P  S _ P  S_ P

PM: Premissa maior; Pm: Premissa menor; C: Conclusão

M: termo médio; S: termo sujeito; P: termo predicado.

Indicadores de Inferência

Alguns dos indicadores de inferências mais usuais são:

Indicadores de Premissas (abreviado por I.P): pois, porque, mas, etc.
Indicadores de Conclusão (abreviado por I.C): logo, portanto, assim, etc.

Lista de alguns indicadores de inferências

Indicadores de Conclusão (I.C) Indicadores Premissas (I.P)

Logo..., Portanto..., Dessa forma...
Assim..., Conseqüentemente..., O que prova que...
Justifica a crença de que..., Concluo que...
Segue-se que..., ...o que implica que...
...o que nos permite inferir que...,
...deduz-se disso que...
...Estabelece o fato de que...
...Demonstra que...
Por isso..., Dessa maneira, Neste caso, Daí,
De modo que, então, Assim sendo, Deste modo
Por isso, Resulta que, Podemos deduzir que
Porque..., Pois..., Já que..., Uma vez que...
Segue-se do fato de que..., A razão é que...
Em primeiro lugar..., em segundo lugar...
Pode ser inferido do fato de que...
Ora.., Visto que..., E...
Mas..., Como
Assumindo que, Desde que
Admitindo que, Como conseqüência de
Dado que, Sabendo-se que, Supondo que

Quantificadores

Palavras e expressões que representam os quantificadores:

- Universal – todo (s), toda (s), qualquer, nenhum, nenhuma

- Particular: algum, alguma(s), alguns, existe, há, existe pelo menos um, algo

Teoria do Silogismo - Notas de Aula – Profa. Eleonoura Enoque da Silva

 2

QUADRADO DAS OPOSIÇÕES

As relações entre as proposições categóricas pelo Quadrado das Oposições são:

CONTRÁRIAS, SUBCONTRÁRIAS, CONTRADITÓRIAS, SUBALTERNAS.

CONTRÁRIAS ( A e E ): duas proposições categóricas universais que diferem em qualidades (afirmativa

ou negativa). Essas proposições não podem ser ambas verdadeiras, mas podem ser ambas falsas.
Esta regra geral pode ser decomposta em quatro sub-regras:
1) Se A é verdadeira, então E é falsa.
2) Se E é verdadeira, então A é falsa.
3) Se A é falsa, então não há conclusão para E (verdadeira ou falsa).
4) Se E é falsa, então não há conclusão para A (verdadeira ou falsa).

SUBCONTRÁRIAS ( I e O ): duas proposições categóricas existenciais que diferem em qualidade

(afirmativa e negativa). Essas proposições não podem ser ambas falsas.
Esta regra geral pode ser decomposta em quatro sub-regras:
1) Se I é verdadeira, então não há conclusão para O (verdadeira ou falsa).
2) Se I é falso, então O é verdadeiro.
3) Se O é verdadeira, então não há conclusão para I.
4) Se O é falsa, então I é verdadeira.

CONTRADITÓRIAS ( A e O - E e I ): duas proposições categóricas que não podem ser ambas

verdadeiras nem ambas falsas.

SUBALTERNAS: ( A e I - E e O ): são proposições que diferem pela quantidade.

As regras para as proposições subalternas é a própria expressão do princípio do 3º excluído: “todo enunciado
deve ser verdadeiro ou falso”. As regras são as seguintes:
1) Se a universal é verdadeira, então a existencial correspondente é verdadeira.
2) Se a existencial é falsa, então a universal correspondente é falsa.
3) Se a existencial é verdadeira, então não podemos concluir nada quanto à verdade ou à falsidade da
universal correspondente.
4) Se a universal é falsa, então não podemos concluir nada quanto à verdade ou falsidade da existencial
correspondente.

Teoria do Silogismo - Notas de Aula – Profa. Eleonoura Enoque da Silva