47 found
Sort by:
Disambiguations:
John W. Dawson [15]John Dawson [5]J. Dawson [5]John W. Dawson Jr [4]
Jeremy E. Dawson [4]J. W. Dawson [3]J. G. Dawson [1]J. D. Dawson [1]

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

  1. 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  
     
    My bibliography  
     
    Export citation  
  2. 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.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. 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
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  4. 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  
     
    My bibliography  
     
    Export citation  
  5. 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  
     
    My bibliography  
     
    Export citation  
  6. 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)  
     
    My bibliography  
     
    Export citation  
  7. 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)  
     
    My bibliography  
     
    Export citation  
  8. 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)  
     
    My bibliography  
     
    Export citation  
  9. 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)  
     
    My bibliography  
     
    Export citation  
  10. Jane Ea Dawson (2010). 6 John Knox, Christopher Goodman and the'Example of Geneva'. Proceedings of the British Academy 164:107.
    No categories
     
    My bibliography  
     
    Export citation  
  11. 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 on frequent (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  12. 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)  
     
    My bibliography  
     
    Export citation  
  13. J. W. Dawson (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)  
     
    My bibliography  
     
    Export citation  
  14. 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)  
     
    My bibliography  
     
    Export citation  
  15. J. Dawson & Risto Vilkko (2005). REVIEWS-A Festschrift in Honour of Professor Ivor Grattan-Guinness. Bulletin of Symbolic Logic 11 (1):89-91.
    No categories
     
    My bibliography  
     
    Export citation  
  16. 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)  
     
    My bibliography  
     
    Export citation  
  17. John Dawson (2003). Festschriftenfor Ivor. History and Philosophy of Logic 24 (4):257-257.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  18. M. Davis & John W. Dawson (2002). REVIEWS-Engines of Logic. Bulletin of Symbolic Logic 8 (1):104.
     
    My bibliography  
     
    Export citation  
  19. 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)  
     
    My bibliography  
     
    Export citation  
  20. M. Davis & John W. Dawson (2001). REVIEWS-The Universal Computer. Bulletin of Symbolic Logic 7 (1):65-65.
     
    My bibliography  
     
    Export citation  
  21. John W. Dawson (2001). Review: Martin Davis, The Universal Computer. The Road From Leibniz to Turing. [REVIEW] Bulletin of Symbolic Logic 7 (1):65-66.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. J. W. Dawson (1998). What Hath Gödel Wrought? Synthese 114 (1):3-12.
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  23. 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)  
     
    My bibliography  
     
    Export citation  
  24. 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 to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  25. 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  
     
    My bibliography  
     
    Export citation  
  26. Jennifer M. Dawson (1993). Native Childbirth in the Canadian North: Are Midwives the Answer? Nexus 11 (1):2.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  27. 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)  
     
    My bibliography  
     
    Export citation  
  28. John Dawson (1992). Last Rites and Wrongs—Euthanasia: Autonomy and Responsibility. Cambridge Quarterly of Healthcare Ethics 1 (01):81-.
  29. J. Dawson (1991). The BMA's Torture Report and Afterwards. Journal of Medical Ethics 17 (Suppl):17-18.
  30. Jane Dawson (1990). Revolutionary Conclusions-the Case of the Marian Exiles. History of Political Thought 11 (2):257-272.
     
    My bibliography  
     
    Export citation  
  31. Solomon Feferman, John Dawson & Stephen Kleene (eds.) (1990). Kurt Gödel: Collected Works Vol. Ii. Oxford University Press.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  32. 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  
     
    My bibliography  
     
    Export citation  
  33. 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)  
     
    My bibliography  
     
    Export citation  
  34. 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 (3 more)  
     
    My bibliography  
     
    Export citation  
  35. John W. Dawson (1985). Review: Andrew Hodges, Alan Turing: The Enigma. [REVIEW] Journal of Symbolic Logic 50 (4):1065-1067.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  36. 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.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  37. 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)  
     
    My bibliography  
     
    Export citation  
  38. John W. Dawson (1984). Discussion on the Foundation of Mathematics. History and Philosophy of Logic 5 (1):111-129.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  39. 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)  
     
    My bibliography  
     
    Export citation  
  40. James Doyne Dawson (1978). William of Saint-Amour and the Apostolic Tradition. Mediaeval Studies 40 (1):223-238.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  41. 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 (3 more)  
     
    My bibliography  
     
    Export citation  
  42. Richard Mansfield & John Dawson (1976). Boolean-Valued Set Theory and Forcing. Synthese 33 (2-4):223 - 252.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  43. John W. Dawson (1973). Ordinal Definability in the Rank Hierarchy. Annals of Mathematical Logic 6 (1):1-39.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  44. J. J. Dawson (1955). The Militarization of American International Economic Relations. Science and Society 19 (3):241 - 256.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  45. 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.