Warren Goldfarb

Warren David Goldfarb (nacido en 1949) es profesor Walter Beverly Pearson de Matemáticas Modernas y Lógica Matemática en la Universidad de Harvard . Se especializa en la historia de la filosofía analítica y en lógica, en particular en el problema clásico de la decisión .

Recibió su licenciatura y doctorado en filosofía de la Universidad de Harvard bajo la supervisión de Burton Dreben , y ha sido miembro de la facultad de Harvard desde 1975. Recibió la titularidad en 1982, el único filósofo en ser promovido a titularidad en Harvard entre 1962 y 1999. ^[1]

El profesor Goldfarb es también uno de los fundadores del Comité Gay y Lésbico de Harvard y fue uno de los primeros profesores de Harvard abiertamente gay. ^{[2] [3]}

Goldfarb fue editor de los volúmenes III-V de las Obras completas de Kurt Gödel . También ha publicado artículos sobre importantes filósofos analíticos, entre ellos Frege , Russell , los primeros y últimos trabajos de Wittgenstein , Carnap y Quine . ^[4]

• El problema de la decisión: clases solucionables de fórmulas cuantificacionales , Addison-Wesley, 1979. ISBN  0-201-02540-X (con Burton Dreben ).
• Lógica deductiva , Hackett, 2003.

• "La lógica en los años veinte: la naturaleza del cuantificador", The Journal of Symbolic Logic (1979)
• "Quiero que me traigas una losa: Observaciones sobre las secciones iniciales de las Investigaciones filosóficas " , Synthese (1983)
• "Kripke sobre Wittgenstein y las reglas", The Journal of Philosophy (1985)
• "Poincaré contra los logicistas", en Historia y filosofía de las matemáticas modernas (University of Minnesota Press, 1987)
• "Wittgenstein y la comprensión", Estudios de Filosofía del Medio Oeste (1992)
• "La concepción de la lógica de Frege", en Pasados ​​futuros: la tradición analítica en el siglo XX, Juliet Floyd y Sanford Shieh, editores (Oxford University Press, 2001)
• “El seguimiento de reglas revisitado”, en Wittgenstein y la filosofía de la mente, Jonathan Ellis y Daniel Guevara, editores (Oxford University Press, 2012).
• "La indecidibilidad del problema de unificación de segundo orden" (PDF) . Theoretical Computer Science . 13 : 225–230. 1981. doi :10.1016/0304-3975(81)90040-2.

• Página web de Goldfarb en la Universidad de Harvard
• Obras de Warren Goldfarb en PhilPapers