Burton Spencer Dreben (27 de septiembre de 1927-11 de julio de 1999) fue un filósofo estadounidense especializado en lógica matemática . [1] Graduado de Harvard que enseñó en su alma máter durante la mayor parte de su carrera (donde se retiró como profesor emérito de Filosofía Edgar Pierce), publicó poco, pero fue profesor y crítico del trabajo de sus colegas (Floyd & Shieh 2001).
Burton Dreben | |
---|---|
Nació | |
Fallecido | 11 de julio de 1999 Boston, Massachusetts | (71 años)
Era | Filosofía del siglo XX |
Región | Filosofía occidental |
Colegio | Filosofía analítica |
Asesor de doctorado | Willard Van Orman Quine |
Estudiantes de doctorado | Charles Parsons , TM Scanlon |
Intereses principales | Lógica matemática Historia de la filosofía analítica |
Influencias | |
Influenciado |
Educación y carrera
La Universidad de Harvard otorgó a Dreben un AB y un AM en 1949 y 1955, respectivamente. Enseñó en la Universidad de Chicago , 1955-1956, en Harvard 1956-1990 y en la Universidad de Boston durante el resto de su vida. Fue Fulbright Fellow en la Universidad de Oxford 1950-1951, miembro de la Harvard Society of Fellows 1952-1955, Guggenheim Fellow desde 1957-1958 y miembro de la Academia Estadounidense de Artes y Ciencias desde 1963.
En Harvard, fue Decano de la Escuela de Graduados en Artes y Ciencias 1973–75, asistente especial del Decano de la Facultad de Artes y Ciencias con supervisión del proceso de permanencia académica y Presidente de la Sociedad de Becarios 1976–90.
En la Association for Symbolic Logic , fue dos veces tesorero y editor de su revista.
Dreben fue un profesor de filosofía muy influyente. El Harvard Crimson lo describió como
"Un lógico matemático de formación, sus escritos establecieron nuevos estándares de claridad para el estudio histórico de la filosofía del siglo XX. Sus conferencias en Harvard y más tarde en la Universidad de Boston, donde enseñó desde 1991 hasta su muerte, fueron famosas por su ingenio, valentía y entusiasmo intelectual, que atrajo a estudiantes y profesores por igual y dio forma a varias generaciones de filósofos. Su dominio de los textos de la filosofía analítica del siglo XX fue incomparable ".
Dreben se hizo conocido por su lectura atenta y comentarios detallados sobre los borradores de los escritos de sus colegas de Harvard WV Quine , John Rawls , Hilary Putnam , Stanley Cavell , Charles Parsons y Warren Goldfarb . Quine a menudo agradecía a Dreben en forma impresa por sus consejos y correcciones y dedicaba la búsqueda de la verdad a Dreben. [2] Dreben también tuvo una influencia significativa en muchos estudiantes y profesores junior de Harvard, incluidos Warren Goldfarb , James F. Conant , Michael Friedman y otros.
En sus últimos años, Dreben fue conferencista invitado en Escandinavia, Israel y Europa, dando seminarios sobre la naturaleza y el significado de la filosofía del siglo XX. Después de retirarse de Harvard en 1991, enseñó en la Universidad de Boston . [3]
Durante la revuelta estudiantil de finales de la década de 1960, Dreben ayudó a mediar en los conflictos y disputas entre los estudiantes de Harvard y la administración. [1] Entre sus estudiantes estaba Harry R. Lewis . [4]
Obra filosófica
Dreben era tanto un experto en lógica como un cuidadoso historiador de ideas e intérprete de textos históricos. En la década de 1950, encontró una copia del Ph.D. de Jacques Herbrand . tesis, presentada a la Universidad de París en 1929 y pensada perdida. (Herbrand murió en 1931 antes de casarse o comenzar su carrera). Dreben encontró varios errores significativos en la tesis, así como evidencia de apresuramiento y descuido en su preparación. En particular, en la demostración de Herbrand, un lema crucial fue fatalmente defectuoso, pero Dreben encontró otra forma de probar las conclusiones esenciales de la tesis. La introducción de Dreben a la traducción de la tesis de Herbrand en van Heijenoort (1967) incluye una descripción concisa de su trabajo sobre los escritos de Herbrand.
En la década de 1970, Dreben y Warren Goldfarb escribieron un libro sobre el problema de la decisión .
A partir de 1978, Dreben dio una serie de conferencias en Harvard que tenían como temas principales las obras de Ludwig Wittgenstein y WV Quine . Dreben tomó de Wittgenstein la lección de que los filósofos siempre se equivocaban cuando trataban de proporcionar explicaciones generales de la realidad, la epistemología o la metafísica . Estaba de acuerdo con la visión posterior de Wittgenstein de que los problemas filosóficos surgen principalmente cuando el lenguaje se va de vacaciones. Dreben tomó la historia de la filosofía como una prueba de la tesis de Wittgenstein de que mucho filosofar es una tontería; Dreben intentó mostrar cómo la historia de la filosofía es una historia de personas hablando entre sí .
Dreben interpretó a Quine como un intento de mostrar que la filosofía no proporciona los fundamentos de la ciencia. Según la interpretación de Dreben de Quine, la filosofía en su mejor expresión simplemente responde a una serie de preguntas generales desde la propia ciencia. Sin embargo, Dreben vio incluso en Quine una tendencia a generalizar resistida con más éxito por el último Wittgenstein, cuya inquebrantable atención a los detalles Dreben tomó como modelo.
Vida personal
Dreben se casó por primera vez con la jueza de Massachusetts Raya Spiegel Dreben, con quien tuvo dos hijos. Más tarde se casó con la filósofa Juliet Floyd .
Obras
Libro
- 1979. The Decision Problem: Solvable Classes of Quantificational Formulas (con WD Goldfarb), Addison-Wesley, 1979. ISBN 0-201-02540-X [5]
Tesis
- 1949. "Completitud deductiva de la teoría de cuantificación con valores n", AB Thesis, Universidad de Harvard.
Artículos
- 1952. "Sobre la integridad de la teoría de la cuantificación", Actas de la Academia Nacional de Ciencias de los Estados Unidos de América , vol. 38, págs. 1047–52.
- 1957. "Relación de la lógica cuantificacional de valor m con la lógica cuantificacional de dos valores", Resúmenes de las charlas presentadas en el Instituto de Verano de Lógica Simbólica , Instituto de Análisis de Defensa, División de Investigación en Comunicaciones, Princeton, págs. 303–4.
- 1957. "Tratamiento sistemático del problema de decisión", Resúmenes de las charlas presentadas en el Instituto de Verano de Lógica Simbólica , Instituto de Análisis de Defensa, División de Investigación en Comunicaciones, Princeton, pág. 363.
- 1962. "Subclases solubles de Surányi: una introducción a la teoría de Herbrand", Actas de un Simposio de Harvard sobre Computadoras Digitales y sus Aplicaciones , Anales del Laboratorio de Computación de la Universidad de Harvard, vol. 31, Harvard University Press, págs. 32–47.
- 1962. "Clasificación de fórmulas AEA por átomos de letras" (con AS Kahr y Hao Wang ), Boletín de la Sociedad Matemática Estadounidense , vol. 68, págs. 528–32.
- 1963. "Tres casos solucionables" (con JS Denton, Jr.), Notices of the American Mathematical Society , vol. 10, pág. 590.
- 1963. "Lemas falsos en Herbrand" (con SO Aanderaa y PB Andrews), Boletín de la American Mathematical Society , vol. 69, págs. 699–706.
- 1964. "Funciones de análisis de Herbrand" (con SO Aanderaa), Boletín de la American Mathematical Society , vol. 70, págs. 697–8.
- 1964. "Henry Maurice Sheffer" (con HD Aiken, WVO Quine, Hao Wang y HA Wolfson ), Harvard University Gazette , vol. 60, págs. 87–8.
- 1966. "Un suplemento de Herbrand" (con JS Denton, Jr.), Journal of Symbolic Logic , vol. 31, págs. 393–8.
- 1967. "El lema de la interpolación de Craig" (con H. Putnam), Notre Dame Journal of Formal Logic , vol. 8, págs. 229-33.
- 1970. "Pruebas de consistencia de estilo Herbrand" (con JS Denton, Jr.), en A. Kino, J. Myhill y RE Vesley (eds.), Intuitionism and Proof Theory , North-Holland, págs. 419–33.
- 1971. "Notes EI", en WD Goldfarb (ed.), Jacques Herbrand Logical Writings , D. Reidel, págs. 190-201. ISBN 90-277-0176-8
- 1971. "Note J" (con WD Goldfarb), en WD Goldfarb (ed.), Jacques Herbrand Logical Writings , D. Reidel, págs. 201-2. ISBN 90-277-0176-8
- 1971. "Note N" (con WD Goldfarb), en WD Goldfarb (ed.), Jacques Herbrand Logical Writings , D. Reidel, págs. 265–71. ISBN 90-277-0176-8
- 1983. "Libertad académica y permanencia: financiación empresarial de la investigación académica" (con JJ Thomson , E. Holtzman, BR Kreiser), Academe , vol. 69, págs. 18-23.
- 1986. "Nota introductoria a 1929 , 1930 y 1930a " (con J. van Heijenoort ), en S. Feferman, JW Dawson, SC Kleene, GH Moore, RM Solovay y J. van Heijenoort (eds.), Kurt Gödel Collected Works, Volumen I: Publicaciones 1929-1936 , Oxford University Press, págs. 44–59. ISBN 0-19-503964-5
- 1990. "Quine", en RB Barrett y RF Gibson (eds.), Perspectives on Quine , Blackwell, págs. 81–95. ISBN 0-631-16135-X
- 1991. "Tautología: cómo no usar una palabra" (con Juliet Floyd), Synthese , vol. 87, págs. 23–49.
- 1992. "Putnam, Quine - y los hechos", Temas filosóficos , vol. 20, págs. 293–315.
- 1994. " In mediis rebus ", Investigación , vol. 37, págs. 441–7.
- 1995. "Cohen's Carnap, o la subjetividad está en el ojo del espectador", en K. Gavroglu, J. Stachel y MW Wartofsky (eds.), Science, Politics and Social Practice: Essays on Marxism and Science, Philosophy of Culture and las Ciencias Sociales en Honor a Robert S. Cohen , Kluwer, págs. 27–42. ISBN 0-7923-2989-9
- 1996. "Quine y Wittgenstein: la extraña pareja", en R. Arrington y H. Glock (eds.), Wittgenstein y Quine , Routledge, págs. 39-61. ISBN 0-415-09676-6
- 1997. "Hilbert y la teoría de conjuntos" (con A. Kanamori ), Synthese , vol. 110, págs. 77-125.
- 2002. "Sobre Rawls y el liberalismo político", en S. Freeman (ed.), The Cambridge Companion to Rawls , Cambridge University Press, págs. 316–46. ISBN 0-521-65167-0
- 2004. "Quine on Quine", en RF Gibson Jr. (ed.), The Cambridge Companion to Quine , Cambridge University Press, págs. 287–93. ISBN 0-521-63056-8
Revisar articulos
- 1950. Revisión: "Esquemas de axiomas para cálculos funcionales de primer orden con valores m. Parte I. Definición de esquemas de axiomas y prueba de plausibilidad" por JB Rosser y AR Turquette, Journal of Symbolic Logic , vol. 14, págs. 259–60.
- 1951. Revisión: "Esquemas de axiomas para cálculos funcionales de primer orden con valores m. Parte II. Completitud deductiva" por JB Rosser y AR Turquette, Journal of Symbolic Logic , vol. 16, pág. 269.
- 1955. Reseña: "Un metalenguaje finitario para la lógica básica extendida" por John Myhill , Journal of Symbolic Logic , vol. 20, pág. 81. doi : 10.2307 / 2268100
- 1955. Revisión: "Una simplificación de la lógica básica", "Una definición de negación en la lógica básica extendida" por FB Fitch , Journal of Symbolic Logic , vol. 20, pág. 81. doi : 10.2307 / 2268100
- 1959. Repaso: "Razonamiento lineal. Una nueva forma del teorema de Herbrand-Gentzen", "Tres usos del teorema de Herbrand-Gentzen para relacionar la teoría de modelos y la teoría de la prueba" por William Craig , Journal of Symbolic Logic , vol. 24, págs. 243–4.
Traducción
- 2011. "Correspondencia de Frege-Wittgenstein" (con Juliet Floyd), en E. De Pellegrin (ed.), Interactive Wittgenstein: Ensayos en memoria de Georg Henrik von Wright , Springer, págs. 15–74. ISBN 978-1-4020-9909-0
Videos
- 1994. En conversación: WV Quine , producido y dirigido por R. Fara, Centro de Filosofía de las Ciencias Naturales y Sociales , London School of Economics.
Ver también
- Filosofía americana
- Lista de filósofos estadounidenses
Notas
- ^ a b Honan, William (17 de julio de 1999). "Obituario: Burton S. Dreben, 71, negociador en situación tensa en Harvard" . NY Times .
- ^ WV Quine. Búsqueda de la verdad . Rev. ed. Cambridge, Mass .: Harvard University Press, 1992. Primera ed. (1992). Rawls recuerda a Dreben como editor en (Floyd & Shieh 2001).
- ^ https://www.independent.co.uk/arts-entertainment/obituary-professor-burton-dreben-1113739.html
- ^ Burton S. Dreben en el Proyecto de genealogía de matemáticas
- ^ Gurevich, Yuri (1982). "Revisión del problema de decisión: clases solubles de fórmulas cuantificacionales por Burton Dreben y Warren D. Goldfarb; clases insolubles de fórmulas cuantificacionales por Harry L. Lewis" (PDF) . Toro. Amer. Matemáticas. Soc. (NS) . 7 (1): 273–277. doi : 10.1090 / S0273-0979-1982-15033-9 .
Referencias
- Floyd, Juliet; Shieh, Sanford, eds. (2001), Future Pasts: La tradición analítica en la filosofía del siglo XX , Oxford University Press, ISBN 0-19-513916-X.
- van Heijenoort, Jean (1967), From Frege to Godel: A Source Book in Mathematical Logic, 1879-1931 , Harvard University Press.
- Isaacson, Daniel (20 de agosto de 1999), "Obituario: Profesor Burton Dreben" , The Independent , Londres.
- "B. Dreben, Former Dean of GSAS, Dies" , Harvard Gazette , 15 de julio de 1999, archivado desde el original el 29 de junio de 2011 , consultado el 11 de marzo de 2010