Нуэль Белнап
Нуэль Белнап | |
|---|---|
| Рожденный | Нуэль Динсмор Белнап мл. 1 мая 1930 г. |
| Умер | 12 июня 2024 г. (94 года) Уайтфилд, Нью-Гэмпшир , США |
| Образование | Университет Иллинойса Йельский университет (доктор философии, 1960 г.) [ нужна ссылка ] |
| Эра | Современная философия |
| Область | Западная философия |
| Школа | Аналитический |
| Учреждения | Университет Питтсбурга |
| Диссертация | Формализация следствия (1960) |
| Докторантура | Алан Росс Андерсон |
Основные интересы | Философская логика , темпоральная логика , теория структурных доказательств |
Известные идеи | Логика отображения |
Нуэль Динсмор Белнап-младший ( / ˈ b ɛ l n æ p / ; 1 мая 1930 — 12 июня 2024) — американский логик и философ, внесший вклад в философию логики , темпоральную логику и теорию структурных доказательств . Он преподавал в Питтсбургском университете с 1963 года до выхода на пенсию в 2011 году.
Ранняя жизнь и образование
[ редактировать ]Белнап родился 1 мая 1930 года. [1] Он учился в средней школе Нью-Трира в Виннетке, штат Иллинойс , и получил степень бакалавра гуманитарных наук в Университете Иллинойса . [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 году в Лейпцигском Центре исследований в области Höhere Studien вместе с Генрихом Вансингом. Он был одним из основателей Общества точной философии, которое сотрудничало с такими канадцами, как Марио Бунге . Белнап был рецензентом многих научных статей. [3]
В 2008 году он был избран членом Американской академии искусств и наук . [7]
Личная жизнь и смерть
[ редактировать ]У Белнапа было три сына и дочь от его первой жены Джоан Годе Белнап. [1] Он умер в Уайтфилде, штат Нью-Гэмпшир, 12 июня 2024 года в возрасте 94 лет. [1]
Избранные работы
[ редактировать ]- 1975: (совместно с Дороти Л. Гровер и Джозефом Л. Кэмпом) «Прозентенциальная теория истины», Philosophical Studies 27 (1): 73–125
- 1993: (с Анилом Гуптой ) Ревизионная теория истины , MIT Press
- 2001: (совместно с Мин Сюй и Мишелем Перлоффом) Лицом к будущему: агенты и выбор в нашем недетерминированном мире , Oxford University Press ( ISBN 0195138783 ).
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Перейти обратно: а б с д и «Нуэль Д. Белнап-младший» . Legacy.com . Проверено 18 июня 2024 г.
- ^ Вильгельм Акерманн (1956) Обоснование строгого импликации, Журнал символической логики 21: 113–128, дои : 10.2307/2268750 JSTOR 2268750
- ^ Перейти обратно: а б с д Н. Белнап (2014) «Биографическое интервью», страницы 377–409 в книге «Белнап об индетерминизме и свободном действии» , редактор Томаса Мюллера, книги Springer. дои : 10.1007/978-3-319-01754-9
- ^ Андерсон, А.Р. и Белнап, Н.Д. (1979) Следствие: логика релевантности и необходимости. Том. 1. , Издательство Принстонского университета .
- ^ Андерсон, А.Р., Белнап, Н.Д. и Данн, Дж.М. (1992) Следствие: логика релевантности и необходимости. Том. 2. Издательство Принстонского университета. ISBN 0-691-07339-2
- ^ Н. Белнап (1975) «Как компьютеры должны думать», страницы с 30 по 56 в «Современных аспектах философии» , редактор Гилберта Райла , Oriel Press ISBN 0-85362-161-6
- ^ «Книга участников, 1780–2010: Глава B» (PDF) . Американская академия искусств и наук . Проверено 30 мая 2011 г.
Внешние ссылки
[ редактировать ]| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
