Terça para pensar - A lógica de Gottfried Wilhelm Leibniz

Gottfried Wilhelm Leibniz (1646-1716) ocupa um lugar especial na história da lógica. Este filosofo procurou aplicar à lógica o modelo de calculo algébrica da sua época. Esta é concebida como um conjunto de operações dedutivas de natureza mecânica onde são utilizados símbolos técnicos. Era sua intenção submeter a estes cálculos algébricos a totalidade do conhecimento científico.

Na sua obra Dissertação da Arte Combinatória, apresenta os princípios desta nova lógica:

- Criação de uma nova língua, com notação universal e artificial

- Fazer o inventário das ideias simples e simbolizá-las de modo a obter um "alfabeto dos pensamentos" simples expressos em caracteres elementares.

- Produzir ideias compostas combinando estes caracteres elementares.

- Estabelecer técnicas de raciocínio automatizáveis, de modo a substituir o pensamento e a intuição, por um cálculo de signos.

O raciocínio torna-se, neste projecto de Leibniz, um cálculo susceptível de ser efectuado por uma máquina organizada para o efeito. Esta ideia irá inspirar até aos nossos dias não apenas o desenvolvimento da lógica, mas a criação de máquinas inteligentes.

Fonte: http://afilosofia.no.sapo.pt

Nenhum comentário:

Postar um comentário