60 found
Order:
Disambiguations
Warren Goldfarb [34]Warren D. Goldfarb [26]
  1. Logic in the twenties: The nature of the quantifier.Warren D. Goldfarb - 1979 - Journal of Symbolic Logic 44 (3):351-368.
  2. Kripke on Wittgenstein on Rules.Warren Goldfarb - 1985 - Journal of Philosophy 82 (9):471.
  3.  50
    Frege's Conception of Logic.Warren Goldfarb - 2001 - In Juliet Floyd (ed.), Future Pasts: The Analytic Tradition in Twentieth-Century Philosophy. Oxford: Oxford University Press. pp. 25-41.
    Direct download  
     
    Export citation  
     
    Bookmark   38 citations  
  4. Carnap and the Philosophy of Mathematics.Warren Goldfarb & Thomas Ricketts - 1996 - In Sahotra Sarkar (ed.), Logical Empiricism at its Peak: Schlick, Carnap, and Neurath. Garland. pp. 337 - 354.
    Direct download  
     
    Export citation  
     
    Bookmark   35 citations  
  5. I want you to bring me a slab: Remarks on the opening sections of the philosophical investigations.Warren D. Goldfarb - 1983 - Synthese 56 (3):265 - 282.
  6. Metaphysics and Nonsense.Warren Goldfarb - 1997 - Journal of Philosophical Research 22 (1):57-73.
  7. Kripke on Wittgenstein on rules.Warren D. Goldfarb - 1982 - Journal of Philosophy 79 (September):471-488.
  8.  75
    Metaphysics and Nonsense.Warren Goldfarb - 1997 - Journal of Philosophical Research 22:57-73.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  9.  84
    The Cambridge Companion to Frege.Michael Potter, Joan Weiner, Warren Goldfarb, Peter Sullivan, Alex Oliver & Thomas Ricketts (eds.) - 2010 - New York: Cambridge University Press.
    Offers a comprehensive and accessible exploration of the scope and importance of Gottlob Frege's work.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  10. Wittgenstein on Understanding.Warren Goldfarb - 1992 - Midwest Studies in Philosophy 17 (1):109-122.
  11. Deductive Logic.Warren Goldfarb - 2004 - Bulletin of Symbolic Logic 10 (4):570-573.
     
    Export citation  
     
    Bookmark   16 citations  
  12. Semantics in Carnap.Warren Goldfarb - 1997 - Philosophical Topics 25 (2):51-66.
  13. On gödel's way in: The influence of Rudolf Carnap.Warren Goldfarb - 2005 - Bulletin of Symbolic Logic 11 (2):185-193.
    The philosopher Rudolf Carnap, although not himself an originator of mathematical advances in logic, was much involved in the development of the subject. He was the most important and deepest philosopher of the Vienna Circle of logical positivists, or, to use the label Carnap later preferred, logical empiricists. It was Carnap who gave the most fully developed and sophisticated form to the linguistic doctrine of logical and mathematical truth: the view that the truths of mathematics and logic do not describe (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  14.  29
    Semantics in Carnap.Warren Goldfarb - 1997 - Philosophical Topics 25 (2):51-66.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  15.  54
    The unsolvability of the gödel class with identity.Warren D. Goldfarb - 1984 - Journal of Symbolic Logic 49 (4):1237-1252.
  16. Wittgenstein, Mind, and Scientism.Warren Goldfarb - 1989 - Journal of Philosophy 86 (11):635-642.
  17. Logical Writings.Jacques Herbrand, Warren D. Goldfarb & Jean van Heijenoort - 1974 - Foundations of Language 11 (3):469-470.
    No categories
     
    Export citation  
     
    Bookmark   9 citations  
  18.  29
    Deductive Logic.Warren D. Goldfarb - 2003 - Indianapolis, IN, USA: Hackett Publishing Company.
    This text provides a straightforward, lively but rigorous, introduction to truth-functional and predicate logic, complete with lucid examples and incisive exercises, for which Warren Goldfarb is renowned.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  19. Logicism and logical truth.Warren D. Goldfarb - 1982 - Journal of Philosophy 79 (11):692-695.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  20.  27
    Characters and fixed-points in provability logic.Zachary Gleit & Warren Goldfarb - 1989 - Notre Dame Journal of Formal Logic 31 (1):26-36.
  21. K. Gödel Collected Works.Warren Goldfarb - 1995 - Oxford University Press: Oxford.
     
    Export citation  
     
    Bookmark   4 citations  
  22.  88
    First-order Frege theory is undecidable.Warren Goldfarb - 2001 - Journal of Philosophical Logic 30 (6):613-616.
    The system whose only predicate is identity, whose only nonlogical vocabulary is the abstraction operator, and whose axioms are all first-order instances of Frege's Axiom V is shown to be undecidable.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  23. Introductory Note to *1953/9.Warren Goldfarb - 1995 - In K. Gödel Collected Works. Oxford University Press: Oxford. pp. 324--333.
    No categories
     
    Export citation  
     
    Bookmark   5 citations  
  24.  3
    Wittgenstein, Mind, and Scientism in Eighty-sixth Annual Meeting American Philosophical Association, Eastern Division.Warren Goldfarb & J. Mcdowell - 1989 - Journal of Philosophy 86 (11):635-644.
  25. Kurt Gödel Collected Works IV-V: Correspondence.Solomon Feferman, John W. Dawson, Warren Goldfarb, Charles Parsons & Wilfried Sieg - 2004 - Bulletin of Symbolic Logic 10 (4):558-563.
  26.  1
    Kripke on Wittgenstein on Rules.Warren Goldfarb - 2002 - In Alexander Miller & Crispin Wright (eds.), Rule-Following and Meaning. Mcgill-Queen's University Press. pp. 92-107.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  27. Ordinal Bounds for k-consistency.Warren D. Goldfarb - 1974 - Journal of Symbolic Logic 39 (4):693-699.
  28. The finite controllability of the Maslov case.Stål Aanderaa & Warren D. Goldfarb - 1974 - Journal of Symbolic Logic 39 (3):509-518.
  29.  64
    First‐order logical validity and the hilbert‐bernays theorem.Gary Ebbs & Warren Goldfarb - 2018 - Philosophical Issues 28 (1):159-175.
    What we call the Hilbert‐Bernays (HB) Theorem establishes that for any satisfiable first‐order quantificational schema S, there are expressions of elementary arithmetic that yield a true sentence of arithmetic when they are substituted for the predicate letters in S. Our goals here are, first, to explain and defend W. V. Quine's claim that the HB theorem licenses us to define the first‐order logical validity of a schema in terms of predicate substitution; second, to clarify the theorem by sketching an accessible (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  29
    Madison, WI, USA March 31–April 3, 2012.Alan Dow, Isaac Goldbring, Warren Goldfarb, Joseph Miller, Toniann Pitassi, Antonio Montalbán, Grigor Sargsyan, Sergei Starchenko & Moshe Vardi - 2013 - Bulletin of Symbolic Logic 19 (2).
  31.  55
    Gödel turned out to be an unadulterated Platonist, and apparently believed that an eternal “not” was laid up in heaven, where virtuous logicians might hope to meet it hereafter. On this Gödel commented: Concerning my “unadulterated” Platonism, it is no more unadulter.Solomon Feferman, John Dawson, Warren Goldfarb & Robert Solovay - 1995 - Bulletin of Symbolic Logic 1 (1).
  32. Collected Works. Vol. IV: Correspondence A-G. Vol. V: Correspondence H-Z.Kurt Gödel, Solomon Feferman, John W. Dawson, Warren Goldfarb, Charles Parsons & Wilfried Sieg - 2004 - Tijdschrift Voor Filosofie 66 (1):165-166.
    No categories
     
    Export citation  
     
    Bookmark  
  33.  39
    A decidable subclass of the minimal gödel class with identity.Warren D. Goldfarb, Yuri Gurevich & Saharon Shelah - 1984 - Journal of Symbolic Logic 49 (4):1253-1261.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  34. Carnap's Syntax programme and the philosophy of mathematics.Warren Goldfarb - 2009 - In Pierre Wagner (ed.), Carnap's Logical Syntax of Language. Palgrave-Macmillan.
  35. Carnap's Syntax Programme and the.Warren Goldfarb - 2009 - In Pierre Wagner (ed.), Carnap's Logical Syntax of Language. Palgrave-Macmillan. pp. 109.
     
    Export citation  
     
    Bookmark  
  36.  35
    George S. Boolos. A proof of the Löwenheim-Skolem theorem. Notre Dame journal of formal logic, vol. 11 , pp. 76–78.Warren D. Goldfarb - 1973 - Journal of Symbolic Logic 38 (3):519.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37.  49
    In Memoriam: George Stephen Boolos 1940–1996.Warren Goldfarb - 1996 - Bulletin of Symbolic Logic 2 (4):444-447.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  38.  87
    Modern Major General.Warren Goldfarb - 2002 - The Harvard Review of Philosophy 10 (1):4-5.
  39. Moore's notes and Wittgenstein's philosophy of mathematics : the case of mathematical induction.Warren Goldfarb - 2018 - In David G. Stern (ed.), Wittgenstein in the 1930s: Between the Tractatus and the Investigations. Cambridge University Press.
  40. On Gödel's way in : the influence of Rudolf Carnap.Warren Goldfarb - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: essays for his centennial. Association for Symbolic Logic.
  41. Of the association for symbolic logic.Warren Goldfarb, Jeremy Avigad, Andrew Arana, Geoffrey Hellman, Dana Scott & Michael Kremer - 2004 - Bulletin of Symbolic Logic 10 (3):438.
  42.  49
    On the effective ω‐rule.Warren D. Goldfarb - 1975 - Mathematical Logic Quarterly 21 (1):409-412.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  40
    On the gödel class with identity.Warren D. Goldfarb - 1981 - Journal of Symbolic Logic 46 (2):354-364.
  44.  32
    Palmer House Hilton Hotel, Chicago, Illinois April 23–24, 2004.Warren Goldfarb, Erich Reck, Jeremy Avigad, Andrew Arana, Geoffrey Hellman, Colin McLarty, Dana Scott & Michael Kremer - 2004 - Bulletin of Symbolic Logic 10 (3).
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  31
    Random models and the Maslov class.Warren Goldfarb - 1989 - Journal of Symbolic Logic 54 (2):460-466.
  46.  17
    Random models and solvable Skolem classes.Warren Goldfarb - 1993 - Journal of Symbolic Logic 58 (3):908-914.
  47.  37
    Skolem reduction classes.Warren D. Goldfarb & Harry R. Lewis - 1975 - Journal of Symbolic Logic 40 (1):62-68.
  48. Wittgenstein's Understanding of Frege.Warren Goldfarb - 2002 - In Edited by Erich H. Reck (ed.), From Frege to Wittgenstein: Perspectives on Early Analytic Philosophy. Oup Usa.
    Frege and Russell were the most significant influences on the young Wittgenstein, but the relative weight of their impacts is less clear. Some interpreters have claimed for Frege an influence far surpassing that of Russell. I cast doubt on this claim, by reviewing the evidence we have of Wittgenstein's pre‐Tractatus understanding of Frege. Wittgenstein did eventually come to some views more like Frege's than Russell's; I suggest it was his own thinking rather than direct influence from Frege that led him (...)
     
    Export citation  
     
    Bookmark  
  49. Écrits logiques.Jacques Herbrand, Jean van Heijenoort & Warren D. Goldfarb - 1974 - Synthese 27 (1):271-284.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  50.  35
    The decision problem for formulas with a small number of atomic subformulas.Harry R. Lewis & Warren D. Goldfarb - 1973 - Journal of Symbolic Logic 38 (3):471-480.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 60