Argumentao e lgica formal:

Silogismos hipottico e disjuntivo

Objetivos:

LGIC
A

o Definir silogismo hipottico;

o Compreender a estrutura vlida do silogismo
hipottico puro;
o Compreender o silogismo hipottico misto, a sua
estrutura e os seus dois modos vlidos: o modus
ponens e o modus tollens;
o Definir silogismo disjuntivos;
o Compreender a estrutura do silogismo disjuntivo e
respetivas regras: modus ponendo tollens e
modus tollendo ponens;

Silogismo categrico

LGIC
A

Silogismo categrico:
um argumento dedutivo no qual, de duas
proposies categricas (S P),premissas, se
infere uma terceira, chamada concluso. (p: 33
manual)

Silogismo categrico
Ex. de uma 1 figura

LGIC
A

P:
M P
seres vivos;
P:
S M
plantas;
Concluso S P
vivos.

As plantas so
As rosas so
As rosas so seres

Silogismo hipottico:

LGIC
A

A denominao explica-se devido ocorrncia

de premissas hipotticas/ condicionais.
Os silogismos hipotticos so silogismos cuja
premissa maior no afirma nem nega de forma
categrica ou absoluta, mas sim sob condio.
So argumentos dedutivos j que a verdade
das premissas garante a verdade da concluso.

Proposio condicional
sou uma pessoa
interessante.

Se estudo filosofia,

LGIC
A
Condio / antecedente

Condicionada/ consequente

Se P, ento Q

Silogismo hipottico: A partir de premissas

hipotticas / condicionais podemos construir as
seguintes formas de inferncia vlida:

LGIC
A

1-Silogismo hipottico Puro (composto

apenas por proposies hipotticas
/condicionais). Ele contm duas proposies
componentes, a que se segue ao se e a que se
segue ao ento, a 1antecedente, a segunda
consequente:
Se ________ento

Silogismo hipottico puro

um
argumento
vlido da seguinte
forma:

LGIC
A

Se P ento Q
Se Q ento R
Logo, se P ento R
Se P implica Q e Q
implica
R, ento P
implica R

Exemplo:
Se eu no despertar, ento
no posso ir ao trabalho.
Se eu no puder ir ao
trabalho, ento eu no vou
receber o salrio.
Portanto,
se
eu
no
despertar, ento eu no vou
receber o salrio.

Silogismo hipottico puro

LGIC
A

Regra:
O antecedente da 1 premissa e o da concluso
so o mesmo.
O consequente da ltima premissa e o da
concluso so o mesmo.
O consequente da 1premissa antecedente
na 2 premissa, e assim sucessivamente.
Num Silogismo Hipottico Puro a cadeia de
premissas condicionais pode ser virtualmente
infinita. Desde que se mantenha a estrutura do
argumento, a concluso verdadeira na medida em
que todas as premissas tambm so verdadeiras.
Se este ms Outubro ento o prximo Novembro
Se o prximo Novembro o que lhe segue
Dezembro
Ento, se este ms Outubro o ms que se segue

Silogismo hipottico puro

Mais exemplos:

LGIC
A

Se a Maria
inocente.

A
disse a verdade,

B
Se ela inocente ,
a cadeia.
A
A Maria disse a verdade,
cadeia.

B
ento ela
C
ento no ir para
C
ento no ir para a


2- Silogismo hipottico Misto (composto
por uma proposio hipottica/condicional A
premissa maior

LGIC
A

e por duas proposies categricas

premissa menor e a concluso.)

Este silogismo pode assumir duas formas:

modus ponens; modus tollens.

Silogismo hipottico
misto:

LGIC
A

Modus ponens
( Ponere = afirmar,
concordar):
Forma de inferncia
dedutivamente vlida
em que a partir de
uma
premissa
condicional
a
afirmao
da
antecedente permitenos
concluir
a
afirmao
da
consequente.
Se P, ento Q
P
Logo, Q

Se a Joana der a aula, porque

no adormeceu.
Ora, a Joana est a dar a aula
(afirma a condio / antecedente)
Logo, no adormeceu. (afirma o
condicionado / consequente)

Silogismo hipottico
misto:
Modus tollens
(tolere= negar,
discordar):

LGIC
A

Forma de inferncia
dedutivamente vlida,
em que a partir de uma
premissa condicional, a
negao
da
consequente
permitenos concluir a negao
da antecedente.
Se P, ento Q
NQ
Logo, NP

Se a Joana der a aula, porque

no adormeceu
A Joana adormeceu (dupla
negao anula a negao)
Logo, a Joana no deu a aula.

Exercitando!
1. Coloca sob a forma de SHP
Se o conhecimento possvel,
_________________________________. Se os cticos
esto enganados, Descartes tem razo.
___________________, as ideias inatas existem. Se as
ideias inatas existem, possumos a ideia de Deus.
____________________________, porque Deus existe.
_________________, esto justificadas as nossas
crenas. Logo,______________________________
ento____________________________________ .

Correo
1.
Se o conhecimento possvel, os cticos esto
enganados.
Se os cticos esto enganados, Descartes tem razo.
Se Descartes tem razo, as ideias inatas existem.
Se as ideias inatas existem, possumos a ideia de
Deus.
Se possumos a ideia de Deus, porque Deus existe.
Se Deus existe, esto justificadas as nossas crenas.
Logo, se o conhecimento possvel, ento esto
justificadas as nossas crenas.

Exercitando!
2.A partir de cada uma das seguintes proposies,
construa os dois modos legtimos do silogismo
hipottico ,indicando a regra:
a) Se penso, ento existo.
b) Se no filosofas, no alargas os teus horizontes.

Correo
2.a)
Modus ponens
Se penso, ento existo
Penso,
Logo existo.
Modus tollens
Se penso, ento existo
No existo,
Logo no penso

2.b)
Modus ponens
Se no filosofas, no alargas os
teus horizontes
No filosofas,
Logo, no alargas os teus
horizontes Modus tollens
Se no filosofas, no alargas os
teus horizontes
Alargas os teus horizontes,
Logo, filosofas.

Silogismo Disjuntivo

LGIC
A

aquele cuja premissa maior

uma proposio disjuntiva.
A premissa menor afirma ou
nega um dos membros.
A concluso afirma ou nega o
outro.

Proposio disjuntiva:
Ou vou ao cinema, ou estudo lgica

LGIC
A

Exprime uma proposio disjuntiva, composta

por duas proposies ligadas pela partcula
ou, que demonstra alternativa.
Ou P ou Q

Silogismo
disjuntivo:

LGIC
A

A lgica tradicional reconhece tambm trs formas

de inferncia dedutivamente vlidas a partir de
premissas disjuntivas:
Modus ponendo-tollens
Modus tollendo-ponens
Dilema (no vai ser estudado)

Silogismo
disjuntivo:

LGIC
A

Completa
ou
exclusiva:
Os
termos
so
completamente
opostos
Ex: Ou como algo ou
passo fome.
Comi algo no passo
fome

Incompleta
ou
inclusiva:
Ambas
as
alternativas podem
ocorrer
simultaneamente.
Ex: O Antnio
professor
de
portugus
ou
poeta.
O
Antnio

professor
de
portugus.
No se pode extrair
uma
concluso
Vlida

Silogismo disjuntivo:
Modus Ponendotollens
A premissa maior apresenta uma disjuno
A premissa menor afirma uma das alternativas.
A concluso nega a outra

LGIC
A

uma
forma
de
inferncia
dedutivamente
vlida,
em que a da afirmao
de uma das alternativas,
nos permitido concluir
a negao da outra.
Ou P ou Q
P ou Q
P
Logo, no Q
Logo, no P

Exemplo: Ou falo ou estou

calado.
Falo.
Logo, no estou
calado.

Ou
Q

Exemplo: Ou falo ao estou

calado.
Estou calado.
Logo, no falo.

Silogismo disjuntivo:
Modus Tollendo - ponens (nega uma alternativa
para afirmar a outra)

LGIC
A

uma
forma
de
inferncia
dedutivamente vlida,
em que, a partir de
uma
premissa
disjuntiva, a negao
de
uma
das
alternativas
permitenos
concluir
a
afirmao da outra.
Ou P ou Q Ou P ou
Q
No P
No Q
Logo Q
Logo P

Exemplo:
Ou vou a Paris ou vou a
Barcelona
No vou a Paris
Logo, vou a Barcelona

Exemplo:
Ou vou a Paris ou vou a
Barcelona
No vou a Barcelona
Logo, vou a Paris.