1

ARGUMENTAO E LGICA FORMAL

A. Distino validade verdade
0. Definio de Lgica: Lgica o estudo do raciocnio vlido. Examina as
formas da argumentao para distinguir argumentos (ou raciocnios) vlidos
dos falaciosos (no vlidos).
1. Conceito e termo
1.1. Conceito: representao, ao nvel do entendimento ou da mente e de
forma abstracta, de objectos da mesma espcie. uma ideia geral que
contm aquilo que h de comum e permanente numa da espcie de
seres.
1.1.1. Exemplos de conceitos:
Conceitos concretos: co, gato, homem, carro, povo, etc.
Conceitos abstractos: bem, justo, belo, verdadeiro, tringulo, etc.
1.2. Termo: expresso lingustica que designa um conceito
1.2.1. Exemplos da relao entre conceito e termo:
Conceito rvore pode ser designado por mltiplos termos: arbl
(espanhol), tree (ingls), arbre (francs), Baum (alemo).
Termos encarnado e vermelho designam, na lngua portuguesa, o
mesmo conceito.
Termo banco pode designar, na lngua portuguesa, conceitos
diferentes: uma instituio bancria ou um objecto com
determinadas caractersticas onde as pessoas se sentam.
Nota: ns pensamos com conceitos, mas precisamos dos termos para
lhe dar uma denominao e poder comunicar o nosso pensamento
(seja aos outros, seja a ns mesmos)
1.3. Compreenso e extenso dos conceitos
1.3.1. Compreenso de um conceito: conjunto de propriedades que
atribumos a uma espcie ou classe de seres.
Compreenso do conceito homem: a compreenso deste conceito
contm as propriedades que so comuns a todos os homens: a
animalidade e a racionalidade. Todos os homens so animais racionais.
1.3.2. Extenso de um conceito: conjunto de seres singulares abrangidos
pelo conceito.
Extenso do conceito homem: a extenso deste conceito contm
todos os seres humanos (existentes, passados e futuros).
1.3.3. Regra da relao entre compreenso e extenso: quanto maior a
compreenso menor a extenso.
1.3.3.1. Exemplos
a) Compreenso: animal racional
Extenso: todos os
homens
b) Compreenso: animal racional masculino
Extenso: todos os
elementos masculinos da
espcie
c) Compreenso: animal racional feminino branco
Extenso:
todos
os
elementos
Lgica 11. ano

2
femininos de raa branca
da espcie

Lgica 11. ano

3
2. Juzo e Proposio
2.1. Juzo: Juzo uma operao lgica onde se estabelece a relao entre
dois conceitos.
2.1.1. Exemplos de Juzos:
Alguns homens so brancos (estabelece uma relao entre os
conceitos de homem e de branco).
Nenhum gato deputado (estabelece uma relao (negativa) entre os
conceitos de gato e de deputado.
2.2. Proposio: a expresso verbal ou lingustica de um juzo. Podemos
dizer, por comodidade e como o faz o manual (p. 30), que um juzo uma
proposio categrica.
2.3. Estrutura do juzo ou da proposio categrica
Um juzo ou proposio categrica composto por: quantificador,
sujeito, cpula e predicado. Considere-se o seguinte juzo: Todos os
gatos so pardos.
Todos
quantificador

os gatos
sujeito

so
cpula

pardos
predicado

2.3.1. Definies dos elementos estruturais de um juzo:

Quantificador: indica a quantidade (universal ou particular) do juzo.
Note bem: a quantidade do sujeito que determina a quantidade do
juzo.
Sujeito: conceito acerca do qual se nega ou afirma uma determinada
propriedade ou qualidade.
Cpula: estabelece afirmando ou negando a relao entre o sujeito
e o predicado.
Predicado: conceito que refere uma certa qualidade ou propriedade a
atribuir ou negar ao sujeito.
2.4. As formas dos juzos ou proposies categricas e a lgica silogstica: a
lgica silogstica estuda apenas argumentos constitudos por proposies
que tenham qualquer uma das seguintes quatro formas lgicas:

Todos os A so B.
Nenhuns A so B.
Alguns A so B.
Alguns A no so B.

TIPO
A
E
I
O

(Proposio universal afirmativa)

(Proposio universal negativa)
(Proposio particular afirmativa)
(Proposio particular negativa)

QUANTIDADE/QUALIDADE
DA PROPOSIO
Universais afirmativas
Universais negativas
Particulares afirmativas
Particulares negativas

EXEMPLO ABSTRACTO
Todos os A so B
Nenhuns A so B
Alguns A so B
Alguns A no so B

2.5. Distribuio de um termo nas proposies: um termo est distribudo

quando se encontra na sua mxima extenso, isto , universal.
2.5.1. Distribuio de um termo na posio de sujeito (s) e de predicado (p):
Lgica 11. ano

Sujeito na proposio
Todos os homens so mortais (Todos os A
so B).
Nenhuns homens so mortais (Nenhuns A
so B).
Alguns homens so mortais (Alguns A so
B).
Alguns homens no so mortais (Alguns A
no so B).

Distribuio
Sujeito distribudo;
Predicado no distribudo.
Sujeito distribudo;
Predicado distribudo.
Sujeito no distribudo;
Predicado no distribudo.
Sujeito no distribudo;
Predicado distribudo.

Nota: A) Nas proposies ou juzos afirmativos (sejam universais ou

particulares) o predicado particular (no est distribudo); B) Nas
proposies ou juzos negativos (sejam universais ou particulares) o
predicado universal (est distribudo).
2.5.2. Colocar na forma cannica ou forma padro: significa transformar
uma frase declarativa que est na linguagem comum numa proposio
lgica. Exemplo: Os homens morrem (linguagem comum) -> Todos os
homens so mortais (proposio lgica universal afirmativa). Isto aplica-se
tambm nos casos das universais afirmativas, das particulares afirmativas e
das particulares negativas.
3. Silogismo (raciocnio silogstico)
3.1. Raciocnio: uma operao lgica do intelecto ou entendimento, na
qual se utiliza uma ou vrias proposies para justificar uma outra, que
funciona como tese ou concluso.
3.1.1. Silogismo: um raciocnio composto por trs proposies
declarativas. Uma funciona como Premissa maior, outra como
Premissa menor e a terceira como concluso.

Premissa Maior
Premissa Menor
Concluso

Exemplo de silogismo
Todos os homens so mortais.
Todos os portugueses so homens.
Logo, Todos portugueses so mortais.

3.1.2. A definio de silogismo inclui, para alm da composio de

trs proposies declarativas e respectivas funes, os termos que
compem as proposies: Termo maior (presente na premissa maior e
na concluso como predicado); Termo mdio (presente nas premissas
maior e menor); Termo menor (presente na premissa menor e na
concluso como sujeito).
3.1.3. Definio de silogismo: um raciocnio (ou argumento)
dedutivo composto por trs proposies [Premissa Maior (P), Premissa
menor (p) e Concluso (c)] e por trs termos [Maior (T), Mdio (M) e
Menor (t)], os quais se estruturam dois a dois nas proposies,
conforme o quadro seguinte:
Lgica 11. ano

5
Proposies
Premissa Maior (P)
Premissa menor (p)
Concluso (c)

Termos contidos nas proposies

Maior (T), Mdio (M) [a ordem varivel].
Menor (t), Mdio (M) [a ordem varivel].
Menor (t), Maior (T) [obrigatoriamente por
esta ordem].

3.1.4. Processo do raciocnio (ou argumento) silogstico: num

silogismo vlido, a concluso decorre necessariamente das premissas
maior e menor. Nas premissas, o termo maior (predicado na
concluso) e o termo menor (sujeito na concluso) so relacionados
com o termo mdio. Sem a relao com o termo mdio no era
possvel extrair uma concluso (esta sempre uma relao entre o
termo menor e o termo maior).
4. Validade e verdade
4.1. A verdade no diz respeito aos raciocnios, mas ao contedo dos juzos.
4.1.1. Juzos so frases declarativas que possuem valor de verdade (podem
ser falsos ou verdadeiros).
Juzo
Todos os homens so mortais
Todos os gorilas so imortais

Valor de verdade
V
F

4.1.1.1. S os juzos possuem valor de verdade.

4.2. A validade diz respeito ao raciocnio (ou argumentos).
4.2.1. Os raciocnios (ou argumentos) podem ser vlidos ou invlidos
(falaciosos).
Raciocnio
Todos os mamferos so gatos.
Nenhum co gato.
Logo, nenhum co mamfero.

Todos os gatos so mamferos.

Nenhum co gato.
Logo nenhum co mamfero.

Validade
Vlido
(porque a concluso
decorre
necessariamente das
premissas).
Invlido
(a concluso no
deriva das premissas;
comete a falcia da
ilcita maior)

4.2.1.1. S os raciocnios (ou argumentos) possuem validade ou so

falaciosos.
4.3. Um raciocnio (ou argumento) consistente se for vlido e as suas
premissas forem verdadeiras. Neste caso, a concluso que um juzo
ou proposio ser necessariamente verdadeira.
B. Formas de inferncia vlida (lgica aristotlica)
0. Figuras e modos: Figuras e modos so formas de classificao dos
silogismos.
Lgica 11. ano

6
1. Figuras do silogismo: so as formas que o silogismo pode tomar devido
posio (sujeito ou predicado) do termo mdio nas premissas maior e
menor.
1.1. So possveis quatro (4) figuras do silogismo:

Lgica 11. ano

Figura
1.

figura:

SP
2.

figura:

figura:

SS
4.

PS

Todo o homem mortal.

Todos os portugueses
homens.

so

Logo, todos os portugueses so

mortais.

PP
3.

Posio do termo
mdio

Exemplo (silogismo)

figura:

Todo o homem racional.

Nenhum co racional.
Logo, nenhum co homem.
Todos
os
homens
so
racionais.
Todos os homens so mortais.
Logo, alguns mortais so
racionais
Todos
os
europeus
so
homens.
Todos os homens so animais.
Logo, alguns animais so
europeus.

Sujeito
na
maior.
Predicado na
menor.

premissa
premissa

O
termo
mdio

predicado nas premissas

maior e menor.
O termo mdio sujeito
nas premissas maior e
menor.
Predicado na
maior.
Sujeito
na
menor.

premissa
premissa

2. Modos do silogismo: o modo do silogismo indica o tipo das trs

proposies do silogismo.
Figura

1.
figura

2.
figura

3.
figura

4.
figura

Exemplo (silogismo)
Todo o homem mortal.
Todos os portugueses
homens.

so

Logo, todos os portugueses so

mortais.

Todo o homem racional.

Nenhum co racional.
Logo, nenhum co homem.
Todos
os
homens
so
racionais.
Todos os homens so mortais.
Logo, alguns mortais so
racionais
Todos
os
europeus
so
homens.
Todos os homens so animais.
Logo, alguns animais so
europeus.

Tipo da
proposio

Modo do
silogismo

A
A
A

AAA

A
E
E

AEE

A
A
I

AAI

A
A
I

AAI

2.1. So possveis 256 modos de silogismos:

2.1.1. Por cada uma das trs (3) proposies do silogismo existem quatro
possibilidades de combinao quantidade/qualidade (A E I O). Isto
Lgica 11. ano

8
significa que em cada figura existem 64 modos possveis de silogismo
(4x4x4=64).
2.1.2. Como existem 4 figuras do silogismo, ento so possveis 256
(4x64=256) modos possveis de silogismo.
2.1.3. Dos 256 modos possveis do silogismo, apenas dezanove (19) so
vlidos. Todos os outros infringem as regras do silogismo.
2.1.4. Os modos legtimos por figura

Lgica 11. ano

9
Figu
ra
1.

Modos
legtimo
s
AAA
(BAR-BARA)
EAE
(CE-LARENT)

AII
(DA-RI-I)

EIO
(FE-RI-O)

Figu
ra
2.

Modos
legtimo
s
EAE
(CESARE)

AEE
(CAMESTRE
S)

EIO
(FESTINO)

AOO
(BAROCO)

Figu
ra
3.

Modos
legtimo
s
AAI
(DARAPTI)

EAO
(FELAPTON
)

IAI
(DISAMIS)

OAO

Silogismo
Todo o A
Todo o C
Todo o C
Nenhum
Todo o C
Nenhum

B
A
B
AB
A
CB

Todo o A B
Alguns C so A
Alguns C so B

Tipo de
proposio
A
A
A
E
A
E
A
I
I

Nenhum A B
Alguns C so A
Alguns C no so
B

E
I
O

Silogismo

Tipo de
proposio

Nenhum A B
Todo o C B
Nenhum C A
Todo o A B
Nenhum C B
Nenhum C A
Nenhum A B
Alguns C so B
Alguns C no so
A
Todo o A B
Alguns C no so
B
Alguns C no so
A
Silogismo
Todos os A so B
Todos os A so C
Alguns C so B
Nenhum A B
Todo o A C
Alguns C no so
B
Alguns A so B
Todo o A C
Alguns C so B
Alguns A no so

E
A
E
A
E
E
E
I
O
A
O
O
Tipo de
proposio
A
A
I
E
A
O
I
A
I
O
Lgica 11. ano

10

(BOCARDO
)

AII
(DATISI)

EIO
(FERISON)

B
Todos os A so C
Alguns C no so
B
Todos os A so B
Alguns A so C
Alguns C so B
Nenhum A B
Alguns A so C
Alguns C no so
B

A
O
A
I
I
E
I
O

Lgica 11. ano

11

Figu
ra

Modos
legtimo
s
AAI

4.

(BAMALIP)

AEE
(CALEMES)

IAI
(DIMATIS)

EAO
(FESAPO)

EIO
(FRESISON)

Silogismo

Tipo de
proposio

Todo o A B
Todo o B C
Alguns C so A
Todo A B
Nenhum B C
Nenhum C A
Alguns A so B
Todo o B C
Alguns C so A
Nenhum A B
Todo o B C
Alguns C no so
A
Nenhum A B
Alguns B so C
Alguns C no so
A

A
A
I
A
E
E
I
A
I
E
A
O
E
I
O

3. Regras do Silogismo: o silogismo apresenta oito (8) regras, das quais

quatro (4) dizem respeito aos termos e quatro (4), s premissas.
3.1. Regras referentes aos termos
3.1.1. Todo silogismo contm somente 3 termos: maior, mdio e menor;
3.1.2. Os termos da concluso no podem ter extenso maior que os termos
das premissas;
3.1.3. O termo mdio no pode entrar na concluso;
3.1.4. O termo mdio deve ser universal ao menos uma vez;
3.2. Regras referentes s premissas
3.2.1. De duas premissas negativas, nada se conclui;
3.2.2. De duas premissas afirmativas no pode haver concluso negativa;
3.2.3. A concluso segue sempre a premissa mais fraca;
3.2.4. De duas premissas particulares, nada se conclui.
4. Falcias do silogismo:
4.1. Falcia da ilcita maior. Esta falcia resulta da violao da seguinte
regra: Os termos da concluso no podem ter extenso maior que os
termos das premissas. No caso da ilcita maior, o termo maior mais
extenso na concluso do que na premissa maior. Exemplo:
Todos os gatos so mamferos.
mamfero, particular)
Nenhum co gato.
Logo, nenhum co mamfero.
mamfero, universal).

(o

termo

maior,

(o

termo

maior,

Lgica 11. ano

12
4.2. Falcia da ilcita menor. Esta falcia resulta da violao da seguinte
regra: Os termos da concluso no podem ter extenso maior que os
termos das premissas. No caso da ilcita menor, o termo menor mais
extenso na concluso do que na premissa menor. Exemplo:
Todos os romanos so habitantes de Roma
Todos os romanos so italianos
(o
italianos, particular)
Logo, todos os italianos so habitantes de Roma (o
italianos, universal)

termo

menor,

termo

menor,

4.3. Falcia do termo mdio no distribudo. Esta falcia resulta da

violao da seguinte regra: O termo mdio deve ser universal ao menos
uma vez. Quando ocorre esta falcia, o termo mdio apresenta-se como
particular em ambas as premissas.
Alguns gatos so omnvoros.
Todos os herbvoros so gatos.
Logo, todos os herbvoros so omnvoros

Lgica 11. ano