Белнап, Ньюэл

В Википедии есть статьи о других людях с такой фамилией, см. Белнап.
Ньюэл Белнап
Дата рождения 1 мая 1930(1930-05-01)[1]
Место рождения
Дата смерти 12 июня 2024(2024-06-12) (94 года)
Место смерти
Страна
Альма-матер
Место работы
Род деятельности философ, преподаватель университета
Основные интересы философия[3] и логика[3]
Награды

Ньюэл Динсмор Белнап-младший (англ. Nuel Dinsmore Belnap Jr., 1 мая 1930[1], Эванстон, Иллинойс[1] — 12 июня 2024, Уайтфилд[вд], Нью-Гэмпшир) — американский логик и философ, внесший вклад в философию логики, темпоральную логику и теорию структурных доказательств[англ.]. Он преподавал в Питтсбургском университете с 1963 года до выхода на пенсию в 2011 году.

Ранние годы и образование

[править | править код]

Белнап родился 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].

Избранные труды

[править | править код]

Примечания

[править | править код]
  1. ↑ 1 2 3 4 5 6 7 8 9 Contemporary Authors (англ.) — Gale. — ISSN 0275-7176; 0010-7468
  2. ↑ Mathematics Genealogy Project (англ.) — 1997.
  3. ↑ 1 2 Чешская национальная авторитетная база данных
  4. ↑ 1 2 3 4 5 Nuel D Belnap Jr. Legacy.com. Дата обращения: 18 июня 2024. Архивировано 17 июня 2024 года.
  5. ↑ Wilhelm Ackermann (1956) Begrundung einer strengen implikation, Journal of Symbolic Logic[англ.] 21: 113 to 128, doi:10.2307/2268750 JSTOR 2268750
  6. ↑ 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
  7. ↑ Anderson, A. R. and Belnap, N. D. (1979) Entailment: The Logic of Relevance and Necessity. Vol. 1., Princeton University Press.
  8. ↑ 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
  9. ↑ 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
  10. ↑ Book of Members, 1780-2010: Chapter B. American Academy of Arts and Sciences. Дата обращения: 30 мая 2011. Архивировано 25 июля 2011 года.

Ссылки

[править | править код]