Нюэль Динсмор Белнап: Жизнь и вклад в логику и философию.

Введение

Американский философ Нуэль Динсмор Белнап-младший (англ. Nuel Dinsmore Belnap Jr., род. 1930) — американский логик и философ, внесший вклад в философию логики, темпоральную логику и теорию структурных доказательств. Он преподавал в Университете Питтсбурга с 1963 года до выхода на пенсию в 2011 году.

Биография

В качестве студента Белнап учился в Университете Иллинойса, где получил степень бакалавра. Он вспомнил, что Макс Фиш давал задания по текстам Уайтхеда. После военной службы он поступил в Йельский университет и увлекся метафизикой. Среди его профессоров были Пол Вайс, Артур Пап, Генри Маргенау, Фредерик Фич и Рулон Уэллс. В 1958 году он получил стипендию Фулбрайта и отправился в Лувен для обучения у канона Роберта Фейса. Белнап проживал в Брюсселе с женой и двухлетним ребенком. Фейс посоветовал Белнапу прочитать статью Вильгельма Акермана о строгой импликации в журнале "Journal of Symbolic Logic". Алан Росс Андерсон и Белнап начали обсуждать релевантную импликацию. В 1960 году Андерсон попросил Белнапа оформить работу, которую он проделал в области логики релевантности, и эта работа стала докторской диссертацией Белнапа в Йельском университете (под названием «Формализация следования»). Диссертация была опубликована при содействии Омара Каяма Мура в Управлении военно-морских исследований, отделе групповой психологии. Белнап стал ассистент-профессором в Йельском университете. Он вспомнил, как нанял Джона Барвайза и Джона Уоллеса в качестве научных ассистентов. «Мы работали вместе, обсуждая все детали. Мы просто садились и писали предложения вместе». Четырехзначная логика, известная как принцип взрыва в классической логике, предоставляет основу для парапоследовательной логики, чтобы избежать этой патологии двухзначной логики. В 1976 году Белнап и Т. Б. Стил-младший опубликовали книгу «Логика вопросов и ответов» как своевременный вклад в эротику. Помимо пропозициональной логики, они отметили, что развивающиеся базы данных позволяют создавать «досье на отдельных лиц» (стр. 146), что приводит к «проблеме конфиденциальности при ведении записей». В книге была включена 45-страничная аннотированная библиография по эротике, разделенная на разделы по философии, лингвистике, автоматическому поиску ответов на вопросы и педагогике, составленная Хьюбертом Шлейхертом и Урсом Эгли. В период академического отпуска Белнап был приглашенным профессором в Калифорнийском университете в Ирвине и в Университете Индианы в Блумингтоне осенью 1977, 1978 и 1979 годов вместе с Джоном Майклом Данном. В 1982 году – в Центре передовых исследований в поведенческих науках при Стэнфордском университете, а в 1996 году – в Лейпциге, Центре высших исследований вместе с Хайрихом Вансингом. Он был одним из основателей Общества точной философии, которое сотрудничало с канадскими учеными, такими как Марио Бунге. Белнап выступал в качестве рецензента для многих научных статей. В 2008 году он был избран членом Американской академии искусств и наук.

As an undergraduate, Belnap studied at the University of Illinois where he obtained his B. A. He recalled Max Fisch assigned Whitehead readings. After military service he attended Yale University and enjoyed metaphysics. His professors included Paul Weiss, Arthur Pap, Henry Margenau, Frederic Fitch, and Rulon Wells. On a Fulbright Fellowship in 1958 he went to Louvain to study with Canon Robert Feys. Belnap domiciled in Brussels with wife and 2 year old. Feys directed Belnap to read Wilhelm Ackermann's article on rigorous implication in the Journal of Symbolic Logic. Alan Ross Anderson and Belnap began to discuss relevant implication. In 1960 Anderson told Belnap to write up the work he had done on relevance logic, and this was Belnap's PhD dissertation at Yale (entitled The Formalization of Entailment). The dissertation was published through Omar Kayam Moore at Office of Naval Research, Group Psychology Branch. Belnap became an assistant professor at Yale. He recalled hiring Jon Barwise and John Wallace as research assistants. "The way we worked when we worked together was cheek by jaw. We just sat down and wrote sentences together." Known as the principle of explosion in classical logic, the four valued logic provides a basis for paraconsistent logic to avoid this pathology of two valued logic. In 1976 Belnap and T. B. Steel Jr. published The Logic of Questions and Answers as a timely contribution to erotetics. Beyond propositional logic, they noted that the evolving databases make possible "dossier files on individuals" (page 146) leading to the "problem of privacy in record keeping." The book included a 45 page annotated bibliography of erotetics, sectioned by philosophy, linguistics, automatic question answering, and pedagogy, compiled by Hubert Schleichert and Urs Egli. On sabbatical, Belnap was visiting professor at the University of California, Irvine and at Indiana University Bloomington, in the falls of 1977, 1978, 1979 with Jon Michael Dunn. In 1982 at Stanford's Center for Advanced Studies in the Behavioral Sciences, and in 1996 at Leipzig, Centrum für Höhere Studien with Heirich Wansing. He was a founding member of the Society for Exact Philosophy, which collaborated with Canadians such as Mario Bunge. Belnap has served as referee for many academic papers. He was elected a Fellow of the American Academy of Arts and Sciences in 2008.