Concepedia

Warren Goldfarb

WG

20

Publications

1.6K

Citations

15

H-Index

1971

Active since

Affiliations

Harvard University Press(Current)

Harvard University

Warren Goldfarb is an author at Harvard University Press specializing in automated reasoning, semantics, and language studies.

Top concepts

Automated ReasoningLanguageSemanticsPhilosophy Of LanguageEngineeringFormal MethodsHumanitiesLinguisticsEpistemologyComputer Science

Publications per year

1971–2021

20

Publications

20

Logic in the twenties: the nature of the quantifier

Warren Goldfarb · Journal of Symbolic Logic · 1979 · 351 citations

Formal Semantics, Formal Logic, Philosophy Of Language +12

The undecidability of the second-order unification problem

Warren Goldfarb · Theoretical Computer Science · 1981 · 278 citations

Engineering, Automated Reasoning, Formal Methods +5

Kripke on Wittgenstein on Rules

Warren Goldfarb · The Journal of Philosophy · 1985 · 188 citations

Applied Linguistics, Philosophy Of Language, Private Language +13

Metaphysics and Nonsense

Warren Goldfarb · Journal of Philosophical Research · 1997 · 178 citations

Philosophical Inquiry, Metatheory, Philosophy Of Mind

I want you to bring me a slab: Remarks on the opening sections of the Philosophical Investigations

Warren Goldfarb · Synthese · 1983 · 170 citations

Humanities, Opening Sections, Philosophical Investigations +2

Rows per page

1–5 of 20