A Lógica

Neste post comentarei sobre uma ferramenta importante na vida de um programador: A Lógica. Tentarei explicar o que é a lógica e como ela é usada. Falarei também sobre três grandes nomes: Aristóteles, George Boole, Gotlob Frege.

A lógica é uma palavra que vem do grego clássico λογική logos, que significa palavra, pensamento. Podemos usar a lógica para resolver problemas onde se tem raciocínio envolvido

Lógica Aristotélica é sistema lógico desenvolvido por Aristóteles. Aristótles definiu 2 princípios da lógica:
a lei da não-contradição : Diz que nenhum raciocínio pode ser verdadeiro e falso ao mesmo tempo.
a lei do terceiro excluído: Diz que as afirmaçoes na forma *P ou não P* é verdade.

Aristóteles usava o método científico que ultilizava se baseava nas seguintes fases:

1. Observação de fenômenos particulares;
2. Intuição dos princípios gerais (universais) a que os mesmos obedeciam;
3. Dedução a partir deles das causas dos fenômenos particulares.

Aristóteles estava convencido que se estes princípios gerais fossem adequadamente formulados, e as suas conseqüências corretamente deduzidas, as explicações só poderiam ser verdadeiras.

George Boole foi um matemático inglês que definiu como parte de um sistema de lógica, a álgebra booleana. Na sua obra "Mathematical Analysis of Logic", a lógica foi pela primeira vez de uma forma consistente tratada como um calculo de signos algébricos. Isso foi um modo de tentar entender a lógica através da matamática. Hoje em dia ela é utilizada na eletrônica.
Boole definiu definiu como operadores o E, o OU e o NÃO. Disso ele transformou proposições em letras e começou a mexer com a lógica como se fosse matemática. Podemos afimar que Boole tentou sistematizar a lógica.

Gotlob Frege foi primeiro a apresentar o calculo proposicional na sua forma em que conhecemos hoje. Ele fez um sistema capaz de transformar demostações matemáticas em raciocínio lógico. Para isso as demonstrações foram traduzidas para uma notação simples e única. Nesta notação, a frase, o seu significado, e o raciocínio foram deduzidos a partir dos anteriores. Tudo deve ser explicitado. Com Frege passa-se da álgebra da lógica à logística e mesmo ao logicismo.

No século XIX, as ligações entre a lógica e a matemática vieram a demonstrar a possibilidade de conceber as operações mentais como simples cálculos, susceptíveis de serem executados por máquinas. A ideia vinha sendo explorada, como vimos, no domínio da tecnologia.

A Lógica hoje em dia ainda é bastante usada nas áreas da Cibernética, Inteligência Artificial, Informática e assim resumimos a historia da lógica como um todo fazendo entender a sua importância.