Ньюэл Динсмор Белнап-младший (англ. Nuel Dinsmore Belnap Jr., 1 мая 1930[1], Эванстон, Иллинойс[1] — 12 июня 2024, Уайтфилд[вд], Нью-Гэмпшир) — американский логик и философ, внесший вклад в философию логики, темпоральную логику и теорию структурных доказательств[англ.]. Он преподавал в Питтсбургском университете с 1963 года до выхода на пенсию в 2011 году.
| Ньюэл Белнап | |
|---|---|
| Дата рождения | 1 мая 1930[1] |
| Место рождения | |
| Дата смерти | 12 июня 2024 (94 года) |
| Место смерти |
|
| Страна | |
| Альма-матер | |
| Место работы | |
| Род деятельности | философ, преподаватель университета |
| Основные интересы | философия[3] и логика[3] |
| Награды | |
Ранние годы и образование
правитьБелнап родился 1 мая 1930 года[4]. Он учился в средней школе Нью-Трира[англ.] в Уиннетке, штат Иллинойс, и получил степень бакалавра гуманитарных наук в Университете Иллинойса[4].
Белнап работал программистом на IBM 701 в Агентстве национальной безопасности для ВВС США в течение двух лет, прежде чем поступить в аспирантуру Йельского университета[4]. Он любил метафизику, и среди его профессоров были Пол Вайс[англ.], Артур Пап[англ.], Генри Маргенау[англ.], Фредерик Фитч[англ.] и Рулон Уэллс.
Получив стипендию Фулбрайта в 1958 году, он отправился в Лувен[укр.], чтобы учиться у каноника Роберта Фейса[англ.]. Белнап проживал в Брюсселе с женой и двухлетним ребёнком. Фейс посоветовал Белнапу прочитать статью Вильгельма Аккермана о строгой импликации в Journal of Symbolic Logic[англ.][5].
Алан Росс Андерсон[англ.] и Белнап начали обсуждать релевантную импликацию. В 1960 году Андерсон попросил Белнапа описать свою работу по логике релевантности, и это была докторская диссертация Белнапа в Йельском университете (под названием «Формализация следствия»). Диссертация была опубликована Омаром Каямом Муром в отделении групповой психологии Управления военно-морских исследований.
Карьера
правитьБелнап стал доцентом Йельского университета. Он нанял Джона Барвайза[англ.] и Джона Уоллеса в качестве научных сотрудников[6].
Алан Андерсон и Белнап были соавторами книги «Последствия: логика релевантности и необходимости»[7][8]. «Когда мы работали вместе, мы работали бок о бок. Мы просто садились и вместе писали предложения»[6].
Белнап стал профессором в 1966 году. Курт Байер[англ.] был главой кафедры. Белнап начал преподавать философию социальных наук студентам, в числе которых были Бас ван Фраассен[англ.] и Джон Майкл Данн[англ.]. В 1967 году он стал профессором социологии, а в 1971 году — профессором философии науки. В конце концов он занял кафедру, названную в честь Алана Росса Андерсона[6].
Опасаясь последствий противоречиво хранимых данных, Белнап предложил четырёхзначную логику[англ.], чтобы избежать необдуманных выводов, таких как (A и ~A) → B для произвольного утверждения B[9]. Четырёхзначная логика, известная как принцип взрыва в классической логике, обеспечивает основу для паранепротиворечивой логики, позволяющей избежать патологии двузначной логики.
В 1976 году Белнап и Т. Б. Стил-младший опубликовали «Логику вопросов и ответов» как своевременный вклад в эротетику[англ.]. Помимо логики высказываний, они отметили, что развивающиеся базы данных делают возможным создание «файлов досье на отдельных лиц» (стр. 146), что приводит к «проблеме конфиденциальности при ведении записей». Книга включает 45-страничную аннотированную библиографию по эротетике, разделённую на философию, лингвистику, автоматический ответ на вопросы и педагогику, составленную Хубертом Шляйхертом[англ.] и Урсом Эгли.
Во время творческого отпуска Белнап был приглашённым профессором Калифорнийского университета в Ирвайне и Университета Индианы в Блумингтоне осенью 1977, 1978, 1979 годов вместе с Джоном Майклом Данном[англ.]. В 1982 году он работал в Стэнфордском центре перспективных исследований в области поведенческих наук[англ.] и в 1996 году в Лейпциге, Centrum für Höhere Studien, с Генрихом Вансингом. Он был одним из основателей Общества точной философии, которое сотрудничало с такими мыслителями, как Марио Бунге. Белнап был рецензентом многих научных статей[6].
В 2008 году он был избран членом Американской академии искусств и наук[10].
Личная жизнь и смерть
правитьУ Белнапа было три сына и дочь от его первой жены Джоан Годе Белнап[4]. Он умер 12 июня 2024 года в Уайтфилде[англ.], Нью-Гэмпшир[4].
Избранные труды
править- 1975: (соавт. с Dorothy L. Grover & Joseph L. Camp) "The Prosentential Theory of Truth", Philosophical Studies[англ.] 27(1): 73–125
- 1993: (соавт. с Anil Gupta[англ.] The Revision Theory of Truth, MIT Press
- 2001: (соавт. с Ming Xu and Michel Perloff) Facing the Future: agents and choices in our indeterministic world, Oxford University Press (ISBN 0195138783).
Примечания
править- ↑ 1 2 3 4 5 6 7 8 9 Contemporary Authors (англ.) — Gale. — ISSN 0275-7176; 0010-7468
- ↑ Mathematics Genealogy Project (англ.) — 1997.
- ↑ 1 2 Чешская национальная авторитетная база данных
- ↑ 1 2 3 4 5 Nuel D Belnap Jr. Legacy.com. Дата обращения: 18 июня 2024.
- ↑ Wilhelm Ackermann (1956) Begrundung einer strengen implikation, Journal of Symbolic Logic[англ.] 21: 113 to 128, doi:10.2307/2268750
- ↑ 1 2 3 4 N. Belnap (2014) "Biographical Interview", pages 377 to 409 in Belnap on Indeterminism and Free Action, Thomas Müller editor, Springer books doi:10.1007/978-3-319-01754-9
- ↑ Anderson, A. R. and Belnap, N. D. (1979) Entailment: The Logic of Relevance and Necessity. Vol. 1., Princeton University Press.
- ↑ Anderson, A. R., Belnap, N. D., and Dunn, J. M. (1992) Entailment: The Logic of Relevance and Necessity. Vol. 2., Princeton University Press. ISBN 0-691-07339-2
- ↑ N. Belnap (1975) "How Computers Should Think", pages 30 to 56 in Contemporary Aspects of Philosophy, Gilbert Ryle editor, Oriel Press ISBN 0-85362-161-6
- ↑ Book of Members, 1780-2010: Chapter B. American Academy of Arts and Sciences. Дата обращения: 30 мая 2011.