61 found
Order:
Disambiguations
Warren Goldfarb [32]Warren D. Goldfarb [29]
  1.  12
    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  
     
    My bibliography  
  2. Logic in the Twenties: The Nature of the Quantifier.Warren D. Goldfarb - 1979 - Journal of Symbolic Logic 44 (3):351-368.
  3. Metaphysics and Nonsense.Warren Goldfarb - 1997 - Journal of Philosophical Research 22 (1):57-73.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   11 citations  
  4. Kripke on Wittgenstein on Rules.Warren Goldfarb - 1985 - Journal of Philosophy 82 (9):471-488.
  5. Deductive Logic.Warren Goldfarb - 2004 - Bulletin of Symbolic Logic 10 (4):570-573.
     
    Export citation  
     
    My bibliography   7 citations  
  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.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   14 citations  
  7. On Gödel's Way In: The Influence of Rudolf Carnap.Warren Goldfarb - 2005 - Bulletin of Symbolic Logic 11 (2):185-193.
  8.  3
    Kripke on Wittgenstein on Rules.Warren Goldfarb - 1985 - Journal of Philosophy 82 (9):471.
  9.  87
    Wittgenstein, Mind, and Scientism.Warren Goldfarb - 1989 - Journal of Philosophy 86 (11):635-642.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  10.  43
    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  
     
    My bibliography   7 citations  
  11. Kripke on Wittgenstein on Rules.Warren D. Goldfarb - 1982 - Journal of Philosophy 79 (September):471-488.
  12.  60
    Semantics in Carnap.Warren Goldfarb - 1997 - Philosophical Topics 25 (2):51-66.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  13. Wittgenstein on Understanding.Warren Goldfarb - 1992 - Midwest Studies in Philosophy 17 (1):109-122.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  14. The Finite Controllability of the Maslov Case.Stål Aanderaa & Warren D. Goldfarb - 1974 - Journal of Symbolic Logic 39 (3):509-518.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  15. Ordinal Bounds for K-Consistency.Warren D. Goldfarb - 1974 - Journal of Symbolic Logic 39 (4):693-699.
  16.  15
    Metaphysics and Nonsense: On Cora Diamond’s The Realistic Spirit.Warren Goldfarb - 1997 - Journal of Philosophical Research 22:57-73.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  17.  84
    Logicism and Logical Truth.Warren D. Goldfarb - 1982 - Journal of Philosophy 79 (11):692-695.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  18.  53
    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 (8 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  19.  7
    History and Philosophy of Modern Mathematics.Warren Goldfarb, William Aspray & Philip Kitcher - 1990 - Journal of Symbolic Logic 55 (3):1315-1319.
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  20. 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.
  21.  31
    The Unsolvability of the Gödel Class with Identity.Warren D. Goldfarb - 1984 - Journal of Symbolic Logic 49 (4):1237-1252.
  22.  64
    Modern Major General.Warren Goldfarb - 2002 - The Harvard Review of Philosophy 10 (1):4-5.
  23.  4
    The Decision Problem. Solvable Classes of Quantificational Formulas.Burton Dreben & Warren D. Goldfarb - 1982 - Journal of Symbolic Logic 47 (2):452-453.
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  24.  21
    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.
  25.  17
    Characters and Fixed-Points in Provability Logic.Zachary Gleit & Warren Goldfarb - 1989 - Notre Dame Journal of Formal Logic 31 (1):26-36.
  26.  10
    Jacques Herbrand: Logical Writings.Warren D. Goldfarb - 1974 - Journal of Philosophy 71 (15):544-549.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  27.  28
    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).
  28. 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.
     
    Export citation  
     
    My bibliography   2 citations  
  29.  13
    Selected Works in Logic. [REVIEW]Warren D. Goldfarb - 1971 - Journal of Philosophy 68 (17):520-530.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  30.  11
    Bénéjam Jean-Pierre. 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.Fraïssé Roland. 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 (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  31.  21
    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 (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  32.  15
    On the Effective Ω‐Rule.Warren D. Goldfarb - 1975 - Mathematical Logic Quarterly 21 (1):409-412.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  33.  35
    In Memoriam: George Stephen Boolos, 1940-1996.Warren Goldfarb - 1996 - Bulletin of Symbolic Logic 2 (4):444-447.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  34. 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  
     
    My bibliography   1 citation  
  35.  13
    Review: George S. Boolos, A Proof of the Lowenheim-Skolem Theorem. [REVIEW]Warren D. Goldfarb - 1973 - Journal of Symbolic Logic 38 (3):519-519.
  36.  14
    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  
     
    My bibliography  
  37.  13
    Review: Hubert C. Kennedy, Giuseppe Peano, Selected Works of Giuseppe Peano. [REVIEW]Warren D. Goldfarb - 1980 - Journal of Symbolic Logic 45 (1):177-180.
  38.  15
    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).
    Direct download  
     
    Export citation  
     
    My bibliography  
  39.  7
    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.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  40.  6
    Boolos George S.. 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 (2 more)  
     
    Export citation  
     
    My bibliography  
  41.  24
    On the Gödel Class with Identity.Warren D. Goldfarb - 1981 - Journal of Symbolic Logic 46 (2):354-364.
  42.  10
    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  
     
    My bibliography  
  43.  4
    Semantics in Carnap: A Rejoinder to Alberto Coffa.Warren Goldfarb - 1997 - Philosophical Topics 25 (2):51-66.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  44.  5
    Kennedy Hubert C., 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 Buffalo 1973, Pp. 3–10.Kennedy Hubert C.. 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 Buffalo 1973, Pp. 11–29.Kennedy Hubert C.. 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 Buffalo 1973, Pp. 30–33.Peano Giuseppe. 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, Univers. [REVIEW]Warren D. Goldfarb - 1980 - Journal of Symbolic Logic 45 (1):177-180.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45.  19
    Skolem Reduction Classes.Warren D. Goldfarb & Harry R. Lewis - 1975 - Journal of Symbolic Logic 40 (1):62-68.
  46.  18
    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 (7 more)  
     
    Export citation  
     
    My bibliography  
  47.  14
    Random Models and the Maslov Class.Warren Goldfarb - 1989 - Journal of Symbolic Logic 54 (2):460-466.
  48.  7
    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.
  49.  5
    Review: Dieter Klaua, Systematische Behandlung der Losbaren Falle des Entscheidungsproblems fur den Pradikatenkalkul der Ersten Stufe. [REVIEW]Warren D. Goldfarb - 1971 - Journal of Symbolic Logic 36 (1):168-168.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  50.  11
    Random Models and Solvable Skolem Classes.Warren Goldfarb - 1993 - Journal of Symbolic Logic 58 (3):908-914.
1 — 50 / 61