56 found
Order:
Disambiguations
Warren Goldfarb [30]Warren D. Goldfarb [27]
  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. Metaphysics and Nonsense: On Cora Diamond’s The Realistic Spirit.Warren Goldfarb - 1997 - Journal of Philosophical Research 22 (1):57-73.
  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   33 citations  
  5.  18
    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.
  6. 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.
  7.  67
    The Cambridge Companion to Frege.Michael Potter, Joan Weiner, Warren Goldfarb, Peter Sullivan, Alex Oliver & Thomas Ricketts (eds.) - 2010 - Cambridge University Press.
    Gottlob Freg was unquestionably one of the most important philosophers of all time. He trained as a mathematician, and his work in philosophy started as an attempt to provide an explanation of the truths of arithmetic, but in the course of this attempt he not only founded modern logic but also had to address fundamental questions in the philosophy of languageand philosophical logic. He is generally seen as one of the fathers of the analytic method, which dominated philosophy in English-speaking (...)
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  8. Kripke on Wittgenstein on Rules.Warren D. Goldfarb - 1982 - Journal of Philosophy 79 (September):471-488.
  9. Deductive Logic.Warren Goldfarb - 2004 - Bulletin of Symbolic Logic 10 (4):570-573.
     
    Export citation  
     
    Bookmark   15 citations  
  10.  69
    Metaphysics and Nonsense: On Cora Diamond’s The Realistic Spirit.Warren Goldfarb - 1997 - Journal of Philosophical Research 22:57-73.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  11. Wittgenstein on Understanding.Warren Goldfarb - 1992 - Midwest Studies in Philosophy 17 (1):109-122.
  12.  53
    Selected Works in Logic.Warren D. Goldfarb - 1971 - Journal of Philosophy 68 (17):520-530.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  13. On Gödel's Way In: The Influence of Rudolf Carnap.Warren Goldfarb - 2005 - Bulletin of Symbolic Logic 11 (2):185-193.
  14.  91
    Semantics in Carnap: A Rejoinder to Alberto Coffa.Warren Goldfarb - 1997 - Philosophical Topics 25 (2):51-66.
  15. Wittgenstein, Mind, and Scientism.Warren Goldfarb - 1989 - Journal of Philosophy 86 (11):635-642.
  16.  6
    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  
  17.  46
    The Unsolvability of the Gödel Class with Identity.Warren D. Goldfarb - 1984 - Journal of Symbolic Logic 49 (4):1237-1252.
  18.  23
    Semantics in Carnap: A Rejoinder to Alberto Coffa.Warren Goldfarb - 1997 - Philosophical Topics 25 (2):51-66.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 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   6 citations  
  20.  22
    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. Logical Writings.Jacques Herbrand, Warren D. Goldfarb & Jean van Heijenoort - 1974 - Foundations of Language 11 (3):469-470.
    No categories
     
    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.  80
    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   4 citations  
  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.  2
    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.
  27. Ordinal Bounds for K-Consistency.Warren D. Goldfarb - 1974 - Journal of Symbolic Logic 39 (4):693-699.
  28.  51
    First‐Order Logical Validity and the Hilbert‐Bernays Theorem.Gary Ebbs & Warren Goldfarb - 2018 - Philosophical Issues 28 (1):159-175.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  27
    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  
  30.  83
    Modern Major General: A Tribute to W. V. Quine.Warren Goldfarb - 2002 - The Harvard Review of Philosophy 10 (1):4-5.
  31.  11
    Ecrits Logiques.Warren D. Goldfarb - 1970 - Philosophical Review 79 (4):576-578.
  32. Carnap's Syntax Programme and the Philosophy of Mathematics.Warren Goldfarb - 2009 - In Pierre Wagner (ed.), Carnap's Logical Syntax of Language. Palgrave-Macmillan.
  33.  37
    Klaua Dieter. Systematische Behandlung der lösbaren Fälle des Entscheidungsproblems für den Prädikatenkalkül der ersten Stufe. Zeitsckrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 , pp. 264–270. [REVIEW]Warren D. Goldfarb - 1971 - Journal of Symbolic Logic 36 (1):168-168.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34.  31
    Craig W.. Analysis of First-Order Implications. Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd Edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, Pp. 175–180. [REVIEW]Warren D. Goldfarb - 1973 - Journal of Symbolic Logic 38 (3):519-519.
  35. 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
    Translate
     
     
    Export citation  
     
    Bookmark  
  36. 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  
  37. 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.
  38. The Goldfarb Panel.W. V. Quine, Warren D. Goldfarb, Martin Davies, Paul Horwich & Rudolf Fara - 1994 - Philosophy International.
     
    Export citation  
     
    Bookmark  
  39. The Finite Controllability of the Maslov Case.Stål Aanderaa & Warren D. Goldfarb - 1974 - Journal of Symbolic Logic 39 (3):509-518.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  38
    Hubert C. Kennedy, Biographical Sketch of Giuseppe Peano. Selected Works of Giuseppe Peano, Translated and Edited with a Biographical Sketch and Bibliography by Hubert C. Kennedy, University of Toronto Press, Toronto and Buffalo1973, Pp. 3–10. - Hubert C. Kennedy. Chronological List of the Publications of Giuseppe Peano. Selected Works of Giuseppe Peano, Translated and Edited with a Biographical Sketch and Bibliography by Hubert C. Kennedy, University of Toronto Press, Toronto and Buffalo1973, Pp. 11–29. - Hubert C. Kennedy. Bibliography on the Life and Works of Giuseppe Peano. Selected Works of Giuseppe Peano, Translated and Edited with a Biographical Sketch and Bibliography by Hubert C. Kennedy, University of Toronto Press, Toronto and Buffalo1973, Pp. 30–33. - Giuseppe Peano. The Operations of Deductive Logic. English Translation of Introductory Chapter of 711. Selected Works of Giuseppe Peano, Translated and Edited with a Biographical Sketch and Bibliography by Hubert C. Kennedy, U. [REVIEW]Warren D. Goldfarb - 1980 - Journal of Symbolic Logic 45 (1):177-180.
  41.  28
    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  
  42.  45
    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  
  43.  20
    Review: George S. Boolos, A Proof of the Lowenheim-Skolem Theorem. [REVIEW]Warren D. Goldfarb - 1973 - Journal of Symbolic Logic 38 (3):519-519.
  44.  22
    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).
  45.  26
    Jean-Pierre Bénéjam. Application du Théorème de Herbrand À la Présentation de Thèses Tératologiques du Calcul des Prédicats Élémentaire. Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences, Ser. A Vol. 268 , Pp. 757–760. - Roland Fraïssé. Réflexions Sur la Complétude Selon Herbrand. International Logic Review-Rassegna Internazionale di Logica , Vol. 3 No. 1 , Pp. 86–98. [REVIEW]Warren D. Goldfarb - 1975 - Journal of Symbolic Logic 40 (2):238-239.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  46.  27
    Random Models and the Maslov Class.Warren Goldfarb - 1989 - Journal of Symbolic Logic 54 (2):460-466.
  47.  30
    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 (10 more)  
     
    Export citation  
     
    Bookmark  
  48.  28
    Skolem Reduction Classes.Warren D. Goldfarb & Harry R. Lewis - 1975 - Journal of Symbolic Logic 40 (1):62-68.
  49.  48
    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).
  50.  14
    Review: W. Craig, Analysis of First-Order Implications. [REVIEW]Warren D. Goldfarb - 1973 - Journal of Symbolic Logic 38 (3):519-519.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 56