Lógica e Programação

Lógica

A Lógica (do grego λογική logos1 ) é o estudo filosófico do raciocínio válido . Utilizada em atividades mais intelectuais, a lógica é usada principalmente nas disciplinas de filosofia, matemática, semântica e ciência da computação. Ela examina de forma genérica as formas que a argumentação pode tomar, quais dessas formas são válidas e quais são falaciosas. Em filosofia, o estudo da lógica aplica-se na maioria dos seus principais ramos: metafísica, ontologia, epistemologia e ética. Na matemática, estuda-se as formas válidas de inferência de uma linguagem formal. Por fim, a lógica também é estudada na teoria da argumentação.

A lógica foi estudada em várias civilizações da Antiguidade. Na Índia, a recursão silogística, Nyaya remonta a 1900 anos atrás. Na China, o Moísmo e a Escola dos Nomes datam de à 2200 anos atrás. Na Grécia Antiga a lógica foi estabelecida como disciplina por Aristóteles, com a sua obra Organon. Ele dividiu a lógica em formal e material. O estudo da lógica era parte do Trivium clássico , juntamente com a gramática e a retórica (ver: Artes liberais).

Lógica e Computação

A Lógica é extensivamente utilizada em todas as áreas vinculadas aos computadores.

Partindo-se do princípio que muitas das nossas tarefas diárias são uma sequência que obedecem uma determinada ordem, de um estado inicial, através de um período de tempo finito e que nesse período produzimos resultados esperados e bem definidos, poderíamos classificar essas tarefas dentro de um Algoritmo que utilizam o conceito da lógica formal para fazer com que o computador produza uma série sequencial.

Nas décadas de 50 e 60, pesquisadores previram que quando o conhecimento humano pudesse ser expresso usando lógica com notação matemática, supunham que seria possível criar uma máquina com a capacidade de pensar, ou seja, Inteligência Artificial. Isto se mostrou mais difícil que o esperado em função da complexidade do raciocínio humano. A programação lógica é uma tentativa de fazer computadores usarem raciocínio lógico e a Linguagem_de_programação Prolog é comumente utilizada para isto.

Na lógica simbólica e lógica matemática, demonstrações feitas por humanos podem ser auxiliadas por computador. Usando prova automática de teoremas os computadores podem achar e verificar demonstrações, assim como trabalhar com demonstrações muito extensas.

Na ciência da computação, a álgebra booleana é a base do projeto de hardware.