Le développement de l'algorithme de Davis-Putnam pour le problème de satisfiabilité booléenne a constitué une contribution essentielle à l'informatique, comblant le fossé entre la logique et la pratique computationnelle. Tout au long de sa carrière, cet universitaire américain a scruté sa propre évolution intellectuelle, abandonnant systématiquement les théories établies lorsqu'une analyse rigoureuse révélait des failles structurelles dans ses positions métaphysiques ou épistémologiques antérieures.
Formation académique et premières recherches
Né à Chicago en 1926, Putnam a fréquenté plusieurs établissements durant ses études. Il a fréquenté la Central High School avant de terminer ses études à l'Université de Pennsylvanie, à l'Université Harvard et à l'Université de Californie à Los Angeles, où il a obtenu son doctorat en 1951. Ses débuts de carrière ont été marqués par d'importantes contributions aux mathématiques, notamment en participant à la démonstration de l'indécidabilité du dixième problème de Hilbert.
Contributions à la philosophie de l'esprit et du langage
Dans le domaine des problèmes corps-esprit, Putnam a remis en question les théories de l'identité des types en proposant le concept de réalisabilité multiple. On lui doit l'origine de la théorie computationnelle de l'esprit et le développement du fonctionnalisme. Ses travaux en philosophie du langage ont conduit à la formulation de l'externalisme sémantique, illustré par sa célèbre expérience de pensée de la Terre Jumelle, qui explorait la théorie causale de la référence.
Évolution du réalisme métaphysique
Putnam a commencé sa carrière comme défenseur du réalisme métaphysique avant de critiquer cette position de manière approfondie. Il a brièvement adopté une posture connue sous le nom de réalisme interne avant de s'en distancier. Malgré ces changements, il a maintenu un engagement de toujours envers le réalisme scientifique, affirmant que les théories scientifiques matures offrent des descriptions approximativement exactes du monde objectif.
Vingt questions, huit minutes au chronomètre et un centile mesuré face à tous ceux qui l’ont passé. Sans inscription.
Passer le test de QI →Engagement politique et intérêts ultérieurs
À la fin des années 1960 et au début des années 1970, Putnam s'est engagé dans le militantisme politique, notamment en tant que membre du Progressive Labor Party. Il a plus tard qualifié cette affiliation d'erreur. Au cours de ses dernières décennies, il s'est concentré sur le pragmatisme américain, l'éthique et la philosophie juive. Il a été professeur d'université à Northwestern, Princeton, au MIT et à Harvard, prenant finalement sa retraite en tant que figure hautement décorée dans le domaine.
Faits marquants
- Naissance : 1926, Chicago - Décès : 2016, Arlington - Œuvre notable : Raison, vérité et histoire - Formation : Université Harvard, Université de Pennsylvanie - Prix : Prix Rolf Schock en logique et philosophie (2011) - Prix : Prix Lauener (2012) - Religion : Judaïsme - Domaine d'expertise : Philosophie de l'esprit, du langage et des mathématiques
Questions posées par les lecteurs
### Pourquoi Hilary Putnam est-il associé à de multiples positions philosophiques ?
Il soumettait fréquemment ses propres théories à une analyse rigoureuse et les abandonnait s'il identifiait des failles, agissant ainsi comme son propre adversaire philosophique principal.
### Qu'est-ce que l'algorithme de Davis-Putnam ?
Il s'agit d'une méthode mathématique développée pour résoudre le problème de satisfiabilité booléenne, représentant sa contribution à l'informatique.
