Нуэль Белнап - Nuel Belnap

Нуэль Белнап
Родившийся1930
ОбразованиеУниверситет Иллинойса
Йельский университет (Доктор философии, 1960)
ЭраСовременная философия
Область, крайЗападная философия
ШколаАналитический
УчрежденияПиттсбургский университет
ТезисФормализация заключения (1960)
ДокторантАлан Росс Андерсон
Основные интересы
Философская логика, темпоральная логика, теория структурных доказательств
Известные идеи
Логика отображения

Нуэль Динсмор Белнап младший (/ˈбɛлпæп/; 1930 г.р.) - американский логик и философ, внесший вклад в философия логики, темпоральная логика, и теория структурных доказательств. Он преподавал в Питтсбургский университет с 1963 г. до выхода на пенсию в 2011 г.

биография

Будучи студентом, Белнап учился в Университет Иллинойса где он получил степень бакалавра искусств. Он напомнил, что Макс Фиш назначил показания Уайтхеда. После службы в армии посещал Йельский университет и наслаждался метафизика. Среди его профессоров Пол Вайс, Артур Пап, Генри Мардженау, Фредерик Фитч, и Рулон Уэллс.

На Стипендия Фулбрайта в 1958 году он поехал в Лувен учиться в Canon Роберт Фейс. Белнап проживает в Брюсселе с женой и двухлетним ребенком. Фейс велел Белнапу читать Вильгельм Аккерманн статья о строгом применении в Журнал символической логики.[1]

Алан Росс Андерсон и Белнап начал обсуждать соответствующие последствия. В 1960 году Андерсон сказал Белнапу написать о работе, которую он проделал над логика релевантности, и это была докторская диссертация Белнапа в Йельском университете (озаглавленная Формализация заключения). Диссертация была опубликована Омаром Каямом Муром в Управлении военно-морских исследований, отделение групповой психологии. Белнап стал доцентом Йельского университета. Он вспомнил, как нанял Джона Барвайза и Джона Уоллеса в качестве научных сотрудников.[2]

Питтсбургский университет разыскивается Уилфрид Селларс, и, по словам Белнапа, «Джерри Снивинд и я висели на его фалдах». Адольф Грюнбаум и Николас Решер были в Питте. Вице-канцлер Чарли Пик привел Алана Андерсона в Питт в 1965 году, где он проработал до своей смерти в 1973 году. Андерсон и Белнап были соавторами книги. Влечение: логика актуальности и необходимости.[3][4] «Когда мы работали вместе, мы работали по щеке. Мы просто садились и вместе писали предложения».[2]

Белнап стал профессором в 1966 году. Курт Байер был заведующим кафедрой. Белнап начал преподавать философию социальных наук со студентами, в том числе Бас ван Фраассен и Джон Майкл Данн. В 1967 году он стал профессором социологии, а в 1971 году профессором философии науки. В конце концов он занял кресло, названное в честь Алана Росса Андерсона. Он вспомнил Рич Томасона, изучающего интеллектуальные системы, проходившего через Питта.[2]

Опасаясь последствий противоречивых хранимых данных, Белнап предложил четырехзначная логика чтобы избежать беглых выводов, таких как (А & ~А) → B для произвольного утверждения B.[5] Известный как принцип взрыва в классической логике четырехзначная логика дает основу для непротиворечивая логика чтобы избежать этой патологии двузначной логики.

В 1976 году Белнап и Т. Б. Стил-младший опубликовали Логика вопросов и ответов как своевременный вклад в эротика. Помимо логики высказываний и предложений, они отметили, что развивающиеся базы данных сделать возможными "досье на отдельных лиц" (стр. 146), ведущие к "проблеме Конфиденциальность в ведении документации ». Книга включала 45-страничную аннотированную библиографию по эротетике с разделами по философии, лингвистике, автоматическим ответам на вопросы и педагогике, составленную Хуберт Шлейхерт и Урс Эгли.

В творческий отпуск Белнап был приглашенным профессором в Калифорнийский университет в Ирвине и в Блумингтоне, Индиана, осенью 1977, 1978, 1979 годов с Джоном Майклом Данном. В 1982 году в Стэнфорде Центр перспективных исследований в области поведенческих наук, а в 1996 году в Лейпциге, Centrum für Höhere Studien с Heirich Wansing. Он был одним из основателей Общество точной философии, который сотрудничал с канадцами, такими как Марио Бунге. Белнап был рецензентом многих научных статей.[2]

Он был избран членом Американская академия искусств и наук в 2008.[6]

Избранные работы

  • 1975: (с Дороти Л. Гровер и Джозефом Л. Кэмпом) "Прозентенческая теория истины", Философские исследования 27(1): 73–125
  • 1993: (с Анил Гупта ) Ревизионная теория истины, MIT Press
  • 2001: (с Мин Сюй и Мишель Перлофф) Лицом к будущему: агенты и выбор в нашем недетерминированном мире, Oxford University Press (ISBN  0195138783).

Смотрите также

Рекомендации

  1. ^ Вильгельм Аккерманн (1956) Begrundung einer strengen implikation, Журнал символической логики 21: 113 до 128 через Проект Евклид
  2. ^ а б c d Н. Белнап (2014) «Биографическое интервью», стр. 377–409 в Белнап об индетерминизме и свободном действии, Редактор Томас Мюллер, Книги Springer Дои:10.1007/978-3-319-01754-9
  3. ^ Андерсон А. Р. и Белнап Н. Д. (1979) Привлечение: логика релевантности и необходимости. Vol. 1., Princeton University Press.
  4. ^ Андерсон А. Р., Белнап Н. Д. и Данн Дж. М. (1992) Привлечение: логика релевантности и необходимости. Vol. 2., Princeton University Press. ISBN  0-691-07339-2
  5. ^ Н. Белнап (1975) «Как компьютеры должны думать», стр. 30–56 в Современные аспекты философии, Гилберт Райл редактор, Ориэл Пресс ISBN  0-85362-161-6
  6. ^ "Книга членов, 1780-2010: Глава B" (PDF). Американская академия искусств и наук. Получено 30 мая, 2011.

внешняя ссылка