Académique Documents
Professionnel Documents
Culture Documents
br
LGICA
Lgica, cincia que trata dos princpios vlidos do raciocnio e da argumentao. Seu estudo um esforo no sentido de determinar as condies que permitem tirar de determinadas proposies, chamadas de premissas, uma concluso delas derivada. A validade lgica a relao entre as premissas e a concluso. O que hoje se conhece como lgica clssica, ou tradicional, foi enunciado pela primeira vez por Aristteles, que elaborou leis para um raciocnio correto, a ser desenvolvido mediante silogismos. Em meados do sculo XIX, os matemticos britnicos George Boole e Augustus De Morgan abriram lgica um novo campo, que hoje se conhece como lgica simblica ou moderna, posteriormente desenvolvida por Bertrand Russell e por Alfred North Whitehead, cobrindo todo um espectro de argumentaes possveis, maior do que aquelas encontradas na lgica silogstica. Tanto o ramo clssico como o moderno implicam em mtodos de lgica dedutiva, embora tambm tenha havido esforos no sentido de desenvolver mtodos de lgica indutiva, sendo neste ltimo campo a contribuio mais importante a do filsofo britnico John Stuart Mill, com sua obra Sistema de lgica (1843). Estudos posteriores desenvolveram sistemas da chamada lgica combinatria: uma afirmao pode ter um valor diferente de verdadeiro ou falso. Em alguns pressupostos, apenas um terceiro valor, neutro; em outros, um valor de probabilidade. Lgica paraconsistente, noo segundo a qual a lgica admite contradies. Foi introduzida pelo filsofo e matemtico brasileiro Newton da Costa. A necessidade da cincia de trabalhar com a contradio surgiu do interesse em estudar temas complexos, como por exemplo os tratados pela mecnica quntica. Desde a dcada de 1930, supunha-se que a lgica clssica no podia ser aplicada mecnica quntica. A partir das lgicas no-clssicas, em especial os paradoxos na lgica e/ou na matemtica, surgiu o conceito de lgica paraconsistente, formulado em 1963. Na realidade, esse conceito nasceu da idia de Georg Cantor, que dizia que a essncia da matemtica est na sua liberdade. Muitos dos paradoxos surgidos no incio do sculo XX, em geral foram eliminados com a manuteno da lgica tradicional e com a introduo de restries nos postulados da teoria dos conjuntos. Se a matemtica fosse absolutamente livre, como supunha Cantor, em vez de introduzir restries aos postulados da teoria dos conjuntos poderamos mudar a lgica e, desse modo, reconstituir a matemtica clssica inteira.