Introdução à lógica

by Cezar A. Mortari

Reúne artigos de palestras promovidas sobre as preciosidades do barroco, principalmente no Estado de São Paulo, em cidades como Mogi das Cruzes, Itu, Embu e São Roque. Não deixa de lado, porém, a produção dos Estados da Bahia, Minas Gerais e Rio de Janeiro. Enfoca arquitetura, ornamentação de igrejas, literatura e música, considerando a Igreja como o pólo irradiador de cultura na época do Brasil colonial. Destaca a importância de Frei Galvão como arquiteto e da pintura colonial paulista no universo do barroco brasileiro.

Genres: Logic, Philosophy, Nonfiction

394 pages, Paperback

First published January 1, 2001

Reviews

[Sofia · Rating 5 out of 5]

Melhor livro de introdução a lógica! O professor transmite conhecimento de forma bastante acessível e divertida, além de muitos exercícios para ajudar a entender.

[Eric · Rating 4 out of 5]

Muito bom! Essencial para quem está começando a estudar Lógica.

[JV]

Ótimo.

Lida com a matéria não apenas de forma didática, mas comenta também a história e o contexto da lógica.

[isabela baldini · Rating 3 out of 5]

p.s. não li o livro todo!!!

[Vinícius Gajo · Rating 4 out of 5]

Great book. Past the middle, it becomes way harder. I missed some practical examples, and it would be awesome having references to modern tools that can help us study this topic (say, some logic programming languages).

[Marcio Galvao · Rating 5 out of 5]

Excelente texto introdutório à lógica em português, acessível e com muitos exemplos e exercícios.

[juca · Rating 5 out of 5]

Sem dúvidas, um clássico (moderno) nacional.

[Renato · Rating 5 out of 5]

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 qualidade 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 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.