LGICA FORMAL

MDULO I: CONCEITOS FUNDAMENTAIS

O estudo da lgica o estudo dos mtodos e princpios usados para distinguir o raciocnio correto do incorreto. Uma pessoa com conhecimento de lgica tem mais probabilidades de raciocinar corretamente.O estudo da lgica proporcionar ao estudante analisar e identificar mtodos incorretos de raciocinar, bem como, tcnicas de fcil aplicao para determinar a correo e incorreo de todos os raciocnios, incluindo os prprios (COPI, I. Introduo Filosofia, 1978, p.19-20).

Levando-se em conta que todas as disciplinas tem um objeto de estudo, ou seja, aquilo que a mesma estudo, cabe perguntar qual o objeto de estudo da lgica, o que ela estuda? Longe de respostas definitivas, afirma-se que a lgica estuda e sistematiza a validade ou invalidade da argumentao, estuda inferncias ou raciocnios. Como a Lgica estuda argumentos e os mesmos so necessrios cincia, s artes, poltica, e mesmo nas questes da vida cotidiana, para a defesa das ideias, sustentadas com bons argumentos, distintos daqueles invlidos, para a compreenso correta das teorias, ideias, vivncias.

Aprender Lgica auxilia o raciocnio, a compreenso de conceitos bsicos, a verificao formal de programas e prepara o aluno para o entendimento de tpicos mais avanados. Entendida como o estudo do raciocnio correto, ela surge no Ocidente com Aristteles, com o intuito de mostrar aos sofistas, mestres da retrica e da oratria, como eles enganavam os cidados utilizando argumentos incorretos.

No final do sculo XIX, o alemo Gottlob Frege (18481925) cria uma lgica baseada em smbolos matemticos e na anlise formal do discurso, lanando as bases da lgica moderna, que formaliza os raciocnios, organizando-os numa espcie de gramtica, que pode ser empregada em diversas linguagens, como a proposicional, que estuda a relao dos juzos entre si, e a de predicados, que analisa a estrutura interna das sentenas. Como a matemtica, ambas se utilizam de smbolos lgicos (de negao, conjuno e implicao, por exemplo) e no-lgicos (que representam proposies, funes, relaes etc.) para criar clculos ou sistemas de deduo. Ao estudar a estrutura e a natureza do raciocnio humano e reproduzi-las em frmulas matemticas, torna-se possvel, por exemplo, a criao de uma linguagem binria, que a base de funcionamento

Aristteles estuda a estrutura lgica da argumentao e demonstra que alguns podem ser convincentes, embora incorretos. A lgica, ento, um instrumento para atingir o conhecimento cientfico. Em sua obra Organon, ele a define como um mtodo do discurso demonstrativo, a partir das trs operaes da inteligncia: o conceito (representao mental dos objetos), o juzo (afirmao ou negao da relao entre o sujeito e o predicado) e o raciocnio (que leva concluso sobre os vrios juzos contidos no discurso.

Posteriormente, vrios outros pensadores, a partir da lgica aristotlica, buscaram outros entendimentos, bem como ampliar os conceitos traados por Aristteles, como mtodo capaz de estudar as relaes entre objetos.

No final do sculo XIX, o alemo Gottlob Frege (1848-1925) cria uma lgica baseada em smbolos matemticos e na anlise formal do discurso, lanando as bases da lgica moderna, que formaliza os raciocnios, organizando-os numa espcie de gramtica, que pode ser empregada em diversas linguagens, como a proposicional, que estuda a relao dos juzos entre si, e a de predicados, que analisa a estrutura interna das sentenas. Como a matemtica, ambas se utilizam de smbolos lgicos (de negao, conjuno e implicao, por exemplo) e nolgicos (que representam proposies, funes, relaes etc.) para criar clculos ou sistemas de deduo. Ao estudar a estrutura e a natureza do raciocnio humano e reproduzi-las em frmulas matemticas, torna-se possvel, por exemplo, a criao de uma linguagem binria, que a base de funcionamento dos softwares para computadores.