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.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. Esta edição, revista e ampliada, traz um novo apêndice com noções de teoria do silogismo.