UNIVERSIDADE FEDERAL DE ALAGOAS CAMPUS ARAPIRACA TRONCO INICIAL LIC Docente: Simone

Silogismo Categrico

por

Edmilson Francisco Honrio Viana

Arapiraca-AL Out. 2011

Silogismo Categrico

O Silogismo Categrico uma forma de raciocnio lgico, dedutiva, na qual h duas premissas e uma concluso distinta destas premissas, sendo todas proposies categricas ou singulares possui como caracterstica 3 proposies onde as duas primeiras proposies so denominadas premissas e a terceira denominada concluso. Como uma forma de raciocnio lgico o silogismo precisa a atender algumas regras que fassem com que eles sejam considerados verdadeiros. No total essas regras so oito onde as quatro primeiras so referentes aos termos e as quatro ltimas so referentes s premissas. As quatro primeiras que so referentes aos termos so: 1 Ter trs termos (sem equvocos): maior, mdio e menor. 2 Os termos maior e menor no podem ter, na concluso, maior extenso do que nas premissas. 3 O termo mdio tem que ser tomado pelo menos uma vez em toda a sua extenso (universalmente). 4 O termo mdio no deve entrar na concluso.

J as quatro ltimas que so referente as premissas so: 5 Premissas afirmativas pedem uma concluso afirmativa. 6 De duas premissas negativas nada se pode concluir. 7 A concluso segue a parte mais fraca. 8 De duas premissas particulares nada se pode concluir.

Alm de ter duas premissas e unicamente proposies de tipo A, E, I ou O, um argumento tem de obedecer seguinte configurao para ser um silogismo: Premissa menor Termo Menor | Termo Mdio Premissa maior Termo Maior | Termo Mdio _________________________________________ Concluso Termo Menor Termo Maior

O termo menor por definio o termo sujeito da concluso e tem de ser diferente do termo maior. Por sua vez, a premissa menor por definio a nica premissa que contm o termo menor seja como termo sujeito, seja como termo predicado. O termo maior por definio o termo predicado da concluso. Por sua vez, a premissa maior por definio a nica premissa que contm o termo maior seja como termo sujeito, seja como termo predicado. a) O termo menor o sujeito da concluso e repete-se numa das premissas e s numa; b) O termo maior o predicado da concluso, diferente do termo menor e repete-se na outra premissa e s nela; c) O termo mdio ocorre nas duas premissas e s nelas, e s h um. A lgica silogstica estuda apenas agurmentos constitudos por proposies que tenham qualquer uma das seguintes quatro formas lgicas: Todos os A so B. Nenhuns A so B. Alguns A so B. Alguns A no so B.

Designa-se por modo cada uma das formas que o silogismo pode tomar dereivado da quantidade e qualidadr das proposies que o constituem. Cada proposio pode ser dos tipo A (universal afirmativa), E (universal negativa), I (particular afirmativa ou O (particular negativa). Exemplo do modo AAI As baleias so vertebrados (A) As baleias so animais aquticos (A) Logo, alguns animais aquticos so vertebrados (I).

No total das combinaes podemos ter 256 modos possveis, no entanto so 19 modos so legitimos. Os restantes so sofismas do tipo: IIA, AIO, EEE, EIA... Dentro dessas formas est presente a forma cannica que uma das principais formas do silogismo.

Aceitando certas premissas como verdadeiras, a concluso necessariamente vlida e verdadeira, se fossem cumpridas certas regras de inferncia. Em outras palavras, para sabermos se realmente um silogismo pode ser considerado vlido ou no basta apenas observar a suas regras que iremos saber realmente diferenciar o vlido do invlido. Exemplo de uma concluso invlida com premissas verdadeiras: Todas as baleias so mamferos Todos os gatos so mamferos. Logo, todos os gatos so baleias. Exemplo de uma concluso vlida com premissas verdadeiras: Todo homem mortal. Scrates um homem. Logo, Scrates mortal Exemplo de Premissas falsas com argumentao vlidas: Todos os homens so analfabetos. Raquel de Queiroz um homem. Logo, Raquel de Queiroz analfabeta. Exemplo de Premissas verdadeiras com com argumentao invlido: Se eu ganhar sozinho na Sena, fico milionrio. No ganhei sozinho na Sena. Logo, no fiquei milionrio. Referncias Bibliogrficas Na web:
http://pt.wikipedia.org/w/index.php?title=Especial%3APesquisar&search=forma+can% C3%B4nica%2C+silogismo http://pt.scribd.com/doc/19038370/FORMAS-DE-INFERENCIA-VALIDA-O-SILOGISMOCATEGORICO http://www.google.com.br/#pq=argumento+v%C3%A1lido+com+premissas+verdadeir as&hl=ptBR&sugexp=kjrmc&cp=15&gs_id=1v&xhr=t&q=forma+can%C3%B4nica+da+fun%C3% A7%C3%A3o+quadr%C3%A1tica&pf=p&sclient=psyab&source=hp&pbx=1&oq=Forma+can%C3 %B4nica,&aq=0&aqi=g4&aql=f&gs_sm=&gs_upl=&fp=1&biw=1024&bih=499&bav=on.2,or.r_g c.r_pw.,cf.osb&cad=b http://pt.wikipedia.org/wiki/Silogismo http://afilosofia.no.sapo.pt/11silog2.htm