Разработка алгоритма Дэвиса-Патнэма для задачи выполнимости булевых формул стала ключевым вкладом в информатику, преодолев разрыв между логикой и вычислительной практикой. На протяжении всей своей карьеры этот американский ученый критически осмысливал собственную интеллектуальную эволюцию, неизменно отказываясь от устоявшихся теорий, когда строгий анализ выявлял структурные недостатки в его предыдущих метафизических или эпистемологических позициях.
Академическое становление и ранние исследования
Патнэм родился в Чикаго в 1926 году и прошел через ряд учебных заведений в ходе своего обучения. Он окончил среднюю школу Central High School, а затем завершил обучение в Пенсильванском университете, Гарвардском университете и Калифорнийском университете в Лос-Анджелесе, где получил докторскую степень в 1951 году. Его ранняя карьера была отмечена значительным вкладом в математику, в частности, помощью в доказательстве неразрешимости десятой проблемы Гильберта.
Вклад в философию сознания и языка
В области проблемы «сознание-тело» Патнэм бросил вызов теориям тождества типов, предложив концепцию множественной реализации. Ему приписывают создание вычислительной теории сознания и развитие функционализма. Его работы в области философии языка привели к формулировке семантического экстернализма, что было проиллюстрировано знаменитым мысленным экспериментом «Земля-близнец» (Twin Earth), исследовавшим каузальную теорию референции.
Эволюция метафизического реализма
Патнэм начал свою карьеру как сторонник метафизического реализма, но позже подверг эту позицию обширной критике. Он ненадолго принял позицию, известную как внутренний реализм, прежде чем отойти от нее. Несмотря на эти сдвиги, он сохранил приверженность научному реализму на всю жизнь, утверждая, что зрелые научные теории предлагают приблизительно точные описания объективного мира.
Двадцать вопросов, восемь минут на часах и процентиль, измеренный по всем, кто его проходил. Без регистрации.
Пройти тест IQ →Политическая деятельность и поздние интересы
В конце 1960-х и начале 1970-х годов Патнэм участвовал в политическом активизме, в частности, будучи членом Прогрессивной рабочей партии (Progressive Labor Party). Позже он охарактеризовал это членство как ошибку. В последние десятилетия своей жизни он сосредоточился на американском прагматизме, этике и иудейской философии. Он преподавал в Северо-Западном университете, Принстоне, Массачусетском технологическом институте (MIT) и Гарварде, в конечном итоге завершив карьеру как высокопочитаемая фигура в этой области.
Краткие факты
- Рождение: 1926, Чикаго - Смерть: 2016, Арлингтон - Примечательный труд: «Разум, истина и история» (Reason, Truth and History) - Образование: Гарвардский университет, Пенсильванский университет - Награды: Премия Рольфа Шока по логике и философии (2011) - Награды: Премия Лаунера (2012) - Религия: Иудаизм - Профессиональная направленность: Философия сознания, языка и математики
Часто задаваемые вопросы читателей
### Почему Хилари Патнэм ассоциируется с множеством философских позиций?
Он часто подвергал собственные теории строгому анализу и отказывался от них, если находил изъяны, по сути выступая в качестве своего собственного главного философского противника.
### Что такое алгоритм Дэвиса-Патнэма?
Это математический метод, разработанный для решения задачи выполнимости булевых формул, представляющий собой его вклад в информатику.
