LGICA FORMAL

LGICA ARISTOTLICA1
O QUE A LGICA FORMAL?
Lgica Formal - estudo das condies de
coerncia do pensamento e do discurso.
A lgica formal estuda argumentos,
procurando estabelecer a relao entre a
forma de um argumento e a sua validade.
A lgica ensina a distinguir argumentos de
no-argumentos e argumentos vlidos de
argumentos no-vlidos.

2
 A lgica faz parte do nosso cotidiano. Na
famlia, no trabalho, no lazer, nos encontros
entre amigos, na poltica, sempre que nos
dispomos a conversar com as pessoas
usamos argumentos para expor e defender
nossos pontos de vista.

Os pais discutem com seus filhos

adolescentes sobre o que podem ou no
fazer, e estes rebatem com outros
argumentos.
3
 Se assim , tanto melhor que saibamos o
que sustenta nossos raciocnios, o que os
torna validos e em que casos so incorretos.
O estudo da lgica serve para organizar as
ideias de modo mais rigoroso, para que no
nos enganemos em nossas concluses.

4
 Vamos aqui examinar como surgiu a lgica
na Antiguidade Grega.
Embora os sofistas e tambm Plato tenham
se ocupado com questes lgicas, nenhum
deles o fez com a amplitude e o rigor
alcanados por Aristteles (sc. IV a.C.). O
prprio Filsofo, porm, no denominou
seu estudo de lgica, palavra que s
apareceu mais tarde, talvez no sculo
seguinte, com os estoicos.

5
 A ETIMOLOGIA

Lgica.
Do grego logos, palavra
"expresso", "pensamento",
"conceito", "discurso", "razo".

6
 A obra de Aristteles dedicada a lgica
chama-se Analticos e, como o prprio
nome diz, trata da analise do pensamento
nas sua partes integrantes.

Essas e outras obras sobre lgica foram

reunida com o titulo de Organon, que
significa instrumento e, no caso,
instrumento para se proceder corretamente
no pensar.

7
Vejamos o que significa a lgica, como
instrumento do pensar.

O estudo dos mtodos e princpios da

argumentao;
A investigao das condies em que a concluso
de um argumento se segue necessariamente de
enunciados iniciais, chamados premissas;
O estudo que estabelece as regras da forma
correta das operaes do pensamento e identifica
as argumentaes no vlidas.

8
LINGUAGEM PENSAMENTO

Termo ----------------------------------------------------------------Conceito

Proposies--------------------------------------------------------------Juzo

Argumento---------------------------------------------------------Raciocnio

VAMOS ENTENDER COMO FUNCIONA OS FUNDAMENTOS

QUE COMPEM A LGICA FORMAL.
LEMBRANDO QUE SER CONSTITUIDO VRIOS PASSOS
AT CHEGARMOS NA FORMULAO LOGICA DE UM
SILOGISMO CATEGRICO.

9
 1 - TERMO E PROPOSIO
A proposio um enunciado no qual afirmamos
ou negamos um termo (um conceito) de outro.
Podem ser verdadeiras ou falsas.
Em um dado sistema lgico, um termo um nome
associado a um objeto do universo de discurso.

Na lgica aristotlica uma proposio um tipo

particular de sentena, a saber, aquela que afirma
ou nega um predicado de um sujeito.

10
 No exemplo:
Todo co mamfero
(Todo C M)
temos uma proposio em que o
termo
mamfero afirma-se do termo
co.
11
 2 - QUALIDADE E QUANTIDADE
As proposies podem ser distinguidas pela
Qualidade e pela Quantidade:
Quanto qualidade so: afirmativas ou negativas:
Todo C M ou Nenhum C M

Quanto quantidade so: universais ou particulares.

Podem ser singulares caso se refiram a um s indivduo;
Todo C M; Algum C M; Este C M,
respectivamente.

12
 EXERCITANDO:
A QUANTIDADE E QUALIDADE DAS SEGUINTES
PROPOSIES:

Todo co mamfero: UNIVERSAL AFIRMATIVA

Nenhum animal mineral: UNIVERSAL NEGATIVA

Algum metal no solido: PARTICULAR NEGATIVA

Scrates mortal: SINGULAR AFIRMATIVA

Algum poltico no corrupto:PARTICULAR NEGATIVA

Todo brasileiro no sbio: UNIVERSAL NEGATIVA

13
 Classificar as proposies quanto
quantidade e qualidade

Tipos de
Proposio

Universais Particulares
(Todos; Nenhum) (Alguns)

Afirmativas Negativas Afirmativas Negativas

() (no ) () (no )

14
 PARA FICAR CLARO!!!
TEMOS AS SEGUINTES FORMAS:

UNIVERSAL AFIRMATIVA U/A

UNIVERSAL NEGATIVA U/N
PARTICULAR AFIRMATIVA P/A
PARTICULAR NEGATIVA P/N
SINGULAR AFIRMATIVA S/A
SINGULAR NEGATIVA S/N

15
EXERCCIOS DE FIXAO 1 PONTO

FAA NO SEU CADERNO:

3 PROPOSIES - U/A
3 PROPOSIES - U/N
3 PROPOSIES - P/A
3 PROPOSIES - P/N
3 PROPOSIES - S/A
3 PROPOSIES - S/N

16
 3 EXTENSO DOS TERMOS
A extenso a amplitude de um termo,
isto , a coleo de todos os seres que o
termo designa no contexto da
proposio.
fcil identificar a extenso do
sujeito, mas a do predicado exige
maior ateno.

17
 A extenso do predicado mais difcil de
determinar
Todos os falces so aves
Universal Afirmativa (A)

Nesta proposio, o predicado no est distribudo, ou seja

no universal.
A proposio refere todos os falces, mas no refere todas as
aves.
Dizer: Todos os falces so aves equivale a dizer que
algumas aves so falces.

18
Primeira nota importante.

O predicado de uma
proposio afirmativa em
regra geral, particular.

19
 Assim:

QUANTO MAIOR A SUA EXTENSO,

MENOR A SUA COMPREENSO.

QUANTO MENOR A SUA EXTENSO,

MAIOR A SUA COMPREENSO.

20
21
 UNIVERSO
GALXIA
VIA LCTEA
SISTEMA SOLAR
TERRA
CONTINENTE
PAS
ESTADO
CIDADE
BAIRRO
ESCOLA
22
A Distino entre a extenso e a compreenso nos
permite classificar os termos em 3 tipos:

1 Gnero: extenso maior, compreenso menor.

(animal)
2 Espcie: extenso menor, compreenso mdia.
(homem)
3 Individuo: extenso menor, compreenso maior.
(Socrtes)

23
 Segunda nota importante

O predicado de uma
proposio negativa sempre
universal.

24
OBSERVE OS SEGUINTES EXEMPLOS:

Todo paulista brasileiro.

(Todo P B)
Nenhum brasileiro argentino.
(Todo B no A)
Algum paulista solteiro.
(Algum P S)
Alguma mulher no justa.
(Alguma M no J)

25
26
 4 PRINCPIOS DA LGICA
Para compreender as relaes que se estabelecem
entre as proposies, foram definidos os
primeiros princpios da lgica, assim chamados
por serem anteriores a qualquer raciocnio e
servirem de base a todos os argumentos. Por
serem princpios, so de conhecimento imediato
o, portanto, indemonstrveis.

Geralmente distinguem-se trs princpios:

o de identidade, o de no contradio e o do terceiro
excludo.
27
1. Segundo e princpio de identidade, se um enunciado
verdadeiro, ento ele verdadeiro.
2. O principio de no contradio que alguns denominam
simplesmente princpio de contradio afirma que no
o caso de um enunciado e de sua negao. Portanto, duas
proposies contraditrias no podem ser ambas verdadeiras:
se for verdadeira que alguns seres humanos no so justos,
falso que todos os seres humanos so justos".
3. O principio de terceiro excludo s vezes chamado
princpio do meio excludo afirma que nenhum
enunciado verdadeiro nem falso. Ou seja, no h um
terceiro valor. Como disse Aristteles, "entre os opostos
contraditrios no existe um meio.

28
5 QUADRADO DAS OPOSIES
Com base na classificao das proposies
segundo a quantidade e a qualidade, so
possveis diversas combinaes, que podem ser
visualizadas pelo chamado quadrado de
oposies , diagrama que explicita as relaes
entre proposies contrarias , subcontrrias,
contraditrias e subalternas.

29
 Vamos identificar cada proposio com uma letra:

Tipos de
Sujeito Predicado Proposio
Proposio

A Universal Particular U/A

E Universal Universal U/N
I Particular Particular P/A
O Particular Universal P/N 30
 Termo sujeito est universal nas proposies
universais (A e E), vem sempre acompanhado pelo
quantificador (Todos, Nenhum ou Alguns) quando
a proposio se apresenta na forma cannica.
Termo predicado est universal nas
proposies negativas (E e O)
Termo universal o termo de uma proposio
que designa todos os elementos do conceito.
Termo no universal o termo de uma
proposio que se refere apenas a parte dos
elementos abrangidos pela extenso do conceito.

31
32
 As proposies contraditrias
(A e O) e (E e I)
no podem ser ambas
verdadeiras ou ambas falsas.

Se considerarmos verdadeira a proposio

Todos os homens so mortais,

Algum homem no mortal ser falsa.

33
 As proposies contrrias
(A e E)
no podem ser ambas verdadeiras, embora
possam ser ambas falsas;

se Todo homem mamfero for verdadeira,

Nenhum homem mamfero ser falsa.
J Todo homem justo e Nenhum homem
justo podem ser ambas falsas.

34
 As proposies subcontrrias
(I e O)
no podem ser ambas falsas, mas ambas
podem ser verdadeiras, ou uma verdadeira e
a outra falsa:
Algum homem justo e Algum homem
no justo" podem ser verdadeiras.
Mas, se Algum co gato" falsa, ento
Algum co no gato verdadeira.

35
 Quanto s subalternas,
se A verdadeira, I verdadeira;
se A falsa, I pode ser verdadeira ou falsa;
se I verdadeira, A pode ser verdadeira ou
falsa; se I falsa, A falsa.
Se E verdadeira, O verdadeira; se E
falsa, O pode ser verdadeira ou falsa; se O
verdadeira, E pode ser verdadeira ou falsa; se
O falsa, E falsa.

36
 Subalternao

Subalternao consiste num raciocnio no qual

h uma nica premissa que universal e a
concluso de um tipo subalterno ao da
premissa, havendo a comutao entre sujeito e
predicado.

37
 Subalternao A-I
Todo A B.
Logo alguns Bs so As.

Exemplos:
Todo tringulo polgono.
Logo alguns polgonos so tringulos.
Todos gatos so mamferos.
Logo alguns mamferos so gatos.

38
 Subalternao E-O
Nenhum A B.
Logo alguns Bs no so As.

Exemplos:
Nenhum mamfero rptil.
Logo alguns rpteis no so mamferos.

39
 EXERCCIO NO CADERNO
1. Considere-se a seguinte frase:
Todo o mal do mundo resulta do livre arbtrio.
1) Qual a sua subalterna?
2) Qual a sua contrria?
3) Qual a sua contraditria?
2. Considere-se a seguinte frase:
Algumas verdades so relativas.
1) Qual a sua contraditria?
2) Qual a sua subcontrria?
3) H alguma proposio que seja a sua subalterna? Porqu?
3 - Se falso que alguns humanos so imortais, qual a
contraditria e seu valor de verdade?

40
 6 ARGUMENTAO
A argumentao um discurso em que
encadeamos proposies para chegar a uma
concluso.

Verdade matria ou contedo das

proposies
Os argumentos so vlidos ou no-vlidos.
Validade forma

41
 A validade de um argumento decorre exclusivamente do tipo
de relao (forma lgica) que se estabelece entre as
premissas e a concluso, sendo independente do contedo
das proposies (ou seja, da sua verdade ou falsidade).
Assim sendo, um argumento vlido quando a concluso
decorre necessariamente da relao estabelecida entre as
premissas.
Um argumento no-vlido (invlido) quando a
concluso no decorre necessariamente das premissas.

42
Quando um argumento vlido, se tem as premissas
verdadeiras, tem uma concluso necessariamente
verdadeira ( o caso da deduo correta).

MAS NECESSRIO SABER ALGUMAS

INFORMAES SOBRE A ARGUMENTAO.
A PRXIMA ETAPA CONHECIDA COMO:

ELEMENTOS DO SILOGISMO

43
 TERMOS - Segundo a primeira regra o
silogismo contm somente trs termos, a saber:

Termo Menor [t] - isto , o termo de menor

extenso. o sujeito da concluso.
Termo Mdio [M] - isto , o termo responsvel
pela unio dos extremos na concluso lgica,
tornando assim possvel o silogismo.
Termo Maior [T] - isto , o termo de maior
extenso. Constitui o predicado (ou o atributo) da
concluso.
44
 PROPOSIES - Tambm so em nmero de
trs, nomeadas segundo os termos que contm:

Premissa Maior [PM] - aquela que contm o

termo mdio e o maior.
Premissa Menor [Pm] - aquela que contm o
termo mdio e o menor.
Concluso [C] - aquela que contm os dois
extremos [isto , os termos maior e menor]

45
 EXEMPLO:
O mercrio no slido. (premissa maior)
O mercrio um metal. (premissa menor)
Logo algum metal no solido. (concluso)
Estamos diante de uma argumentao composta por trs
proposies em que a ltima, a concluso deriva logicamente
das duas anteriores, chamadas premissas. Aristteles denomina
silogismo esse tipo de argumentao.
Em grego, silogismo significa "ligao": a ligao de dois
termos por meio de um terceiro.
No exemplo, h os termos mercrio, metal e slido.
Conforme a posio que ocupam na argumentao, termos
podem ser mdio, maior e menor;
46
 M T
O mercrio no slido

M t
O mercrio um metal.
t T
Logo algum metal no solido.

47
 Examinemos outros silogismos
T M
Todos os ces so mamferos.
t M
Todos os gatos so mamferos.
Logo, todos os gatos so ces.

Nesse silogismo as premissas so

verdadeiras e a concluso falsa;
a argumentao invlida.
Exemplo 2

48
 Todos os homens so louros.
Pedro homem.
Logo, Pedro louro.
Exemplo 3
Percebemos que a primeira premissa falsa e,
apressadamente, conclumos que o raciocnio no
e vlido.
Engano: estamos diante de um argumento
logicamente vlido, isto , que no fere as regras
do silogismo mais adiante veremos por que.

49
 Todo inseto invertebrado.
Todo inseto hexpode (tem seis patas).
Logo, todo hexpode invertebrado.

Nesse caso, todas as proposies so

verdadeiras.
No entanto, a inferncia invlida.

Exemplo 4

50
7 REGRAS DO SILOGISMO

Primeiramente, vamos distinguir

verdade e validade.
Em seguida, consultaremos as regras
do silogismo para saber se um
argumento vlido ou invlido.

51
 Verdade e validade
E preciso muita ateno no uso de
verdadeiro/falso, vlido/invlido.
As proposies podem ser verdadeiras ou
falsas: uma proposio verdadeira quando
corresponde ao fato que expressa.
Os argumentos so vlidos ou invadidos (e
no verdadeiros ou falsos): um argumento
vlido quando sua concluso
consequncia lgica de suas premissas.

52
 Argumentos podem ser:

- Vlidos mas no verdadeiros

Verdadeiros mas no vlidos
Falsos e invlidos
Verdadeiros e vlidos (argumento
slido)

53
E PARA CONCLUIR:

As oito regras do
silogismo.

54
 1. O silogismo s deve ter trs termos (o maior, o menor e o
mdio).
2. De duas premissas negativas nada resulta.
3. De duas premissas particulares nada resulta.
4. O termo mdio nunca entra na concluso.
5. O termo mdio deve ser pelo menos uma vez universal.
6. Nenhum termo pode ser universal na concluso sem ser
universal nas premissas.
7. De duas premissas afirmativas no se conclui uma negativa.
8. A concluso segue sempre a premissa mais fraca (se nas
premissas uma delas for negativa, a concluso deve ser
negativa; se uma for particular a concluso deve ser particular).

55
Exemplo 2 (Todos os ces...): o termo mdio que
aparece na primeira e na segunda premissas
mamfero e faz a ligao entre co e gato.
Segundo a regra 5 do silogismo, o termo mdio
deve ter pelo menos uma vez extenso universal,
mas nas duas proposies ele particular, ou seja,

Todos os ces so (alguns dentre os) mamferos e

"Todos os gatos so (alguns dentre os) mamferos.

56
Exemplo 4 (Todo inseto..."): os trs termos so
inseto, hexpode e "invertebrado".
O termo menor, hexpode, tem extenso
particular na premissa menor:
Todo inseto (algum) hexpode", mas na
concluso tomado em toda extenso (todo
hexpode).
Portanto, no est de acordo com a regra 6.

57
 H que ter em conta que, nos silogismos, nem sempre se tiram
concluses verdadeiras, mesmo que o raciocnio seja vlido.
Por exemplo:

Todos os ces so cachorros

O Snoopy um co
Logo, o Snoopy um cachorro

Ainda que o silogismo seja vlido do ponto de vista lgico, a

concluso falsa, tendo em conta que o Snoopy um co da fico,
no h qualquer possibilidade de alguma vez ter sido um cachorro
na vida real.

58
TODOS OS HOMENS SO MORTAIS.
ALGUNS HOMENS SO PESSOAS SIMPTICAS.
ALGUMAS PESSOAS SIMPTICAS SO MORTAIS.
FORMA QTD/QLD VDD/FALD
TODO A so B U/A V
ALGUNS A so C P/A V
ALGUNS C so B P/A V
TERMO REGRAS
T Mortais 1,2,3,4,5,6,7,8
t Pessoas Simpticas Vlido
M Homens Passou nas regras

59
ALGUNS ARTISTAS NO SO GENIAIS.
TODOS OS ARTISTAS SO PESSOAS CRIATIVAS.
ALGUMAS PESSOAS CRIATIVAS NO SO GENIAIS.
FORMA QTD/QLD VDD/FALD

ALGUNS A no so B P/N V
TODOS A so C U/A F
ALGUNS C no so B P/N V
TERMO REGRAS

T Geniais 1,2,3,4,5,6,7,8
t Pessoas Criativas Vlido
M Artistas Passou nas regras

60
ALGUNS PORTUGUESES SO LISBOETAS.
TODOS OS LISBOETAS SO MEXICANOS.
ALGUNS MEXICANOS SO PORTUGUESES.
FORMA QTD/QLD VDD/FALD
ALGUM A so B P/A V
TODO B so C U/A F
ALGUNS C so A P/A F
TERMO REGRAS
T Portugueses 1,2,3,4,5,6,7,8
t Mexicanos Vlido
M Lisboetas Passou nas regras

61
 Vamos exercitar um pouco!
Alguns filsofos so utilitaristas.
Stuart Mill um utilitarista.
Logo...?

Todos os brasileiros so corajosos.

Alguns mineiros so brasileiros.
Logo...?

Todos os pssaros voam

Todos os avies voam
Logo...?

62
Avalie os seguintes silogismos:
Nenhum artista desonesto
Alguns desonestos so mentirosos
Nenhum artista mentiroso

Todos os homens so felizes

Alguns artistas so felizes
Todos os artistas so homens

Alguns seres humanos no so inteligentes

Nenhumas rvores soPseres humanos
Todos os seres inteligentes so rvores

Todos os professores gostam de ensinar

Todos os que gostam de ensinar so mortais
Nenhum professor mortal

Todos os franceses so europeus

Nenhum europeu africano
Nenhum africano francs
63
Indique a distribuio dos termos nas proposies
seguintes:

Todas as pessoas gostam de escrever.

Os mamferos so inteligentes.
Alguns silogismos no so vlidos.
Nenhum homem herbvoro
Nem todas as pessoas simpticas so boas pessoas

64
8 FIGURAS DO SILOGISMO
Depende da posio do termo mdio nas
premissas maior e menor.
1 figura Su; Pre
2 figura Pre; Pre
3 figura Su; Su
4 figura Pre; Su

65
 1. Figura - O termo mdio sujeito da primeira
premissa e predicado da segunda premissa.

Ex. Todo o homem mortal

Antnio homem
Logo, Antnio mortal

M-P
S-M
S- P
66
 2. Figura
O termo mdio predicado nas duas premissas.

Ex. Todo o homem racional

O co no racional
Logo, o co no homem

P-M
S-M
S- P
67
 3. Figura - O termo mdio sujeito nas duas
premissas.

Ex. Todos os carbonos so corpos simples

Todos os carbonos so condutores elctricos
Logo, alguns condutores de eletricidade so
corpos simples
M-P
M-S
S- P

68
 4. Figura - O termo mdio predicado na
primeira premissa e sujeito na segunda.

Ex. Os portugueses so homens

Os homens so mortais
Logo, alguns mortais so portugueses

P-M
M-S
S- P
69
 9 MODOS DO SILOGISMO
Todo silogismo pertence a uma figura,
como vimos anteriormente e a um modo.

Indicao do tipo das 3 proposies do

silogismo.
O modo depende da qualidade e da
quantidade das proposies, ou seja se so
de tipo A, E, I ou O.
70
 Se fizermos todas as combinaes
possveis, teremos 64 modos.
Haver modos vlidos e no vlidos.

71
 So 19 os modos vlidos do silogismo.
Para a primeira figura so vlidos os modos:
AAA, EAE, AII, EIO;
Para a segunda figura so vlidos os modos:
EAE, AEE, EIO, AOO;
Para a terceira figura so vlidos os modos:
AAI, IAI, AII, EAO, OAO, EIO;
Para a quarta figura so vlidos os modos:
AAI, AEE, IAI, EAO, EIO.

72
 Dadas as formas silogsticas vlidas, construa
os silogismos e mostre os seguintes itens:
A) Quantidade e Qualidade de cada proposio
B) Verdade e Falsidade de cada proposio
C) Os trs termos Maior = T, Menor = t,
Mdio = M
D) Figura 1 -2 -3 4
E) Modo do Silogismo
F) Quantidade do Predicado da Concluso
G) Verifica a validade de cada silogismo com as
8 regras.

73
 FORMAS SILOGSTICAS VLIDAS
Todo o A B. Nenhum A B. Todo o A B. Algum A B.
Todo o C A. Todo o C B. Algum A C. Todo o B C.
Logo, todo o C B. Logo, algum C no A. Logo, algum C B. Logo, algum C A.

Todo o A B. Todo o A B. Nenhum A B. Nenhum A B.

Todo o C A. Nenhum C B. Todo o A C. Todo B C.
Logo, algum C B. Logo, nenhum C A. Logo, algum C no B. Logo, algum C no A.

Nenhum A B. Todo o A B. Algum A no B. Nenhum A B.

Todo o C A. Nenhum C B. Todo o A C. Algum B C.
Logo, nenhum C B. Logo, algum C no A. Logo, algum C no B. Logo, algum C no A.

Nenhum A B. Nenhum A B. Nenhum A B.

Todo o C A. Algum C B. Algum A C.
Logo, algum C no B. Logo, algum C no A. Logo, algum C no B.

Todo o A B. Todo o A B. Todo o A B.

Algum C A. Algum C no B. Todo o B C.
Logo, algum C B. Logo, algum C no A. Logo, algum C A.

Nenhum A B. Todo o A B. Todo o A B.

Algum C A. Todo o A C. Nenhum B C.
Logo, algum C no B. Logo, algum C B. Logo, nenhum C A.

Nenhum A B. Algum A B. Todo o A B.

Todo o C B. Todo o A C. Nenhum B C.
Logo, nenhum C A. Logo, algum C B. Logo, algum C no A. 74
 Preparem-se
O pior est por vir...
kkkkkkkkkkkkkk

75