Eisielixro€, nogenéro, unico em lingua portuguesa. £— coisa rara —embora trae tletema de natureza ientifica, pode ser lida praticamente por qualquer pessoa, dads a mesitia diditica do Autor, intema: sionalmeme reconhecido pela importinciave ‘riginalidadelde seus trabalhos; Newton Costa & professor titula'da Universidade de Sao Paulo € ‘membro titular do nstituto intemaional de Filosofia de Paris. eee ete Pee eM Ua er ote) LOGICA INDUTIVA E PROBABILIDADE NEWTON DA COSTA HUCITEC Dis5 ‘abuso 08 des ous es 8 atc enc ce lcm ede prone. Err poe nie: 3 pe + cco rte eupnoeic ‘Rives its etalon wisest A: ‘Bes eNO ee eg depen su ‘Boitaacingracedet peas (ae pnts boxes 6 esos Sc em apes or isa ttcoce em o t ape o de erage for pre esi rg poleasn oi pecan OY Nan eae sot siete Cs Be Pa Srna copo dts co fo re fee en rss cme sg os “aos eto Nene eee iii cece ace {alm on © ne temp ame rnc gc Se a ee is a gnc mend ni ea fetecn isco on eure A pc dea tas com 8 a i as ss co "mat m= ade ct pr A es nd, cour tan Dewi CA eC ace prea (Drama de Hoa dP 4: Flow, (oan ¢ Glens Ua Se eS Pale ngeni hare Mendis ps Ue Fost nF Ones grt Se Sue inbice¢ dan i Ge Aci Baers Ais Span peta cr tg 96h, tories ends ds rs 18, Stu ets de pongo fen ocakJCF Fah, Sip Fade 2M. Gato, (Glroor een, Png ie cai ‘es pes ul i de Ne eases Une de Sin Pa, 3D (gulp ey do sti de Mi ‘ec, Eats Gods ds Canpemts ¢ rceoro Lp, Eeerop tic (Cn ses nit tk ee ios cs cfc om wt Gt Inna mi teas han aoe, am ‘en db Arcs Lt de Artis hes, Bree «os Ouse Done igo ot Faadoneses Mace ious ee ‘Si bia Go Base mare fie Ge psn rm var epee 3, ‘Br Fp Aceon en Esa it ln «go, gor he paar ‘eens ineranl Saco eam, pu Cage Flt, eco fae cor oes pace (8 i (ape tae tie ts septa, ve gen pants food a et feteuas © won earl da ace Hees Eco urd Ane tc Lips nt Arie Ln Aeon fr Syonelc Laie ac sisal tne econetee cl em 9 I tenant Plc oe Pa ‘Cnt, de modus ar acc ‘Lage m Anta Laten et ‘ison cepnicn ve gap seeps as so uopsin pss onaLOGICA INDUTIVA E PROBABILIDADEra ant ‘fmt edoNEWTON A. DA COSTA LOGICA INDUTIVA E PROBABILIDADE SIGUNDA EDKGAO EDITORA HUCITEC EDITORA DA UNIVERSIDADE DE SAO PAULO ‘So Paulo, 1993pnt 01 Nata AO ‘ve 8 0 ls has (ise sometimeSUMARIO Pret eee 1A tigi dais 2A ge inti 3.0 problema de nag. 40 probe da etagio S.A nate dt 850 ose (6, Lights indus ¢ pote (6. Probate pragmatic (62. 0s petipios esos do probe rogmstica 63, Preach de Poppet ooo sceees 1. Oberg is Pibiogaia Nota blingA matemiica ea logic, histricamente falanda, tm silo dscplinas completamente distinas. A masemadia Sempre estveligadaa cnc, ea giao pensameni Portm, ambas se desenvoleram nox tempos moderns ‘alga se torn mais matematica, € a matemica mais fégiew Em consencia, agora ¢impossiveltacar uma Tinka visor ene elas: de fas, as das io wma 9 Diferem come a jovem do adato: a Tica & a jee da matemiica ¢ 4 matemétic «viride da lgica ‘Esta mancira de ver ofendeaqueles igcos que, hand st se tempo no esudo dos tetas esses, so in ‘apa de seuir um racicinio simbilica,€ os mate Imaticos que aprenderam sua tenica em se preocupar com 0 significady da mesina ow com sua jasiicagn ‘Afortnadamente esses dois pos v0 fcando ca vez Bertrand RussellPREFACIO Um dos problemas cents da Liga eda epistemologia {60 problema da indugio. Desde Hume, ele tem orgi- tad ontovérsias inermingveis © so oumeresas as Sela ropa, Gu vise etna i Neste enssio cshocamas uma nova solugio do peobe- ‘mada inducao (amber chamado de problems de Hue). Paraiso, € preciso, de acordo com nossa maneira de tra tem, aver ds cons em primeio lugar, em se que forever wma slugio episemalgica para 0 po ema; em segunda, torma-se necessrio evidencar que ‘exit, em sentido que ear claro adie uma logics indutve, login que se encontainimament corlacion rad com a teorn da probobildade.Essas dus elas rellciem,respectivamente, os dos aspectos isicos do problema: 0 epstemolipco © tenico ou formal No presente trabalho © Ietor apenas encontaré um10 enexicro ‘excong de ass fosgio, Os dtahes serio expostos em liv que jf se encontra em fe aantada de eda. Devers muito obra de Poppe. embura ta alma poset parecer sorpreendene a ides aqueles fila ‘os com as comeepges do pensadorsusrac, posto que ‘efendemos a existéncia de uma Lien india DDehatemos, em parte, nossa tori ms seminsios que ‘si algons dlimos sno digimos no Centro de Lica, Epistemologin © Historia da Cacia ds Universidade staal de Campinas, por sugesti do Profesor O. Por hat Petia ‘Oueremos deixar consignados aga nosso ara ‘menos an Professor R- Chuagu, plas discusses que Imanteve conosco sobre tema plassucesivoscomvies ‘quero er par exports ness ings em sem rigs © m conferéacias aa Universidade Catiiea Jo Gil, 4 gual, no times tepes. emes vsiad asi amen ‘Sto Plo, steno de 1990, ‘AUTOR1 A LOGICA DEDUTIVA CO conbecimento centicn 64m conecimento conceal Tentams comcchdce e explicar a reaidade por meio de conceitos que relacionames a cori, as ips teas fei. To iia um vaio sem conceal {ve now perme, ene tas coisas, siteratizat 0 ral Dal exes cfu prevdese melhor mos adaptarmes so tam, © pip senso coum se articular meio {e cancios, No i rardo sem conceit. ‘Now divers rims cine exstem concitos que the sn pclae econelos muito amples, ques ph ‘am em vrios dominios Jo saber. Assim por exemplo, ft mecinice encontraos conceios sections dest ‘ici, com ade fogs, selocdade e weleragio, e com ‘clos de criter mais ger, comuns outa ences, oo, por exemplo, os de objeto, propodade e rela. (Os conceitos muito geri, que portencem 4 vis ou 3 td os rames da enc, denominam se eategorss12a téetea penervn Para ns, plo menos neste ive, uma Fea €qulguer clase de cinones de inferénia hscads num sisters de ‘ategoris. Dito de out mao, dao um sistema de tegoras, © qual pe sevir de fundamento para certs sistematizagdes racionas, «ele em geal chi-se ass iad una gia, a qual determina as inferéncia vals, ‘conelativas ao sistema de eategorasconsiderando. (Mais {do que iso, a0 sistemas de categoritsadequndamente desenvolvides, via de repa, enconta-seassciada 0 spenas una Iégica, mas também uma dada matemstica, Porém, no tataemos dest questo agi.) ualgucr igen L envolve 4 fixagao de ama de lingungens, som as quis et io peri express sis regres, que $i, 0 fundo,cinones lingistices, It im- fica ve L pass, pelo menos, duasdimensbes: a sin- tities ea semsntica, Do pont de vista mtematice- formal puro, L coat spenas uma estutura matemétcn. E uma Hégic 3 existe propriamente na medida em que se poss formoléla como esrtua astratse formal 1A liga doduiva (diseiplina) 6 o estado das diversas hogieas (estrturas), come $8 dfinimes Dada gis L, inference qu ca esis como vids denominan-se L-dedugies (08 L-vliis). As 0 tes inferéncias, coificsvess em L, mas qe no so L- vlidas camanse L-parslogisnts. claro que o conceto de Tigca so 6, de Srgio de inferécias assent sobre um sistem de esters, ‘mostra um tanto vago. En tedo cas, geralmente se tem sempre algo mais ov menos definide quando se fala 4d Iigica de um context racional (em paniular, cen‘oc eure 18 tice). Assim, por exerpl, lige subjacent cin is da nturera oe, €& ogica cham lassie (salvo ‘em algumas discusses de natreza muito especial, so se argumenta que, em eeras aso, com nox fn zmentos da mecinica quintics, devermns corer sicas diferentes da elisa), ‘A ligica clésia tt, essencialment, do cileulo de redicados de primeira ordem sta ito hoje cisco, ‘om ou sem igual, ede alguns de seus suestemis; tra, ame, de swan extensies «uma tcria de on: juntos ov a uma tgica de ardem seperion No entamo, especialmente neste século,surgira no vas logicas, como, v8 logis inion, piv lent paraconsistene. Em sntse, prssumos sisters de eategorias¢ Iigicas les fundudos que diferem da postr lisa, Tais Kgs chamam-se betedonts on lo lisse, Aceditames que © nascimento ¢ prlieragio das gia heterdoxas consti uma das maioes revels: ‘de nosso tempo. Taser ela saa semethane &revologso rovocads pelo surpimenio ds geometriasnio-euclidia: as. Ene outas cos, ak nova Iigcas ostream que Tosiidade ¢ racionalidade nao se identifica; mi ise rmatzages raionss, podemos wiliar Kigicas distin: {1 lisiea ou oredoxa, cas ss0 nos sj convenieate ‘Asconcepyées taiconas da izao se evdencirm in potenes pra dar conta do novo estado de coisas, © que ‘th originando, como ado pera deat de ser, oma ‘uta manera de se encarat 4 indugio, Por eta circuns tineia € que devemes nos ccupar dessus Uigicas.nnn Como podem a Iigcas hetrodoxss ser defini? ‘Sem almejarmes preciso complet, 0 qu, ais, otra sentido se exigr, parece muito apropiado peocedeemas ‘sim: desde qu jt define gia todo ou elis- Sica jf sahemes 0 que € oma Iga, as Hgicashete- roxonat seri gs distin da esi. Tudo isso igus claro, mos lora-se necessrio fave slguas ‘hservagies 1) Uniicamos play “hgic” em pelo menos dois semtdos: la pode denoat uma eggs Ow ume estrtur ‘enatureza determinada. Asim, existe 4 diseipling que fe Jenomin Iigicn elise © hi a diversas estates Tingustico-formas invesizadas ness disciplina ‘Como cinca, hi uma Hisca classic nica do pis ‘stulurl lings formal, existe vis, com, por ‘xemplo, divers formulagdes do clculo proporionat lissico, a aiferentesapresenuties do cileulo de pre- Aicados de primeira ondem eisico, com ow sem ig. dae, os vara sistemas de erin dos ips ede teria ‘do conjntn ete 2} O fata de nao os imeressarmos por obter uma Aetnigh prcisa © exat Kien (acm da Mica nie ionista, da igics purconssiente ete) nf se deve a igus propredade peculiar dessa cigncia, mas docorre 4 crearstinci de que mio € necesito nem Se poe detniede mado completamente eats igoroso qualquer 13) Nio prota deserve aga ama ova pro funds da loieidade, por apenas Fis algo as‘voces neounva 1S chamar a atengio do leitor para cers conguistas re teenies que tem contbuido deverss par se relormelar © ‘entender melhor as questes referents &inducioe sua sgnificagio pura a cgncas res! E claro que dois sistemas de ligica elisa podem “lierrem suas simbologias ou em sus codificages exo matics, mas que wis diferengasnio apesentam signif «ado mals profundo. Assim, por excmpo, dois sistemas de Kies elisa, Le Lp diferir peo fato de aque em Ly © simbolo da implicagio material é —», 20 paso que em Ly € 3; ov Ly e Lp podem diversi pela ‘colt des simolos primitivos: em Ly implicagao © 8 negacio sto tomas com ids primitivas,eaquanto {que em Ly os conectivespropasicionsprimiivas si0 a disjungio ¢ 4 nego. Mas, mesmo revelande diver nce como as deseris, os sistemas de Wigiea elisicn nda podem apescnr varias por exempo, osistoms ‘Se cota de conjuntos de ZermeloFraenel difere muito {e Kelley-Morse-Tarsk e tora dos lips de Church Psu careers bem divers is dossiers aman eo sinples dos ps. Alem dso, mits wees cori fxiomas, como od escola o dt exensionlidade, slo Suscepieis de screm oa i ined ee ‘Sopondo-s, ents, a Kgicaenodoxa mais ow menos etna, pasamos 2 conelangio mais detalhads das Sete smi gc wpe er re aaa hee fondant Wg, 1 eae16 toca peo heterodoxas. A melhor maneira de procedermas pra fa- er iso 64 seguinte: um sistema Kgieo L dirs hee- Todoxo ou nio-cisic se satsier uma pelo menos das condi: 1) Sua tinguager diferebascamente da linguagem da \égica csi, especialmente pela sus interpreta se 72) Agus do principio cents da gi ain, «come, por exempo, odo tercno exes, non tralgio e Mende, no vulem em L. evidente que estas das contigs esto imimamente relacionadas tm cimbio de semdinics em geal acarrela mange de ‘rinepios evecprocamente HG dois pos de ica heterodox 1) Asque foram poposts como complement di cis- ‘sea, Por exemplo, lgica modal comum ea Kgica do tempo: 2) As Kigicasformuladas com o inuito de substi ‘lca cscs em ros ou em determinados contexts racionas vg. a Kgieainicionista ea logic paracon. stent. Ess dimes, em certo sentido, so rvai da Tegica orodoxa. Nowe, porém, que a distinc nio € asolta que, pata exemplar, uma ligiew propasta injialmente como rival da clisica pode, em ger, ser ncaa como su complementar Este €o caso da gia Inwicionist ela fi elificada como rival da gia ‘ional, para substitu ana sisteratiagio do pensamen:‘svowaen oeoumva 17 ‘ maemticoconsrutivo, mas €suseptvel de ser ape: senlada também como complement da gia onto ‘quando se quer estudar opensamento constuiv por me todos contutivs, sem as ipéieses da ica tradicional, toma: se necesro lana mio da gia intcionist (8 ‘de alguna de suas variant} Ha alguns sistemas Kicos que se oraam dif ls sifcar ene os complements ow ene 08 nvais dos Sistemas elsscon. Tal acon, por exemplo, com os temas ligios de LeSniewskie com tera ramiicada os tias. Os primcirs se origaam de ums adlise cow ceitual bem divers da anise subjacent ds Wie eis Sica, embora seus cbjtiver seja mais o8 menos ented ‘08. Ouanioa teri rmifiead dos pos Ros pris como fundartent ds matemtic acon e com ees fruorago da Kia da pea, endo a viaude de ser capay de superar os paradoxes que inestavam a lgica ea ma temitca no pnncipio deste séeuo. No caasto, a tora ramilicada, pura realizar seu objetivo, deers st supe mentads pelo principio ds reduibiliade que, em deter. minado senda, detruia parte da intengio wotivadors «4 hierarquiaramifcada, Paece que esta se aplica com ‘mais propricdae is investgagoes de eater estativo endo se adap bem 4 indole da matics usual Em {odo eas, a Semantea do tora raifcads dos pos mio foi até agora estrtarada ¢, a0 que tu inc, ter de se asta bastante du semen ado da eri simples os sips caeulo de pedicads de ordom superior eis sien),18 to«ica peoutn “Tato o que escrevemosevidencia que t nogSo mesma de Lgica no € completamente pecs. Mas do qu so, ‘gut se entende po Kigica muda po decuso da historia, {A Wigica€ hoje © que comstatamos hoje que ela € Essis ‘conclusies so rlevanes, como wercmos, para nes dis ‘Acexpesigho precedente leva-nos a aeitar as segues concluses, que procures prowar com mas detalbes fem ms i Ensaio sobre ox flaments da Topica 1) As lgicas beterodoxas so realmente Figeas. Em couas pula, exitem Ligicas distin da clissica 2) Hi duas cls de lgiewsheterodoxss: a rvs as ontodonas eas que Ihe so complementares. No em tanto, slo depende mito do moda de se encarar is strturan mio apis de sus areas. 3) A eo da ligicn subjacent 4 dao conteto se faz, consciene ou inconscieniemente, por meio de pr cipio determin, que denominads de prineties Pras mites ds riio. Estes principe most que» escola uma Iga no € ubitra nem convencional, mas ‘se fuscia em vroe paimettos, ais como tipos de ‘bjetos que so considradom. atres relatives & sopli- ide, 8 comodidude e poder explicativ, desenvol ‘iment dis cincias vc, Por comseoine, higiea mio 21. (1. En go sn meno i ne eds ‘nonce cna eens Mog de ‘rakes cc rds gocca pepuTWA 19 seach determinada «prior: ej pela sséncia do esi hhumano seja por outta mess, como, po exempt rpiacontiguragso do univers, Voltems 3s inferéaciaslegiimadas por uma Iiea LL Vimos que esas infernciss denominaen se Lvs ou L-deduss. Outs ips de racociio, formalizaveis mediante s recurs de LsS0 os L-praogismes. Asin, 2 inlerénci Ita pelo método de redo 0 absurd, ta forma 2 ABA -B a ‘io inferéncias vidas na igca else, emboa sjamt ‘arlogismos na inuicionsta, Na lgica intuiionsta sem egacio, de Gis, io obstit, elas no so csicsveis © portant, nao constuem nem inferénci valid nem purlogismo,2 A LOGICA INDUTIVA Muits vezes a uilizagio de pualogismos ¢ da misma televincia. Ov sea, fxada a ligiea Ly nem sempre se pode nem &convenente que nos estamos, a ot textos ligados w L is Leedugdes. No focune Wigs ‘onodoxa, por exemplo, iso ocome nt vida de tas as © cnc. a vida quotdana na mesa em que reorremas a slguma liga, ess Higa parece sera elisa. Asim, ‘am exemplifies, ninguém poe em divi o silogismo ‘em Birbara e reg da prova por casos. Mais do que iss, depois de algum reflex, chumalos pines Fundameniis da Iigca orton, as leis da indent, da io contdigio ¢ do tercira exclude, si acctas como véldas, em acepsao bis. Porm, se uma pessoa ‘quisess iver apenas inferéacas lias em seu diva provavelmente nao sobrevveria mito tempo, Tos inferéncias realmente importants da vid comm con2216139 moar tiuem pataogismos. Se alg infec, apis slgumasex- pergncas potas, que o po The fa hem ou Se inf, depois de vis cnsttags. que hebidasosiea Ihe fama dons de eabogs, no css raciocinindo dé mos Togicamente vido. O'mesino se passa quando cfeta racictbes mais sofistcades, come es por analogs, ou ‘quando asta em corks de cava ow partic de jogos semehantes ao piguere a0 bridge. ‘Nas egacas empties, 0 emprego de raictnos que no so ogiamente vidas € Sbvio. Fixes iis = Prrtndo-nos a caso da Cie, Qualguer Ie fea de ede de inferéncins que no s0 lat ed relragio (bs he foi obits moiante uma vaste generalize de casos pariculares€, porto, de um mer fnito de fexpergacias, cheps-se&frmulagio de uma Ie que si pestamente se apes sempre, em qualquer Iogar © em {qualquer tempo, extapoland se dads iis. le facies mo vids encontamelgndas 3 labora de ‘eoras, 0 que esta ato absoltimente cao. Os ei owes das eras sis mais importants, como Newton ‘Maxwell e Einstcin, por sso mesmo, parecer, 38 vers, ler alg em comim com o anita —e de fto tm om fase em cements (experiments. eis, hipoteses, ».) Je “imbito mas ov menos resting, eifeam cris eyo ‘scopo vai muito além do que as dados pueciam aut fan assemcthundo-se mas a eradores do que a desco- briore, onde © génio € 2 inspragio desponum, ln brando oat eiador do artista, Em sintese: Nio haveri cléncia empties seas centistasprocarssem empregar tnicamente formas vidas de inferences,A voctea mou 28 io hi divide que 3 dotusio, o rcicinio demons tratvo, em grands importantes aplicacies mis eign cempiicas. Por exemple, quando se est interssado cm ble a consequgncias de una toa as implies e determina hipstese, dove-se coer dedi, NO fentanto, quando se realmente svangur a ciéaca quan ‘dose formulam kis ow tora, ecorte-se & inferenca ‘0 dedi, Soja Lama Wigics, Ox L-puralogismos classifica se em dis grapes: 1 As Lindugies, que so L-parlogstns de algun mado jusifiedveis ou seitiveis,gorando da provide de seem cornet 2) As Lialeis ow L-puraloisms incoretos A lies indaivaaswocinds a L éo exude das Lin dudes, especialmente de ns relies Kic-ormas Uma das tarefas bases ests Iigica consiste horagin dem conecitoaproria de coreg, © i sins para carscterizar ae Linducics, Multis vers Tormelagan de ertros de correo ace contac ada com a posibidade Jeno emer “pose” 3 i fexécias, sat Wigs indutvaapresena cones com ters dat pbuh ‘Oualgucr quest 9 higica L. sempre se pr, plo ‘menos em principio, tent esukeeeer uma Kg ind tia associa aL. aqui par rem inca igen que consideraremos salvo aso express em cunt, so a igi elisa2A nuccaca wourvn Feataremos, pis, apenas de desosio, ino, paral ‘mo, faba Fea india, sem qualquer quifcao. ‘Observago terminohigice: qualquer dogo ov € vi ida ou nic € deduce. No entato, empregaremes €o- ‘mumente expresses con “deduce wis” "deducio invalids” cus significado so patente assim, deo {invalid quer dizer paralogismo,e deducio vila, sim lesmente dedugio) Da mesa forms, io exsteinducho Incorreta. Mas © emprego de express seman 10 cause difeldades €cimodes logo, 6s tires (Gos melhor dizemos indacio income em Inga df Vaca) ‘Coma fini de exemplifiacioe para que se fa uma ida do rquera da ligic ndtv, daremos a seguir ‘alguns dos tps mais ilizados de inferéncas ints. Xo momento nio traturemos da comegso desssinfertn clas. que ser Feito fturameate. Mas, com as exer folds, quctencsjé iia a tare de mostrar que 3 ‘existéaca de ertas de coegio nia € impossivel nem sips 1 Induct por simples emumeragio on indi simples = Ente po de inferéncia adv tem forma: Sey, ay so elements da chse Ae consatamos qe eke les thmbém pertencem a oars classe Bent, spon do-se que nin se cece nenhum elemento de A que io pertenga 4 B, concise que todo AB. Esta mancia dese raiocnatevidentemente 0 & vid; mas do gue isso, se do for usa com euidad, leva a eros rss No fando, 2 indacto simples se resume no seguime deAvoca nomen 25 ma dada ames, {4 82-84) 8 populagio A, desde ‘ue fads cs seus componentessejam membros de B ¢ nose eonbecam quasguer clement de A que niosejam 'B,conelu-e qu to a popula A compe de mem tos de B. Or, pra que tl nferenca sje conta. devern ser sisi ceras condigies:« amostra tem que set representa eo admero de ses components deve set 'prpriado ct, two dependcndo da indugio considera, Uma indus simples pode ser ere posit pms venJadeirs,embora tna como conelisio uma propo sii tls, 2) analogia — Suponhaes gue os elements x, ‘todos posuindo a propre P, posse tat bm. a propriedade Q;ento, sexys possuir P conelut mos que ele possi 0. Ta é 6 riciocinio por anoxia, que apresens prenteseo inti com 8 indugio sips ‘Ao primero, aplica-se tudo o que se dise sobre a lima, Depend de P (a propridie anaigica) e de cond ‘es que varia segundo a caso particular que se estver ‘tatando, 2 analogia consti forms de infereaci real ‘mente importante muito usd na vid dria, ma iene 1a tenologi 3) inferencia estarivica — Agu entendemes por in ferénca ests a estimativa de porimetos, ete de hipsteses ea teria d decisi. Est, como a desemvolven 9 Se ano rea (6)2% avo6Iea wou Wald, cmvolvcestimacio parimetraseotestede ‘como casos espcias. O tema € demasiado tenico € no ‘entraremes om dctales. Porm, nio se pode deixar de fohservar que, at apicagio dhs métodos da infertncia ‘stitica, tem sentido fat de cones, no absante as inference corespondenes no jam logicament vl as lnvaidadee corti, pois, no Se mostra incom- tives. Por outro lado, a woes da nfertncia estatstica onstitua maior evdéncia de que existe ums Tiga ia ut ‘A esttstica ivadiu praticamente toda eigncia emp rica €a tecnologia, de modo que 0 raciveaio indutivo ‘consti, sem sombra de dGvida, um dos componentes Tundamentis das eigncias empires, tanto prs como apliendas ‘Conv lembrat aqui uma ds formas clementares de inferéncia estaistica,ochamadosilogismo estaistico: k% ‘ds A so B:x€ A: logo, xB. As condiies de comes ho silogism estat, isto €, 0s requists que ever ‘ser prenchides para que sea acional uit, no 0 Ailes dese formulas. 4) Os métdos de eiminacdo (Bacon-Mill — Sto mito confides os chaados métods de eliminagio, espe 0 xpd 1 do ar de Kyun (20) cnt ua xpi stone nina asic Tb vl po com the de Pp (2) erase (0), apn mans neAvoca soev, 27 cialmenteestadados por Joh Stsst Mill © em nase tempo deserlvidos por von Wright Dis certs re ‘quisitos como satsfits, © metodo a concondincia for nece-nos, com tod) rigor, as condiges necesiias de tum fendmeno; de mado semethunt, © método da die renga levanoss cones suficientes «0 mets com binado da concordinciae da diferengs, i condigies ne cessirnsesuicenes. Na verdad, € preciso supor qu, pr exemplo, numa aplicagso do primeiny as conics fetwadas ence snd a8 posses condigbes neces sia do fendmeno investigzado. sts hpeses compl ‘mentars so estuibelecidas, em gra, po vires modes « depenidem decomsiderages de ovtra indole (asst v8 prem decorrer de outs tors de es jf estab das), Os pros métnds des resins © das variates concomitant, dent de certs limites, sudan bastante a pesquisa de condigies das quaisdependem deter ado fendmeno Sei como for, embor indi por elimina enka suas restrigies, cla € vl em mulios cae aigura-se comet, ow sj, 6 ricional wil 5) O métod hipenetico-dechuivo — Quanto se tem rio feovimenos particulates, leis ou hipseses que se que ex liar ou unica em geral formal se uma hipese mais ‘eral ou uma tei, da qual es primis decorem (Sas 5 rae ie a iia on mtd Mil coe) <@28 areciea moun, ‘utr hipStses¢ algumas “condigies de comtrno”). A ‘core ow hipstese assim formalads, dgamos T, no re- sult da aplicagio de process hem dtinids ¢ Weis, ‘mas da inspiragao edo genio do centsta que ormulou. (0 que hi de importante, no entamt, € que a teoria T post sr testa, no sentido de Popper, que sea aceita Frovisoviamenc, até que se fenhim motivo Suficientes pr a ahandonmos © substituimmos pr str melhor ‘Muaplada is cireunstineas. OmGtodohipottico-dedativo foi ctu por divers autores, patcularmene por Poppe 'A claboracio de boas hips © ters no Se rz a rogras, como jf assim. A tora da elatviade, eon eleromagaetica de Maxwell ea eoria dos eines de ros de Halton onsttuem obras oriundas da in twigsoe do gino, Agu, como se tem epetig inmeras eres, core algo similar io que se pass como artista, oda ura seus tras, Preceria, eau, que o metodo bipotiendetutvo consste em algo iacional. No en- {ano nada mais feo do que tl impesso. A racions- lidide do metodo bipottico-lodtivn aa da aide erica gue se dove assmirem face de wh evi: po- ‘kms aceit-la, mas somenteenguamio rea © a ox ‘eign no evidenciarem que ela ¢iremediavelmente {alsa Confimios em um teria desconfiand 0 hi stra mus raconal do que ess, pois awd bi Ver Kyung (0, capil 12. Ver, sno a 8 Pepe emjega:a tecen smn, 29 pte so de fundamental importincia para dominates ‘entendermes 0 mundo, € nao dspomos de mics al. temativos. Nio acctarmos 0 meta hipottico-dedativs seria nio apenas dest a eigaci, come mbm si Tiara prmanccerms orplenc na maria ds situs da vida dis, Em cero sentido dvi, as interne ndtv ts reduem-se an mete hipadicn eda, Por exemplo, 0 avers ums indo poe simples enumeragin, 0 ode ser intrpetadocomplicago do moder ape 0. Dai sua extroonliniriarelevnca € dao por da cepa Je Popper gue nele ve 0 proceimento por fexcelnein das varias disciplines empiicas” 6) Injerénciaprobabiivica — Para its autores, com Reichenbach © Carnapiferénciaindutva const ce termina else de inferécia probablisica esti (- ava. fiers que as inferéeiasprobuilisticas © ests ‘isteas adn se conta) Nos raginenios indutives. as premisas io implica logicamente a concluso, No enfant, de acon com di verses expects, existe uma eacio de probable awe 2 eonjongie dis premisus ca conclu, x6 a8 Drimeiasforem vers, bi ne dermis prob Pilidade de que a coclusn smo a. Eun arg potted em os sun ra de his eénca, Poem,