You are on page 1of 21
482 ctzana wort notonicamente +? Este esquema de nferénca conhecido como "thipétese do mundo fechado (echado porque sypomos que tudo ‘que verdadero ¢0 express pela informagiodisponivel, nada alm diss) (© raciocinin envolvido na hipitese do mundo fechado € uma “spe de acocnio nio monotnico, pois acréscimos «podem undue @ invalidago de uma infeénca fits. Por exemplo, se acrescentarmos a0 banco de dados a infarmagio nova de que fei justamenteinaugurado um voo direto entre Florianpolise Tim buceu, + no mais poder ser deduida de ‘As consequénciasimediatas das quests anteriores si: pi meio, desenvolvimento deLgieas que formalizem rcicinios de ‘senso comum, mesmo com falhas.(Sigifca iso dizer que a lgica € desrtva, ou sea, desceve como a postoasraciocinar, 20 in ves de prescitia, isto &, dias normas de como at pessoas devia raciocinar?) Segundo, vemos que faz necesito investigar mais ‘pares de inferénciando dedutives, como raciociioanalgico, indutvo, probabilistic, cassim po dante, que foram neligancia dos pela ica lisa. Para ializar ese passio pela logic, note que, do expoto an teriormentealgumas questbes ainda em reports te colocam, Por ‘xemplo,oque final, uma igica? Pode have uma gia coreta (com relagio a uma ideiaexrasstertica de vaidade)? E,nesse ‘as, teriamot apenas uma lgica corets, ou quem sabe, mae de ‘uma? E como sabe, anal, e uma ligica¢ correta? Ou ses que, 20 contri, do far sentido falar de carnego de wna loca? (A Togieas seam, nesse caso, simplemente ferramentas, adequadas, undo acertasarefae) Alem domi, fz tendo falar em lgica ‘io dedutiva, como parece suger os desenvolvimento sobre ra Eclaroque, estando as coisas ness situaso, com tantos prob ‘masinteressantes ainda por resolver (es susitar novos pelea) 1s perspectiva ce mercado de trabalho para slic so fants ‘as! Quem sabe woe nio se aventura também por ese caminhos? APENDICE A NOGOES DE TEORIA DO SILOGISMO [Neste pide veremos com mais detahes a tora dosilogismo de ‘Aristotle, historicamente «primeira teri liga que vemos. A ‘verso que vamos estudar aqui no €aquela original de Aritételes; «teria do silogimo fot aperfeigoada por lgicos posterior, e & ‘de uma vero final nua que vamos nos ocupar-O canted deste apindice inclu proporigdes categias, o quadrado tradicional de ‘ponies, definigi de silogimo ea identifica de seu modo, stra, ¢frina. Filmente, dncutiremos a vaidade das formas de slog efalaremot um pouco sobre como, dad um silogismo, Alguns oamiers) no so (eps) Ese argumento, asim, ¢um silogismo cateyico. Alem disso, cle esti na chamada forma tipiza (ow forma candnica), Mas o que & iso? Vamos ver Cada um dos termos do silogizmo vi ganar um nome: meer, mie maior, Para determinar qual € qual, comeyamos (sempre) xaminande a conclisio. O term ‘mamifero'€0sujito da con- clusio. Esse term serddenominado termo menor. Ou sj, em silogismo, o terme menor €, por definigto, aque que & 0 sujito dda conclutdo. Agora, como cada termo em tm silogisma ocorre ‘duasvezs, 0 temo menor, elém de ocorter na conelusi, aparece também em uma ds prmissas esa premissa ser chamada de pre: smisa menor. No exemplo anterior, ‘mamifero!ocorte na segunda remiss por defniio, esa é a premissa meno. (Que termo, agora 0 predicado da conclusio? Eo termo ‘rep ti Ese termo seri denominado temo maior e,«m vitude dio, a remina em que ele ocore (note que ele ocorte também na primi ‘1 pemista) srt charnada de premise maior. Finalmente, temos um temo ‘animal aldo’) que no ocorre na conelusio mas ocorr nas duas premises, Este ermo seri den sminado termo madi, [Representemos aconclusdo po ‘Ca prema maior por PM 4 premiisa menor por ‘Pm’, ereapresntemos oargumento da sequin maneia PM. Nenhum animal lado ¢ um pil Pm Alguns mamiferos si animais lados. GAlguns maniferosnio siorptcis 492 cena nora ‘Um silogimo enti na forma tipia se estiver na ordem demons teada:primizo a premissa maioe (PM), depo a premioea menor (Pm firalment a conclutdo(C) ‘Mas por qu isso € importante? Or, ¢ porque pea forms tp «ade um silogsmo podemos identfiar seu mado e qua, que so importantes para a determinagto de sua validade Vamos exlarecet isso, comesando pelo modo. (modo dew silogizmo & dado pelos tipas das proposigtes ca fexéricas que o conpem, segunda a ordem d forma tps. Por cexemplo,o modo do silogismo apresentado & BIO: F da premissa maior, [da premiasa menor eO da conclusio, Consider agora oseguinte exemple PM. Todas a salamandas so lagartos Pim. Algunslagatos no so ani. (G. Nenhumanfibio€ uma salamandra Visto que a premissa maior & de tipo A, a premissa menor de tipo O, €& conclusio de tipo E, © mado dese silogismo € AOE. Fil no? alemos enti, dafigura de um silogsmo, Ber, como qualquer tipo de argumento, alguns silogismos 0 vidos e outros no so, 0 {que os exemplos seguir nos mostram: (1) PM, Todosos répteis so animals. Pm. Todos os agaron so rps, (© Todos o agarto so anima ($2) PM. Tosdon ot agate. Pm. Todas as cobras rics Todas ancobrassfolagarton Voed vé faclmente que ambos oe slogsmes tém o mesmo modo: AAA. Contudo, (1) €claramente vildo, a0 paso que (82) éclaramente invalid. O que hi de diferente entre os dois? couse kuoace 493 A pista esti no terme sublinhado em ambos os logos: 0 termo midio, Note que ese temo —‘téptes' — enconta-se em osigdes diferentes, com papeis diferentes. Em (81), otermo médio € ujeto da premissa maior epredicado da menor. Em (82), otermo médio¢predicado nas dus premises. Essa € diferenca —e jut. tamente oque faz com que (St) aca vido, mas (50) no, Taso ia mais ci de perceber we deinarmos de falar em reps, cobras lagutos,eindicarmos apenae a estrutura dos argumentos, twando as letras” (de pequena para o terme meno, 608 {sito da conclusio;G(de'grand’} para termo maior, queéo pee dicado da cancusio;e‘M' (bem, de ‘msdn’ para oterma médio “Temos entao (destacando 0 terme médi) (St) wm Todo [i] € G 62) me Todo Ge (i) Pm Todo P é Pm Todo P é [Af] © Todo Pe G © Todo Pe G © prsicionamento do trmo médio nas premises caacterza 0 «que chamanos de figure de um sogiamo, O argumento (St) ¢ da Drimcra figura, a paso queoexemplo (52) ¢ da segunda, ‘Um pouco de rflexo sobre o posicionamento posivel do ter ‘mo médio nos mostra que hi. quato figuras diferentes, represents das asim - . > M-c c-@ -W W-P G P= Gye P= (Ox entdo, de uma mancira muito mais eaqueitca (slinas smarcam a posigi do temo meio} pF] A 494 ceaana woman ‘Mai um exemplo, para ver se tudo ficou claro, Conseremos 0 siloismo apeesentado na prssgema sg, e vamos tent identi far seu modo e figura ‘Uma ver que todos os tars so animaismarnhos, as penhum animal ino urn barbell, podem conl qe agua bor Teas noo tbares, ‘Com voce jé pode perceber, tudo depende de identificarmos 0 sujeto eo prdicado da conclusio. Mas qual seria ela? Noexemplo rencionado, est claro que a senenga que se segue a ‘podemos ‘conclu que’ ou sea algumasborboetas no so tubardes. As de- ‘mais soa premises. Vamos marcr isso no texto, como segue: Una vex [tno hdr eimai marin] ms [enon nina marino ¢ uma brea, pderosconli que [alga or Solaas nose tba entificada conclu, fiamos sbendo qual £0 temo me not (borboleta’ 0 susito da cnclusio) bem como o temo maior (tubers, predcado da conelusio).O termo que sobra, ‘animal ‘marinho', 60 termo medio. Dispondo dos termos maior e menor, ‘etos que as premissas maior © mende so, espectivamente, ‘to do o tubardes sf animais marino’ e‘nenhum animal marinho ‘éuma borboleta’ Vamos oganizarieso todo, colecando oslogismo na forma tipica(e vou sublinharo tema médio, para destacar sua posi PM. Todos os tubarbes so animais marinhos. Pm. Nenhum animal marino ¢ uma borbolet, (G. Algumasborboleta nfo so tubardes, (Coro premissa maior é universal afrmativa (A), a menor uni versal nogativa(E), «conclu particular negativa (0), 0 modo este iloysta, claro, € AEO, Ea figura? Vendo que o termo me: dio peedicado na premissa maior esjeito na menor, iso nos dé a (quart figana. Mode figura indcam a forma de um silogismo ex rmonucho kuccea, 495 ‘forma tipica. Podemos sntetza iso dizendo que a forma do silo siamo anterior € AEO-4 ‘Mais um exemplo? Claro! Consdereo silogiamo a seguir, te teidentificar su modo figura Algune membre da Fert so lt tant, algun ebro 6 Fedkragio no to gon, que nenhun Hing €um vue, © primeir patio, corde, & identifica «conclust dosilogie mo —oresto todo depende disso, No trecho dado, éagusla propo sigdo que ve segue a ‘portant’ ou sa, ‘alguns memos da Fede acho ado so Mlingon. As demas sf as premise Menifiada & ‘nonce dear si componton itive go alguns topos eb opin o composts insti rmcousoatccca 497 (rm) Teo 0 niisos wo metas da odor 0 slemerdon ridin pore todo cletrado so metazoan. (n)Nenhum planeta que gira em redr de uma eel india € um corpo cele que tm cndighs de args vida como a qbe <> hecemosn Tera, pore nenbum planta quegiacmnredor Jeu ‘eta india é um planta de debi ste, dos os corpse tes quc tim condiger desir vada como aque conbecroe 2a Terasio planes de bitestvel, (6) Algus pinguins que mora na Antti no so anime que gs- ‘amor: aim, algun papugnioe oo pingsna ue moran Ati pases noo nimi go ta do AA A validade dos silogismos ‘Como vimos antriormente, temos 256 diferentes formas de io sismo — mas nem todas so vilidas. A questo € quai oa for ‘mas vidas e como descobri isso? Naturalmente com os recursos da legicacontemporinea,bastaria representa silogismo aa lin ‘guagem do CQC e estar sua validade usando tables, por exemplo. “Mas Aristteles eos Wgicos medievas no dispunham dees re cursos. Coma els faziam, nto? Primeico, 0 que entendemos por uma forma via de slog: ‘0? Um determinado silogiam ¢ vilido, lato, for um exernplo

You might also like