5 Proposicées Categéricas 1. PROPOSICOES E CLASSES CATEGORICAS O: ccapitulos precedentes ocuparamse, na sua maior parte, da, ‘Questdo de Haguagem sua iniuéncia sobre 0 recioinio. Abor- ‘daromas agora 0 tipo especial de Taclocinlo denominado deducto, ‘Argumento dedutivo 6 aquele culas premissas formecem provas deci: fexplicar as relagbes entre aa premlseas © conlusso de un raciocinio ‘on arpimento valid estabelever tenieas pera © avallagio dos argie Imentos dedutivos, isto €, para distinguir entre as dedugdes valdas © ‘valida ‘As faldcias nio formals foram estudadas, pormenorizadamente, 20 capitulo 3." Mas, ainda que nao se incorra uma falicis nfo-ormal, tum argumento dadutivo pode no ser valida; assim, temos que criat ‘outras’téonioas para Julgar tals argumentos, "© estado clissico ou Aristotlico da ded fundamentarase em angumentos que continiam ropeigdes de tum tipo espe, charadss proposed cates. fo argumento Nenhum atieta 6 vegetariano, ‘Todos os. jogadores de futebol sio atletas. ‘Togo, nanhum jogador de futebat € vogstariand, tanto as premissas como a conslusto sio proposigées categércas. As Dropostedes deste ipo edo habitualments anallsedas como assergbes Sobre classes, afirmando ou negando que uma classe esteja inetlds fem uma oUtra, eja-no todo ou em parte. As premisas e a conclusio” rsa. Conk do armumento $6 cltado sho assergées sobre a classe “atlotas", a clas- Se “vegotariands” 0 a classe "Jogadores de futebol” Ths clases fornm ‘brevemente Mmenclonadas no capitulo anterior, condi explicamos que ume claste ¢ tima colegio’ de todos 0s objetos fue tém alguma caractristica especiica em comum.,” As classes po- dem estar relacionadas entre side varias manetras. Se todo membro fe una classe 6 também memibro e outa classe, dizse, nto, que 1 primeira esta ineluda ou contida na segunda.” So apenas alguns fembros de uma clase so também membres de outra, deste Todo f primeira esta pareialmente contida na segunda. Som dvida, existem {abom Peres de classes que mio ttm quslquer memro em’ coma, como a easse de todes os tridngulos ea classe de todos 0s cireulos, ‘Esuas triagvolagbes diferentes entre as classes Slo afirmadas Ou ne fdas polas proposigées catogéricas. "Hd quatro formas Upicas de proposigies categiricas, as quals ‘io liustradas pelas quatro proposigoes,sopuntes: 1. Todos os politics sio mentiroses. 2. Nenhum politico ¢ mentiroso. 5. Alguns poltcos a0: mentiroses. 4 Alguns polticos to S80 mentirosos, ‘A psimelra é uma proposicto universal afirmativa, # uma assereio Sobre duas classes, a classe de todos os pollios e a classe de todos fos mentirosos, afmando que a primeira estd Incluida ou contida na Segunda; iso ‘significa que todo’ membro da primeira classe & tam ‘dem membro ‘da segunda No presente exemplo, o termo sujeito Spolitions” designa a lasse de todes os polticos e 0 termo predicado hyentirosos” designa a classe de todas os mentirosos.Qualguer pro- ‘oso universal afirmativa pode set, exquematicamente,escrita assim: ‘Todo S 6 P| em que as letras $ ¢ P representam os termes sujito © predicado, respectivamente, O nome "aniversal afirmativa” ¢ apropriado, porgue {8 proposigho afirma que ft uma relagio de Incusao entre as das ‘lasses ¢ que @ inclusio é completa ou univers, lsto é, que todos ‘os membros de § tamibem sio membros de P. ‘0 sogundo exemple: ‘Nenhum politico € mentiroso Sentumn § 6 P fem quo. uma ver mais, as letras 5 e P representam os termos suleto f predicado.” \O nome de “universal nagativa” € apropriado, poraue 4 proposigao nega que aja ume felagdo do inclusio entre ‘ae. dus aces, e-negie uuversalmente, visto que Renbum membro'deS ‘memboro de i ereeira exerpio Alguns poutieos sio mentirosos uma proposicao particular atimativa. Assim, © que se aflema neste faso ¢ que alguns membros da classe de todos os politicas 880 (ta: ‘Dem membros da classe de todos os mentirosos. has, no se arma ‘seo dor polities, universalmente: nao se di, de um modo geral, ue {odos os politicos sto mentirosos, mas, apenas, algum politico ou alguns potiicos em particular Esta proposigo nao aflema nem nega ‘ase todce os poltios sejam mentirosce, nko se promuncia sobre a uestio.” Nao afirma lteralmente que alguns politicos. n40 sejam entirosos, embora em alguns contextos iso ‘possa ser tomado como Uma Aigesiio” A anslise minima e Hteral da presente propostgto’ ¢ ‘Que a clase tos politicos e'a classe dos mentiresos tem algun mex ‘ro ou alguns membros em comum, Para maior precio, adghare ‘mes aqui interpretegso minima, ‘Aauaere “alguns” ¢indelinida, Significaré “pelo menos um” (ox “pelo menos dois” ou “pelo menos em?” Ou quantos? A bem 4a derinicio, embora isto se alaste do Uso corrente, costuma-se con siderar ques palavra “alguns” significa "pelo menos um". Assim, lima proposicio particular aflemativa, eserita exquematicamente como: ‘Sigum 8 6 P ‘ernie come a timacto de que. pelo menos un mento ‘classe designada pelo termo sujelto 9 ¢ tambum membro da classe ‘designada pelo termo predicado P. A expressho "partieuar afrmativa” { spropritda, porque a proposigio afirma a exstencia de relacbes entre as classas, mas noo aflema universalmente quanto & primeira ‘lasse © tao-s, percalmente, de algum memoro ou membros part ‘culares'daprimeira classe ‘0 quarto’exempo: ‘Alguns polities no sio mentirosos {uma proposigio particular negativa, ate exemplo, tal como 0 an: terior, © particular & medida que no se refere aos politicos, un {ersalimente. mas tios6 a algum membro ou alguns membros ex a Hewlar dessa classe. Ms, uo inves da proposigao anterior, no aflma {gue os membros particulars da primeira classe a que se refere estejam ‘ncluldos na segunda classe (t0 ¢ procisamente © que se Dog. Uma proposigio particular negative, que se excrove eequemnaticamente como?sreing Moe Algum S no 6 P ‘firma quo pelo menos um membro da classe designada pelo terma Sujeito $ esid exciuido da cisse designada pelo termo predicado P. Considerouse, tradcionsimente, que todos os argumentes dedut- vos eran suscetivels de anise em Sungio ceseas quatro formas tpi {as do propecigoes eateporicas, e-em toro delas construe Whe onsiderdvel soma de teories. Nem todas ax roposigoes eatepéricat fe forma tipica sto to simples ¢ drelas qlunto os exemplos. enum ‘lados até gore. " Embora os termos suleo © predieado do uma Droposigio catogérica de Zora ‘Uplea designe classes, podem cot Expressées mito complleadas em vee de palavras islades, "Por exe lo, 8 proposigen: ‘Todos os candidates ao cargo sio homens de honra @ integridade {om como seus termos sujeito e predicado, respectivamente, as frases “eandidstos ao cargo" o "homens de honra e integrade” EXERCICIOS “intitins os termos cute © pretiaade © indlar 8 forms de eas ue ae segues props: Ap flguns Metoriadores so eeritresexeemamente tsletons, exe obrat bigtime fomanea'se prin sees 2. Nennum ate quo tna sua vee reebido antlro para partioar unis coupe apotia @ e 3, Neu cho que 0 tena lnhueum & candito a prtmio not con caren Shinar pattnados Bae Sinetest Renal ele 4 Teds of sacs quo ett, pecstemenia, em seta 8 manos de dor sm ate i a 3 cms tho anondon oa aces aa mates 4.5, Agins merros Ge fmbas seu © faonae no sho homens de forang hae UO ofaHRtar pours proms por rs qu to, eran, so oj ts Malta Bical Pat's Ganenge=™ seaion sat, ‘Bio eeTcemel ce eres anf part. pda odor OF 21, Nenhim nomem qua no tema am obra ae pesgoumente reat iit" te ttn ertieotesponvel em "elo latent" posses Irtrodueso 6 én we 1, QUALIDADE, QUANTIDADE E DISTRIBUIGAO De toda a proposigio categérica de forma tipica se diz que tem ‘ums qualidade @ uma “quantidade”. A qualidade de uma proposicao @ ajirmatioa ou negating segunda a inclasto de classe (eommploc on aca!) for aflemadia ou needa pela proposigio. Asst, as propo. Sigdes unversaisafirmativas © particulafesafimativas so amb ali Imattvas em qualidade, a0 paseo que as proposigtes Universals negat ‘as © particulares negalivas so mbes negatives, “costume tsar fs letras 4, E, 1e O- como nomes para as quatro formas tipicas de ‘proposigdes eategéricas: universal afrmativa, universal negative, par ‘cular sfirmativa ¢ particular negativa, respcetivemente.Prowimose ‘que 0 uso dessas leras prover das palavrus latins “Alfa « "a gO™ CAtimo” © "Nego”). ‘A quantdade de tia proposigio ¢ universal ou particular segundo f proposigio se refira a todos os membros oa 6 @ alguns dos tert bros da classe designada pelo set ermo sujet. Assit, as propos. 0es 4c F aio universals em quantidade, ao pasio que as proposicses Te 0 sio partieulares em quantidude. Oteervames que 22 “universal afimativo, "universal negative", ~partiedar aflzmativo" © “particular negativo” degorever de mancia singular as quatro formas tibieas, mencionando rimeiro a svn quantidade © depols a sua, ust Made, "Toda proposigio categérion de forma tipiea comeca com uma das pelavras. “todos”, "nenfium” ou "alguns" Estas palswres indica & ‘uantidade da proposicio e sio chamadas “quantifeadores. Or dois Drimeires indicam que a proposiolo ¢ universal, 0 teroero que & par ficular. além de exprestar'e quantidade universal, 0 quantiicador “nenhum” serve para indicar a qualidade negativa da propesicao f nize os termos sujet predicado de qualquer proposicao cate. rica do forme tinea ocorre alum forma do vervo "se (acone: ‘hado da palayra “nao” no easo da proposteio 0). Isto serve pars fonjugar 0 termo sujeito com 0 termo prodicado @ tem nome de “copula”. "Nas formulagdes eaquemétiear dadas ne sepio precedente, ‘6 aparecem as formas "@" e "nao &” mas, dependendo 40 todo como 4 proposiggo estiver formiads, poders ser mals apropriado 0 ett. ‘Brego de outros tempos do verbo "ter". Por exomplo, nas proposes ‘Alguns imperadores romangs erein monstros, ‘Todos os cominisine sto fandticos ‘Alguns soldsdos no Serbo herd, i smbols erm", “Ae no seo servem como copula © agus ‘ma geral de uma proposied categériea de forma tpiea consta de quat Dares: primeira, 0 quantificador: depois, o termo sujet; em sexu 2 S0nUl; ¢ ndimente, 0 trmo predido,” Este exueria pode 8we sroima_M_Copt quantificador (terme sujeito) espula (termo predicado), [Na interpretagio de classe, os termos sujeto e predicado de uma ‘proposigio categories de forma tipica designam classes de objetos e P propria propesico € considerada ‘como Telerenta. © cssas clase, ‘2 Paro que ae proposigSes ocem so referir hs classes de diferentes anelsess Uma proposigio’podersed relerir a fodos 0s membros Ze uma classe ou sotente a digune doles. Assim, a proposiio Todos 08 deputados sto cidadiios referee ou 6 a respelto de todos os deputados, mas nio de todos os idadios. “Aftrma que cada membro.da classe dos deputados é um ‘idadio, mas nada afirma acerca de todos os cidadios. Nao sflema ‘que cada cidadio sele um deputado, mas tampouco 0 nega. VS=0, fportanto, que qualquer propasiczo 4," da seguinte forma: ‘Todo § ¢ P referese a todos os membros da classe designada pelo termo sujcito 5, mas nto ae refere'e todos ¢ membros Ga classe designada pelo ‘termo predicado P. 'O termo teenico “distribuigio” fol introduzido para carscterizar fs manelras em que os termos podem Ccorrer nis Proposigoes cate. Seto de uma proposiqao A esta distribuido nessa (Ou por) essa ro. ‘ponigho, a0, passo que 0 termo prodicado nfo extd distibuido neta Vou'por) ele, Exatninemos agora ex ouitras proposigbes categoricas ‘de forma lipic, para Yer duals os tormos que estdo distibuidos nelas quis 0s que mio esto. ‘Uma proposigio E, como: ‘Nenhum atleta 6 vegstarino firma que todo ¢ cada lea mio é vogetariano. A totalidade da ‘lasee dos atitas esta exclulds da classe dos vegetarianos.. A propo sledo E referese a todos ot membros da classe designada pelo termo Sujeto o, portanto, o distribul. Por outra parte, ao afirmar quo 8 {olalidade a cise os aletas esta exclulda da classe dos vegetaria: nos, afirma tambem que a totaldade da classe dos vegetarianes etd ‘rcluida da classe dos alctas. A proposigio dada afirma claramente ‘gue todo © cada vegelaciano no é tm alla. A proposicto F referee, ‘Pols, « todos os membres da classe designada pelo termo predicado fe dizse, neste caso, que também aistribul o termo predicado. AS Dropesiges # ditribuem tanto 0 termo sujelto como o termo pre ‘A situngio 6 diferente no que dla respeito as proposices J. Assim: ‘Alguns soldados sko covardes Tape ser | OF aio 8EXERCICIO Desens & quate © quinisade de cade proosite nos exescne dae poste Dosh, Me “Stine Sse" ope Sous die TIL. 0 QUADRO TRADICIONAL, DE OPOsICAO {As proposigdes categdricas do forma tiplea que tém os mesmos termig sujato © predicado podem dierir muuamnente na. qualicad, ‘he quantidade ou em ambas as coisas. Os logicos ge lita dere Avessa especio de diferenen 0 nome téenion de “oposicio” © cartes Telagies importantes doe valores de verdade foram cOrrelacionades ‘com 5 virlas especies de posi. Duus proposigoes sho ‘contradk torlas se una delss for a nregacto da outra, isto 6, se io deren ser ambas verdadeiras » nio puiderem sor atbas fais, claro que das proposigbescaiagdricas deforma fipiea que tm 0 mesmo salto f@.0 mesmo predicado, mas que diferem em. quantidade ¢ qualidade Slo contradivrias. Asim, as proposigoes A's OF ‘Todos os jules so advogados Alguns juizas mio so advogndos que se opdem tanto em quantidade como em qualidade, so obvis- ‘lente contraditévias, Eeatamente uma ¢ verdadelra © exatannente una alsa, Do mesmo modo, as proposigoes Ee I ‘Nenhum politico ¢ ideatista Alguns politicos so sdeatistas fopdemse em quantidado o qualidade ¢ so contradtérias, squeme- Licamente, podemos dizer quo a contraditéria de “Todo é Pe “At um S nfo P”, e a contreditoria do "Nenum $6 Pe "Aigumn 96 A'eO sio contiaditorias, tal como Esl. Digse que duas proposigies eGo contrdrias, quando no podem ‘er ambas verdaddras, embore possam ser ambasfalsas, A dearrcao ‘tradicional ou arstoteliea de proposigdes categoricas stot. que at Droposigdes universals que tem os mosmos terms suelo @ predica io, mas diferem em qutlldado, sao contrdvis,”" Assim, insta se ein ftiemar que propostgtes eH tals como: ‘Todos os postas sio proguigosos ‘Nenhhum poeta 6 preguignso 1 He pont vt trac seg min ecumenism seo ¥. street Lil, Fd io podiam ser amas verdadeiras, so bem que ambes pudessem ser ‘ats 2 Pc das proposes io nibeonrion 80 no poder ser ame fast, embora poem ser amis verdadelres.”A mona teria ‘fuaicional jé cada Sosentavn que a2 proposiobes parlculres que ‘moo tats termos sueto © preicndo, mas diferem em qualidade, Sho subcontriias,"Atiomara-e que as proporigdes 'e O como: Alguns diamantes sio pedras preciosas ‘Alguns diamantes nto sio pedras preciosas podem ser ambes verdadeltas, mas nfo podem ser ambas fasas 6, ortanto, devernos considers ins sibeantrdas. " “Ate agore, of exemplos de oposigio entre proposigées foram de ‘olde a sugerit desseordo, Mas “oposigéo”, no presente context, ‘um termo téenico que também se aplica ads casos em que nio hd ‘desacordo na scepeko corrente. Assim, se duas proposigbes que te ‘oe mermes termos sueto © predicedo concordam em qualidade © dife tem somente em quantidade ha oposiozo, mesmo que nio impliquem Gesecordo lgum. Em tals casos, firmouse que a verdade da pro- Dosigio particular estava ou no implicta na verdade da proposicio UnWersal. Por exemplo, da verdade de uma propostedo A, tal como: ‘Todas as aranhas sio animais de oto patas pressupunta-te que @ verdade da proposicio 1 correspondente: ‘Algumas aranbas sio animals de oito patas 0 the seguiria, da verdade de uma proposigio H come: ‘Nenhuma arana é inseto pressupunhase a possbildede de derivar a verdede da proposiio © eorrespondente: ‘Aigumas sranas nio slo insotes. A oposigio entre ums proposigio universal @ a sus proposieto particular correspondente (sto 6, proposigéo particular que tem fs mesmos tarmos sujelto e prodicado e a mesina qualidade da. unk ‘ersal) Tecebe 0 nome de subalternagio. Nesta situaeio, «propo. ‘Slgdo universal ¢ ‘denominada superatierna, ou subdilernante, © particular subaiternada ou, simplesmente, subalterna Sustentava-se ‘Que, na subalternagio, o superatferno implica o subatterno..& im Dlicagdo nao.€ valida do Subalterno para o Superaiterno, pols que, para Droposicbes sublteraas como:‘guns animais sio gatos ‘Agus animais nio slo gatos ambas sio verdadeirs, xo passo que a8 suas superalteras sio clara ‘monte falas . ‘Hsses varios Upos de opesicio eram representados por um di gama chamado 0” Quadro” de’ Oposico, due reprodimes com nine —e ein ¢ 67) x] | As relages diagramadas por este Quadro de Oposiglo fornecism, ‘assim se Julgava, uma base idgica para validar certas formas. algo lomentares de raciovinio, A esto raspelto,¢ eorlume distingulr entre inferéncia mediata © imedita. Inter ¢ extra uma conciasio de Juma ou mais premisss, Quando ha mals de uma premisea, como 80 silogismo, que possul das, dizse que a inferéncia 6 modiaia —~ pre- Sumirelmente porque se supée que @ conelusio ¢ extraida da primeira Dremisa por mediaedo da segunda. Quando ge extral uma conchusio 4 partir de uma tnica premissa, dizse que m inferéncla & imediata, ‘A Informacio consubstanciada ‘no Quadro de Oposieso fornece, cl Fumente, uma base para um corto Dumero de dnferénelas imediata ‘Assim, se uma proposiqio A for tomada coma premissa, enti, st ‘Eundo 0 Quadro de Oposicio, podemos infer, validamente, que bro Posicdo @ correspondente (slo 6 a. proposi¢io © cules termas #0. Jelto © predicado sio os mesmos de A)" falsa. Xda mesina premise Poderemos inferr, imediatamente, que a proposicio I correspondent Introtueso 6 Liles a” quatro proposiotes categdricas de forma tiplea, pode-se inferir ime ddaiamente a verdade ou falsiade do algumas ou do todas es outras 4s inferéncias imediatas Daseadas no Quadro de Oposigo tradicional podem ser classiioadas da semuinte maneira Se A € verdadeira: F 6 tulsa, 1 6 verdadeira, O 6 fais, ‘Se E 6 verdadeira: A ¢ falsa, 1 6 falsa, 6 verdadera Se 1 6 verdadeira: E 6 tals, A e O so indeterminadas Se 0 6 verdadaira: 4 6 falsa, Fe 1 sio indeterminadas, Se A 6 falsa: O verdadeira, Ee 1 sio indeterminadas, Se E 6 flea: 1 6 verdadeira, Ae O sio indeterminadas, Se 1 6 falsa: A 6 falsa, # 6 verdadelra, O 6 verdadeira, Se O 6 falsa: A 6 verdadeira, F 6 falsa, 1 6 verdadeira, EXERCICIOS ie, poder nterran da verdade ou falinde das proposes rants, sg See seas ros al pai 1 4 Tae oe tors tem sain sy mene iin l | y i i i 6 i | ‘igus bfotesores unvertaros dio tar rea, TV. OUTRAS INFERENCIAS BNEDIATAS ‘Existem outros tipos de inferdncia imodiata, além daqueles que estdo assorladas ao Quadro de Oposiquo tradicional. Nesta echo apre- Sentaremos trés desses outros tipos.”-O tipo mie Obvio de inferéncia ‘mediata ¢ aquolo que resulta Ge tima simples permauta entre cs tet tas sujelto e predieade de uma proposieio. Daseine ¢ nome de Converstoe ¢ perteitamente vido no caso das propesigées Fel. claro que “Nenhum homem @ snjo" atirma o mesmo que “Nenu