Os estudos de lógica tendem a ser considerados como algo restrito aos pesquisadores de exatas, em especial de Matemática. No entanto, todos podem aprender e utilizar os conceitos para melhorar argumentação e resolver problemas – inclusive questões de concursos e provas bastante concorridas. Essa é uma das tônicas da obra Lógica Elementar, publicada pela Editora da Universidade Estadual de Londrina (EDUEL) em 2020 e escrita pelo professor do Departamento de Filosofia Carlos Luciano Montagnolli. 

A obra é direcionada a estudantes de graduação e pós-graduação em Matemática, Computação e Filosofia, que utilizam o arsenal de categorias da lógica com mais frequência, mas também pode ser lida pelo público em geral. “Para compreender, não há exigência de conteúdos além da teoria dos conjuntos, que se aprende no ensino básico”, comenta.

O livro traz os principais conceitos básicos de lógica, com capítulos para estudo de lógica Proposicional, de Primeira Ordem e Aritmética. Na obra, podem ser encontradas provas para resultados como a consistência, a correção e a completude da lógica proposicional e da lógica de primeira ordem para o Teorema de Church, da Indecidibilidade da Lógica de Primeira Ordem, e para os Teoremas de Incompletude de Gödel, além de uma apresentação da primeira versão da Prova de Gentzen para a consistência da aritmética.

Exatas – De acordo com Montagnolli, a lógica, a despeito de ser muito estudada nas últimas décadas devido ao desenvolvimento da Inteligência Artificial e da robótica. “Os filósofos gregos utilizavam os pressupostos para resolver problemas e observar a validade de argumentos, algo que ainda é feito em diversas áreas, como Direito, por exemplo”, afirma.

Somente a partir do século XIX, segundo o pesquisador, a lógica passou a ser utilizada com muita frequência nas ciências exatas como uma força produtiva para o desenvolvimento tecnológico. “Para criar inteligência artificial, é necessário utilizar esses conhecimentos para a simulação de raciocínio nas máquinas. Desse modo, a lógica passou a ser cada vez mais utilizada como uma ferramenta das exatas”, explica o autor.

Serviço

Título: Lógica Elementar ( 2020, EDUEL, 319 páginas).

Autor: Carlos Luciano Montagnolli.

Valor: R$72,00.