Princípios Básicos de Lógica de Programação e Raciocínio Lógico

CONCEITOS DE LÓGIGA INDUTIVA E LÓGIGA DEDUTIVA

Há uma distinção tradicional entre dois ramos da lógica: a lógica dedutiva e a lógica indutiva. No entanto, a compreensão dessas disciplinas evoluiu, levando muitos a usar o termo "lógica" principalmente no sentido da lógica dedutiva, enquanto termos como "teoria da confirmação" passaram a abranger parte do que anteriormente era denominado "lógica indutiva" (BLACKWELL; Logical Forms: Oxford, 1991, pp. 9-13).

O Raciocínio Dedutivo

É um tipo de raciocínio que se inicia em uma ou várias reivindicações e é concluído com uma afirmação adversa, cuja verdade é garantida pela validade do processo de raciocínio.

Aqui a premissa é fruto da conclusão. No raciocínio dedutivo, as premissas sofrem interferências das generalizações, pois os fatos são analisados de maneira minuciosa. O raciocínio dedutivo faz do conhecimento geral um conhecimento específico, já que ele permite que se aprofunde nos argumentos.

Faz uso das regras da lógica para chegar a uma conclusão. Se as premissas são verdadeiras e as leis aplicadas estiverem corretas, quer dizer, necessariamente, que a conclusão é verdadeira. Um dos exemplos mais clássicos de raciocínio dedutivo é:

«Todos os homens são mortais. Sócrates é um homem. Portanto, Sócrates é mortal…»

A conclusão deste raciocínio é: Sócrates é mortal.

Em resumo, o raciocínio dedutivo parte do geral para o particular, seguindo o determinado ciclo: formulação de um problema > formulação de uma hipótese > verificação da hipótese > obtenção de resultados, teorias, enunciados, leis, etc.

O Raciocínio Indutivo

É pautado no papel das premissas que fornecem um forte apoio à conclusão. Mas, no que diz respeito à verdade da conclusão já não se garante. Isso acontece porque se trata de um tipo de raciocínio que não faz uso das leis universais – tais como as leis da lógica – para que seja possível chegar a uma solução para o problema determinado inicialmente.

De forma concisa, podemos dizer que o raciocínio indutivo tem base particular nessas premissas, que são direcionadas para a conclusão de um resultado de maneira universal. Isso quer dizer que a conclusão é maior que as premissas, pois os fatos podem ser explicados a partir de observações simples.

Digamos o seguinte: Tenho visto muitos cisnes e eles eram todos brancos. Portanto, todos os cisnes são brancos.

Podemos resumir que o raciocínio indutivo parte do particular para o geral, seguindo o determinado ciclo: observação e, ou, experimentação > formulação de hipóteses explicativas > teorias, enunciados, leis universais, etc.

Conclusão

Em conclusão, a lógica dedutiva e a lógica indutiva representam duas abordagens distintas para o raciocínio e a argumentação. Enquanto a lógica dedutiva busca inferir verdades específicas a partir de premissas universais, a lógica indutiva procura generalizar a partir de observações particulares. Ambas desempenham papéis essenciais no processo de raciocínio e na construção do conhecimento.