Nuel Dinsmore Belnap Jr. ( / b ɛ l n æ p / ; nacido en 1930) es un lógico y filósofo que ha hecho contribuciones a la filosofía de la lógica , la lógica temporal , y teoría de la prueba estructural . Enseñó en la Universidad de Pittsburgh desde 1963 hasta su jubilación en 2011.
Como estudiante, Belnap estudió en la Universidad de Illinois, donde obtuvo su licenciatura. Recordó que Max Fisch le asignó lecturas de 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 domiciliado en Bruselas con esposa y 2 años. Feys ordenó a Belnap que leyera el artículo de Wilhelm Ackermann sobre la implicación rigurosa en el Journal of Symbolic Logic . [1]
Alan Ross Anderson y Belnap comenzaron a discutir las implicaciones relevantes. En 1960 Anderson le dijo a Belnap que escribiera el trabajo que había hecho sobre lógica de relevancia , y esta fue la tesis doctoral de Belnap en Yale (titulada The Formalization of Entailment ). La disertación fue publicada a través de Omar Kayam Moore en la Oficina de Investigación Naval, Rama de Psicología de 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 nos colgamos 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 relevancia y necesidad . [3] [4] "La forma en que trabajamos cuando trabajamos juntos fue cara a cara. Simplemente nos sentamos y escribimos oraciones juntos". [2]
Belnap se convirtió en profesor titular en 1966. Kurt Baier era director 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 profesor de filosofía de la ciencia. Finalmente ocupó la silla investida nombrada en honor a Alan Ross Anderson. Recordó a Rich Tomason, estudiante de sistemas inteligentes, pasando por Pitt. [2]