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 le asignó lecturas de Whitehead . Después del servicio militar asistió a la Universidad de Yale y disfrutó de la metafísica . Sus profesores incluyeron a Paul Weiss , Arthur Pap , Henry Margenau , Frederic Fitch y Rulon Wells.
En 1958, con una beca Fulbright , fue a Lovaina a estudiar con el canónigo Robert Feys . Belnap domiciliado en Bruselas con su esposa y su hijo de 2 años. Feys le indicó a Belnap que leyera el artículo de Wilhelm Ackermann sobre implicación rigurosa en el Journal of Symbolic Logic . [1]
Alan Ross Anderson y Belnap comenzaron a discutir implicaciones relevantes. En 1960, Anderson le dijo a Belnap que escribiera el trabajo que había hecho sobre la lógica de la relevancia , y esta fue la tesis doctoral de Belnap en Yale (titulada La formalización de la vinculación ). La disertación fue publicada por 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 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 relevantes and need . [3] [4] "La forma en que trabajábamos cuando trabajábamos juntos era codo a codo. Simplemente nos sentábamos y escribíamos oraciones juntos". [2]
Belnap se convirtió en profesor titular en 1966. Kurt Baier fue presidente del 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 dotada que lleva el nombre de Alan Ross Anderson. Recordó a Rich Tomason, estudiante de sistemas inteligentes, pasando por Pitt. [2]