Ньюэл Динсмор Белнэп: Американ философ және логик ғалымы

Кіріспе

Американдық философ Нуэль Динсмор Белнап-младший (туған жылы 1930) – логика философиясы, уақыт логикасы және құрылымдық дәлелдеу теориясы салаларына үлес қосқан американдық логик және философ. Ол 1963 жылдан 2011 жылы зейнеткерлікке шыққанға дейін Питтсбург университетінде оқытумен айналысты.

Өмірбаян

Белнап бакалаврлық білімін Иллинойс университетінде алған, онда ол А. А. дәрежесін иеленді. Ол Макс Фиштің Уайтхедті оқуға бергенін еске алды. Әскери қызметтен кейін ол Йель университетіне түсіп, метафизикамен айналысты. Оның профессорларының арасында Пол Вайс, Артур Пап, Генри Маргенау, Фредерик Фич және Рулон Уэллс болды. 1958 жылы Фулбрайт стипендиясы бойынша Белнап Лувенге барып, канон Роберт Фейспен бірге оқыды. Белнап әйелі мен 2 жасар баласымен бірге Брюссельде тұрды. Фейс Белнапқа Вильгельм Акерманның «Журнал символдық логика» журналындағы қатаң импликация туралы мақаласын оқуды ұсынды. Алан Росс Андерсон мен Белнап тиісті импликацияны талқылай бастады. 1960 жылы Андерсон Белнапқа маңызды логика бойынша жасаған жұмысын жазуды тапсырды, бұл Белнаптың Йельдегі докторлық диссертациясы болды («The Formalization of Entailment» деген тақырыпта). Диссертация Омар Каям Мур арқылы Әскери-теңіз зерттеулер кеңсесінің Топтық психология бөлімінде жарияланды. Белнап Йель университетінде доцент болып жұмыс істеді. Ол Джон Барвайз бен Джон Уоллесті ғылыми көмекшілер ретінде қабылдағанын еске алды. «Біз бірге жұмыс істеген кезде, бетпе-бет отырып жұмыс істедік. Біз жай ғана отырып, бірге сөйлемдер жаздық». Классикалық логикадағы жарылыс принципі ретінде танылған төрт мәнді логика, екі мәнді логиканың патологиясын болдырмау үшін параконсистентті логиканың негізін құрайды. 1976 жылы Белнап пен Т. Б. Стил кіші «Сұрақтар мен жауаптардың логикасы» атты еңбегін эротика саласына уақтылы үлес ретінде жариялады. Олар, логикалық тұрғыдан алғанда, дамып келе жатқан деректер базасы «жеке тұлғалар туралы іс қағаздарын» (146-бет) құруға мүмкіндік береді, бұл «жазбаларды сақтаудағы жеке өмірге қатысты мәселеге» алып келеді. Кітапта Хьюберт Шлейхерт пен Урс Эгли құрастырған 45 беттік эротиканың библиографиясы бар, ол философия, лингвистика, автоматты сұрақтарға жауап беру және педагогика бойынша бөлінген. Белнап 1977, 1978, 1979 жылдары Джон Майкл Даннмен бірге Калифорния университетінде (Ирвайн) және Индиана университетінде (Блумингтон) қонақ профессор болып жұмыс істеді. 1982 жылы Стэнфордтың Мінез-құлық ғылымдарының озық зерттеулер орталығында, ал 1996 жылы Лейпцигте Хайрих Вансингпен бірге Centrum für Höhere Studien орталығында болды. Ол «Дұрыс философия қоғамының» негізін қалаушы мүшесі болды, ол Марио Бунге сияқты канадалықтармен бірлесіп жұмыс істеді. Белнап көптеген ғылыми мақалаларға рецензия жасады. 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.