Burton Dreben | Academic Influence

Burton Dreben's AcademicInfluence.com Rankings

Burton Dreben

Philosophy

#991

World Rank

#1896

Historical Rank

#424

USA Rank

Logic

#587

World Rank

#1054

Historical Rank

#226

USA Rank

philosophy Degrees

Download Badge

Philosophy

Why Is Burton Dreben Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Burton Spencer Dreben was an American philosopher specializing in mathematical logic. A Harvard graduate who taught at his alma mater for most of his career , he published little but was a teacher and a critic of the work of his colleagues .

(See a Problem?)

Burton Dreben's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

The decision problem: Solvable classes of quantificational formulas (1979) (198)
On Rawls and Political Liberalism (2002) (114)
Tautology: How not to use a word (1991) (43)
False lemmas in Herbrand (1963) (36)
A supplement to Herbrand (1966) (21)
In Mediis Rebus (1994) (19)
Herbrand-Style Consistency Proofs (1970) (17)
On the Completeness of Quantification Theory. (1952) (16)
Classification of $AEA$ formulas by letter atoms (1962) (15)
Putnam, Quine - and the Facts (1992) (15)
HILBERT AND SET THEORY (2004) (8)
Herbrand analyzing functions (1964) (5)
QUINE AND WITTGENSTEIN : The odd couple (2002) (2)
Cohen’s Carnap, or Subjectivity is in the Eye of the Beholder (1995) (2)
Misconduct in research-report of an ad hoc advisory-committee to the Dean of the Harvard-medical-school on dishonesty in scientific-research, 25 january, 1982 (1985) (2)
Review: William Craig, Linear Reasoning. A New Form of the Herbrand-Gentzen Theorem; William Craig, Three uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory (1959) (1)
Annual meeting of the Association for Symbolic Logic (1958) (1)
Review: J. B. Rosser, A. R. Turquette, Axiom Schemes for m-Valued Functional Calculi of First Order. Part I. Definition of Axiom Schemes and Proof of Plausibility (1950) (1)
Association for Symbolic Logic (1974) (0)
Association for Symbolic Logic (1976) (0)
Association for Symbolic Logic (1973) (0)
The Dreben Panel (1994) (0)
Association for Symbolic Logic (1970) (0)
Review: John Myhill, A Finitary Metalanguage for Extended Basic Logic (1955) (0)
Association for Symbolic Logic (1975) (0)
List of officers and members of the Association for Symbolic Logic (1962) (0)
Myhill John. A finitary metalanguage for extended basic logic. The journal of symbolic logic , vol. 17 (1952), pp. 164–178. (1955) (0)
Rosser J. B. and Turquette A. R.. Axiom schemes for m-valued functional calculi of first order. Part II. Deductive completeness. The journal of symbolic logic , vol. 16 (1951), pp. 22–34. See Errata, ibid., p. iv. (1951) (0)
Rosser J. B. and Turquette A. R.. 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 (1948), pp. 177–192. (1950) (0)
Association for Symbolic Logic (1972) (0)
The Craig interpolation lemma (1967) (0)
Review: J. B. Rosser, A. R. Turquette, Axiom Schemes for m-Valued Functional Calculi of First Order. Part II. Deductive Completeness (1951) (0)
Review: Frederic B. Fitch, A Simplification of Basic Logic; Frederic B. Fitch, A Definition of Negation in Extended Basic Logic (1955) (0)
Association for Symbolic Logic (1970) (0)

This paper list is powered by the following services:

Other Resources About Burton Dreben

en.wikipedia.org

What Schools Are Affiliated With Burton Dreben?

Burton Dreben is affiliated with the following schools:

Harvard University

Image Attributions

Image Source for Burton Dreben