Nuel Dinsmore Belnap Jr. ( / ˈb ɛ l n æ p / ; nacido en 1930) es un lógico y filósofo estadounidense que ha hecho contribuciones a la filosofía de la lógica , la lógica temporal y la teoría de la prueba estructural . Enseñó en la Universidad de Pittsburgh desde 1963 hasta su jubilación en 2011.
Como estudiante universitario, Belnap estudió en la Universidad de Illinois , donde obtuvo su licenciatura. Recordó que Max Fisch asignó lecturas a Whitehead . Después del servicio militar asistió a la Universidad de Yale y disfrutó de la metafísica . Entre sus profesores se encontraban Paul Weiss , Arthur Pap , Henry Margenau , Frederic Fitch y Rulon Wells.
Con una beca Fulbright en 1958 fue a Lovaina para estudiar con el canónigo Robert Feys . Belnap está domiciliado en Bruselas con su esposa y su hijo de 2 años. Feys indicó a Belnap que leyera el artículo de Wilhelm Ackermann sobre implicaciones rigurosas en el Journal of Symbolic Logic . [1]
Alan Ross Anderson y Belnap comenzaron a discutir las implicaciones relevantes. En 1960, Anderson le pidió a Belnap que escribiera el trabajo que había realizado sobre lógica de relevancia , y esta era la tesis doctoral de Belnap en Yale (titulada La formalización de la vinculación ). La disertación fue publicada a través de Omar Kayam Moore de la Oficina de Investigación Naval, Subdivisión de Psicología del Grupo. Belnap se convirtió en profesor asistente en Yale. Recordó haber contratado a Jon Barwise y John Wallace como asistentes de investigación. [2]
La Universidad de Pittsburgh quería a Wilfrid Sellars y, según Belnap, "Jerry Sneewind y yo colgamos de sus faldones". Adolf Grunbaum y Nicholas Rescher estaban en Pittsburgh. El vicecanciller Charlie Peake llevó a Alan Anderson a Pittsburgh en 1965, donde trabajó hasta su muerte en 1973. Anderson y Belnap fueron coautores de Entailment: The Logic of Relevance and Necessity . [3] [4] "La forma en que trabajábamos cuando trabajábamos juntos era mejilla con mandíbula. Simplemente nos sentábamos y escribíamos oraciones juntos". [2]
Belnap se convirtió en profesor titular en 1966. Kurt Baier era jefe de departamento. Belnap comenzó a enseñar filosofía de las ciencias sociales, con estudiantes como Bas van Fraassen y Jon Michael Dunn . En 1967 se convirtió en profesor de sociología y en 1971 en profesor de filosofía de la ciencia. Finalmente ocupó la silla donada que lleva el nombre de Alan Ross Anderson. Recordó a Rich Tomason, estudiante de sistemas inteligentes, de paso por Pitt. [2]
Desconfiado de las consecuencias de los datos almacenados contradictorios, Belnap propuso una lógica de cuatro valores para evitar inferencias descontroladas como ( A & ~ A ) → B para una declaración arbitraria B . [5] Conocida como el principio de explosión en la lógica clásica , la lógica de cuatro valores proporciona una base para que la lógica paraconsistente evite esta patología de la lógica de dos valores.
En 1976 Belnap y TB Steel Jr. publicaron La lógica de las preguntas y respuestas como una contribución oportuna a la erótica . Más allá de la lógica proposicional , observaron que las bases de datos en evolución hacen posibles "archivos de expedientes sobre individuos" (página 146), lo que lleva al "problema de privacidad en el mantenimiento de registros". El libro incluía una bibliografía comentada de erótica de 45 páginas, dividida por filosofía, lingüística, respuesta automática a preguntas y pedagogía, compilada por Hubert Schleichert y Urs Egli.
En su año sabático, Belnap fue profesor invitado en la Universidad de California, Irvine y en la Universidad de Indiana en Bloomington , en los otoños de 1977, 1978, 1979 con Jon Michael Dunn. En 1982 en el Centro de Estudios Avanzados en Ciencias del Comportamiento de Stanford , y en 1996 en Leipzig , Centrum für Höhere Studien con Heirich Wansing. Fue miembro fundador de la Sociedad de Filosofía Exacta, en la que colaboraba con canadienses como Mario Bunge . Belnap ha actuado como árbitro de numerosos artículos académicos. [2]
Fue elegido miembro de la Academia Estadounidense de Artes y Ciencias en 2008. [6]