Ньюэл Динсмор Белнап-младший (, ) — американский логик и философ, внесший вклад в философию логики, темпоральную логику и . Он преподавал в Питтсбургском университете с 1963 года до выхода на пенсию в 2011 году.
Ранние годы и образование Белнап родился 1 мая 1930 года. Он учился в в Уиннетке, штат Иллинойс, и получил степень бакалавра гуманитарных наук в Университете Иллинойса.
Белнап работал программистом на IBM 701 в Агентстве национальной безопасности для ВВС США в течение двух лет, прежде чем поступить в аспирантуру Йельского университета. Он любил метафизику, и среди его профессоров были , , , и Рулон Уэллс.
Получив стипендию Фулбрайта в 1958 году, он отправился в Лувен, чтобы учиться у каноника . Белнап проживал в Брюсселе с женой и двухлетним ребёнком. Фейс посоветовал Белнапу прочитать статью Вильгельма Аккермана о строгой импликации в Wilhelm Ackermann (1956) Begrundung einer strengen implikation, 21: 113 to 128, .
и Белнап начали обсуждать релевантную импликацию. В 1960 году Андерсон попросил Белнапа описать свою работу по логике релевантности, и это была докторская диссертация Белнапа в Йельском университете (под названием «Формализация следствия»). Диссертация была опубликована Омаром Каямом Муром в отделении групповой психологии Управления военно-морских исследований.
Карьера Белнап стал доцентом Йельского университета. Он нанял и Джона Уоллеса в качестве научных сотрудников.
Алан Андерсон и Белнап были соавторами книги «Последствия: логика релевантности и необходимости»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. . «Когда мы работали вместе, мы работали бок о бок. Мы просто садились и вместе писали предложения».
Белнап стал профессором в 1966 году. был главой кафедры. Белнап начал преподавать философию социальных наук студентам, в числе которых были и . В 1967 году он стал профессором социологии, а в 1971 году — профессором философии науки. В конце концов он занял кафедру, названную в честь Алана Росса Андерсона.
Опасаясь последствий противоречиво хранимых данных, Белнап предложил , чтобы избежать необдуманных выводов, таких как (A и ~A) → B для произвольного утверждения BN. Belnap (1975) «How Computers Should Think», pages 30 to 56 in Contemporary Aspects of Philosophy, Gilbert Ryle editor, Oriel Press . Четырёхзначная логика, известная как принцип взрыва в классической логике, обеспечивает основу для паранепротиворечивой логики, позволяющей избежать патологии двузначной логики.
В 1976 году Белнап и Т. Б. Стил-младший опубликовали «Логику вопросов и ответов» как своевременный вклад в . Помимо логики высказываний, они отметили, что развивающиеся базы данных делают возможным создание «файлов досье на отдельных лиц» (стр. 146), что приводит к «проблеме конфиденциальности при ведении записей». Книга включает 45-страничную аннотированную библиографию по эротетике, разделённую на философию, лингвистику, автоматический ответ на вопросы и педагогику, составленную и Урсом Эгли.
Во время творческого отпуска Белнап был приглашённым профессором Калифорнийского университета в Ирвайне и Университета Индианы в Блумингтоне осенью 1977, 1978, 1979 годов вместе с . В 1982 году он работал в Стэнфордском и в 1996 году в Лейпциге, Centrum für Höhere Studien, с Генрихом Вансингом. Он был одним из основателей Общества точной философии, которое сотрудничало с такими мыслителями, как Марио Бунге. Белнап был рецензентом многих научных статейN. Belnap (2014) «Biographical Interview», pages 377 to 409 in Belnap on Indeterminism and Free Action, Thomas Müller editor, Springer books .
В 2008 году он был избран членом Американской академии искусств и наук.
Личная жизнь и смерть У Белнапа было три сына и дочь от его первой жены Джоан Годе Белнап. Он умер 12 июня 2024 года в , Нью-Гэмпшир.
Избранные труды 1975: (соавт. с Dorothy L. Grover & Joseph L. Camp) «The Prosentential Theory of Truth», 27(1): 73-125 1993: (соавт. с 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 ().
Примечания
Ссылки Труды Ньюэла Белнапа на PhilPapers Ньюэл Белнап в Питтсбургском университете
Категория:Философы США Категория:Философы XX века Категория:Философы XXI века Категория:Логики США Категория:Философы-аналитики Категория:Выпускники Йельского университета Категория:Преподаватели Йельского университета