Introdução à lógica

Capa
Ed. UNESP, 2001 - 393 páginas
Ao contrário do que pensam alguns, a lógica é uma ciência apaixonante e viva, fruto de rica história de evolução e transformação. Essa mesma história dinâmica é refletida por este livro, no qual se constrói uma rigorosa e abrangente introdução aos desenvolvimentos recentes e ao conteúdo clássico dessa ciência ilustre.

O que estão dizendo - Escrever uma resenha

Comentário do usuário - Sinalizar como impróprio

vx

Comentário do usuário - Sinalizar como impróprio

Para mim, esse livro está entre os melhores manuais de lógica disponível em língua portuguesa. Ele foi escrito a partir do material didático do prof. Cezar Mortari elaborado para as disciplinas de lógica na Universidade Federal de Santa Catarina. Uma de suas qualidades notáveis é a estilo informal associada a um rigor técnico característico da Lógica. A sensação que se tem ao ler o livro é estar conversando diretamente com o autor. Os capítulos estão organizados de forma acumulativa permitindo ao estudante autodidata condições para resolver os exercícios mais complexos de formalização. Utilizando notação moderna sobre tanto a Lógica de Predicados (Cálculo Quantificacional Clássico) e também a lógica proposicional. A semântica é apresentada usando teoria de modelos de inspiração tarskiana. Destaco no capítulo quarto, em que noções de teoria de conjuntos são apresentados, o argumento da diagonal de Cantor sobre a cardinalidade dos números reais. Dois métodos de prova são apresentados: os tablôs semântico e a dedução natural. Recomendado principalmente para estudantes de Filosofia (graduação e mestrado), mas também útil para estudantes de matemática, ciências da computação, engenharia e direito que tenham interesse pelo assunto e gosto pela Filosofia.  

Outras edições - Visualizar todos

Informações bibliográficas