Nuel Dinsmore Belnap Jr. ( 1 de mayo de 1930 - 12 de junio de 2024) fue un lógico y filósofo estadounidense que realizó 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.
Belnap nació el 1 de mayo de 1930. [1] Asistió a la New Trier High School en Winnetka, Illinois , y obtuvo una licenciatura en Artes de la Universidad de Illinois . [1] Recordó que Max Fisch le asignó lecturas de Whitehead . [ cita requerida ]
Belnap trabajó como programador en el IBM 701 para la Agencia de Seguridad Nacional a través de la Fuerza Aérea de los Estados Unidos durante dos años antes de asistir a la escuela de posgrado en la Universidad de Yale . [1] Disfrutaba de la metafísica , y entre sus profesores se encontraban Paul Weiss , Arthur Pap , Henry Margenau , Frederic Fitch y Rulon Wells. [ cita requerida ]
En 1958, con una beca Fulbright, viajó a Lovaina para estudiar con el canónigo Robert Feys . Belnap vivía en Bruselas con su esposa y su hijo de dos años. Feys le indicó a Belnap que leyera el artículo de Wilhelm Ackermann sobre la implicación rigurosa en el Journal of Symbolic Logic . [2]
Alan Ross Anderson y Belnap comenzaron a discutir la implicación relevante. En 1960, Anderson le pidió a Belnap que escribiera el trabajo que había realizado sobre la lógica de la relevancia , y esta fue la tesis doctoral de Belnap en Yale (titulada La formalización de la implicación ). La tesis fue publicada por Omar Kayam Moore en la Oficina de Investigación Naval, División de Psicología de Grupos. [ cita requerida ]
Belnap se convirtió en profesor adjunto en Yale. Recordó haber contratado a Jon Barwise y John Wallace como asistentes de investigación. [3]
La Universidad de Pittsburgh quería a Wilfrid Sellars y, según Belnap, "Jerry Sneewind y yo nos colgábamos de sus faldones". Adolf Grunbaum y Nicholas Rescher estaban en Pittsburgh. El vicerrector Charlie Peake trajo 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 . [4] [5] "La forma en que trabajábamos cuando trabajábamos juntos era codo con codo. Simplemente nos sentábamos y escribíamos oraciones juntos". [3]
Belnap se convirtió en profesor titular en 1966. Kurt Baier era el director del departamento. Belnap comenzó a enseñar filosofía de las ciencias sociales, con estudiantes que incluían a Bas van Fraassen y Jon Michael Dunn . En 1967 se convirtió en profesor de sociología y en 1971 profesor de filosofía de la ciencia. Finalmente ocupó la cátedra financiada que lleva el nombre de Alan Ross Anderson. Recordó a Rich Tomason, estudiante de sistemas inteligentes, que pasó por Pitt. [3]
Preocupado por las consecuencias de los datos almacenados contradictorios, Belnap propuso una lógica de cuatro valores para evitar inferencias fuera de control como ( A & ~ A ) → B para una declaración arbitraria B. [6] Conocida como el principio de explosión en la lógica clásica , la lógica de cuatro valores proporciona una base para la lógica paraconsistente para evitar esta patología de la lógica de dos valores .
En 1976 Belnap y TB Steel Jr. publicaron The Logic of Questions and Answers como una contribución oportuna a la erotética . Más allá de la lógica proposicional , señalaron que las bases de datos en evolución hacen posible "archivos de expedientes sobre individuos" (página 146) que conducen al "problema de la privacidad en el mantenimiento de registros". El libro incluía una bibliografía anotada de 45 páginas sobre erotética, dividida por filosofía, lingüística, preguntas y respuestas automáticas y pedagogía, compilada por Hubert Schleichert y Urs Egli.
En su año sabático, Belnap fue profesor visitante en la Universidad de California, Irvine y en la Universidad de Indiana Bloomington , en los otoños de 1977, 1978 y 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, que colaboró con canadienses como Mario Bunge . Belnap ha servido como árbitro de numerosos artículos académicos. [3]
Fue elegido miembro de la Academia Estadounidense de las Artes y las Ciencias en 2008. [7]
Belnap tuvo tres hijos y una hija con su primera esposa, Joan Gohde Belnap. [1] Murió en Whitefield, New Hampshire, el 12 de junio de 2024, a la edad de 94 años. [1]