56 found
Order:
Disambiguations
Warren Goldfarb [31]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. Metaphysics and Nonsense.Warren Goldfarb - 1997 - Journal of Philosophical Research 22 (1):57-73.
  4. 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.
  5.  56
    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   10 citations  
  6.  90
    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   26 citations  
  7.  5
    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.
  8.  51
    Selected Works in Logic.Warren D. Goldfarb - 1971 - Journal of Philosophy 68 (17):520-530.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  9. Deductive Logic.Warren Goldfarb - 2004 - Bulletin of Symbolic Logic 10 (4):570-573.
     
    Export citation  
     
    Bookmark   14 citations  
  10.  57
    Metaphysics and Nonsense: On Cora Diamond’s The Realistic Spirit.Warren Goldfarb - 1997 - Journal of Philosophical Research 22:57-73.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  11. Wittgenstein on Understanding.Warren Goldfarb - 1992 - Midwest Studies in Philosophy 17 (1):109-122.
  12. Kripke on Wittgenstein on Rules.Warren D. Goldfarb - 1982 - Journal of Philosophy 79 (September):471-488.
  13.  81
    Semantics in Carnap.Warren Goldfarb - 1997 - Philosophical Topics 25 (2):51-66.
  14. On Gödel's Way In: The Influence of Rudolf Carnap.Warren Goldfarb - 2005 - Bulletin of Symbolic Logic 11 (2):185-193.
  15. Wittgenstein, Mind, and Scientism.Warren Goldfarb - 1989 - Journal of Philosophy 86 (11):635-642.
  16.  43
    The Unsolvability of the Gödel Class with Identity.Warren D. Goldfarb - 1984 - Journal of Symbolic Logic 49 (4):1237-1252.
  17.  18
    Semantics in Carnap: A Rejoinder to Alberto Coffa.Warren Goldfarb - 1997 - Philosophical Topics 25 (2):51-66.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  18. Logicism and Logical Truth.Warren D. Goldfarb - 1982 - Journal of Philosophy 79 (11):692-695.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  19.  21
    Characters and Fixed-Points in Provability Logic.Zachary Gleit & Warren Goldfarb - 1989 - Notre Dame Journal of Formal Logic 31 (1):26-36.
  20. K. Gödel Collected Works.Warren Goldfarb - 1995 - Oxford University Press: Oxford.
     
    Export citation  
     
    Bookmark   4 citations  
  21. 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  
  22. Deductive Logic.Warren Goldfarb - 2003 - 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
     
    Export citation  
     
    Bookmark   3 citations  
  23.  72
    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 (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  24.  1
    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.  10
    Ecrits Logiques.Warren D. Goldfarb - 1970 - Philosophical Review 79 (4):576-578.
  26. 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  
  27.  25
    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  
  28.  44
    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).
  29.  37
    On the Effective Ω‐Rule.Warren D. Goldfarb - 1975 - Mathematical Logic Quarterly 21 (1):409-412.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  34
    On the Gödel Class with Identity.Warren D. Goldfarb - 1981 - Journal of Symbolic Logic 46 (2):354-364.
  31.  30
    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  
  32.  21
    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).
  33.  47
    First‐Order Logical Validity and the Hilbert‐Bernays Theorem.Gary Ebbs & Warren Goldfarb - 2018 - Philosophical Issues 28 (1):159-175.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  34. 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.
  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.  26
    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  
  37. Carnap's Syntax Programme and the Philosophy of Mathematics.Warren Goldfarb - 2009 - In Pierre Wagner (ed.), Carnap's Logical Syntax of Language. Palgrave-Macmillan.
  38. 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  
  39.  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.
  40.  26
    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  
  41.  37
    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.
  42.  44
    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.  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  
  44.  79
    Modern Major General.Warren Goldfarb - 2002 - The Harvard Review of Philosophy 10 (1):4-5.
  45. Ordinal Bounds for K-Consistency.Warren D. Goldfarb - 1974 - Journal of Symbolic Logic 39 (4):693-699.
  46. 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.
  47.  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  
  48.  18
    Review: George S. Boolos, A Proof of the Lowenheim-Skolem Theorem. [REVIEW]Warren D. Goldfarb - 1973 - Journal of Symbolic Logic 38 (3):519-519.
  49.  12
    Review: Jean-Pierre Benejam, Application du Theoreme de Herbrand a la Presentation de Theses Teratologiques du Calcul des Predicats Elementaire; Roland Fraisse, Reflexions Sur la Completude Selon Herbrand. [REVIEW]Warren D. Goldfarb - 1975 - Journal of Symbolic Logic 40 (2):238-239.
  50.  26
    Random Models and the Maslov Class.Warren Goldfarb - 1989 - Journal of Symbolic Logic 54 (2):460-466.
1 — 50 / 56