81 found
Sort by:
Disambiguations:
John W. Dawson [24]John Dawson [18]J. Dawson [7]John W. Dawson Jr [5]
Jeremy E. Dawson [4]J. W. Dawson [3]J. G. Dawson [3]Jill Dawson [3]

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

See also:
Profile: Jeremy Dawson
  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.
    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. Josh Dawson (forthcoming). An Introduction to the Philosophy of Art Richard Eldridge New York: Cambridge University Press, 2014; 288 Pp.; $30.95. [REVIEW] Dialogue:1-3.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. John Dawson, Rowena Daw, Adarsh Tripathi & George Szmukler (2nd ed. 2015). A Mental Health Law for Low and Middle Income Countries. In John Dawson, Rowena Daw, Adarsh Tripathi & George Szmukler (eds.), Mental Health in South Asia: Ethics, Resources, Programs and Legislation. Springer Netherlands.
    No categories
     
    My bibliography  
     
    Export citation  
  8. John Dawson, Rowena Daw, Adarsh Tripathi & George Szmukler (eds.) (2nd ed. 2015). Mental Health in South Asia: Ethics, Resources, Programs and Legislation. Springer Netherlands.
    No categories
     
    My bibliography  
     
    Export citation  
  9. John W. Dawson (2015). . Obituary for Ivor Grattan-Guinness 36 (1):1-1.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. John W. Dawson (2015). Obituary for Ivor Grattan-Guinness. History and Philosophy of Logic 36 (1):1-1.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  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)  
     
    My bibliography  
     
    Export citation  
  12. 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  
  13. 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  
  14. 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  
  15. 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  
  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 on frequent (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  17. K. Sigmund & J. Dawson (2007). Kurt Gödel: Das Album. The Album. Bulletin of Symbolic Logic 13 (4):547-549.
     
    My bibliography  
     
    Export citation  
  18. 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  
  19. 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  
  20. 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  
  21. 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  
  22. 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 (5 more)  
     
    My bibliography  
     
    Export citation  
  23. John W. Dawson Jr (2004). Foreword. History and Philosophy of Logic 25 (1):1-1.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  24. 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.
     
    My bibliography  
     
    Export citation  
  25. Kurt Gödel, Solomon Feferman, John W. Dawson, Warren Goldfarb, Charles Parsons & Wilfried Sieg (2004). Collected Works. Vol. IV: Correspondence A-G. Vol. V: Correspondence H-Z. Tijdschrift Voor Filosofie 66 (1):165-166.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  26. John Dawson Jr (2003). Rockefeller and the Internationalization of Mathematics Between the Two World Wars: Documents and Studies for the Social History of Mathematics in the Twentieth Century. [REVIEW] Isis 94:756-757.
    Direct download  
     
    My bibliography  
     
    Export citation  
  27. John Dawson (2003). Festschriftenfor Ivor. History and Philosophy of Logic 24 (4):257-257.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  28. M. Davis & John W. Dawson (2002). REVIEWS-Engines of Logic. Bulletin of Symbolic Logic 8 (1):104.
     
    My bibliography  
     
    Export citation  
  29. John Dawson (2002). Engines of Logic. [REVIEW] Bulletin of Symbolic Logic 8 (1):104.
    Direct download  
     
    My bibliography  
     
    Export citation  
  30. 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  
  31. M. Davis & John W. Dawson (2001). REVIEWS-The Universal Computer. Bulletin of Symbolic Logic 7 (1):65-65.
     
    My bibliography  
     
    Export citation  
  32. John Dawson (2001). Gödel Meets Einstein: Time Travel in the Gödel Universe by Palle Yourgrau. [REVIEW] Isis 92:203-203.
    Direct download  
     
    My bibliography  
     
    Export citation  
  33. 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  
  34. John Dawson Jr (1999). Jacques Hadamard, a Universal Mathematician by Vladimir Maz'ya; Tatyana Shaposhnikova. [REVIEW] Isis 90:389-390.
    Direct download  
     
    My bibliography  
     
    Export citation  
  35. John W. Dawson (1999). Logical Dilemmas: The Life and Work of Kurt Gödel. Studia Logica 63 (1):147-150.
     
    My bibliography  
     
    Export citation  
  36. J. W. Dawson (1998). What Hath Gödel Wrought? Synthese 114 (1):3-12.
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  37. 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  
  38. Solomon Feferman, John W. Dawson, Stephen C. Kleene, Gregory H. Moore & Robert M. Solovay (1998). Kurt Gödel: Collected Works, Vol. I: Publications 1929-1936. Mind 107 (425):219-232.
     
    My bibliography  
     
    Export citation  
  39. Karl Menger, Egbert Dierker, Karl Sigmund & John W. Dawson (1998). Ergebnisse Eines Mathematischen Kolloquiums. Monograph Collection (Matt - Pseudo).
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  40. A. Harding, J. Dawson, R. Parkinson & M. Parkinson (1997). European Cities Towards 2000. Utopian Studies 8 (1):181-182.
     
    My bibliography  
     
    Export citation  
  41. Bryan Magee, Sidney Morgenbesser, Jill Dawson, B. B. C. Education & Training & British Broadcasting Corporation (1997). Bryan Magee Talks to Sidney Morgenbesser About the American Pragmatists. Films for the Humanities & Sciences.
     
    My bibliography  
     
    Export citation  
  42. 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  
  43. 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  
  44. Jennifer M. Dawson (1993). Native Childbirth in the Canadian North: Are Midwives the Answer? Nexus 11 (1):2.
  45. 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  
  46. John Dawson (1992). Last Rites and Wrongs—Euthanasia: Autonomy and Responsibility. Cambridge Quarterly of Healthcare Ethics 1 (01):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 (5 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 81