27 found
Order:
Disambiguations
Burton Dreben [23]Burton S. Dreben [2]Burton Spencer Dreben [2]
  1.  49
    8 On Rawls and Political Liberalism1.Burton Dreben - 2003 - In Samuel Richard Freeman (ed.), The Cambridge Companion to Rawls. Cambridge University Press. pp. 316.
    Direct download  
     
    Export citation  
     
    Bookmark   38 citations  
  2. Tautology: How not to use a word.Burton Dreben & Juliet Floyd - 1991 - Synthese 87 (1):23 - 49.
  3.  27
    The decision problem: solvable classes of quantificational formulas.Burton Dreben - 1979 - Reading, Mass.: Addison-Wesley, Advanced Book Program. Edited by Warren D. Goldfarb.
  4.  97
    Putnam, Quine - and the Facts.Burton Dreben - 1992 - Philosophical Topics 20 (1):293-315.
  5. Hilbert and set theory.Burton Dreben & Akihiro Kanamori - 1997 - Synthese 110 (1):77-125.
  6. A supplement to herbrand.Burton Dreben & John Denton - 1966 - Journal of Symbolic Logic 31 (3):393-398.
  7. Quine and Wittgenstein: The odd couple.Burton Dreben - 1996 - In Robert L. Arrington & Hans-Johann Glock (eds.), Wittgenstein and Quine. Routledge. pp. 39--61.
     
    Export citation  
     
    Bookmark   4 citations  
  8.  79
    In mediis rebus.Burton Dreben - 1994 - Inquiry: An Interdisciplinary Journal of Philosophy 37 (4):441 – 447.
    For Quine all talk is in mediis rebus, is itself a physical phenomenon. To grasp what a sentence is, its relation to a language, and what it is for a sentence to be true is to be invited to see that notions of shared meaning across languages, of truth, even of knowledge, are far from what they are ordinarily taken to be. To read Quine reflectively is to plunge with him into the midst of things, shunning the vain support of (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  9.  22
    The Craig interpolation lemma.Burton Dreben & Hilary Putnam - 1967 - Notre Dame Journal of Formal Logic 8 (3):229-233.
  10.  23
    Annual meeting of the Association for Symbolic Logic.Burton Dreben & James Thomson - 1968 - Journal of Symbolic Logic 33 (4):636-644.
  11.  31
    J. B. Rosser and A. R. Turquette. Axiom schemes for m-valued functional calculi of first order. Part II. Deductive completeness. The journal of symbolic logic, vol. 16 , pp. 22–34. See Errata, ibid., p. iv.Burton Spencer Dreben, J. B. Rosser & A. R. Turquette - 1951 - Journal of Symbolic Logic 16 (4):269.
  12.  3
    A Supplement to Herbrand.Burton Dreben & John Denton - 1967 - Journal of Symbolic Logic 32 (4):521-522.
    Direct download  
     
    Export citation  
     
    Bookmark  
  13. Cohen's Carnap, or Subjectivity is in the Eye of the Beholder.Burton Dreben - 1995 - Boston Studies in the Philosophy of Science 164:27-27.
     
    Export citation  
     
    Bookmark   1 citation  
  14.  10
    False Lemmas in Herbrand.Burton Dreben & Peter Andrews - 1966 - Journal of Symbolic Logic 31 (4):657-659.
  15.  4
    Herbrand Analyzing Functions.Burton Dreben - 1967 - Journal of Symbolic Logic 32 (4):521-521.
  16.  13
    Myhill John. A finitary metalanguage for extended basic logic.Burton Dreben - 1955 - Journal of Symbolic Logic 20 (1):81-81.
  17.  6
    On the Completeness of Quantification Theory.Burton Dreben - 1953 - Journal of Symbolic Logic 18 (4):339-339.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Quine on Quine.Burton Dreben - 2004 - In Roger F. Gibson (ed.), The Cambridge Companion to Quine. Cambridge University Press. pp. 287--93.
     
    Export citation  
     
    Bookmark  
  19.  6
    Relation of m-Valued Quantificational Logic to 2-Valued Quantificational Logic.Burton Dreben - 1965 - Journal of Symbolic Logic 30 (3):375-376.
  20.  7
    Solváble Suranyi Subclasses: An Introduction to the Herbrand Theory.Burton S. Dreben - 1965 - Journal of Symbolic Logic 30 (3):390-391.
  21.  32
    Twenty-second annual meeting of the association for symbolic logic.Burton S. Dreben - 1958 - Journal of Symbolic Logic 23 (1):103-112.
  22. The Dreben Panel.W. V. Quine, Burton Dreben, Martin Davies, George Boolos & Rudolf Fara - 1994 - Philosophy International.
     
    Export citation  
     
    Bookmark  
  23.  8
    Craig William. Linear reasoning. A new form of the Herbrand-Gentzen theorem. [REVIEW]Burton Dreben - 1959 - Journal of Symbolic Logic 24 (3):243-244.
  24.  18
    Fitch Frederic B.. A simplification of basic logic. [REVIEW]Burton Dreben - 1955 - Journal of Symbolic Logic 20 (1):81-81.
  25.  6
    Review: Frederic B. Fitch, A Simplification of Basic Logic; Frederic B. Fitch, A Definition of Negation in Extended Basic Logic. [REVIEW]Burton Dreben - 1955 - Journal of Symbolic Logic 20 (1):81-81.
  26.  12
    J. B. Rosser and A. R. Turquette. Axiom schemes for m-valued functional calculi of first order. Part I. Definition of axiom schemes and proof of plausibility. The journal of symbolic logic, vol. 13 , pp. 177–192. [REVIEW]Burton Spencer Dreben - 1950 - Journal of Symbolic Logic 14 (4):259-260.
  27.  5
    Review: John Myhill, A Finitary Metalanguage for Extended Basic Logic. [REVIEW]Burton Dreben - 1955 - Journal of Symbolic Logic 20 (1):81-81.