1.2.

Formas de inferncia vlida, para a Lgica Aristotlica, devero ser tratadas: a) Caracterizao da linguagem da lgica silogstica com as suas quatro formas; b) Definio de silogismo (envolvendo as noes de termo maior, menor e mdio e de premissa maior e menor); c) Classificao dos silogismos em figuras e modos; d) Distribuio de um termo geral numa proposio; e) Regras de validade silogstica. _____________ a) Caracterizao da linguagem da lgica silogstica com as suas quatro formas: I. Definio de juzo categrico (proposio predicativa categrica): um juzo (uma proposio) diz-se categrico (a), quando a relao entre o sujeito e o predicado afirmada ou negada sem condies ou restries. II. Classificao das proposies quanto quantidade e qualidade: Quanto quantidade os juzos (proposies) podem ser particulares, quando o termo-sujeito particular, e universais, quando o termo-sujeito universal. No que diz respeito s inferncias, na Lgica Clssica, os juzos com um termosujeito singular tm o mesmo valor lgico que os juzos universais, uma vez que os conceitos singulares ocorrem sempre na sua mxima extenso. Quanto qualidade, os juzos (proposies) podem ser afirmativos, quando a relao entre o sujeito e o predicado afirmativa (inclusiva), e negativos, quando a relao entre o sujeito e o predicado negativa (exclusiva). III. Os diversos tipos de proposio: Os diversos tipos de proposio: Tipo A Universal Afirmativa. Estrutura Formal: Todos os x so y. Tipo I Particular Afirmativa. Estrutura Formal: Alguns x so y. Tipo E Universal Negativa. Estrutura Formal: Nenhum x y. Tipo O Particular Negativa. Estrutura Formal: Alguns x no so y. Regra: Forma Normal Predicativa - Todos os enunciados utilizados nas inferncias da Lgica Clssica devem estar reduzidos sua Forma Normal ou Padro. No caso das proposies, a sua Forma Normal compreende os seguintes elementos: Quantificador+Sujeito+Cpula+Predicado. O quantificador o elemento da proposio que nos indica a sua quantidade e ocorre sempre no incio da proposio. Eis os quantificadores-padro que vamos utilizar: Todos; Alguns; Nenhum.

d) Distribuio de um termo geral numa proposio:

Regra da distribuio dos termos - Nas proposies universais, o termosujeito est sempre distribudo. Nas proposies negativas, o termo-predicado est sempre distribudo. De acordo com esta Regra, podemos chegar concluso que nas proposies de tipo A, o termo-sujeito est distribudo; nas proposies de tipo O, o termo-predicado est distribudo; nas proposies de tipo E, tanto o termosujeito como o termo-predicado esto distribudos: b) Definio de silogismo:

Definio de Silogismo: O silogismo categrico uma inferncia de carcter dedutivo, composta por trs proposies categricas - duas premissas e a concluso construdas com base em trs termos e s trs termos, dois dos quais - o termo maior e o termo menor ocorrem nas premissas e na concluso. O terceiro termo o termo mdio ocorre em ambas as premissas, no podendo ocorrer na concluso. O termo maior o predicado da concluso; O termo menor o sujeito da concluso. premissa onde ocorre o termo maior, chama-se premissa maior; premissa onde ocorre o termo menor, chama-se premissa menor. O silogismo tem a seguinte estrutura:

Premissa maior Premissa menor Concluso

Forma Normal Silogstica: PM SM S P
Ateno: Neste esquema a ordem dos termos das premissas arbitrria.

S=Termo Menor. P=Termo Maior. M=Termo Mdio. c) Classificao dos silogismos em figuras e modos:

As Figuras do Silogismo
1 Figura 2 Figura 3 Figura 4 Figura

SP
M

PP
P P

SS
M M

PS
P P

S M S M M S M S ________________ ________________ _____________ ______________

Os Modos teis do Silogismo

1 2 Figura Figura EAE AAA AEE EAE EIO AII AOO EIO 3 Figura AAI AEE EAO IAI IAI EAO AII EIO OAO EIO 4 Figura AAI

1 Regras para os termos 2 3 4 5. Regras para as proposies 6. 7.

8.

e) Regras de validade silogstica O silogismo tem trs termos e s trs termos. Nenhum termo pode estar distribudo na concluso sem o estar nas premissas. O termo mdio tem que estar distribudo pelo menos uma vez. O termo mdio no pode ocorrer na concluso. De duas premissas afirmativas no se pode tirar uma concluso negativa. De duas premissas negativas nada se pode concluir. A concluso segue sempre a parte mais fraca: se uma das premissas particular, a concluso particular; Se uma das premissas negativa, a concluso negativa. De duas premissas particulares nada se pode concluir.

Actividades: 1 - Identifique o tipo de proposio presente em cada um dos seguintes itens: a) Nem todos os mortais so racionais. b) Quase todas as mulheres gostam de futebol. c) Alguns homens so europeus. d) Nenhum europeu gosta do Presidente Bush. e) Praticamente todos os alunos gostam de Matemtica. 1.1 - Nos casos em que isso se justifique, reduza forma normal predicativa os enunciados apresentados acima.

2 Identifique que termo(s) est(o) distribudo (s) nas seguintes proposies (sempre que se justificar, deve reduzir as expresses forma normal predicativa). a) Alguns homens so adeptos do FCP. b) Quase todos os portugueses gostam de fado. c) Todos os bons alunos gostam de lgica clssica. d) Os adolescentes que vivem em localidades do litoral sentem-se mais atrados pela prtica do surf. e) Alguns grupos de rock no agradam aos fs da msica popular portuguesa. Solues: 1. a) Tipo O : Alguns mortais no so racionais. b) Tipo I: Algumas mulheres gostam de futebol. c) Tipo I. d) Tipo E e) Tipo I: Alguns alunos gostam de Matemtica. 2. a) Nenhum termo est distribudo. b) Nenhum termo est distribudo. c) O sujeito est distribudo. d) Todos os adolescentes que vivem em localidades do litoral sentem-se mais atrados pela prtica do surf. O sujeito est distribudo. e) O predicado est distribudo.