Silogismo hipotético e silogismo disjuntivo

5/27/2018 Silogismo hipot tico e silogismo disjuntivo

1/19

Sumrio: silogismo hipottico e silogismo disjuntivoObjetivos da aula:

Identificar os silogismos hipotticos e os silogismos disjuntivos nasformas de inferncia vlida;

Identificar uma premissa condicional e a partir dessa reconhecer asformas vlidas de inferncia, reconhecidas pela lgica tradicional: o

silogismo hipottico puro e os silogismos hipotticos mistos: o modusponens e o modus tollens;

Identificar o modus ponendo-tollens e o modus tollendo-ponens.

Lgica


2/19

Exerccios sobre as regras de validade dosilogismo (C.A. p. 8-9 ex. 7.)

Exerccio 7. a)

Exerccio 7. b) Exerccio 7. c)

Exerccio 7. d)


3/19

Proposio condicional

Se estudo filosofia, sou uma pessoa interessante.

Condio /Antecedente Condicionada / Consequente

P Q

Se P, ento Q


4/19

Silogismo hipottico puro(Composto apenas por proposies hipotticas/condicionais)

A cadeia de premissas condicionais pode ser virtualmenteinfinita. Desde que se mantenha a estrutura do argumento, aconcluso verdadeira na medida em que todas as premissastambm so verdadeiras (regra da deduo vlida)

Exemplo: 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 ao prximo Dezembro


5/19

Exerccio SHP

Se o conhecimento possvel,_________________________________. Se os cticosesto enganados, Descartes tem razo.

___________________, as ideias inatas existem. Se asideias inatas existem, possuimos a ideia de Deus.

____________________________, porque Deusexiste. _________________, esto justificadas as nossas

crenas. Logo,______________________________ento____________________________________.


6/19

Correo exerccio SHP

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, possuimos a ideia de Deus.

Se possuimos 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.


7/19

Silogismo hipottico misto Modus ponens (a afirmao da condio / antecedente)

Exemplo: Se a Joana der a aula, porque no adormeceuOra, a Joana est a dar a aula (afirma a condio / antecedente)

Logo, no adormeceu (afirma o condicionado / consequente)

uma forma de inferncia dedutivamente vlida, em que, apartir de uma premissa condicional, a afirmao dacondio / antecedente permite-nos concluir a afirmao

da condicionada / consequente.

Se P, ento Q

P

Logo, Q


8/19

Modus tollens (a negao da premissa condicionada /consequente)

Se a Joana der a aula, porque no adormeceu

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

uma forma de inferncia dedutivamente vlida, em que, a partirde uma premissa condicional, a negao dacondicionada/consequente permite-nos concluir a negao dacondio/antecedente.

Se P, ento Q

No Q

Logo, no P


9/19

Tolleretolher, cortar,negar, discordar

Ponerepr, colocar,afirmar, concordar


10/19

Exerccio SHM

A partir de cada uma das seguintes proposies, construaos dois modos legtimos do silogismo hipottico oucondicinal:

a) Se penso, ento existo.

b) Se no filosofas, no alargas os teus horizontes.


11/19

Correo exerccio SHM

a) Modus ponens Se penso, ento existo Penso, Logo existo.

Modus tollens Se penso, ento existo No existo, Logo no penso


12/19

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.


13/19

Encontra as premissas de partida dos seguintessilogismos no modus tollens:

1._________________________________

A populao prejudica o ambiente,

Logo no recicla o lixo.

2.____________________________________Deus no nos deu asas,

Logo no queria que vossemos.


14/19

Proposio disjuntiva

Ou vou ao cinema ou estudo lgica

Exprime uma proposio disjuntiva, composta por duasproposies ligadas pela particular ou, que demonstramalternativas.

Ou P ou Q


15/19

A lgica tradicional reconhece tambm trs formas deinferncia dedutivamente vlidas a partir de premissasdisjuntivas:

o

Modus ponendo-tollenso Modus tollendo-ponens

o O dilema (no vai ser estudado)


16/19

Modus ponendo-tollens (afirma uma alternativa para negar aoutra)

Exemplo: Ou me empenho no que fao ou no vale a pena fazer nadaEmpenho-me no que fao

Logo, vale a pena fazer alguma coisa (dupla negao anula anegao)

uma forma de inferncia dedutivamente vlida, em que, a

partir de uma das alternativas, permite-nos concluir a

negao da outra.

Ou P ou Q

Q

Logo no P

Ou P ou Q

P

Logo no Q


17/19

Modus tollendo-ponens (nega uma alternativa para afirmar aoutra)

Exemplo: Ou vou a Paris ou vou a BarcelonaNo vou a Paris

Logo, vou a Barcelona

uma forma de inferncia dedutivamente vlida, em que, a

partir de uma premissa disjuntiva, a negao de uma das

alternativas permite-nos concluir a afirmao da outra.

Ou P ou Q

No Q

Logo P

Ou P ou Q

No P

Logo Q


18/19

Exerccio SHD

Manual: pgina 42

- exerccio 7


19/19

TPC: ficha de trabalhoFILOSOFIA 11

EXERCCIOS SOBRE SILOGISMOS HIPOTTICOSOU CONDICIONAIS

Prxima aula (29 Out) - ida ao

teatro :)

Documents

Silogismo hipotético e silogismo disjuntivo