Results for 'John W. Dawson'

(not author) ( search as author name )
1000+ found
Order:
  1.  96
    Future tasks for Gödel scholars.John W. Dawson & Cheryl A. Dawson - 2005 - 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 (9 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  2.  51
    Discussion on the foundation of mathematics.John W. Dawson - 1984 - History and Philosophy of Logic 5 (1):111-129.
    This article provides an English translation of a historic discussion on the foundations of mathematics, during which Kurt GÖdel first announced his incompleteness theorem to the mathematical world. The text of the discussion is preceded by brief background remarks and commentary.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  3. The compactness of first-order logic:from gödel to lindström.John W. Dawson - 1993 - 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  
     
    Bookmark   7 citations  
  4.  12
    Gödel Remembered: Salzburg 10-12 July 1983.John W. Dawson - 1987 - Humanities Press.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  14
    The published work of Kurt Gödel: an annotated bibliography.John W. Dawson - 1983 - Notre Dame Journal of Formal Logic 24 (2):255-284.
  6. Logical Dilemmas: The Life and Work of Kurt Gödel.John W. Dawson - 1999 - Studia Logica 63 (1):147-150.
  7.  16
    Addenda and corrigenda to: "The published work of Kurt Gödel: an annotated bibliography".John W. Dawson - 1984 - Notre Dame Journal of Formal Logic 25 (3):283-287.
  8.  7
    Gödel Remembered, Salzburg 10-12 July 1983.John W. Dawson - 1989 - Journal of Symbolic Logic 54 (1):282-284.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  63
    The Reception of Godel's Incompleteness Theorems.John W. Dawson - 1984 - 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  
     
    Bookmark   21 citations  
  10. Why do mathematicians re-prove theorems?John W. Dawson Jr - 2006 - 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 (8 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  11.  56
    Jean van Heijenoort and the Gödel Editorial Project.John W. Dawson - 2012 - 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  
     
    Bookmark   2 citations  
  12.  25
    Jan von Plato.* Can Mathematics be Proved Consistent?John W. Dawson - 2023 - Philosophia Mathematica 31 (1):104-111.
    The papers of Kurt Gödel were donated to the Institute for Advanced Study by his widow Adele shortly after his death in 1978. They were catalogued by the review.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  5
    A Gödel Chronology.John W. Dawson - 1990 - Journal of Symbolic Logic 55 (1):341-341.
  14.  36
    Kurt Gödel and the Foundations of Mathematics: Horizons of Truth.John W. Dawson - 2012 - 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  
     
    Bookmark  
  15.  15
    Ordinal definability in the rank hierarchy.John W. Dawson - 1973 - Annals of Mathematical Logic 6 (1):1.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  24
    Obituary for Ivor Grattan-Guinness.John W. Dawson - 2015 - History and Philosophy of Logic 36 (1):1-1.
    It is with profound sadness that the editors note the passing on 12 December 2014 of Professor Ivor Grattan-Guinness. Born 23 June 1941, Ivor was the founding editor of History and Philosophy of Lo...
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  17. Kurt Gödel: Collected Works, Vol. I: Publications 1929-1936.Solomon Feferman, John W. Dawson, Stephen C. Kleene, Gregory H. Moore & Robert M. Solovay - 1998 - Mind 107 (425):219-232.
  18. Kurt Gödel Collected Works IV-V: Correspondence.Solomon Feferman, John W. Dawson, Warren Goldfarb, Charles Parsons & Wilfried Sieg - 2004 - Bulletin of Symbolic Logic 10 (4):558-563.
  19. Collected Works, Volume I, Publications 1929-1936.Solomon Feferman, John W. Dawson, Stephen C. Kleene, Gregory H. Moore & Robert M. Solovay - 1987 - Mind 96 (384):570-575.
     
    Export citation  
     
    Bookmark  
  20.  25
    Martin Davis. Engines of logic. Mathematicians and the origin of the computer. Paperbound reprint with altered title of bsl VII 65. W. W. Norton & company, new York and London 2001, XII + 257 pp. [REVIEW]John W. Dawson - 2002 - Bulletin of Symbolic Logic 8 (1):104-104.
  21.  10
    Martin Davis. The universal computer. The road from Leibniz to Turing. W. W. Norton & Company, New York and London 2000, xii + 257 pp. [REVIEW]John W. Dawson - 2001 - Bulletin of Symbolic Logic 7 (1):65-66.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  22. Engines of logic. [REVIEW]John W. Dawson - 2002 - Bulletin of Symbolic Logic 8 (1):104.
  23.  20
    Andrew Hodges. Alan Turing: the enigma. Burnett Books, London, and Simon and Schuster, New York, 1983, ix + 587 pp. [REVIEW]John W. Dawson - 1985 - Journal of Symbolic Logic 50 (4):1065-1067.
  24.  16
    Gödel remembered, Salzburg 10–12 July 1983, edited by Paul Weingartner and Leopold Schmetterer, History of logic, no. 4, Bibliopolis, Naples1987, 187 pp. [REVIEW]John W. Dawson - 1989 - Journal of Symbolic Logic 54 (1):282-284.
  25.  16
    Review: Andrew Hodges, Alan Turing: the Enigma. [REVIEW]John W. Dawson - 1985 - Journal of Symbolic Logic 50 (4):1065-1067.
  26.  2
    REVIEWS-Engines of logic.M. Davis & John W. Dawson - 2002 - Bulletin of Symbolic Logic 8 (1):104.
  27.  4
    REVIEWS-The universal computer.M. Davis & John W. Dawson - 2001 - Bulletin of Symbolic Logic 7 (1):65-65.
  28.  57
    Foreword.John W. Dawson Jr - 2004 - History and Philosophy of Logic 25 (1):1-1.
  29. Collected Works. Vol. IV: Correspondence A-G. Vol. V: Correspondence H-Z.Kurt Gödel, Solomon Feferman, John W. Dawson, Warren Goldfarb, Charles Parsons & Wilfried Sieg - 2004 - Tijdschrift Voor Filosofie 66 (1):165-166.
    No categories
     
    Export citation  
     
    Bookmark  
  30. Collected Works of Kurt Godel 1938-1974.Georg Kreisel, Kurt Godel, Solomon Feferman, John W. Dawson, Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay & Jean van Heijenoort - 1991 - Journal of Symbolic Logic 56 (3):1085.
  31.  3
    Ergebnisse Eines Mathematischen Kolloquiums.Karl Menger, Egbert Dierker, Karl Sigmund & John W. Dawson - 1998 - Springer.
    Die von Karl Menger und seinen Mitarbeitern (darunter Kurt Gödel) herausgegebenen "Ergebnisse eines Mathematischen Kolloquiums" zählen zu den wichtigsten Quellenwerken der Wissenschafts- und Geistesgeschichte der Zwischenkriegszeit, mit bahnbrechenden Beiträgen von Menger, Gödel, Tarski, Wald, John von Neumann und vielen anderen. In diesem Band liegt der Inhalt erstmals gesammelt vor. Der Nobelpreisträger Gerard Debreu schrieb die Einleitung, die Kommentare wurden vom Logiker und Gödel-Biographen John Dawson jr., dem Topologen Ryszard Engelking und dem Wirtschaftstheoretiker Werner Hildenbrand verfasst. Außerdem enthält (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  92
    Public Stem Cell Banks: Considerations of Justice in Stem Cell Research and Therapy.Ruth R. Faden, Liza Dawson, Alison S. Bateman-House, Dawn Mueller Agnew, Hilary Bok, Dan W. Brock, Aravinda Chakravarti, Xiao-Jiang Gao, Mark Greene, John A. Hansen, Patricia A. King, Stephen J. O'Brien, David H. Sachs, Kathryn E. Schill, Andrew Siegel, Davor Solter, Sonia M. Suter, Catherine M. Verfaillie, LeRoy B. Walters & John D. Gearhart - 2003 - Hastings Center Report 33 (6):13-27.
    If stem cell-based therapies are developed, we will likely confront a difficult problem of justice: for biological reasons alone, the new therapies might benefit only a limited range of patients. In fact, they might benefit primarily white Americans, thereby exacerbating long-standing differences in health and health care.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  33.  93
    Book reviews. [REVIEW]Werner Menski, Carl Olson, William Cenkner, Anne E. Monius, Sarah Hodges, Jeffrey J. Kripal, Carol Salomon, Deepak Sarma, William Cenkner, John E. Cort, Peter A. Huff, Joseph A. Bracken, Larry D. Shinn, Jonathan S. Walters, Ellison Banks Findly, John Grimes, Loriliai Biernacki, David L. Gosling, Thomas Forsthoefel, Michael H. Fisher, Ian Barrow, Srimati Basu, Natalie Gummer, Pradip Bhattacharya, John Grimes, Heather T. Frazer, Elaine Craddock, Andrea Pinkney, Joseph Schaller, Michael W. Myers, Lise F. Vail, Wayne Howard, Bradley B. Burroughs, Shalva Weil, Joseph A. Bracken, Christopher W. Gowans, Dan Cozort, Katherine Janiec Jones, Carl Olson, M. D. McLean, A. Whitney Sanford, Sarah Lamb, Eliza F. Kent, Ashley Dawson, Amir Hussain, John Powers, Jennifer B. Saunders & Ramdas Lamb - 2005 - International Journal of Hindu Studies 9 (1-3):153-228.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  34.  39
    Thinking Matter: Materialism in Eighteenth-Century Britain.John W. Yolton - 1983 - University of Minnesota Press.
    This book, a reevaluation of a major issue in modern philosophy, explores the controversy that grew out of John Locke's suggestion, in the Essay Concerning Human Understanding (1690), that God could give to matter the power of thought.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  35.  39
    Collected Works Volume I:Publications, 1929-1936. Kurt Godel, Solomon Feferman, John W. Dawson, Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort. [REVIEW]Joseph W. Dauben - 1986 - Isis 77 (4):691-692.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  10
    Science and Scepticism.John W. N. Watkins - 1984 - Princeton University Press.
    This book contains important technical innovations, including comparative measures for the testable content, depth, and unity of scientific theories. Originally published in 1984. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  37.  29
    R. W. Ashby. Entailment and modality. Proceedings of the Aristotelian Society, n.s. vol. 63 , pp. 203–216. - John O. Nelson. A question of entailment. The review of metaphysics, vol. 18 , pp. 364–377. - John Bacon. Entailment and the modal fallacy. The review of metaphysics, vol. 18 , pp. 566–571. [REVIEW]Edward E. Dawson - 1973 - Journal of Symbolic Logic 38 (4):668-670.
  38.  14
    Jacques Derrida: a Rhetoric That Deconstructs Common Sense.John W. Murphy - 1984 - Diogenes 32 (128):125-140.
    As Perelman suggests, rhetoric has always been concerned with understanding the basic nature of an audience. Considering this view, the perennial question posed by rhetoric might be: How does one discourse properly with an audience? Using the terminology supplied by Bitzer, this query might be rephrased to read: How does one “uncover and make available the public knowledge needed in our time and give body and voice to the universal public”. Of key importance is that the rhetorician must secure a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  39.  6
    Unapologetic: why philosophy of religion must end.John W. Loftus - 2016 - Durham, North Carolina: Pitchstone Publishing. Edited by David Eller.
    Just as intelligent design is not a legitimate branch of biology in public educational institutions, nor should the philosophy of religion be a legitimate branch of philosophy. So argues leading atheist thinker and writer John Loftus in this forceful takedown of the very discipline in which he was trained. In his call for ending the philosophy of religion, he argues that as it is presently being practiced, the main reason the discipline exists is to serve the faith claims of (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  10
    Avoiding Culturalism in Technological Development: Revisiting Artificial Intelligence.John W. Murphy & Carlos Largacha-Martínez - forthcoming - Filozofia Nauki:1-11.
    AI-developers face a challenge when seeking to use models that aim to be culturally sensitive. While we agree that culture is an emergent reality, there is always the risk of creating algorithms that treat culture as objective to account for various facets of the social realm. As a result, culture becomes prepackaged and autonomous. Nonetheless, culture is not only emergent but dialogically and socially invented. In this article, the point is to advance the discussion about culture by addressing a crucial (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  29
    John W. Dawson, Jr. Why Prove it Again: Alternative Proofs in Mathematical Practice.Jessica Carter - 2016 - Philosophia Mathematica 24 (2):256-263.
  42.  3
    Conceiving.John W. Burbidge - 2011 - In Stephen Houlgate & Michael Baur (eds.), A Companion to Hegel. Malden, MA: Wiley‐Blackwell. pp. 159–174.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  43. The Relevance of Postmodernism for Social Science.John W. Murphy - 1988 - Diogenes 36 (143):93-110.
    Over the past few years postmodernism has been gaining popularity. Because the works of writers such as Jacques Derrida, Michel Foucault, Gilles Deleuze, Jacques Lacan, and Félix Guattari, for example, are now readily available to the English reader, a novel intellectual force is present that must be assessed (Hassan, 1985). Terms such as “mise en abîme”, “libido”, “schizo-analysis”, “undecidables”, and so forth must be explained and their relevance for social analysis deciphered. Furthermore, a conception of knowledge, a research methodology, and (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  44.  29
    John W. Dawson, Jr. Logical Dilemmas: The Life and Work of Kurt Gödel. Wellesley, Massachusetts: A. K. Peters, 1997. Pp. xiv + 361. ISBN 1-56881-025-3. [REVIEW]Martin Davis - 1998 - Philosophia Mathematica 6 (1):116-128.
  45.  72
    Critical Theory and Social Organization.John W. Murphy - 1982 - Diogenes 30 (117):93-111.
    Critical Theory is usually associated with an intellectual tradition which emerged from the work of a group of social philosophers who coalesced around the Institute for Social Research, established in Frankfurt in 1923. This tradition is now considered to have two major branches: the first related to the work of Theodor Adorno, Max Horkheimer, Herbert Marcuse, Erich Fromm, Leo Lowenthal, and Walter Benjamin, while the second pertains to the expansion of this original work which has been proffered by Jürgen Habermas, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  5
    Rousseau–Totalitarian or Liberal?John W. Chapman - 1956 - New York,: Columbia University Press.
  47.  2
    The Western University on Trial.John W. Chapman (ed.) - 1983 - University of California Press.
    This title is part of UC Press's Voices Revived program, which commemorates University of California Press’s mission to seek out and cultivate the brightest minds and give them voice, reach, and impact. Drawing on a backlist dating to 1893, Voices Revived makes high-quality, peer-reviewed scholarship accessible once again using print-on-demand technology. This title was originally published in 1983.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  5
    Freiheit und Entscheidung.John W. N. Watkins - 1978 - Tübingen: Mohr.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  7
    The handbook of the neuroscience of multilingualism.John W. Schwieter (ed.) - 2019 - Hoboken, NJ: Wiley-Blackwell.
    The definitive guide to 21st century investigations of multilingual neuroscience provides a comprehensive survey of neurocognitive investigations of multiple-language speakers. Prominent scholar John W. Schwieter offers a unique collection of works from globally recognized researchers in neuroscience, psycholinguistics, neurobiology, psychology, neuroimaging, and others, to provide a multidisciplinary overview of relevant topics. Authoritative coverage of state-of-the-art research provides readers with fundamental knowledge of significant theories and methods, language impairments and disorders, and neural representations, functions, and processes of the multilingual brain.Focusing (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  7
    Moving into the ecumenical future: foundations of a paradigm for Christian ethics.John W. Osfs Crossin - 2022 - Eugene, Oregon: Pickwick Publications. Edited by Mitzi Budde.
    Moving into the Ecumenical Future identifies some necessary "foundations" of any paradigm for Ecumenical Ethics. It emphasizes the guidance of the Holy Spirit, the teaching and example of Jesus, biblical foundations, and pastoral relationships in developing paradigms for Ecumenical Ethics. The book suggests that virtue ethics is an important paradigm that includes these elements. The text explores how the Faith and Order "Tool," Receptive Ecumenism, Differentiated Consensus, Internal Polarities, and Spiritual Discernment can be used to move toward moral consensus. The (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000