14 found
Order:
Disambiguations
David Auerbach [7]David D. Auerbach [6]David A. Auerbach [1]
See also
David D. Auerbach
North Carolina State University
  1. How to Say Things with Formalisms.David Auerbach - 1992 - In Michael Detlefsen (ed.), Proof, Logic, and Formalization. Routledge. pp. 77--93.
    Recent attention to "self-consistent" (Rosser-style) systems raises anew the question of the proper interpretation of the Gödel Second Incompleteness Theorem and its effect on Hilbert's Program. The traditional rendering and consequence is defended with new arguments justifying the intensional correctness of the derivability conditions.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Intensionality and the Gödel Theorems.David D. Auerbach - 1985 - Philosophical Studies 48 (3):337--51.
    Philosophers of language have drawn on metamathematical results in varied ways. Extensionalist philosophers have been particularly impressed with two, not unrelated, facts: the existence, due to Frege/Tarski, of a certain sort of semantics, and the seeming absence of intensional contexts from mathematical discourse. The philosophical import of these facts is at best murky. Extensionalists will emphasize the success and clarity of the model theoretic semantics; others will emphasize the relative poverty of the mathematical idiom; still others will question the aptness (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3. Saying It With Numerals.David Auerbach - 1994 - Notre Dame Journal of Formal Logic 35 (1):130-146.
    This article discusses the nature of numerals and the plausibility of their special semantic and epistemological status as proper names of numbers. Evidence is presented that minimizes the difference between numerals and other devices of direct reference. The availability of intensional contexts within formalised metamathematics is exploited to shed light on the relation between formal numerals and numerals.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  22
    Proof and Knowledge in Mathematics, Edited by Michael Detlefsen, Routledge, London and New York1992, X + 256 Pp.David Auerbach - 1994 - Journal of Symbolic Logic 59 (3):1105-1107.
  5.  26
    Mathematical Knowledge. [REVIEW]David D. Auerbach - 1977 - Philosophical Review 86 (2):247.
  6.  13
    Michael Detlefsen, Hilbert's Program. An Essay on Mathematical Instrumentalism. Synthese Library, Vol. 182, D. Reidel Publishing Company, Dordrecht Etc. 1986, Xiv + 186 Pp. [REVIEW]David D. Auerbach - 1989 - Journal of Symbolic Logic 54 (2):620-622.
  7.  8
    Price and the Demand for Nongroup Health Insurance.David Auerbach & Sabina Ohri - 2006 - Inquiry: The Journal of Health Care Organization, Provision, and Financing 43 (2):122-134.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  12
    Hilbert's Program. An Essay on Mathematical Instrumentalism.David D. Auerbach - 1989 - Journal of Symbolic Logic 54 (2):620-622.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  9. William Rounds Scott Soames.Martin Stokhof, Dorit Abusch, Ju D. Apresjan, Nicholas Asher, David Auerbach, Kent Bach, Mark Baltin, Chris Barker, Stephen Barker & Ellen Barton - 1995 - Linguistics and Philosophy 18:687-688.
     
    Export citation  
     
    Bookmark  
  10.  18
    From "L'un meurt; l'autre aussi: errance".Rachel Mizrahi, Carole Stitt, David Auerbach & Alice Y. Kaplan - 1986 - Substance 15 (1):14.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  10
    Agent Causality: A Model.David Auerbach & W. R. Carter - 1979 - Tulane Studies in Philosophy 28:71-79.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  12
    Review: Michael Detlefsen, Hilbert's Program. An Essay on Mathematical Instrumentalism. [REVIEW]David D. Auerbach - 1989 - Journal of Symbolic Logic 54 (2):620-622.
  13.  7
    Gödel's Theorem in Focus, Edited by Shanker S. G., Philosophers in Focus Series, Croom Helm, London, New York, and Sydney, 1988, and Routledge, London and New York 1989, Ix + 261 Pp. [REVIEW]David D. Auerbach - 1993 - Journal of Symbolic Logic 58 (1):365-366.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  8
    Review: S. G. Shanker, Godel's Theorem in Focus. [REVIEW]David A. Auerbach - 1993 - Journal of Symbolic Logic 58 (1):365-366.