A terceira edição em inglês deste texto clássico contém um novo prefácio e mais reflexões sobre diversos aspectos, nos quais o autor analisa tanto os mais recentes debates sobre a ciência como o impacto dos produtos e práticas científicas sobre a comunidade humana.
Paul Feyerabend foi professor de Filosofia na Universidade da Califórnia, em Berkeley, e de Filosofia da Ciência no Federal Institute of Technology, em Zurique. Antes de se dedicar à Filosofia, estudou Física, Matemática, Astronomia, Teatro e produção de óperas. Entre seus livros estão Matando o tempo (1996), Adeus à razão (2011) e Contra o método (2011), publicados pela Editora Unesp.
Paul K. Feyerabend, um dos filósofos da ciência mais citados e controvertidos de nosso tempo, completou sua biografia em seu último mês de vida. Em um estilo límpido e vibrante, o autor evoca sua família, a ascensão do nazismo, a Segunda Guerra Mundial e cenas do teatro, da música lírica, dos trabalhos da filosofia da ciência, as mulheres de sua vida e suas relações com alguns dos intelectuais mais importantes deste século: Brecht, Wittgenstein e Popper.
Feyerabend desafia os grandes dogmas do mundo contemporâneo para defender os benefícios da diversidade e das mudanças culturais diante das certezas uniformes e homogeneizantes da tradicional racionalidade científica. Aproxima Ciência e Arte e discute desde Xenófanes a Einstein e a mecânica quântica, passando por uma análise surpreendente do conflito entre Galileu e a Igreja. O seu (tipicamente) agressivo adeus à razão equivale à rejeição de uma imagem congelada e distorcida da ciência que abusa do cânon ocidental racionalista e objetivo.
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.
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.