A lógica de programação é o conhecimento anterior a qualquer outro quando falamos em desenvolvimento web porque é a partir dele que os aprendizados posteriores, como por exemplo o das linguagens de programação, farão sentido.

Cada linguagem tem suas próprias particularidades, como sua sintaxe, seus tipos de dados e sua orientação, mas a lógica por trás de todas é a mesma.

Diferentes sentenças podem expressar a mesma proposição quando têm o mesmo significado. Por exemplo, "A neve é branca" e "Snow is white" são sentenças diferentes, mas ambas dizem a mesma coisa, a saber, que a neve é branca. Logo, expressam a mesma proposição. Outro exemplo de sentença que expressa a mesma proposição que as anteriores é "A precipitação de pequenos cristais de água congelada é branca", pois "precipitação de pequenos cristais de água congelada" é a definição de "neve".

Na lógica aristotélica uma proposição é um tipo particular de sentença, a saber, aquela que afirma ou nega um predicado de um sujeito.

Premissa significa a proposição, o conteúdo, as informações essenciais que servem de base para um raciocínio, para um estudo que levará a uma conclusão.

Uma dada fórmula pode ou não ser conclusão de uma dada coleção de premissas.^[1] Isto depende da Lógica ou do sistema lógico considerado.

Leia o que diz um dos grandes teóricos da lógica, Cezar Mortari, em seu livro “Introdução à Lógica”:

"A Lógica não procura dizer como as pessoas raciocinam (mesmo porque elas “raciocinam errado”, muitas vezes). Mas se interessa primeiramente pela questão de se aquelas coisas que sabemos ou em que acreditamos – o ponto de partida do processo – de fato constituem uma boa razão para aceitar a conclusão alcançada, isto é, se a conclusão é uma consequência daquilo que sabemos.

Ou, em outras palavras, se a conclusão está adequadamente justificada em vista da informação disponível, se a conclusão pode ser afirmada a partir da informação que se tem."

Na filosofia, o silogismo é parte integrante da lógica aristotélica e está baseado na dedução. Ou seja, parte de afirmações verdadeiras para uma nova afirmação também verdadeira.

Aristóteles (384 a.C.-322 a.C.) utilizou esse método nos estudos da argumentação lógica.

A teoria do silogismo foi apresentada por ele na sua obra “Analytica Priora” (Analíticos Anteriores)

A falácia foi um recurso utilizado por Aristóteles, pela Escolástica, pela Demagogia e serve como figura de linguagem em discursos e temas argumentativos.

A palavra tem origem no termo em latim “fallacia”, aquilo que engana ou ilude. Desta forma, falácia será algo enganoso.

As falácias são construídas por raciocínios aparentemente corretos que levam à falsas conclusões. Este tipo de argumento está muito presente nos textos dissertativos.

Uma premissa também é definida como uma afirmação dada como verdadeira e da qual é tirada uma conclusão.

Os 3 tipos de inferência

Dedução é o processo de derivar uma conclusão dos axiomas e fatos dados. Ou seja, tire uma conclusão com base nos conhecimentos e observações disponíveis.

A conclusão pode ser tirada aplicando a regra do modus ponens . Esta regra de inferência afirma que, se for sabido que P e P → Q são verdadeiros, pode-se concluir que Q também deve ser verdadeiro. Inferência por dedução também é conhecida como inferência lógica.

2- Indução

Por outro lado, indução implica derivar uma regra geral (também chamada axioma) de observações particulares ou específicas.

Esse tipo de raciocínio é o oposto do dedutivo. Basicamente, significa extrair conclusões ou inferências de vários dados, indo do específico para o geral. Os cientistas usam o raciocínio indutivo para formar hipóteses e teorias.

3- Rapto

Esse tipo de inferência começa com um conjunto incompleto de observações, resultando na explicação mais provável possível.

Baseia-se na criação e teste de hipóteses, utilizando as melhores informações disponíveis. Geralmente envolve fazer uma suposição após observar um fenômeno para o qual não há uma explicação clara.