Edge Rewrite
// HTMLRewriter · presentation

This page was redesigned at the edge.

Cloudflare fetched the original article and streamed it through HTMLRewriter to apply an entirely new visual system without rebuilding the source page.

// request.cf · coarse context

A page that knows where it met you.

Only coarse request metadata is shown. This demo does not display or persist visitor IP addresses.

Country
US
Cloudflare location
CMH
Connection
HTTP/2
Language
Not provided

Ray ID: a25aab05e9845b65

Jump to content

Warren Goldfarb

From Wikipedia, the free encyclopedia
Warren Goldfarb
Born
Warren David Goldfarb

1949 (age 7677)
Education
EducationHarvard University (A.B., Ph.D.)
Burton Dreben
Philosophical work
EraContemporary philosophy
RegionWestern philosophy
Analytic
InstitutionsHarvard University
Main interests
Logic, history of analytic philosophy
Notable ideas
Classification of decidable and undecidable classes of first-order formulas

Warren David Goldfarb (born 1949) is an American logician and philosopher who is Walter Beverly Pearson Professor of Modern Mathematics and Mathematical Logic, emeritus, at Harvard University. He specializes in the history of analytic philosophy and in logic, most notably the classical decision problem.

Education and career

[edit]

He received his A.B. and philosophy Ph.D. from Harvard University under the supervision of Burton Dreben, and has been a member of the Harvard faculty since 1975. He received tenure in 1982, the only philosopher to be promoted to tenure at Harvard between 1962 and 1999.[1]

Prof. Goldfarb is also one of the founders of the Harvard Gay & Lesbian Caucus and was one of the first openly gay Harvard faculty members.[2][3]

Philosophical work

[edit]

Goldfarb was an editor of volumes III–V of Kurt Gödel's Collected Works. He has also published articles on important analytic philosophers, including Frege, Russell, Wittgenstein's early and later work, Carnap and Quine.[4]

Selected publications

[edit]

Books

[edit]
  • The Decision Problem: Solvable Classes of Quantificational Formulas, Addison-Wesley, 1979. ISBN 0-201-02540-X (with Burton Dreben).
  • Deductive Logic, Hackett, 2003.

Articles

[edit]
  • "Logic in the Twenties: the Nature of the Quantifier," The Journal of Symbolic Logic (1979)
  • "I want you to bring me a slab: Remarks on the opening sections of the Philosophical Investigations," Synthese (1983)
  • "Kripke on Wittgenstein on Rules," The Journal of Philosophy (1985)
  • "Poincare Against the Logicists," in History and Philosophy of Modern Mathematics (University of Minnesota Press, 1987)
  • "Wittgenstein on Understanding," Midwest Studies in Philosophy (1992)
  • "Frege's Conception of Logic," in Future Pasts: The Analytic Tradition in the 20th Century, Juliet Floyd and Sanford Shieh, editors (Oxford University Press, 2001)
  • “Rule-Following Revisited," in Wittgenstein and the Philosophy of Mind, Jonathan Ellis and Daniel Guevara, editors (Oxford University Press, 2012).
  • "The Undecidability of the Second-Order Unification Problem" (PDF). Theoretical Computer Science. 13: 225–230. 1981. doi:10.1016/0304-3975(81)90040-2.

References

[edit]
[edit]