Lgica

Sumrio: silogismo hipottico e silogismo disjuntivo

Objetivos da aula:

formas de inferncia vlida; Identificar uma premissa condicional e a partir dessa reconhecer as formas vlidas de inferncia, reconhecidas pela lgica tradicional: o silogismo hipottico puro e os silogismos hipotticos mistos: o modus ponens e o modus tollens; Identificar o modus ponendo-tollens e o modus tollendo-ponens.

Identificar os silogismos hipotticos e os silogismos disjuntivos nas

Exerccios sobre as regras de validade do

silogismo (C.A. p. 8-9 ex. 7.)
Exerccio 7. a) Exerccio 7. b) Exerccio 7. c) Exerccio 7. d)

Proposio condicional

Se estudo filosofia, sou uma pessoa interessante.

Condio / Antecedente Condicionada / Consequente

P Se P, ento Q

Silogismo hipottico puro

(Composto apenas por proposies hipotticas/condicionais)

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 (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

Exerccio SHP
Se o conhecimento possvel,

_________________________________. Se os cticos esto enganados, Descartes tem razo. ___________________, as ideias inatas existem. Se as ideias inatas existem, possuimos a ideia de Deus. ____________________________, porque Deus existe. _________________, esto justificadas as nossas crenas. Logo,______________________________ ento____________________________________.

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.

Silogismo hipottico misto

Modus ponens (a afirmao da condio / antecedente)

Exemplo: 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)

Se P, ento Q P Logo, Q

uma forma de inferncia dedutivamente vlida, em que, a

partir de uma premissa condicional, a afirmao da condio / antecedente permite-nos concluir a afirmao da condicionada / consequente.

 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
Se P, ento Q No Q Logo, no P

uma forma de inferncia dedutivamente vlida, em que, a partir

de uma premissa condicional, a negao da condicionada/consequente permite-nos concluir a negao da condio/antecedente.

Tollere tolher, cortar, negar, discordar Ponere pr, colocar, afirmar, concordar

Exerccio SHM
A partir de cada uma das seguintes proposies, construa

os dois modos legtimos do silogismo hipottico ou condicinal:

a) Se penso, ento existo. b) Se no filosofas, no alargas os teus horizontes.

Correo exerccio SHM

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

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

 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.

 Encontra as premissas de partida dos seguintes

silogismos 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.

Proposio disjuntiva
Ou vou ao cinema ou estudo lgica

Exprime uma proposio disjuntiva, composta por duas

proposies ligadas pela particular ou, que demonstram alternativas.

Ou P ou Q

 A lgica tradicional reconhece tambm trs formas de

inferncia dedutivamente vlidas a partir de premissas disjuntivas:

o Modus ponendo-tollens
o Modus tollendo-ponens o O dilema (no vai ser estudado)

 Modus ponendo-tollens (afirma uma alternativa para negar a outra)

Exemplo: Ou me empenho no que fao ou no vale a pena fazer nada Empenho-me no que fao Logo, vale a pena fazer alguma coisa (dupla negao anula a negao)
Ou P ou Q P Logo no Q Ou P ou Q Q Logo no P

uma forma de inferncia dedutivamente vlida, em que, a

partir de uma das alternativas, permite-nos concluir a negao da outra.

 Modus tollendo-ponens (nega uma alternativa para afirmar a outra)

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

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.

Exerccio SHD
Manual: pgina 42

- exerccio 7

TPC : ficha de trabalho

FILOSOFIA 11 EXERCCIOS SOBRE SILOGISMOS HIPOTTICOS OU CONDICIONAIS

Prxima aula (29 Out) - ida ao teatro :)