I.

Lgica formal
Percurso A Lgica aristotlica

Definio de proposio categrica

Uma proposio categrica uma frase sujeito-predicado. composta por dois
termos (sujeito e predicado) ligados por uma cpula (negativa ou no).



Os termos gerais podem ocorrer tanto no lugar de sujeito como no de predicado.
Os termos singulares s podem ocorrer no lugar de sujeito.

Extenso e compreenso dos termos

A extenso de um termo o conjunto dos indivduos ao qual se aplica.
Corresponde a todos os seres que o termo abarca. A extenso do termo gato
domstico, por exemplo, corresponde totalidade dos indivduos que so
siameses, persas, gatos comuns europeus, abissnios, sem raa definida, etc.
A compreenso de um termo a propriedade ou conjunto de propriedades
(tambm chamado, por vezes, predicados) que convm ao termo, no sentido
de permitirem defini-lo por relao com outros termos. A compreenso do
termo gato domstico, por exemplo, remete para o conjunto de propriedades
que caracterizam os seres em causa: vertebrado, mamfero, carnvoro, feldeo,
etc.

Extenso e compreenso variam na razo inversa, isto , quanto maior for a
extenso de um termo geral, mais nmeros sero os indivduos a que se aplica e, por
conseguinte, menor o nmero de propriedades comuns a todos os indivduos da classe.
Inversamente quanto mais restrita for a extenso de um termo geral, menos numerosos so
os indivduos que designa e, portanto, maior ser a compreenso desse termo geral.



S
Sujeito
Termo
(no )
Cpula
Partcula de ligao
P
Predicado
Termo
Aminal
Vertebrado
Mamfero
Pantufa
Compreenso
Extenso
Animal
Vertebrado
Mamfero
Pantufa
Classes vazias so termos gerais que no possuem indivduos para
constituir. Por isso diz-se esses indivduos so termos vazios, e a sua
extenso a classe vazia.

Classificao das proposies categricas

Qualidade (depende da cpula)
Afirmativa Negativa



Quantidade
(corresponde
extenso do
sujeito)

Universal
Todo o S P
Todas as maas so doces
Universal afirmativa
Tipo A
Nenhum S P
Nenhuma maa doce
Universal negativa
Tipo E

Particular
Algum S P
Algumas maas so doces
Particular afirmativa
Tipo I
Algum S no P
Algumas maas no so doces
Particular negativa
Tipo 0

Distribuio dos termos nas proposies categricas

Um termo diz-se distribudo quando se faz referencia a todos e a cada um
dos elementos da classe que representa. Pode dizer-se, igualmente, que o
termo tomado em toda a sua extenso (ou seja, universalmente
considerado)
Diz-se que um termo no se encontra distribudo quando se faz referencia
apenas a um ou mais dos elementos da classe que representa. Nesse caso,
podemos dizer que o termo no tomado em toda a sua extenso (ou seja,
particularmente considerado.

Predicado
No distribudo
(Particular considerado)
Distribudo
(Universalmente considerado)



Sujeito

Distribudo
(universalmente
considerado)
Todo o S P
Tipo A
O sujeito est distribudo mas
o predicado no.





Nenhum S P
Tipo E
Tanto o sujeito como o
predicado esto distribudos.

No distribudo
(Particular
considerado)

Algum S P
Tipo I
Nem o sujeito nem o predicado
esto distribudos.

Existe pelo menos um objeto
(X) que S e P.
Algum S no P
Tipo 0
O sujeito no est distribudo
mas o predicado est.





Existe pelo menos um objeto
(X) que S e no P, de tal
P
S

P

S

X S

P

S
xxX

P
modo que nenhum dos objetos
que so P esse objeto



Definio de silogismo categrico

Termo partilhado pelas premissas, d-se o nome de termo mdio.
Estabelece a ligao entre as premissas e um termo em comum e no
ocorre na concluso.
O sujeito da concluso, d-se o termo menor. A premissa que o contm a
premissa menor.
O predicado da concluso, d-se o termo maior. A premissa que o inclui a
premissa maior.

Classificao dos silogismos categricos em figuras e modos

Figuras Descrio Exemplo Esquema
Primeira-figura
(sujeito-
predicado)
O termo mdio
sujeito na premissa
maior e predicado na
premissa menor.
Todos os mamferos so animais.
Todos os ornitorrincos so
mamferos.
Logo, todos os ornitorrincos so
animais.
M-P
S-M
S-P
Segunda-figura
(predicado-
predicado)
O termo mdio
predicado em ambas
as premissas.
Todos os troianos so mortais.
Aquiles no mortal.
Logo, Aquiles no troiano.
S-M
S-M
S-P
Terceira-figura
(sujeito-sujeito)
O termo mdio
sujeito em ambas as
premissas.
Todos as estrelas tm luz prpria.
Todas as estrelas so astros.
Logo, alguns tm luz prpria.
M-P
M-P
S-P
Quarta-figura
(predicado-
sujeito)
O termo mdio
predicado na premissa
maior e sujeito na
menor.
Os filsofos so crticos.
Nenhum crtico dogmtico.
Logo, nenhum dogmtico filsofo.
S-M
M-P
S-P

Para podermos apontar o modo do silogismo, precisamos apenas de saber
identificar o tipo das proposies por que constitudo.

Regras de validade e falcias do silogismo categrico



Conceito nuclear:

Falcia: Qualquer erro de raciocnio que, muitas vezes, passa despercebido. A
diviso mais comum distingue falcias formais quando um mau argumento pretende ser um
raciocnio dedutivo vlido, no o sendo, ou seja, quando a invalidade perceptvel unicamente
com base na prpria estrutura do argumento- e falcias informais (que incluem outro tipo de
erros argumentativos). A falcias formais no preservam a verdade, uma vez que a estrutura
do argumento no garante uma concluso verdadeira a partir de premissas verdadeiras.

Regra 1

Um silogismo categrico tem trs termos e s trs termos: maior, menor e
mdio.

Regra 2

Nenhum termo pode ser considerado em maior extenso na concluso do que
nas premissa.
Regra 3

O termo mdio tem de ocorrer distribudo nas premissas pelo menos uma vez.

Regra 4

A concluso nunca pode conter o termo mdio.

Regra 5

Pelo menos uma das premissas tem de ser afirmativa.

Regra 6

De duas premissas afirmativas no se pode retirar uma concluso negativa.

Regra 7

Pelo menos uma das premissas tem de ser universal.

Regra 8

A concluso do silogismo segue sempre a parte mais fraca.