Нуэль Динсмор Белнап-младший ( / ˈ b ɛ l n æ p / ; 1 мая 1930 — 12 июня 2024) — американский логик и философ, внесший вклад в философию логики , временную логику и теорию структурного доказательства . Он преподавал в Питтсбургском университете с 1963 года до выхода на пенсию в 2011 году.
Белнап родился 1 мая 1930 года. [1] Он учился в средней школе New Trier High School в Уиннетке, штат Иллинойс , и получил степень бакалавра гуманитарных наук в Университете Иллинойса . [1] Он вспоминал, что Макс Фиш назначил ему чтение Уайтхеда . [ необходима цитата ]
Белнап работал программистом на IBM 701 для Агентства национальной безопасности в ВВС США в течение двух лет, прежде чем поступить в аспирантуру Йельского университета . [1] Он увлекался метафизикой , и его профессорами были Пол Вайс , Артур Пап , Генри Маргено , Фредерик Фитч и Рулон Уэллс. [ требуется ссылка ]
В 1958 году по стипендии Фулбрайта он отправился в Лувен , чтобы учиться у каноника Роберта Фейса . Белнап проживал в Брюсселе с женой и двухлетним ребенком. Фейс поручил Белнапу прочитать статью Вильгельма Аккермана о строгой импликации в журнале символической логики . [2]
Алан Росс Андерсон и Белнап начали обсуждать релевантную импликацию. В 1960 году Андерсон попросил Белнапа описать работу, которую он проделал по релевантной логике , и это была докторская диссертация Белнапа в Йельском университете (под названием «Формализация вывода »). Диссертация была опубликована Омаром Каямом Муром в Офисе военно-морских исследований, Отделении групповой психологии. [ необходима цитата ]
Белнап стал доцентом Йельского университета. Он вспомнил, как нанял Джона Барвайза и Джона Уоллеса в качестве научных ассистентов. [3]
Университет Питтсбурга хотел Уилфрида Селларса , и, по словам Белнапа, «Джерри Снивинд и я висели у него на хвосте». Адольф Грюнбаум и Николас Решер были в Питтсбурге. Вице-канцлер Чарли Пик привез Алана Андерсона в Питтсбург в 1965 году, где он проработал до своей смерти в 1973 году. Андерсон и Белнап были соавторами книги «Вывод: логика релевантности и необходимости» . [4] [5] «Когда мы работали вместе, мы работали щекой к челюсти. Мы просто садились и вместе писали предложения». [3]
Белнап стал профессором в 1966 году . Курт Байер был председателем кафедры. Белнап начал преподавать философию социальных наук, среди студентов были Бас ван Фраассен и Джон Майкл Данн . В 1967 году он стал профессором социологии, а в 1971 году — профессором философии науки. В конце концов он занял кафедру, названную в честь Алана Росса Андерсона. Он вспомнил Рича Томасона, студента интеллектуальных систем, проходящего через Питта. [3]
Опасаясь последствий противоречивых хранимых данных, Белнап предложил четырехзначную логику , чтобы избежать неконтролируемых выводов, таких как ( A & ~ A ) → B для произвольного утверждения B. [6] Известная как принцип взрыва в классической логике , четырехзначная логика обеспечивает основу для паранепротиворечивой логики, чтобы избежать этой патологии двузначной логики .
В 1976 году Белнап и Т. Б. Стил-младший опубликовали «Логику вопросов и ответов» как своевременный вклад в эротику . Помимо пропозициональной логики , они отметили, что развивающиеся базы данных делают возможными «файлы досье на отдельных лиц» (стр. 146), что приводит к «проблеме конфиденциальности в ведении записей». Книга включала 45-страничную аннотированную библиографию по эротике, разделенную на разделы по философии, лингвистике, автоматическим ответам на вопросы и педагогике, составленную Хубертом Шлейхертом и Урсом Эгли.
В академическом отпуске Белнап был приглашенным профессором в Калифорнийском университете в Ирвайне и в Индианском университете в Блумингтоне осенью 1977, 1978, 1979 годов вместе с Джоном Майклом Данном. В 1982 году в Стэнфордском центре передовых исследований поведенческих наук , а в 1996 году в Лейпциге , Centrum für Höhere Studien вместе с Хайрихом Вансингом. Он был одним из основателей Общества точной философии, которое сотрудничало с канадцами, такими как Марио Бунге . Белнап был рецензентом многих научных работ. [3]
В 2008 году он был избран членом Американской академии искусств и наук. [7]
У Белнапа было три сына и дочь от первой жены Джоан Годе Белнап. [1] Он умер в Уайтфилде, штат Нью-Гэмпшир, 12 июня 2024 года в возрасте 94 лет. [1]