Nuel Динсмор Белнапа младший ( / б ɛ л н æ р / ; родилась 1930), американский логик и философ , который сделал вклад в философии логики , временной логики и структурной теории доказательств . Он преподавал в Питтсбургском университете с 1963 года до выхода на пенсию в 2011 году.
Нуэль Белнап | |
---|---|
Родившийся | 1930 г. |
Образование | Йельский университет Иллинойского университета (доктор философии, 1960) |
Эра | Современная философия |
Область, край | Западная философия |
Школа | Аналитический |
Учреждения | Питтсбургский университет |
Тезис | Формализация заключения (1960) |
Докторант | Алан Росс Андерсон |
Основные интересы | Философская логика , темпоральная логика , теория структурных доказательств |
Известные идеи | Логика отображения |
Влияния |
биография
Будучи студентом, Белнап учился в Университете Иллинойса, где он получил степень бакалавра. Он вспомнил, что Макс Фиш назначил показания Уайтхеда. После службы в армии он поступил в Йельский университет и увлекся метафизикой . Среди его профессоров были Пол Вайс , Артур Пап , Генри Мардженау , Фредерик Фитч и Рулон Уэллс.
По стипендии Фулбрайта в 1958 году он отправился в Лувен, чтобы учиться у каноника Роберта Фейса . Белнап проживает в Брюсселе с женой и двухлетним ребенком. Фейс посоветовал Белнапу прочитать статью Вильгельма Аккермана о строгом применении в Journal of Symbolic Logic . [1]
Алан Росс Андерсон и Белнап начали обсуждать соответствующие последствия. В 1960 году Андерсон сказал Белнапу описать проделанную им работу по логике релевантности , и это была докторская диссертация Белнапа в Йельском университете (озаглавленная «Формализация вовлечения» ). Диссертация была опубликована Омаром Каямом Муром в Управлении военно-морских исследований, Отделение групповой психологии. Белнап стал доцентом Йельского университета. Он вспомнил, как нанял Джона Барвайза и Джона Уоллеса в качестве научных сотрудников. [2]
Питтсбургский университет хотел Уилфрида Селларса , и, по словам Белнапа, «Джерри Снивинд и я висели на его фалдах». Адольф Грюнбаум и Николас Решер были в Питте. Вице-канцлер Чарли Пик привел Алана Андерсона в Питт в 1965 году, где он проработал до своей смерти в 1973 году. Андерсон и Белнап были соавторами книги Entailment: The logic of актуальность и необходимость . [3] [4] «Когда мы работали вместе, мы работали по щеке. Мы просто садились и вместе писали предложения». [2]
Белнап стал профессором в 1966 году. Курт Байер был заведующим кафедрой. Белнап начал преподавать философию социальных наук со студентами, включая Баса ван Фраассена и Джона Майкла Данна . В 1967 году он стал профессором социологии, а в 1971 году профессором философии науки. В конце концов он занял кресло, названное в честь Алана Росса Андерсона. Он вспомнил Рич Томасона, изучающего интеллектуальные системы, проходившего через Питта. [2]
Опасаясь последствий противоречивых хранимых данных, Белнап предложил четыре-значную логику , чтобы избежать убегающего умозаключения , такие как ( A & \ A ) → B для произвольного заявления B . [5] Четырехзначная логика, известная как принцип взрыва в классической логике, обеспечивает основу для паранепротиворечивой логики, позволяющей избежать этой патологии двузначной логики.
В 1976 году Белнап и Т. Б. Стил мл. Опубликовали «Логику вопросов и ответов» как своевременный вклад в эротетику . Помимо логики высказываний и предложений, они отметили, что развивающиеся базы данных делают возможными «файлы досье на людей» (стр. 146), что приводит к «проблеме конфиденциальности при ведении документации». Книга включала 45-страничную аннотированную библиографию по эротетике, разделенную на разделы философии, лингвистики, автоматического ответа на вопросы и педагогику, составленную Хубертом Шлейхертом и Урсом Эгли.
В творческий отпуск Белнап был приглашенным профессором в Калифорнийском университете в Ирвине и в Блумингтон, Индиана , осенью 1977, 1978, 1979 годов с Джоном Майклом Данном. В 1982 году в Стэнфордском центре перспективных исследований в области поведенческих наук , а в 1996 году в Лейпциге, Centrum für Höhere Studien с Хейрихом Вансингом. Он был одним из основателей Общества точной философии , которое сотрудничало с канадцами, такими как Марио Бунге . Белнап был рецензентом многих научных статей. [2]
В 2008 году он был избран членом Американской академии искусств и наук [6].
Избранные работы
- 1975: (с Дороти Л. Гровер и Джозефом Л. Кэмпом) "Прозентная теория истины", Philosophical Studies 27 (1): 73–125
- 1993: (с Анил Гупта ) Теория пересмотра истины , MIT Press
- 2001: (с Мин Сюй и Мишель Перлофф) Взгляд в будущее: агенты и выбор в нашем недетерминированном мире , Oxford University Press ( ISBN 0195138783 ).
Смотрите также
- Логическая гармония
Рекомендации
- ^ Вильгельм Акерманн (1956) Begrundung einer strengen implikation , Journal of Symbolic Logic 21: 113–128 через Project Euclid
- ^ a b c d Н. Белнап (2014) «Биографическое интервью», страницы с 377 по 409 в Белнапе об индетерминизме и свободном действии , редактор Томаса Мюллера, Springer books doi : 10.1007 / 978-3-319-01754-9
- ^ Андерсон, А. Р. и Белнап, Н. Д. (1979) Вмешательство: логика релевантности и необходимости. Vol. 1. , Princeton University Press .
- ^ Андерсон, AR, Белнапа, ND и Dunn, JM (1992) Воплощение: Логика Актуальность и необходимость. Vol. 2. , Princeton University Press. ISBN 0-691-07339-2
- ^ Н. Белнап (1975) «Как компьютеры должны думать», страницы 30–56 в « Современные аспекты философии» ,редактор Гилберта Райла , Oriel Press ISBN 0-85362-161-6
- ^ «Книга членов, 1780-2010: Глава B» (PDF) . Американская академия искусств и наук . Проверено 30 мая 2011 года . CS1 maint: обескураженный параметр ( ссылка )
Внешние ссылки
- Работы Нуэля Белнапа в PhilPapers
- Нуел Белнап в Университете Питтсбурга