54 found
Order:
Disambiguations:
Warren Goldfarb [27]Warren D. Goldfarb [27]
  1. Warren D. Goldfarb (1979). Logic in the Twenties: The Nature of the Quantifier. Journal of Symbolic Logic 44 (3):351-368.
  2. Warren Goldfarb (1985). Kripke on Wittgenstein on Rules. Journal of Philosophy 82 (9):471-488.
  3. Warren Goldfarb (1997). Metaphysics and Nonsense. Journal of Philosophical Research 22 (1):57-73.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  4. Warren Goldfarb (2005). On Gödel's Way In: The Influence of Rudolf Carnap. Bulletin of Symbolic Logic 11 (2):185-193.
  5. Warren D. Goldfarb (1983). I Want You to Bring Me a Slab: Remarks on the Opening Sections of the Philosophical Investigations. Synthese 56 (3):265 - 282.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   11 citations  
  6. Warren D. Goldfarb (1982). Kripke on Wittgenstein on Rules. Journal of Philosophy 79 (September):471-488.
  7. Warren Goldfarb (2004). Deductive Logic. Bulletin of Symbolic Logic 10 (4):570-573.
     
    Export citation  
     
    My bibliography   5 citations  
  8.  48
    Warren Goldfarb (1997). Semantics in Carnap. Philosophical Topics 25 (2):51-66.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  9.  1
    Warren Goldfarb (1985). Kripke on Wittgenstein on Rules. Journal of Philosophy 82 (9):471.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   11 citations  
  10. Warren Goldfarb (1992). Wittgenstein on Understanding. Midwest Studies in Philosophy 17 (1):109-122.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  11. Stål Aanderaa & Warren D. Goldfarb (1974). The Finite Controllability of the Maslov Case. Journal of Symbolic Logic 39 (3):509-518.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  12.  8
    Warren Goldfarb & Thomas Ricketts (1996). Carnap and the Philosophy of Mathematics. In Sahotra Sarkar (ed.), Logical Empiricism at its Peak: Schlick, Carnap, and Neurath. Garland Pub. 337 - 354.
    Direct download  
     
    Export citation  
     
    My bibliography   6 citations  
  13. Warren D. Goldfarb (1974). Ordinal Bounds for K-Consistency. Journal of Symbolic Logic 39 (4):693-699.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  14.  2
    Victor Harnik, Terrence S. Millar, Michael L. Wage, Saharon Shelah, Helmut Schwichtenberg, Daniel Lascar, Bruno Poizat, Warren D. Goldfarb, On Carnap & Hugues Leblanc (2013). The Journal of Symbolic Logic Publishes Original Scholarly Work in Symbolic Logic. Founded in 1936, It has Become the Leading Research Journal in the Field. The Journal Aims to Represent Logic Broadly, Including its Connections with Mathematics and Philosophy as Well as Newer Aspects Related to Computer Science and Linguistics. [REVIEW] Journal of Symbolic Logic 309 (318).
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  15.  74
    Warren Goldfarb (1989). Wittgenstein, Mind, and Scientism. Journal of Philosophy 86 (11):635-642.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  16.  56
    Warren Goldfarb (2002). Modern Major General. The Harvard Review of Philosophy 10 (1):4-5.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  17.  68
    Warren D. Goldfarb (1982). Logicism and Logical Truth. Journal of Philosophy 79 (11):692-695.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  18. Solomon Feferman, John W. Dawson, Warren Goldfarb, Charles Parsons & Wilfried Sieg (2004). Kurt Gödel Collected Works IV-V: Correspondence. Bulletin of Symbolic Logic 10 (4):558-563.
     
    Export citation  
     
    My bibliography   2 citations  
  19.  41
    Warren Goldfarb (2001). First-Order Frege Theory is Undecidable. 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   1 citation  
  20.  21
    Warren D. Goldfarb (1984). The Unsolvability of the Gödel Class with Identity. Journal of Symbolic Logic 49 (4):1237-1252.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  21.  21
    Solomon Feferman, John Dawson, Warren Goldfarb & Robert Solovay (1995). 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. Bulletin of Symbolic Logic 1 (1).
    Direct download  
     
    Export citation  
     
    My bibliography  
  22.  14
    Zachary Gleit & Warren Goldfarb (1989). Characters and Fixed-Points in Provability Logic. Notre Dame Journal of Formal Logic 31 (1):26-36.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  23. Warren Goldfarb & J. Mcdowell (1989). Wittgenstein, Mind, and Scientism in Eighty-Sixth Annual Meeting American Philosophical Association, Eastern Division. Journal of Philosophy 86 (11):635-644.
    No categories
     
    Export citation  
     
    My bibliography   2 citations  
  24.  11
    Warren Goldfarb, Erich Reck, Jeremy Avigad, Andrew Arana, Geoffrey Hellman, Colin McLarty, Dana Scott & Michael Kremer (2004). Palmer House Hilton Hotel, Chicago, Illinois April 23–24, 2004. Bulletin of Symbolic Logic 10 (3).
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  25.  1
    Warren D. Goldfarb (1974). Jacques Herbrand: Logical Writings. Journal of Philosophy 71 (15):544-549.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  26.  29
    Warren Goldfarb (1996). In Memoriam: George Stephen Boolos, 1940-1996. Bulletin of Symbolic Logic 2 (4):444-447.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  27.  13
    Harry R. Lewis & Warren D. Goldfarb (1973). The Decision Problem for Formulas with a Small Number of Atomic Subformulas. Journal of Symbolic Logic 38 (3):471-480.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  28. Warren Goldfarb (1995). Introductory Note to *1953/9. In K. Gödel Collected Works. Oxford University Press: Oxford 324--333.
    No categories
     
    Export citation  
     
    My bibliography   1 citation  
  29.  2
    Warren D. Goldfarb (1971). Selected Works in Logic. [REVIEW] Journal of Philosophy 68 (17):520-530.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  30.  5
    Warren D. Goldfarb (1973). Review: George S. Boolos, A Proof of the Lowenheim-Skolem Theorem. [REVIEW] Journal of Symbolic Logic 38 (3):519-519.
    Direct download  
     
    Export citation  
     
    My bibliography  
  31.  7
    Alan Dow, Isaac Goldbring, Warren Goldfarb, Joseph Miller, Toniann Pitassi, Antonio Montalbán, Grigor Sargsyan, Sergei Starchenko & Moshe Vardi (2013). Madison, WI, USA March 31–April 3, 2012. Bulletin of Symbolic Logic 19 (2).
    Direct download  
     
    Export citation  
     
    My bibliography  
  32.  4
    Warren D. Goldfarb (1975). On the Effective Ω‐Rule. Mathematical Logic Quarterly 21 (1):409-412.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  33.  12
    Warren Goldfarb (1989). Random Models and the Maslov Class. Journal of Symbolic Logic 54 (2):460-466.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  34.  13
    Warren D. Goldfarb (1981). On the Gödel Class with Identity. Journal of Symbolic Logic 46 (2):354-364.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  35.  12
    Warren D. Goldfarb, Yuri Gurevich & Saharon Shelah (1984). A Decidable Subclass of the Minimal Gödel Class with Identity. Journal of Symbolic Logic 49 (4):1253-1261.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  36.  9
    Warren Goldfarb (1993). Random Models and Solvable Skolem Classes. Journal of Symbolic Logic 58 (3):908-914.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  37.  3
    Warren D. Goldfarb (1973). Review: W. Craig, Analysis of First-Order Implications. [REVIEW] Journal of Symbolic Logic 38 (3):519-519.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38.  9
    Warren D. Goldfarb & Harry R. Lewis (1975). Skolem Reduction Classes. Journal of Symbolic Logic 40 (1):62-68.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  39.  2
    Warren D. Goldfarb (1980). Review: Hubert C. Kennedy, Giuseppe Peano, Selected Works of Giuseppe Peano. [REVIEW] Journal of Symbolic Logic 45 (1):177-180.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40.  2
    Harry R. Lewis & Warren D. Goldfarb (1975). Skolem Reduction Classes. Journal of Symbolic Logic 40 (March):62-68.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  41.  1
    Warren D. Goldfarb (1975). 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] Journal of Symbolic Logic 40 (2):238-239.
  42. Kurt Gödel, Solomon Feferman, John W. Dawson, Warren Goldfarb, Charles Parsons & Wilfried Sieg (2004). Collected Works. Vol. IV: Correspondence A-G. Vol. V: Correspondence H-Z. Tijdschrift Voor Filosofie 66 (1):165-166.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  43. Warren D. Goldfarb (1973). Boolos George S.. A Proof of the Löwenheim-Skolem Theorem. Notre Dame Journal of Formal Logic, Vol. 11 , Pp. 76–78. Journal of Symbolic Logic 38 (3):519.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44. Warren D. Goldfarb (1975). 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] Journal of Symbolic Logic 40 (2):238-239.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45. Warren Goldfarb (2009). Carnap's Syntax Programme and the Philosophy of Mathematics. In Pierre Wagner (ed.), Carnap's Logical Syntax of Language. Palgrave Macmillan
  46. Warren Goldfarb (2009). Carnap's Syntax Programme and The. In Pierre Wagner (ed.), Carnap's Logical Syntax of Language. Palgrave Macmillan 109.
     
    Export citation  
     
    My bibliography  
  47. Warren D. Goldfarb (1973). 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] Journal of Symbolic Logic 38 (3):519.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48. Warren D. Goldfarb (1971). 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] Journal of Symbolic Logic 36 (1):168.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49. Warren Goldfarb (1995). K. Gödel Collected Works. Oxford University Press: Oxford.
    No categories
     
    Export citation  
     
    My bibliography  
  50. Warren D. Goldfarb (1980). 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] Journal of Symbolic Logic 45 (1):177-180.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 54