Нуэль Белнап - Nuel Belnap
Нуэль Белнап | |
---|---|
Родившийся | 1930 г. |
Образование |
Йельский университет Иллинойского университета (доктор философии, 1960) |
Эра | Современная философия |
Область, край | Западная философия |
Школа | Аналитический |
Учреждения | Питтсбургский университет |
Тезис | Формализация заключения (1960) |
Докторант | Алан Росс Андерсон |
Основные интересы |
Философская логика , темпоральная логика , теория структурных доказательств |
Известные идеи |
Логика отображения |
Влияния |
Nuel Динсмор Белнапа младший ( / б ɛ л н æ р / ; родилась 1930), американский логик и философ , который сделал вклад в философии логики , временной логики и структурной теории доказательств . Он преподавал в Питтсбургском университете с 1963 года до выхода на пенсию в 2011 году.
биография
Будучи студентом, Белнап учился в Университете Иллинойса, где он получил степень бакалавра. Он вспомнил, что Макс Фиш назначил показания Уайтхеда . После службы в армии он поступил в Йельский университет и увлекся метафизикой . Среди его профессоров были Пол Вайс , Артур Пап , Генри Мардженау , Фредерик Фитч и Рулон Уэллс.
По стипендии Фулбрайта в 1958 году он поехал в Лувен, чтобы учиться у каноника Роберта Фейса . Белнап проживает в Брюсселе с женой и двухлетним ребенком. Фейс посоветовал Белнапу прочитать статью Вильгельма Аккермана о строгом применении в Journal of Symbolic Logic .
Алан Росс Андерсон и Белнап начали обсуждать соответствующие последствия. В 1960 году Андерсон сказал Белнапу описать проделанную им работу по логике релевантности , и это была докторская диссертация Белнапа в Йельском университете (озаглавленная «Формализация вовлечения» ). Диссертация была опубликована Омаром Каямом Муром в Управлении военно-морских исследований, Отделение групповой психологии. Белнап стал доцентом Йельского университета. Он вспомнил, как нанял Джона Барвайза и Джона Уоллеса в качестве научных сотрудников.
Питтсбургский университет хотел Уилфрида Селларса , и, по словам Белнапа, «Джерри Снивинд и я висели на его фалдах». Адольф Грюнбаум и Николас Решер были в Питтсбурге. Вице-канцлер Чарли Пик привез Алана Андерсона в Питтсбург в 1965 году, где он проработал до своей смерти в 1973 году. Андерсон и Белнап были соавторами книги « Entailment: логика релевантности и необходимости» . «Когда мы работали вместе, мы работали по щеке. Мы просто садились и вместе писали предложения».
Белнап стал профессором в 1966 году. Курт Байер был заведующим кафедрой. Белнап начал преподавать философию социальных наук со студентами, включая Баса ван Фраассена и Джона Майкла Данна . В 1967 году он стал профессором социологии, а в 1971 году профессором философии науки. В конце концов он занял кресло, названное в честь Алана Росса Андерсона. Он вспомнил Рич Томасона, изучающего интеллектуальные системы, проходившего через Питта.
Опасаясь последствий противоречивых хранимых данных, Белнап предложил четыре-значную логику , чтобы избежать убегающего умозаключения , такие как ( A & \ A ) → B для произвольного заявления B . Четырехзначная логика, известная как принцип взрыва в классической логике , обеспечивает основу для паранепротиворечивой логики, позволяющей избежать этой патологии двузначной логики.
В 1976 году Белнап и Т. Б. Стил-младший опубликовали «Логику вопросов и ответов» как своевременный вклад в эротетику . Помимо логики высказываний , они отметили, что развивающиеся базы данных делают возможными «файлы досье на людей» (стр. 146), что приводит к «проблеме конфиденциальности при ведении документации». Книга включала 45-страничную аннотированную библиографию эротетики, разделенную на разделы философии, лингвистики, автоматического ответа на вопросы и педагогику, составленную Хубертом Шлейхертом и Урсом Эгли.
В творческий отпуск Белнап был приглашенным профессором Калифорнийского университета в Ирвине и Индианского университета Блумингтона осенью 1977, 1978, 1979 годов с Джоном Майклом Данном. В 1982 году в Стэнфордском «s Центра передовых исследований в области поведенческих наук , а в 1996 году в Лейпциге , Центр für höhere Studien с Heirich Wansing. Он был одним из основателей Общества точной философии , которое сотрудничало с канадцами, такими как Марио Бунге . Белнап был рецензентом многих научных статей.
В 2008 году он был избран членом Американской академии искусств и наук .
Избранные работы
- 1975: (вместе с Дороти Л. Гровер и Джозефом Л. Кэмпом) "Прозентная теория истины", Philosophical Studies 27 (1): 73–125
- 1993: (с Анил Гупта ) Теория пересмотра истины , MIT Press
- 2001: (с Мин Сюй и Мишель Перлофф) Взгляд в будущее: агенты и выбор в нашем недетерминированном мире , Oxford University Press ( ISBN 0195138783 ).