79 found
Order:
Disambiguations:
John W. Dawson [24]John Dawson [17]J. Dawson [7]John W. Dawson Jr [5]
Jeremy E. Dawson [4]Jill Dawson [3]J. G. Dawson [3]J. W. Dawson [2]

Not all matches are shown. Search with initial or firstname to single out others.

See also:
Profile: Jeremy Dawson
Profile: Jackie Dawson
Profile: Jack Dawson
  1. J. Dawson & J. Homewood (forthcoming). The Interrelationship Between Contextual and Cued Fear in Rats: A Cross-Species Model of Posttraumatic Stress Disorder (PTSD). Journal of Experimental Psychology.
    Direct download  
     
    Export citation  
     
    My bibliography  
  2. J. G. Dawson (1954). Philosophical Surveys, VIII: A Survey of Work on Mediaeval Philosophy, 1945-53: Part II: Mediaeval Philosophers of the Christian West. [REVIEW] Philosophical Quarterly 4 (14):60-74.
  3.  90
    John W. Dawson Jr (2006). Why Do Mathematicians Re-Prove Theorems? Philosophia Mathematica 14 (3):269-286.
    From ancient times to the present, the discovery and presentation of new proofs of previously established theorems has been a salient feature of mathematical practice. Why? What purposes are served by such endeavors? And how do mathematicians judge whether two proofs of the same theorem are essentially different? Consideration of such questions illuminates the roles that proofs play in the validation and communication of mathematical knowledge and raises issues that have yet to be resolved by mathematical logicians. The Appendix, in (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  4.  15
    Leland L. Glenna, Raymond A. Jussaume Jr & Julie C. Dawson (2011). How Farmers Matter in Shaping Agricultural Technologies: Social and Structural Characteristics of Wheat Growers and Wheat Varieties. [REVIEW] Agriculture and Human Values 28 (2):213-224.
    Science and technology studies (STS) research challenges the concept of technological determinism by investigating how the end users of a technology influence that technology’s trajectory. STS critiques of determinism are needed in studies of agricultural technology. However, we contend that focusing on the agency of end users may mask the role of political-economic factors which influence technology developments and applications. This paper seeks to mesh STS insights with political-economic perspectives by accounting for relationships between availability of diverse technologies, variations in (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  5. John W. Dawson (1999). Logical Dilemmas: The Life and Work of Kurt Gödel. Studia Logica 63 (1):147-150.
     
    Export citation  
     
    My bibliography   5 citations  
  6.  13
    John W. Dawson (1984). Discussion on the Foundation of Mathematics. History and Philosophy of Logic 5 (1):111-129.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  7.  16
    Jennifer Dawson, Judy Sheeshka, Donald C. Cole, David Kraft & Amy Waugh (2008). Fishers Weigh In: Benefits and Risks of Eating Great Lakes Fish From the Consumer's Perspective. [REVIEW] Agriculture and Human Values 25 (3):349-364.
    Three decades of concern over consumption of potentially contaminated Great Lakes fish has led government agencies and public health proponents to implement risk assessment and management programs as a means of protecting the health of fishers and their families. While well-meaning in their intent, these programs––and much of the research conducted to support and evaluate them––were not designed to accommodate the understandings and concerns of the fish consumer. Results from a qualitative component of a multi-disciplinary, multi-year research project (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  8. Solomon Feferman, John Dawson & Stephen Kleene (eds.) (1990). Kurt Gödel: Collected Works Vol. Ii. Oxford University Press.
    Translate
     
     
    Export citation  
     
    My bibliography   3 citations  
  9.  38
    John W. Dawson (1993). The Compactness of First-Order Logic:From Gödel to Lindström. History and Philosophy of Logic 14 (1):15-37.
    Though regarded today as one of the most important results in logic, the compactness theorem was largely ignored until nearly two decades after its discovery. This paper describes the vicissitudes of its evolution and transformation during the period 1930-1970, with special attention to the roles of Kurt Gödel, A. I. Maltsev, Leon Henkin, Abraham Robinson, and Alfred Tarski.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  10. 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  
  11.  19
    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  
  12. Karl Menger, Egbert Dierker, Karl Sigmund & John W. Dawson (1998). Ergebnisse Eines Mathematischen Kolloquiums. Monograph Collection (Matt - Pseudo).
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography   1 citation  
  13.  27
    John W. Dawson (2012). Kurt Gödel and the Foundations of Mathematics: Horizons of Truth. History and Philosophy of Logic 33 (2):195-196.
    History and Philosophy of Logic, Volume 0, Issue 0, Page 1-2, Ahead of Print.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  14.  2
    John Dawson (2003). Festschriftenfor Ivor. History and Philosophy of Logic 24 (4):257-257.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  15.  20
    Richard Mansfield & John Dawson (1976). Boolean-Valued Set Theory and Forcing. Synthese 33 (2-4):223 - 252.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  16.  26
    John W. Dawson (1984). The Reception of Godel's Incompleteness Theorems. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1984:253 - 271.
    According to several commentators, Kurt Godel's incompleteness discoveries were assimilated promptly and almost without objection by his contemporaries - - a circumstance remarkable enough to call for explanation. Careful examination reveals, however, that there were doubters and critics, as well as defenders and rival claimants to priority. In particular, the reactions of Carnap, Bernays, Zermelo, Post, Finsler, and Russell, among others, are considered in detail. Documentary sources include unpublished correspondence from Godel's Nachlass.
    Direct download  
     
    Export citation  
     
    My bibliography  
  17.  10
    James Doyne Dawson (1978). William of Saint-Amour and the Apostolic Tradition. Mediaeval Studies 40 (1):223-238.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  18.  18
    A. Benning, M. Ghaleb, A. Suokas, M. Dixon-Woods, J. Dawson, N. Barber, B. D. Franklin, A. Girling, K. Hemming, M. Carmalt, G. Rudge, T. Naicker, U. Nwulu, S. Choudhury & R. Lilford, Large Scale Organisational Intervention to Improve Patient Safety in Four UK Hospitals: Mixed Method Evaluation.
    Objectives To conduct an independent evaluation of the first phase of the Health Foundation’s Safer Patients Initiative (SPI), and to identify the net additional effect of SPI and any differences in changes in participating and non-participating NHS hospitals. Design Mixed method evaluation involving five substudies, before and after design. Setting NHS hospitals in the United Kingdom. Participants Four hospitals (one in each country in the UK) participating in the first phase of the SPI (SPI1); 18 control hospitals. Intervention The SPI1 (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19.  8
    J. Dawson (1991). The BMA's Torture Report and Afterwards. Journal of Medical Ethics 17 (Suppl):17-18.
  20.  21
    John Dawson (1992). Last Rites and Wrongs—Euthanasia: Autonomy and Responsibility. Cambridge Quarterly of Healthcare Ethics 1 (1):81.
    The word “euthanasia” is hopelessly overloaded with emotional connotations. It means so many things to many different people. The implications of euthanasia associated with the Second World War have often rendered the term unsuitable for discussions of a rational manner. As far as I am concerned, what happened in Germany under Hitler had nothing to do with the classic meaning of a gentle and easy death but was rather simply a policy of mass murder.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  21.  11
    John W. Dawson Jr (2012). Jean van Heijenoort and the Gödel Editorial Project. Logica Universalis 6 (3-4):293-299.
    A colleague’s personal recollections of Jean van Heijenoort’s contributions to the editing of volumes I–III of Gödel’s Collected Works and of his interactions with the other editors.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  22.  22
    John W. Dawson Jr & Cheryl A. Dawson (2005). Future Tasks for Gödel Scholars. Bulletin of Symbolic Logic 11 (2):150-171.
    As initially envisioned, Gödel's Collected Works were to include transcriptions of material from his mathematical workbooks. In the end that material, as well as some other manuscript items from Gödel's Nachlass, had to be left out. This note describes some of the unpublished items in the Nachlass that are likely to attract the notice of scholars and surveys the extent of shorthand transcription efforts undertaken hitherto. Some examples of sources outside Gödel's Nachlass that may be of interest to Gödel scholars (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  23.  5
    John W. Dawson (1983). The Published Work of Kurt Gödel: An Annotated Bibliography. Notre Dame Journal of Formal Logic 24 (2):255-284.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  24.  14
    John W. Dawson & Cheryl A. Dawson (2005). Future Tasks for Gödel Scholars. Bulletin of Symbolic Logic 11 (2):150-171.
    As initially envisioned, Gödel's Collected Works were to include transcriptions of material from his mathematical workbooks. In the end that material, as well as some other manuscript items from Gödel's Nachlass, had to be left out. This note describes some of the unpublished items in the Nachlass that are likely to attract the notice of scholars and surveys the extent of shorthand transcription efforts undertaken hitherto. Some examples of sources outside Gödel's Nachlass that may be of interest to Gödel scholars (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  25.  11
    John W. Dawson Jr & Cheryl A. Dawson (2005). Future Tasks for Gödel Scholars. Bulletin of Symbolic Logic 11 (2):150-171.
    As initially envisioned, Gödel's Collected Works were to include transcriptions of material from his mathematical workbooks. In the end that material, as well as some other manuscript items from Gödel's Nachlass, had to be left out. This note describes some of the unpublished items in the Nachlass that are likely to attract the notice of scholars and surveys the extent of shorthand transcription efforts undertaken hitherto. Some examples of sources outside Gödel's Nachlass that may be of interest to Gödel scholars (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  26.  2
    John Dawson & A. S. Troelstra (1990). An Interpretation of the Intuitionistic Propositional Calculus. Journal of Symbolic Logic 55 (1):346-346.
    Direct download  
     
    Export citation  
     
    My bibliography  
  27.  1
    John W. Dawson (1984). Addenda and Corrigenda To: ``The Published Work of Kurt Gödel: An Annotated Bibliography''. Notre Dame Journal of Formal Logic 25 (3):283-287.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  28.  2
    John W. Dawson (2015). Obituary for Ivor Grattan-Guinness. History and Philosophy of Logic 36 (1):1-1.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  29.  9
    J. W. Dawson (1998). What Hath Gödel Wrought? Synthese 114 (1):3 - 12.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  30.  13
    J. W. Dawson (1998). What Hath Gödel Wrought? Synthese 114 (1):3-12.
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  31.  2
    J. D. Dawson, A. T. Altschul, C. Sampson & A. M. Smith (1977). Royal College of Nursing (Rcn) Code of Professional Conduct: A Discussion Document. Journal of Medical Ethics 3 (3):115-123.
    We are printing in its entirety the discussion document which sets out a code of professional conduct for nurses published by the Royal College of Nursing in November 1976 together with commentaries by the Assistant Secretary of the British Medical Association, a professor of nursing studies, student nurses and a lawyer. The image of the nurse is still that of one of Florence Nightingale's young ladies or of a member of a religious order who is wholly dedicated to caring for (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32.  3
    John W. Dawson (1985). Review: Andrew Hodges, Alan Turing: The Enigma. [REVIEW] Journal of Symbolic Logic 50 (4):1065-1067.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33.  1
    Josh Dawson (2015). An Introduction to the Philosophy of Art Richard Eldridge New York: Cambridge University Press, 2014; 288 Pp.; $30.95. [REVIEW] Dialogue 54 (3):555-557.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34.  1
    John Dawson (1990). Ein Spezialfall des Entscheidungsproblems der Theoretischen Logik. Journal of Symbolic Logic 55 (1):344-345.
    Direct download  
     
    Export citation  
     
    My bibliography  
  35.  1
    Jeremy E. Dawson, Formalised Cut Admissibility for Display Logic.
    We use a deep embedding of the display calculus for relation algebras ÆRA in the logical framework Isabelle /HOL to formalise a machine-checked proof of cut-admissibility for ÆRA. Unlike other “implementations”, we explicitly formalise the structural induction in Isabelle /HOL and believe this to be the first full formalisation of cutadmissibility in the presence of explicit structural rules.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  36.  1
    John Dawson, Kurt Godel & Robert Vaught (1990). Review of Skolem's Über Die Unmöglichkeit Einer Vollständigen Charakterisierung der Zahlenreihe Mittels Eines Endlichen Axiomensystems. [REVIEW] Journal of Symbolic Logic 55 (1):347-348.
    Direct download  
     
    Export citation  
     
    My bibliography  
  37.  1
    J. David Dawson (1995). Teoría del signo: lectura alegórica e impulsos del alma en" De doctrina Christiana". Augustinus: Revista Trimestral Publicada Por Los Padres Agustinos Recoletos 40 (156-159):63-81.
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  38.  1
    John W. Dawson (2015). Obituary for Ivor Grattan-Guinness. Obituary for Ivor Grattan-Guinness 36 (1):1-1.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  39.  2
    John David Dawson (1998). Figural Reading and the Fashioning of Christian Identity in Boyarin, Auerbach and Frei. Modern Theology 14 (2):181-196.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  40.  2
    John W. Dawson (1989). Review: Paul Weingartner, Leopold Schmetterer, Godel Remembered, Salzburg 10-12 July 1983. [REVIEW] Journal of Symbolic Logic 54 (1):282-284.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  41.  2
    J. J. Dawson (1955). The Militarization of American International Economic Relations. Science and Society 19 (3):241 - 256.
    Direct download  
     
    Export citation  
     
    My bibliography  
  42.  1
    Jeremy E. Dawson, Embedding Display Calculi Into Logical Frameworks : Comparing Twelf and Isabelle.
    We compare several methods of implementing the display (sequent) calculus RA for relation algebra in the logical frameworks Isabelle and Twelf. We aim for an implementation enabling us to formalise within the logical framework proof-theoretic results such as the cut-elimination theorem for RA and any associated increase in proof length. We discuss issues arising from this requirement.
    Direct download  
     
    Export citation  
     
    My bibliography  
  43.  3
    P. Sieghart & J. Dawson (1987). Computer-Aided Medical Ethics. Journal of Medical Ethics 13 (4):185-188.
    This paper describes COMET, the first 'expert' computer system to incorporate a comprehensive set of the rules of law and medical ethics relating to consent to medical treatment.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44.  3
    John W. Dawson (2002). Review: Martin Davis, Engines of Logic. Mathematicians and the Origin of the Computer. [REVIEW] Bulletin of Symbolic Logic 8 (1):104-104.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  45.  3
    Jeremy E. Dawson, A General Theorem on Termination of Rewriting.
    We re-express our theorem on the strong-normalisation of display calculi as a theorem about the well-foundedness of a certain ordering on first-order terms, thereby allowing us to prove the termination of systems of rewrite rules. We first show how to use our theorem to prove the well-foundedness of the lexicographic ordering, the multiset ordering and the recursive path ordering. Next, we give examples of systems of rewrite rules which cannot be handled by these methods but which can be handled by (...)
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  46.  1
    John W. Dawson (1989). Gödel Remembered, Salzburg 10–12 July 1983, Edited by Weingartner Paul and Schmetterer Leopold, History of Logic, No. 4, Bibliopolis, Naples 1987, 187 Pp. [REVIEW] Journal of Symbolic Logic 54 (1):282-284.
    Direct download  
     
    Export citation  
     
    My bibliography  
  47.  1
    Jeremy E. Dawson, Machine-Checking the Timed Interval Calculus.
    We describe how we used the interactive theorem prover Isabelle to formalise and check the laws of the Timed Interval Calculus (TIC). We also describe some important corrections to, clarifications of, and flaws in these laws, found as a result of our work.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  48. M. Davis & John W. Dawson (2002). REVIEWS-Engines of Logic. Bulletin of Symbolic Logic 8 (1):104.
     
    Export citation  
     
    My bibliography  
  49. M. Davis & John W. Dawson (2001). REVIEWS-The Universal Computer. Bulletin of Symbolic Logic 7 (1):65-65.
     
    Export citation  
     
    My bibliography  
  50. John W. Dawson (1990). A Gödel Chronology. Journal of Symbolic Logic 55 (1):341-341.
    Direct download  
     
    Export citation  
     
    My bibliography  
1 — 50 / 79