Nuel Belnap

Nuel Dinsmore Belnap Jr. ( / ˈ b ɛ l n æ p / ; 1 de mayo de 1930 – 12 de junio de 2024) fue un lógico y filósofo estadounidense que realizó importantes contribuciones a la filosofía de la lógica , la lógica temporal y la teoría de la demostración estructural . Impartió clases 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 escuela secundaria New Trier en Winnetka, Illinois , y obtuvo una licenciatura en artes de la Universidad de Illinois . ^{[ 1 ]} Recordó que Max Fisch le asignaba lecturas de Whitehead .

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.

En 1958, con una beca Fulbright, viajó a Lovaina para estudiar con el canónigo Robert Feys . Belnap residía en Bruselas con su esposa y su hijo de dos años. Feys le recomendó leer el artículo de Wilhelm Ackermann sobre implicación rigurosa en el Journal of Symbolic Logic . ^{[ 2 ]}

Alan Ross Anderson y Belnap comenzaron a debatir sobre la implicación relevante. En 1960, Anderson le pidió a Belnap que redactara el trabajo que había realizado sobre lógica de relevancia , y este fue el trabajo que Belnap realizó como tesis doctoral 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, 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. ^{[ 3 ]}

La Universidad de Pittsburgh quería a Wilfrid Sellars , y según Belnap, "Jerry Sneewind y yo nos aprovechamos de su éxito". 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 ]} "Cuando trabajábamos juntos, lo hacíamos codo con codo. Simplemente nos sentábamos y escribíamos frases juntos". ^{[ 3 ]}

Belnap se convirtió en catedrático en 1966. Kurt Baier era el jefe del departamento. Belnap comenzó a impartir clases de filosofía de las ciencias sociales, con alumnos como Bas van Fraassen y Jon Michael Dunn . En 1967 se convirtió en catedrático de sociología y en 1971 en catedrático de filosofía de la ciencia. Finalmente, ocupó la cátedra dotada que lleva el nombre de Alan Ross Anderson. Recordó a Rich Tomason, estudiante de sistemas inteligentes, que pasó por Pitt. ^{[ 3 ]}

Receloso 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 proposició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 T.B. Steel Jr. publicaron *La lógica de las preguntas y respuestas* , una contribución oportuna a la erotética . Más allá de la lógica proposicional , señalaron que las bases de datos en constante evolución posibilitan la creación de "expedientes sobre individuos" (página 146), lo que plantea el "problema de la privacidad en el registro de información". El libro incluía una bibliografía anotada de 45 páginas sobre erotética, dividida por filosofía, lingüística, sistemas automáticos de respuesta a preguntas y pedagogía, compilada por Hubert Schleichert y Urs Egli.

Durante 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, junto con Jon Michael Dunn. En 1982, estuvo en el Centro de Estudios Avanzados en Ciencias del Comportamiento de Stanford , y en 1996 en el Centro de Estudios Superiores de Leipzig , con Heirich Wansing. Fue miembro fundador de la Sociedad de Filosofía Exacta, que colaboró ​​con canadienses como Mario Bunge . Belnap ha actuado como revisor de numerosos artículos académicos. ^{[ 3 ]}

En 1992, Belnap publicó Branching space-time , que ofrece un marco lógico que intenta conectar la relatividad y el indeterminismo cuántico , y ofrece una interpretación a los experimentos de tipo EPR . ^{[ 7 ]}

Fue elegido miembro de la Academia Estadounidense de Artes y Ciencias en 2008. ^{[ 8 ]}

Belnap tuvo tres hijos y una hija con su primera esposa, Joan Gohde Belnap. ^{[ 1 ]} Falleció en Whitefield, New Hampshire , el 12 de junio de 2024, a la edad de 94 años. ^{[ 1 ]}

• 1975: (con Dorothy L. Grover y Joseph L. Camp) "La teoría prosentencial de la verdad", Philosophical Studies 27(1): 73–125
• 1993: (con Anil Gupta ) La teoría de la revisión de la verdad , MIT Press
• 2001: (con Ming Xu y Michel Perloff) Enfrentando el futuro: agentes y elecciones en nuestro mundo indeterminista , Oxford University Press ( ISBN 0195138783).

• Armonía lógica

• Trabajos de Nuel Belnap en PhilPapers
• Nuel Belnap en la Universidad de Pittsburgh