A Lgica (do grego ?????? logos1 ) o estudo filosfico do raciocnio vlido2 .

. Utilizada em atividades mais intelectuais, a lgica usada principalmente nas disciplinas de filosofia, matemtica, semntica e cincia da computao. Ela examina de forma genrica as formas que a argumentao pode tomar, quais dessas formas so vlidas e quais so falacios as. Em filosofia, o estudo da lgica aplica-se na maioria dos seus principais ramo s: metafsica, ontologia, epistemologia e tica. Na matemtica, estuda-se as formas vli das de inferncia de uma linguagem formal.3 Por fim, a lgica tambm estudada na teori a da argumentao4 . A lgica foi estudada em vrias civilizaes da Antiguidade. Na ndia, a recurso silogstica Nyaya remonta a 1900 anos atrs. Na China, o Mosmo e a Escola dos Nomes datam de 2 200 anos atrs. Na Grcia Antiga a lgica foi estabelecida como disciplina por Aristtel es, com a sua obra Organon. Ele dividiu a lgica em formal e material. O estudo da lgica era parte do Trivium clssico , juntamente com a gramtica e a retrica (ver: Ar tes liberais). A lgica frequentemente dividida em trs partes: o raciocnio indutivo, o raciocnio abd utivo e o raciocnio dedutivo. ndice [esconder] 1 O estudo da lgica 2 Histria 3 Lgica aristotlica 3.1 Lgica formal 3.2 Lgica material 4 Lgica matemtica 5 Lgica filosfica 6 Lgica de predicados 7 Lgica de vrios valores 8 Lgica e computadores 9 Tipos de lgica 10 Testes de lgica 11 Respostas dos "testes de lgica" citados acima 12 Ver tambm 13 Referncias 14 Leituras adicionais O estudo da lgica[editar | editar cdigo-fonte]

Gregor Reisch "A lgica apresenta os seus temas centrais", Margarita Philosophica, 1503/08 (?). Os dois ces veritas e falsitas correm atrs da lebre problema, a lgica apressa-se armada com a sua espada syllogismus. Em baixo, esquerda, encontra-se Parmnides, graas a quem a lgica ter sido introduzida na filosofia. O conceito de forma lgica central lgica, e assenta na ideia de que a validade de u m argumento determinada pela sua forma lgica, no pelo seu contedo. A lgica silogstica aristotlica tradicional e a lgica simblica moderna so exemplos de lgicas formais. Lgica informal o estudo da argumentao em lngua natural. O estudo de falcias um ramo articularmente importante da lgica informal. Os Dilogos de Plato 5 so bons exemplos de lgica informal. Lgica formal o estudo da inferncia com contedo puramente formal. Uma inferncia possu i um contedo puramente formal se ele pode ser expresso como um caso particular de uma regra totalmente abstrata, isto , uma regra que no sobre uma qualquer coisa e m particular. As obras de Aristteles contm o primeiro estudo formal da lgica. A lgic a formal moderna segue e amplia o trabalho de Aristteles.6 Em muitas definies de lgi ca, inferncia lgica e inferncia com contedo puramente formal so a mesma coisa. Isso no esvazia a noo de lgica informal, porque nenhuma lgica formal captura todas as nuanc es da lngua natural. Lgica simblica o estudo das abstraes simblicas que capturam as caractersticas formais da inferncia lgica.7 8 A lgica simblica frequentemente dividida em dois ramos: lgica proposicional e a lgica de predicados. Lgica matemtica uma extenso da lgica simblica em outras reas, em especial para o estu o da teoria dos modelos, teoria da demonstrao, teoria dos conjuntos e teoria da re

curso. Histria[editar | editar cdigo-fonte]

Ver artigo principal: Histria da lgica O primeiro trabalho feito sobre o tema da lgica o de Aristteles (na verdade, os so fistas e Plato j haviam se dedicado a questes lgicas, o trabalho de Aristteles, porm, mais amplo, rigoroso e sistematizado)9 .10 A lgica aristotlica tornou-se amplament e aceita em cincias e matemtica e manteve-se em ampla utilizao no Ocidente at o incio do sculo XIX.11 O sistema lgico de Aristteles foi responsvel pela introduo do silogism o hipottico,12 lgica modal temporal13 14 e lgica indutiva.15 Na Europa, durante o f inal do perodo medieval, grandes esforos foram feitos para mostrar que as ideias d e Aristteles eram compatveis com a f crist. Durante a Alta Idade Mdia, a lgica se torn ou o foco principal dos filsofos, que se engajaram em anlises lgicas crticas dos arg umentos filosficos (ver: Filosofia crist). Lgica aristotlica[editar | editar cdigo-fonte]

Ver artigo principal: Lgica aristotlica D-se o nome de Lgica aristotlica ao sistema lgico desenvolvido por Aristteles a quem se deve o primeiro estudo formal do raciocnio. Dois dos princpios centrais da lgica aristotlica so a lei da no-contradio e a lei do terceiro excludo. A lei da no-contradio diz que nenhuma afirmao pode ser verdadeira e falsa ao mesmo te mpo e a lei do terceiro excludo diz que qualquer afirmao da forma *P ou no-P* verdad eira. Esse princpio deve ser cuidadosamente distinguido do *princpio de bivalncia*, o princpio segundo o qual para toda proposio (p), ela ou a sua negao verdadeira. A lgica aristotlica, em particular, a teoria do silogismo, apenas um fragmento da assim chamada lgica tradicional. Lgica formal[editar | editar cdigo-fonte] A Lgica Formal, tambm chamada de Lgica Simblica, preocupa-se, basicamente, com a est rutura do raciocnio. A Lgica Formal lida com a relao entre conceitos e fornece um me io de compor provas de declaraes. Na Lgica Formal os conceitos so rigorosamente defi nidos, e as oraes so transformadas em notaes simblicas precisas, compactas e no ambgu As letras minsculas p, q e r, em fonte itlica, so convencionalmente usadas para de notar proposies: p: 1 + 2 = 3 Esta declarao define que p 1 + 2 = 3 e que isso verdadeiro. Duas proposies --ou mais proposies-- podem ser combinadas por meio dos chamados oper adores lgicos binrios , formando conjunes, disjunes ou condicionais. Essas proposies binadas so chamadas proposies compostas. Por exemplo: p: 1 + 1 = 2 e Neste caso, e uma conjuno. As duas proposies podem diferir totalmente uma da outra! Na matemtica e na cincia da computao, pode ser necessrio enunciar uma proposio depende do de variveis: p: n um inteiro mpar. Essa proposio pode ser ou verdadeira ou falsa, a depender do valor assumido pela v arivel n. Uma frmula com variveis livres chamada funo proposicional com domnio de discurso D. P ara formar uma proposio , devem ser usados quantificadores. "Para todo n", ou "par a algum n" podem ser especificados por quantificadores: o quantificador universa l, ou o quantificador existencial, respectivamente. Por exemplo: para todo n em D, P(n). Isto pode ser escrito como: \forall n\in D, P(n) Quando existem algumas variveis livres, a situao padro na anlise matemtica desde Weier strass, as quantificaes para todos ... ento existe ou ento existe ... isto para todo s (e analogias mais complexas) podem ser expressadas. Lgica material[editar | editar cdigo-fonte] Trata da aplicao das operaes do pensamento, segundo a matria ou natureza do objeto a conhecer. Neste caso, a lgica a prpria metodologia de cada cincia. , portanto, somen te no campo da lgica material que se pode falar da verdade: o argumento vlido quan do as premissas so verdadeiras e se relacionam adequadamente concluso.

Lgica matemtica[editar | editar cdigo-fonte]

Lgica Matemtica o uso da lgica formal para estudar o raciocnio matemtico-- ou, como p rope Alonzo Church16 , 'lgica tratada pelo mtodo matemtico'. No incio do sculo XX, lgi os e filsofos tentaram provar que a matemtica, ou parte da matemtica, poderia ser r eduzida lgica.(Gottlob Frege, p.ex., tentou reduzir a aritmtica lgica; Bertrand Rus sell e A. N. Whitehead, no clssico Principia Mathematica, tentaram reduzir toda a matemtica ento conhecida lgica -- a chamada 'lgica de segunda ordem'.) Uma das suas doutrinas lgico-semnticas era que a descoberta da forma lgica de uma frase, na ver dade, revela a forma adequada de diz-la, ou revela alguma essncia previamente esco ndida. H um certo consenso que a reduo falhou -- ou que precisaria de ajustes --, a ssim como h um certo consenso que a lgica -- ou alguma lgica -- uma maneira precisa de representar o raciocnio matemtico. Cincia que tem por objeto o estudo dos mtodos e princpios que permitem distinguir raciocnios vlidos de outros no vlidos. Lgica filosfica[editar | editar cdigo-fonte]

A lgica estuda e sistematiza a argumentao vlida. A lgica tornou-se uma disciplina pra ticamente autnoma em relao filosofia, graas ao seu elevado grau de preciso e tecnicis mo. Hoje em dia, uma disciplina acadmica que recorre a mtodos matemticos, e os lgico s contemporneos tm em geral formao matemtica. Todavia, a lgica elementar que se costum a estudar nos cursos de filosofia to bsica como a aritmtica elementar e no tem eleme ntos matemticos. A lgica elementar usada como instrumento pela filosofia, para gar antir a validade da argumentao. Quando a filosofia tem a lgica como objecto de estudo, entramos na rea da filosofi a da lgica, que estuda os fundamentos das teorias lgicas e os problemas no estritam ente tcnicos levantados pelas diferentes lgicas. Hoje em dia h muitas lgicas alm da t eoria clssica da deduo de Russell e Frege (como as lgicas livres, modais, temporais, paraconsistentes, difusas, intuicionistas, etc. ver: Lgica intuicionista), o que levanta novos problemas filosofia da lgica. A filosofia da lgica distingue-se da lgica filosfica aristotlica, que no estuda probl emas levantados por lgicas particulares, mas problemas filosficos gerais, que se s ituam na interseco da metafsica, da epistemologia e da lgica. So problemas centrais d e grande abrangncia, correspondendo disciplina medieval conhecida por "Lgica & Met afsica", e abrangendo uma parte dos temas presentes na prpria Metafsica, de Aristtel es: a identidade de objetos, a natureza da Necessidade, a natureza da verdade, o conhecimento a prioridade, etc. Precisamente por ser uma "subdisciplina transdi sciplinar", o domnio da lgica filosfica ainda mais difuso do que o das outras disci plinas. Para agravar as incompreenses, alguns filsofos chamam "lgica filosfica" filo sofia da lgica (e vice-versa). Em qualquer caso, o importante no pensar que a lgica filosfica um gnero de lgica, a par da lgica clssica, mas "mais filosfica"; pelo cont io, e algo paradoxalmente, a lgica filosfica, no uma lgica no sentido em que a lgica clssica uma lgica, isto , no sentido de uma articulao sistemtica das regras da argume tao vlida. A lgica informal estuda os aspectos da argumentao vlida que no dependem exclusivament e da forma lgica. O tema introdutrio mais comum no que respeita lgica a teoria clssi ca da deduo (lgica proposicional e de predicados, incluindo formalizaes elementares d a linguagem natural); a lgica aristotlica por vezes ensinada, a nvel universitrio, c omo complemento histrico e no como alternativa lgica clssica. (Desidrio Murcho) "Lgica", depois ela foi substituda pela inveno da Lgica Matemtica. Relaciona-se com a elucidao de ideias como referncia, previso, identidade, verdade, quantificao, existnci , e outras. A Lgica filosfica est muito mais preocupada com a conexo entre a Linguag em Natural e a Lgica. Lgica de predicados[editar | editar cdigo-fonte]

Ver artigo principal: Lgica de predicados Gottlob Frege, em sua Conceitografia (Begriffsschrift), descobriu uma maneira de reordenar vrias oraes para tornar sua forma lgica clara, com a inteno de mostrar como as oraes se relacionam em certos aspectos. Antes de Frege, a lgica formal no obteve sucesso alm do nvel da lgica de oraes: ela podia representar a estrutura de oraes com ostas de outras oraes, usando palavras como "e", "ou" e "no", mas no podia quebrar o

raes em partes menores. No era possvel mostrar como "Vacas so animais" leva a conclui r que "Partes de vacas so partes de animais". A lgica de oraes explica como funcionam palavras como "e", "mas", "ou", "no", "se-en to", "se e somente se", e "nem-ou". Frege expandiu a lgica para incluir palavras c omo "todos", "alguns", e "nenhum". Ele mostrou como podemos introduzir variveis e quantificadores para reorganizar oraes. "Todos os humanos so mortais" se torna "Para todo x, se x humano, ento x mortal.", o que pode ser escrito simbolicamente como: \forall x (H(x)\to M(x)) "Alguns humanos so vegetarianos" se torna "Existe algum (ao menos um) x tal que x humano e x vegetariano", o que pode ser escrito simbolicamente como: \exists x (H(x)\wedge V(x)). Frege trata oraes simples sem substantivos como predicados e aplica a eles to "dum my objects" (x). A estrutura lgica na discusso sobre objetos pode ser operada de a cordo com as regras da lgica de oraes, com alguns detalhes adicionais para adiciona r e remover quantificadores. O trabalho de Frege foi um dos que deram incio lgica formal contempornea. Frege adiciona lgica de oraes: o vocabulrio de quantificadores (o A de ponta-cabea, e o E invertido) e variveis; e uma semntica que explica que as variveis denotam objetos individuais e que os qu antificadores tm algo como a fora de "todos" ou "alguns" em relao a esse objetos; mtodos para us-los numa linguagem. Para introduzir um quantificador "todos", voc assume uma varivel arbitrria, prova a lgo que deva ser verdadeira, e ento prova que no importa que varivel voc escolha, qu e aquilo deve ser sempre verdade. Um quantificador "todos" pode ser removido apl icando-se a orao para um objeto em particular. Um quantificador "algum" (existe) p ode ser adicionado a uma orao verdadeira de qualquer objeto; pode ser removida em favor de um temo sobre o qual voc ainda no esteja pressupondo qualquer informao. Lgica de vrios valores[editar | editar cdigo-fonte] Ver artigo principal: Lgica ternria Sistemas que vo alm dessas duas distines (verdadeiro e falso) so conhecidos como lgica s no-aristotlicas, ou lgica de vrios valores (ou ento lgicas polivaluadas, ou ainda po livalentes). No incio do sculo 20, Jan Lukasiewicz investigou a extenso dos tradicionais valores verdadeiro/falso para incluir um terceiro valor, "possvel". Lgicas como a lgica difusa foram ento desenvolvidas com um nmero infinito de "graus de verdade", representados, por exemplo, por um nmero real entre 0 e 1. Probabili dade bayesiana pode ser interpretada como um sistema de lgica onde probabilidade o valor verdade subjetivo. Lgica e computadores[editar | editar cdigo-fonte] Ver artigos principais: Programao lgica e Programao de computadores A Lgica extensivamente utilizada em todas as reas vinculadas aos computadores. Partindo-se do princpio que muitas das nossas tarefas dirias so uma sequncia que obe decem uma determinada ordem, de um estado inicial, atravs de um perodo de tempo fi nito e que nesse perodo produzimos resultados esperados e bem definidos, poderamos classificar essas tarefas dentro de um Algoritmo que utilizam o conceito da lgic a formal para fazer com que o computador produza uma srie sequencial. Nas dcadas de 50 e 60, pesquisadores previram que quando o conhecimento humano pu desse ser expresso usando lgica com notao matemtica, supunham que seria possvel criar uma mquina com a capacidade de pensar, ou seja, Inteligncia Artificial. Isto se m ostrou mais difcil que o esperado em funo da complexidade do raciocnio humano. A pro gramao lgica uma tentativa de fazer computadores usarem raciocnio lgico e a Linguagem _de_programao Prolog frequentemente utilizada para isto. Na lgica simblica e lgica matemtica, demonstraes feitas por humanos podem ser auxiliad as por computador. Usando prova automtica de teoremas os computadores podem achar e verificar demonstraes, assim como trabalhar com demonstraes muito extensas. Na cincia da computao, a lgebra booleana a base do projeto de hardware. Tipos de lgica[editar | editar cdigo-fonte]

De uma maneira geral, pode-se considerar que a lgica, tal como usada na filosofia e na matemtica, observa sempre os mesmos princpios bsicos: a lei do terceiro exclud o, a lei da no-contradio e a lei da identidade. A esse tipo de lgica pode-se chamar "lgica clssica", ou "lgica aristotlica". Alm desta lgica, existem outros tipos de lgica que podem ser mais apropriadas depen dendo da circunstncia onde so utilizadas. Podem ser divididas em dois tipos: Complementares da lgica clssica: alm dos trs princpios da lgica clssica, essas formas e lgica tm ainda outros princpios que as regem, estendendo o seu domnio. Alguns exem plos: Lgica modal: agrega lgica clssica o princpio das possibilidades. Enquanto na lgica cl sica existem oraes como: "se amanh chover, vou viajar", "minha av idosa e meu pai jo vem", na lgica modal as oraes so formuladas como " possvel que eu viaje se no chover", "minha av necessariamente idosa e meu pai no pode ser jovem", etc. Lgica epistmica: tambm chamada "lgica do conhecimento", agrega o princpio da certeza, ou da incerteza (ver: Indeterminismo). Alguns exemplos de orao: "pode ser que haj a vida em outros planetas, mas no se pode provar", " impossvel a existncia de gelo a 100 C", "no se pode saber se duendes existem ou no", etc. Lgica dentica: forma de lgica vinculada moral, agrega os princpios dos direitos, pro ibies e obrigaes. o sistema de lgica usado para indicar condutas e comportamentos, e que inclui as relaes de poder entre indivduos. Enquanto a lgica clssica trata do que " ou no ", a lgica dentica trata do que "se deve ou no fazer". As oraes na lgica de da seguinte forma: " proibido fumar mas permitido beber", "se voc obrigado a paga r impostos, voc proibido de sonegar", etc. 17 Lgica Temporal: H situaes em que os atributos de "Verdadeiro" e "Falso" no bastam, e preciso determinar se algo "Verdadeiro no perodo de tempo A", ou "Falso aps o even to B". Para isso, utilizado um sistema lgico especfico que inclui novos operadores para tratar dessas situaes.18 Anticlssicas: so formas de lgica que derrogam pelo menos um dos trs princpios fundame ntais da lgica clssica. Alguns exemplos incluem: Lgica paraconsistente: uma forma de lgica onde no existe o princpio da contradio. Nes e tipo de lgica, tanto as oraes afirmativas quanto as negativas podem ser falsas ou verdadeiras, dependendo do contexto. Uma das aplicaes desse tipo de lgica o estudo da semntica, especialmente em se tratando dos paradoxos. Um exemplo: "fulano ceg o, mas v". Pelo princpio da lgica clssica, o indivduo que v, um "no-cego", no pode se ego. Na lgica paraconsistente, ele pode ser cego para ver algumas coisas, e no-ceg o para ver outras coisas. Lgica paracompleta: Esta lgica derroga o princpio do terceiro excludo, isto , uma orao pode no ser totalmente verdadeira, nem totalmente falsa. Um exemplo de orao que pod e ser assim classificada : "fulano conhece a China". Se ele nunca esteve l, essa o rao no verdadeira. Mas se mesmo nunca tendo estado l ele estudou a histria da China p or livros, fez amigos chineses, viu muitas fotos da China, etc; essa orao tambm no f alsa. Lgica difusa: Mais conhecida como "lgica fuzzy", trabalha com o conceito de graus de pertinncia. Assim como a lgica paracompleta, derroga o princpio do terceiro excl udo, mas de maneira comparativa, valendo-se de um elemento chamado conjunto fuzzy . Enquanto na lgica clssica supe-se verdadeira uma orao do tipo "se algo quente, no io" e na lgica paracompleta pode ser verdadeira a orao "algo pode no ser quente nem frio", na lgica difusa poder-se-ia dizer: "algo 30% quente, 25% morno e 45% frio" . Esta lgica tem grande aplicao na informtica e na estatstica, sendo inclusive a base para indicadores como o coeficiente de Gini e o IDH. Lgica de base n: uma das forma de lgica de base n era um tipo de lgica difusa. No e ntanto podemos fazer enumeraes de zero a n ou usar um alfabeto n-rio numa mquina de Turing, relacion-las e com base nisso tirar vantagens.19 Esta lgica pode ainda rel acionar-se com muitos assuntos em informtica. Alguns deles esto presentes em: 19 . Testes de lgica[editar | editar cdigo-fonte] Vejam alguns testes simples de lgica: 1.Voc est numa cela onde existem duas portas, cada uma vigiada por um guarda. Exis te uma porta que d para a liberdade, e outra para a morte. Voc est livre para escol

her a porta que quiser e por ela sair. Poder fazer apenas uma pergunta a um dos d ois guardas que vigiam as portas. Um dos guardas sempre fala a verdade, e o outr o sempre mente e voc no sabe quem o mentiroso e quem fala a verdade. Que pergunta voc faria? 2.Voc prisioneiro de uma tribo indgena que conhece todos os segredos do Universo e portanto sabem de tudo. Voc est para receber sua sentena de morte. O cacique o des afia: "Faa uma afirmao qualquer. Se o que voc falar for mentira voc morrer na fogueira , se falar uma verdade voc ser afogado. Se no pudermos definir sua afirmao como verda de ou mentira, ns te libertaremos. O que voc diria? 3. Epimnides era um grego da cidade de Minos. Dizem que ele tinha a fama de menti r muito. Certa vez, ele citou esta passagem: Era uma vez um bode que disse: - Quando a mentira nunca desvendada, quem est mentindo sou eu. Em seguida o leo disse: - Se o bode for um mentiroso, o que o drago diz tambm mentira. Por fim o drago disse: - Quem for capaz de desvendar a minha mentira, ento, ele estar dizendo a verdade. Qual deles est mentindo? Este teste mais conhecido como paradoxo de Epimnides. Respostas dos "testes de lgica" citados acima[editar | editar cdigo-fonte] 1. Pergunte a qualquer um deles: Qual a porta que o seu companheiro apontaria co mo sendo a porta da liberdade? Explicao: O mentiroso apontaria a porta da morte como sendo a porta que o seu comp anheiro (o sincero) diria que a porta da liberdade, j que se trata de uma mentira da afirmao do sincero. E o sincero, sabendo que seu companheiro sempre mente, dir ia que ele apontaria a porta da morte como sendo a porta da liberdade. Concluso: os dois apontariam a porta da morte como sendo a porta que o seu compan heiro diria ser a porta da liberdade. Portanto, s seguir pela outra porta. 2. Afirme que voc morrer na fogueira. Explicao: Se voc realmente morrer na fogueira, isto uma verdade, ento voc deveria mor rer afogado, mas se voc for afogado a afirmao seria uma mentira, e voc teria que mor rer na fogueira. Concluso: Mesmo que eles pudessem prever o futuro, cairiam neste impasse e voc ser ia libertado. 3. Ao tentar responder ao enigma, encontram-se informaes que se ligam umas s outras e acabam no levando a resposta alguma. Esse enigma pode ser denominado como para doxo do mentiroso. Veja o exemplo de um paradoxo simples e interessante: A afirmao abaixo verdadeira. A afirmao acima falsa.