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.
Nuel Belnap | |
---|---|
Nació | 1930 |
Educación | Universidad de Illinois Yale University (PhD, 1960) |
Era | Filosofía contemporánea |
Región | Filosofía occidental |
Colegio | Analítico |
Instituciones | Universidad de Pittsburgh |
Tesis | La formalización de la vinculación (1960) |
Asesor de doctorado | Alan Ross Anderson |
Intereses principales | Lógica filosófica , lógica temporal , teoría de la prueba estructural |
Ideas notables | Lógica de visualización |
Influencias |
Biografía
Como estudiante, Belnap estudió en la Universidad de Illinois, donde obtuvo su licenciatura. Recordó que Max Fisch 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 Pitt. El vicerrector Charlie Peake llevó a Alan Anderson a Pitt 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]
Desconfiado de las consecuencias de los datos almacenados contradictorios, Belnap propuso una lógica de cuatro valores para evitar inferencias fugaces como ( A & ~ A ) → B para un enunciado B arbitrario . [5] Conocido 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 La lógica de las preguntas y respuestas como una contribución oportuna a la erotética . Más allá de la lógica proposicional y oracional, 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 erotética comentada de 45 páginas, seccionada por filosofía, lingüística, respuesta automática a preguntas y pedagogía, compilada por Hubert Schleichert y Urs Egli.
En un año sabático, Belnap fue profesor invitado en la Universidad de California, Irvine y en Bloomington Indiana, en las cataratas 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 Society for Exact Philosophy , que colaboró con canadienses como Mario Bunge . Belnap se ha desempeñado como árbitro de muchos trabajos académicos. [2]
Fue elegido miembro de la Academia Estadounidense de Artes y Ciencias en 2008. [6]
Trabajos seleccionados
- 1975: (con Dorothy L. Grover y Joseph L. Camp) "The Prosentential Theory of Truth", Philosophical Studies 27 (1): 73-125
- 1993: (con Anil Gupta ) La revisión de la teoría de la verdad , MIT Press
- 2001: (con Ming Xu y Michel Perloff) Facing the Future: agentes y elecciones en nuestro mundo indeterminista , Oxford University Press ( ISBN 0195138783 ).
Ver también
- Armonía lógica
Referencias
- ^ Wilhelm Ackermann (1956) Begrundung einer strengen imlikation , Journal of Symbolic Logic 21: 113 a 128 a través del Proyecto Euclid
- ^ a b c d N. Belnap (2014) "Entrevista biográfica", páginas 377 a 409 en Belnap sobre indeterminismo y acción libre , editor de Thomas Müller, Springer books doi : 10.1007 / 978-3-319-01754-9
- ^ Anderson, AR y Belnap, ND (1979) Vinculación: la lógica de la relevancia y la necesidad. Vol. 1. , Prensa de la Universidad de Princeton .
- ^ Anderson, AR, Belnap, ND y Dunn, JM (1992) Vinculación: la lógica de la relevancia y la necesidad. Vol. 2. , Prensa de la Universidad de Princeton. ISBN 0-691-07339-2
- ^ N. Belnap (1975) "Cómo deberían pensar las computadoras", páginas 30 a 56 en Aspectos contemporáneos de la filosofía ,editor de Gilbert Ryle , Oriel Press ISBN 0-85362-161-6
- ^ "Libro de Miembros, 1780-2010: Capítulo B" (PDF) . Academia Estadounidense de Artes y Ciencias . Consultado el 30 de mayo de 2011 .
enlaces externos
- Obras de Nuel Belnap en PhilPapers
- Nuel Belnap de la Universidad de Pittsburgh