Introducao A Logica

Os textos que compõem o livro, lançado originalmente em 2001, surgiram das aulas de lógica, ministradas por Mortari no curso de graduação em Filosofia da Universidade Federal de Santa Catarina. De maneira rica e apaixonante, o autor aborda a lógica e suas transformações ao longo do século XX, a passagem de uma ciência que englobava apenas a argumentação válida, para uma disciplina de caráter matemático, que envolve tópicos como a teoria da recursão e álgebras, passando por saberes da filosofia da ciência, robótica, engenharia de produção e informática. Nesta segunda edição, além de conter um apêndice com noções de teoria do silogismo, a lógica proposicional é apresentada de maneira independente, antes do cálculo de predicados. No volume, ainda estão inclusos a aplicação de exercícios e a discussão de temas como o valor semântico das expressões, sintaxe do cálculo de predicados, tautologias, o cálculo proposicional clássico, conjuntos, lógicas não clássicas e a relação entre lógica e argumentos. O presente livro foi concebido como introdução, aliás excelente, a essa lógica e à lógica em geral, tendo como principal motivação a teoria da inferência válida e assuntos correlatos, completa o filósofo, lógico e matemático, Newton da Costa, que assina a orelha do livro.