linguagem, também se dedica a identificar e qualificar aquilo que não possui

uma validade formal coesa e correta. 
A palavra que nomeia essas situações de

não correção da forma daquilo que foi enunciado pela linguagem é falácia. As

falácias   são,  grosso   modo,   proposições sem  sentido,   sem   encadeamento lógico entre  os fatos  enunciados ou  sem nexos causais  que   expliquem  de maneira completa e correta os efeitos que constam nos enunciados das frases

analisadas.

existente ao atentar para a necessidade de um maior entendimento matemático

dos estudos de lógica. Ele desenvolveu um método chamado de cálculo de predicados,   que   analisa   proposições   linguísticas   por   meio   de   processos

dedutivos matemáticos.
As contribuições de Frege para a lógica e para a filosofia da linguagem são

consideradas importantes até hoje e, sem elas, não seria possível ter criado um

código   de   programação   de   computadores   capaz   de   traduzir   dados criptografados por outras máquinas. Isso significa que, sem o aparato teórico

lógico deixado por Frege, o matemático britânico Alan Turing, considerado o

“pai” da informática e dos computadores, não poderia ter construído o primeiro

computador da história.

Porém, mais do que dominar essas linguagens, o programador precisa empregar a lógica computacional. A linguagem de programação é “o quê” se diz, mas é necessário aprender “como dizer”. Isso porque os algoritmos e os softwares são escritos com base em argumentos organizados em etapas e com instruções de causas e efeitos.

Em outras palavras, as instruções não são dadas para o computador como nós falamos com uma pessoa — um “preto no branco” —, mas por meio de um modo de pensar próprio, lógico e estruturado. Em síntese, o pensamento computacional obedece às seguintes etapas:

Por exemplo, o programador precisa expressar em seu código condições e seus efeitos, como “se acontecer A, faça B, a não ser que haja X, então faça C”. A escrita de um algoritmo é repleta de condições interconectadas, do tipo “se”, “então”, “senão”, “ou” “até que”, “enquanto” etc. Por isso, para programar, é necessário compreender esse tipo de raciocínio.