Lgica

Sumrio: silogismo hipottico e silogismo disjuntivo

Objetivos da aula:

Identificar os silogismos hipotticos e os silogismos

disjuntivos nas 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-

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. g)

Silogismo categrico
Estrutura do silogismo categrico Premissa maior Premissa menor Concluso Trs proposies Contm o termo Contm o termo Contm o maior menor termo maior e o termo menor. Decorre da relao estabelecida entre as premissas. Termo maior (P) Termo menor (S) Termo mdio (M) Trs termos Desempenha a Desempenha a Aparece nas funo de funo de duas predicado da sujeito da premissas e concluso. concluso. no na concluso. Estabelece a ligao entre os outros termos.

Proposio condicional

Se estudo filosofia, sou uma pessoa interessante.

Condio / Antecedente Condicionada / Consequente

Q 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, possumos 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

 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 condicionado/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

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