O desenvolvimento do algoritmo de Davis-Putnam para o problema da satisfatibilidade booleana constituiu uma contribuição fundamental para a ciência da computação, servindo de ponte entre a lógica e a prática computacional. Ao longo da sua carreira, este académico americano escrutinou a sua própria evolução intelectual, abandonando consistentemente teorias estabelecidas quando uma análise rigorosa revelava falhas estruturais nas suas posições metafísicas ou epistemológicas anteriores.
Formação Académica e Investigação Inicial
Nascido em Chicago em 1926, Putnam passou por vários ambientes institucionais durante a sua formação. Frequentou a Central High School antes de concluir os seus estudos na Universidade da Pensilvânia, na Universidade de Harvard e na Universidade da Califórnia, Los Angeles, onde obteve o seu doutoramento em 1951. A sua carreira inicial envolveu contribuições significativas para a matemática, especificamente ajudando na demonstração da insolubilidade do décimo problema de Hilbert.
Contribuições para a Filosofia da Mente e da Linguagem
No domínio dos problemas mente-corpo, Putnam desafiou as teorias da identidade de tipos ao propor o conceito de realizabilidade múltipla. É creditado com a origem da teoria computacional da mente e o desenvolvimento do funcionalismo. O seu trabalho na filosofia da linguagem levou à formulação do externalismo semântico, ilustrado famosamente através da sua experiência mental da Terra Gémea, que explorou a teoria causal da referência.
Evolução do Realismo Metafísico
Putnam iniciou a sua carreira como defensor do realismo metafísico, mas mais tarde criticou a posição extensivamente. Adotou brevemente uma postura conhecida como realismo interno antes de se distanciar dela. Apesar destas mudanças, manteve um compromisso vitalício com o realismo científico, afirmando que as teorias científicas maduras oferecem descrições aproximadamente precisas do mundo objetivo.
Vinte perguntas, oito minutos no relógio e um percentil medido contra todos os que já fizeram. Sem cadastro.
Fazer o teste de QI →Envolvimento Político e Interesses Posteriores
Durante o final da década de 1960 e início da década de 1970, Putnam envolveu-se em ativismo político, nomeadamente como membro do Progressive Labor Party. Mais tarde, caracterizou esta afiliação como um erro. Nas suas últimas décadas, concentrou-se no pragmatismo americano, na ética e na filosofia judaica. Foi professor universitário em Northwestern, Princeton, no MIT e em Harvard, retirando-se finalmente como uma figura altamente condecorada no campo.
Fatos rápidos
- Nascimento: 1926, Chicago - Falecimento: 2016, Arlington - Obra notável: Reason, Truth and History - Educação: Universidade de Harvard, Universidade da Pensilvânia - Prémios: Prémio Rolf Schock em Lógica e Filosofia (2011) - Prémios: Prémio Lauener (2012) - Religião: Judaísmo - Foco profissional: Filosofia da mente, linguagem e matemática
Perguntas frequentes dos leitores
### Por que é que Hilary Putnam está associado a múltiplas posições filosóficas?
Submetia frequentemente as suas próprias teorias a uma análise rigorosa e abandonava-as se identificasse falhas, atuando efetivamente como o seu próprio principal adversário filosófico.
### O que é o algoritmo de Davis-Putnam?
É um método matemático desenvolvido para resolver o problema da satisfatibilidade booleana, representando a sua contribuição para a ciência da computação.
