Ensaios filosóficos, 1970-1993, com uma entrevista autobiográfica
Dividido em três partes, O caminho desde A estrutura é o mais completo registro disponível dos novos rumos que Thomas Kuhn estava trilhando durante as últimas duas décadas de sua vida. A primeira parte do livro consiste de ensaios tópicos nos quais o autor refina os conceitos fundamentais elaborados em A estrutura. Na segunda parte, Kuhn responde extensivamente às críticas dirigidas a suas contribuições anteriores. A terceira parte do volume é composta pela transcrição de uma notável entrevista autobiográfica concedida por Kuhn em Atenas, em 1995, menos de um ano antes de sua morte.
Thomas S. Kuhn (1922-1996) foi professor emérito de Filosofia no Massachusetts Institute of Technology (MIT). É autor de, entre outros livros, A estrutura da revolução científica (Perspectiva, 2009) e Os caminhos desde a estrutura (Unesp, 2006).
Nesta obra fundamental, Kuhn, um dos maiores historiadores e filósofos da ciência do século XX, realça alguns traços fundamentais da atividade científica: a inovação e a revolução teóricas, o significado e o alcance da medição, o fenômeno da rejeição e da recepção do conhecimento novo e a natureza da "ciência normal".
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.
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.