ELEMENTOS DA LÓGICA E A CIÊNCIA DA COMPUTAÇÃO: VOLUME II – Daniel Marin

A Lógica constitui-se em uma construção coletiva da humanidade, sendo a expressão pura do pensamento do indivíduo. As suas bases foram lançadas inicialmente na Grécia Antiga, com Aristóteles. Objetiva-se nesta obra, realizar uma abordagem histórica e cronológica da evolução da lógica e da historicidade e filosofia da Ciência em si, pautando aspectos importantes para o desenvolvimento do raciocínio abstrato que vieram a calhar com a libertação do pensamento lógico das armadilhas da linguagem, em que o corpo de conhecimento da lógica se encontrava refém, bem como brevemente teorizar e justapor a ciência, sua fulgurante história e filosofia, além claro da sociedade. E, além disso, pretende-se, demonstrar como a lógica influenciou no desenvolvimento e na teorização da Teoria Computacional, vigente até a atualidade, contextualizando um breve relato histórico e conceitual dos aspectos condizentes com a Ciência da Computação e suas bases solidificadoras. A obra objetiva também explanar como a lógica de George Boole (binária), foi relevante para o projeto e execução do primeiro computador eletrônico de Neumann após a II Guerra Mundial, e corroborar a importância da lógica sentencial proposicional de Frege, para o desenvolvimento conceitual das linguagens de programação de computadores. Por fim pretende-se ressaltar com este o trabalho, a ideia de uma construção apoiada na coletividade dos esforços de diferentes gerações de pensadores, estudiosos e pesquisadores e que convergiram para a matematização e mecanização do cômputo do raciocínio antes engendrado nas expressões de linguagem baseadas no diálogo. Tratando também dos diferentes aspectos da teoria computacional, já nas fronteiras da tecnologia e da ciência.