A relação entre a lógica e a linguagem é um dos principais pontos deste livro. O estudo de termos como validade, conectivos sentenciais, quantificadores, termos singulares, sentenças, enunciados, teorias da verdade, paradoxos, lógica modal e polivalente ocorre de uma maneira que privilegia a pluralidade de interpretações. Dessa maneira, são gerados problemas e perguntas - nem sempre respondidas, mas invariavelmente instigantes - que permitem os professores, estudantes de lógica e, de maneira geral, a todos aqueles interessados na dinâmica da argumentação, ampliar a sua visão do assunto, estimulando o diálogo com outras áreas do conhecimento.
Susan Haack é professora de direito e filosofia da Universidade de Miami. Seus trabalhos e pesquisas no campo da filosofia estão concentrados nas áreas de filosofia da lógica, epistemologia, política, ética, metafísica, filosofia da ciência, filosofia da linguagem e pragmatismo.
Filósofo inglês que desenvolveu uma das mais importantes contribuições contemporâneas sobre filosofia moral, o autor propicia, nesta obra, uma excelente oportunidade de verificar como, com clareza e vigor estilístico, apresenta suas sugestões e as relaciona com outras correntes filosóficas. Reunião de ensaios que resultaram de conferências apresentadas nos Estados Unidos, na Inglaterra e na Suécia evidencia como a filosofia moral é o ponto em que os filósofos mais se aproximam de questões cotidianas de moral e política. Apresenta o empreendimento da Filosofia Moral, a Taxonomia das Teorias Éticas (envolvendo Taxonomia, Naturalismo, Intuicionismo, Emotivismo e Racionalismo) e refere-se a Kant.
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.
Inimigos da esperança é um ensaio de Lindsay Waters que objetiva "exortar os acadêmicos a tomar medidas para preservar e proteger a independência de suas atividades, tais como escrever livros e artigos, da forma como antigamente os concebiam, antes que o mercado se torne nossa prisão e o valor do livro seja depreciado". Para ele, "os editores acadêmicos enfrentam perigos oriundos de todos os lados: do público, dos contribuintes, dos professores, dos estudantes, dos bibliotecários, de seus próprios colegas. Entre os administradores universitários e os próprios editores acadêmicos, que parecem se sentir forçados a concordar com expectativas que não são razoáveis, surgiu a idéia de que as editoras universitárias deveriam se transformar em 'centros lucrativos' e contribuir para o orçamento geral da universidade. De onde veio essa idéia? Ela é péssima. Desde Gutenberg, temos registro financeiros contínuos sobre as publicações no Ocidente, e está provado que os livros são um negócio ruim. ... E a idéia de tentar extrair dinheiro das editoras Universitárias - as mais pobres de todas as editoras - é o mesmo que esperar que os ratos da igreja contribuam para a conservação do local".
Este volume reúne os mais importantes artigos de Alfred Tarski, que formula claramente o problema que deseja resolver: apresentar uma definição materialmente adequada e formalmente correta da expressão 'sentença verdadeira', o que já constitui uma reformulação bastante particular do problema da verdade, e especifica as condições nas quais tal problema pode receber uma solução, isto é, as noções fundamentais da teoria, como o famoso esquema T, e as especificidades da linguagem formal para a qual é possível tal definição de sentença verdadeira. Após especificar a linguagem do cálculo de classes, o autor apresenta sua definição de sentença verdadeira para essa linguagem formalizada, discute o conceito de sentença verdadeira para linguagens de ordem finita e infinita, com extensos comentários, mas também com demonstrações que requerem conhecimento de lógica clássica.
Computabilidade e lógica tornou-se um livro de referência em sua área por apresentar, de maneira acessível, questões complexas do estudo de lógica. Seus capítulos cobrem não apenas os tópicos básicos de um curso intermediário sobre o assunto, como os teoremas de incompletude de Gödel, mas também um amplo leque de tópicos adicionais, como a teoria da computabilidade de Turing e o teorema de Ramsey.