Results for 'Martin Davis' theorem'

992 found
Order:
  1.  18
    A Machine Program for Theorem-Proving.Martin Davis, George Logemann & Donald Loveland - 1967 - Journal of Symbolic Logic 32 (1):118-118.
  2. The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions.Martin Davis (ed.) - 1965 - Hewlett, NY, USA: Dover Publication.
    "A valuable collection both for original source material as well as historical formulations of current problems."-- The Review of Metaphysics "Much more than a mere collection of papers . . . a valuable addition to the literature."-- Mathematics of Computation An anthology of fundamental papers on undecidability and unsolvability by major figures in the field, this classic reference opens with Godel's landmark 1931 paper demonstrating that systems of logic cannot admit proofs of all true assertions of arithmetic. Subsequent papers by (...)
    Direct download  
     
    Export citation  
     
    Bookmark   100 citations  
  3.  78
    How subtle is Gödel's theorem? More on Roger Penrose.Martin Davis - 1993 - Behavioral and Brain Sciences 16 (3):611-612.
  4.  75
    What did gödel believe and when did he believe it?Martin Davis - 2005 - Bulletin of Symbolic Logic 11 (2):194-206.
    Gödel has emphasized the important role that his philosophical views had played in his discoveries. Thus, in a letter to Hao Wang of December 7, 1967, explaining why Skolem and others had not obtained the completeness theorem for predicate calculus, Gödel wrote:This blindness of logicians is indeed surprising. But I think the explanation is not hard to find. It lies in a widespread lack, at that time, of the required epistemological attitude toward metamathematics and toward non-finitary reasoning. …I may (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  5.  18
    Dekker J. C. E. and Myhill J.. Some theorems on classes of recursively enumerable sets. Transactions of the American Mathematical Society, vol. 89 , pp. 25–59. [REVIEW]Martin Davis - 1962 - Journal of Symbolic Logic 27 (1):84-84.
  6.  6
    Review: J. C. E. Dekker, J. Myhill, Some Theorems on Classes of Recursively Enumerable Sets. [REVIEW]Martin Davis - 1962 - Journal of Symbolic Logic 27 (1):84-84.
  7.  43
    Verena H. Dyson, James P. Jones, and John C. Shepherdson. Some diophantine forms of Gödel's theorem. Archiv für mathematische Logik und Grundlagenforschung, vol. 22 , pp. 51–60. - James P. Jones. Universal diophantine equation. The journal of symbolic logic, vol. 47 , pp. 549–571. - J. P. Jones and Ju. V. Matijasevič. Exponential diophantine representation of recursively enumerable sets. English with French abstract. Proceedings of the Herbrand Symposium, Logic Colloquium '81, Proceedings of the Herbrand Symposium held in Marseilles, France, July 1981, edited by J. Stern, Studies in logic and the foundations of mathematics, vol. 107, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1982, pp. 159–177. - J. P. Jones and Y. V. Matijasevič. Register machine proof of the theorem on exponential diophantine representation of enumerable sets. The journal of symbolic logic, vol. 49 , pp. 818–829. [REVIEW]Martin Davis - 1986 - Journal of Symbolic Logic 51 (2):477-479.
  8. Reply to Davis.Stephen T. Davis - 1999 - Philo 2 (1):62-76.
    This essay is a response to Michael Martin’s “Why the Resurrection Is Initially Improbable,” Philo, Vol. 1, No.1. I argue that Martin has not succeeded in achieving his aim of showing that the Resurrection is initially improbable and thus, by Bayes’s Theorem, implausible. I respond to five of Martin’s arguments: the “particular time and place argument”; the claim that there is no plausible Christian theory of why Jesus should have been incarnated and resurrected; the claim that (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9. Alexander Miller, Philosophy of Language Reviewed by.W. Martin Davies - 1999 - Philosophy in Review 19 (4):268-270.
    No categories
     
    Export citation  
     
    Bookmark  
  10. Monothematic delusions: Towards a two-factor account.Martin Davies, Max Coltheart, Robyn Langdon & Nora Breen - 2001 - Philosophy, Psychiatry, and Psychology 8 (2-3):133-58.
    We provide a battery of examples of delusions against which theoretical accounts can be tested. Then, we identify neuropsychological anomalies that could produce the unusual experiences that may lead, in turn, to the delusions in our battery. However, we argue against Maher’s view that delusions are false beliefs that arise as normal responses to anomalous experiences. We propose, instead, that a second factor is required to account for the transition from unusual experience to delusional belief. The second factor in the (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   149 citations  
  11. Using Computer-Assisted Argument Mapping to Teach Reasoning to Students.Martin Davies, Ashley Barnett & Tim van Gelder - 2021 - In J. Anthony Blair (ed.), The Critical Thinking Anthology. pp. 115-152.
    Argument mapping is a way of diagramming the logical structure of an argument to explicitly and concisely represent reasoning. The use of argument mapping in critical thinking instruction has increased dramatically in recent decades. This paper overviews the innovation and provides a procedural approach for new teaches wanting to use argument mapping in the classroom. A brief history of argument mapping is provided at the end of this paper.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  12. Introduction.Martin Davies & Ronald Barnett - 2015 - In W. Martin Davies & Ronald Barnett (eds.), The Palgrave Handbook of Critical Thinking in Higher Education. New York, NY, USA: Palgrave. pp. 1-25.
    What is critical thinking, especially in the context of higher education? How have research and scholarship on the matter developed over recent past decades? What is the current state of the art here? How might the potential of critical thinking be enhanced? What kinds of teaching are necessary in order to realize that potential? And just why is this topic important now? These are the key questions motivating this volume. We hesitate to use terms such as “comprehensive” or “complete” or (...)
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  13.  17
    Delusion: Cognitive Approaches—Bayesian Inference and Compartmentalisation.Martin Davies & Andy Egan - 2013 - In K. W. M. Fulford, Martin Davies, Richard G. T. Gipps, George Graham, John Z. Sadler, Giovanni Stanghellini & Tim Thornton (eds.), The Oxford Handbook of Philosophy and Psychiatry. Oxford University Press. pp. 689-727.
    Cognitive approaches contribute to our understanding of delusions by providing an explanatory framework that extends beyond the personal level to the sub personal level of information-processing systems. According to one influential cognitive approach, two factors are required to account for the content of a delusion, its initial adoption as a belief, and its persistence. This chapter reviews Bayesian developments of the two-factor framework.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  14. Anosognosia and the Two‐factor Theory of Delusions.Martin Davies, Anne Aimola Davies & Max Coltheart - 2005 - Mind and Language 20 (2):209-236.
    Anosognosia is literally ‘unawareness of or failure to acknowledge one’s hemi- plegia or other disability’ (OED). Etymology would suggest the meaning ‘lack of knowledge of disease’ so that anosognosia would include any denial of impairment, such as denial of blindness (Anton’s syndrome). But Babinski, who introduced the term in 1914, applied it only to patients with hemiplegia who fail to acknowledge their paralysis. Most commonly, this is failure to acknowledge paralysis of the left side of the body following damage to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   21 citations  
  15.  14
    Martin Davis, George Logemann, and Donald Loveland. A machine program for theorem-proving. Communications of the ACM, vol. 5 , pp. 394–397. [REVIEW]J. A. Robinson - 1967 - Journal of Symbolic Logic 32 (1):118.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16. Review: Martin Davis, George Logemann, Donald Loveland, A Machine Program for Theorem-Proving. [REVIEW]J. A. Robinson - 1967 - Journal of Symbolic Logic 32 (1):118-118.
  17. Explaining pathologies of belief.Anne M. Aimola Davies & Martin Davies - 2009 - In Matthew Broome & Lisa Bortolotti (eds.), Psychiatry as Cognitive Neuroscience: Philosophical Perspectives. Oxford University Press. pp. 284-324.
  18.  6
    How history works: the reconstitution of a human science.Martin L. Davies - 2016 - New York, NY: Routledge, Taylor & Francis Group.
    The situation of historical knowledge: the historicized world -- The technology of historical knowledge: management-systems -- The logic of historical knowledge: causality, rationality, identity -- The organization of historical knowledge: categorical coordinators; rhetorical strategy -- The purpose of historical knowledge: comprehension.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  6
    The Palgrave Handbook of Critical Thinking in Higher Education.W. Martin Davies & Ronald Barnett (eds.) - 2015 - New York, NY, USA: Palgrave.
    The Palgrave Handbook of Critical Thinking in Higher Education provides a single compendium on the nature, function, and applications of critical thinking. This book brings together the work of top researchers on critical thinking worldwide, covering questions of definition, pedagogy, curriculum, assessment, research, policy, and application.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  8
    Imprisoned by history: aspects of historicized life.Martin L. Davies - 2010 - New York: Routledge.
    Shaking the respect for history? -- Imprisoned by history -- The historical unconscious -- History: a self-centred science -- History: deception as cultural practice.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  43
    The Universal Computer. The Road from Leibniz to Turing.Martin Davis - 2001 - Bulletin of Symbolic Logic 7 (1):65-66.
    Direct download  
     
    Export citation  
     
    Bookmark   17 citations  
  22. Consciousness and explanation.Martin Davies - 2008 - In Lawrence Weiskrantz & Martin Davies (eds.), Frontiers of consciousness. New York: Oxford University Press.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  23. Consciousness and explanation.Martin Davies - 2008 - In Lawrence Weiskrantz & Martin Davies (eds.), Frontiers of consciousness. New York: Oxford University Press.
  24.  36
    II_— _Martin Davies: Epistemic Entitlement, Warrant Transmission and Easy Knowledge.Martin Davies - 2004 - Aristotelian Society Supplementary Volume 78 (1):213-245.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   79 citations  
  25.  69
    Spatial limits on the nonvisual self-touch illusion and the visual rubber hand illusion: Subjective experience of the illusion and proprioceptive drift.Anne M. Aimola Davies, Rebekah C. White & Martin Davies - 2013 - Consciousness and Cognition 22 (2):613-636.
    The nonvisual self-touch rubber hand paradigm elicits the compelling illusion that one is touching one’s own hand even though the two hands are not in contact. In four experiments, we investigated spatial limits of distance and alignment on the nonvisual self-touch illusion and the well-known visual rubber hand illusion. Common procedures and common assessment methods were used. Subjective experience of the illusion was assessed by agreement ratings for statements on a questionnaire and time of illusion onset. The nonvisual self-touch illusion (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  26.  60
    When you fail to see what you were told to look for: Inattentional blindness and task instructions.Anne M. Aimola Davies, Stephen Waterman, Rebekah C. White & Martin Davies - 2013 - Consciousness and Cognition 22 (1):221-230.
    Inattentional blindness studies have shown that an unexpected object may go unnoticed if it does not share the property specified in the task instructions. Our aim was to demonstrate that observers develop an attentional set for a property not specified in the task instructions if it allows easier performance of the primary task. Three experiments were conducted using a dynamic selective-looking paradigm. Stimuli comprised four black squares and four white diamonds, so that shape and colour varied together. Task instructions specified (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  27.  10
    Ethics briefings.Martin Davies, Sophie Brannan, Eleanor Chrispin, Veronica English & Rebecca Mussell - 2012 - Journal of Medical Ethics 38 (5):322-324.
  28. Cognitive and motivational factors in anosognosia.Anne M. Aimola Davies, Martin Davies, Jenni A. Ogden, Micheal Smithson & Rebekah C. White - 2009 - In . Psychology Press. pp. 187-225.
     
    Export citation  
     
    Bookmark   2 citations  
  29.  31
    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.
  30.  13
    Ethics briefings.Eleanor Chrispin, Sophie Brannan, Martin Davies, Veronica English & Rebecca Mussell - 2010 - Journal of Medical Ethics 36 (6):375-377.
    Complementary and alternative therapiesThere has long been debate about the degree to which conventional health professionals should work closely with complementary and alternative medicine practitioners, if patients choose treatment from both. Some doctors are trained in conventional and alternative therapies but often, liaison depends on the type of therapy, whether it is regulated by law and whether it supplements conventional methods of diagnosis and treatment or claims to provide an alternative to them. Among the therapies often used by patients to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  9
    Enculturation without TTOM and Bayesianism without FEP: Another Bayesian theory of culture is needed.Martin Fortier-Davy - 2020 - Behavioral and Brain Sciences 43.
    First, I discuss cross-cultural evidence showing that a good deal of enculturation takes place outside of thinking through other minds. Second, I review evidence challenging the claim that humans seek to minimize entropy. Finally, I argue that optimality claims should be avoided, and that descriptive Bayesianism offers a more promising avenue for the development of a Bayesian theory of culture.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32. Cognitive and motivational factors in anosognosia.Anne M. Aimola Davies, Martin Davies, Jenni A. Ogden, Micheal Smithso & Rebekah C. White - 2009 - In T. Bayne & J. Fernandez (eds.), Delusion and Self-Deception: Affective and Motivational Influences on Belief Formation. Psychology Press. pp. 187-225.
  33. Explaining Pathologies of Belief.Anne M. Aimola Davies & Martin Davies - 2009 - In . Oxford University Press. pp. 284-324.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  34. Detecting awareness in the conscious state.Adrian M. Owen, Martin R. Coleman, Melanie Boly, Matthew H. Davis, Steven Laureys, Dietsje Jolles & John D. Pickard - 2006 - Science 313:1402.
  35.  14
    Applied Nonstandard Analysis.Martin Davis - 1978 - Journal of Symbolic Logic 43 (2):383-384.
  36. On Epistemic Entitlement.Crispin Wright & Martin Davies - 2004 - Aristotelian Society Supplementary Volume 78:167-245.
    [Crispin Wright] Two kinds of epistemological sceptical paradox are reviewed and a shared assumption, that warrant to accept a proposition has to be the same thing as having evidence for its truth, is noted. 'Entitlement', as used here, denotes a kind of rational warrant that counter-exemplifies that identification. The paper pursues the thought that there are various kinds of entitlement and explores the possibility that the sceptical paradoxes might receive a uniform solution if entitlement can be made to reach sufficiently (...)
    Direct download  
     
    Export citation  
     
    Bookmark   42 citations  
  37.  32
    Frontiers of consciousness.Lawrence Weiskrantz & Martin Davies (eds.) - 2008 - New York: Oxford University Press.
    In recent years consciousness has become a significant area of study in the cognitive sciences. The Frontiers of Consciousness is a major interdisciplinary exploration of consciousness. The book stems from the Chichele lectures held at All Souls College in Oxford, and features contributions from a 'who's who' of authorities from both philosophy and psychology. The result is a truly interdisciplinary volume, which tackles some of the biggest and most impenetrable problems in consciousness. The book includes chapters considering the apparent explanatory (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  95
    Meaning, quantification, necessity: themes in philosophical logic.Martin Davies - 1981 - Boston: Routledge & Kegan Paul.
  39. Computability & unsolvability.Martin Davis - 1958 - New York: Dover Publications.
    Classic text considersgeneral theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, computable functionals, classification of unsolvable decision problems and more.
  40. Hölderlin's Hymn « The Ister », coll. « Studies in Continental Thought ».Martin Heidegger, William Mcneill & Julia Davis - 1998 - Revue Philosophique de la France Et de l'Etranger 188 (4):506-507.
     
    Export citation  
     
    Bookmark  
  41. Folk Psychology: The Theory of Mind Debate.Martin Davies & Tony Stone (eds.) - 1995 - Blackwell.
    Many philosophers and psychologists argue that normal adult human beings possess a primitive or 'folk' psychological theory. Recently, however, this theory has come under challenge from the simulation alternative. This alternative view says that human bings are able to predict and explain each others' actions by using the resources of their own minds to simuate the psychological etiology of the actions of others. The thirteen essays in this volume present the foundations of theory of mind debate, and are accompanied by (...)
    Direct download  
     
    Export citation  
     
    Bookmark   111 citations  
  42. Two notions of necessity.Martin Davies & Lloyd Humberstone - 1980 - Philosophical Studies 38 (1):1-31.
  43. On Epistemic Entitlement.Crispin Wright & Martin Davies - 2004 - Aristotelian Society Supplementary Volume 78:167-245.
    [Crispin Wright] Two kinds of epistemological sceptical paradox are reviewed and a shared assumption, that warrant to accept a proposition has to be the same thing as having evidence for its truth, is noted. 'Entitlement', as used here, denotes a kind of rational warrant that counter-exemplifies that identification. The paper pursues the thought that there are various kinds of entitlement and explores the possibility that the sceptical paradoxes might receive a uniform solution if entitlement can be made to reach sufficiently (...)
    No categories
     
    Export citation  
     
    Bookmark   38 citations  
  44. II*—Perceptual Content and Local Supervenience.Martin Davies - 1992 - Proceedings of the Aristotelian Society 92:21-46.
    Martin Davies; II*—Perceptual Content and Local Supervenience, Proceedings of the Aristotelian Society, Volume 92, Issue 1, 1 June 1992, Pages 21–46, https://do.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   118 citations  
  45.  97
    Pathologies of Belief.Max Coltheart & Martin Davies (eds.) - 1991 - Blackwell.
    In this book, psychologists and philosophers describe and discuss a range of case studies of delusional beliefs, drawing out general lessons both for the cognitive architecture of the mind and for the notion of rationality, and exploring connections between the delusional beliefs that occur in schizophrenia and the flawed understanding of beliefs that is characteristic of autism.
    Direct download  
     
    Export citation  
     
    Bookmark   21 citations  
  46.  20
    Failure of hypothesis evaluation as a factor in delusional belief.Max Coltheart & Martin Davies - 2021 - Cognitive Neuropsychiatry 26 (4): 213-230.
    INTRODUCTION: In accounts of the two-factor theory of delusional belief, the second factor in this theory has been referred to only in the most general terms, as a failure in the processes of hypothesis evaluation, with no attempt to characterise those processes in any detail. Coltheart and Davies attempted such a characterisation, proposing a detailed eight-step model of how unexpected observations lead to new beliefs based on the concept of abductive inference as introduced by Charles Sanders Peirce. METHODS: In this (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  47.  14
    What is Capgras delusion?Max Coltheart & Martin Davies - 2022 - Cognitive Neuropsychiatry 27:69-82.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  48.  31
    II_– _Martin Davies.Martin Davies - 1997 - Aristotelian Society Supplementary Volume 71 (1):209-209.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  46
    Consciousness: psychological and philosophical essays.Martin Davies & Glyn W. Humphreys (eds.) - 1993 - Cambridge, Mass., USA: Blackwell.
    Consciousness is, perhaps, the aspect of our mental lives that is the most perplexing for both psychologists and philosophers. Daniel Dennett has described it as 'both the most obvious and the most mysterious feature of our minds' and attempts at definition often seem to move in circles. Thomas Nagel famously remarked that 'without consciousness the mind-body problem would be much less interesting. With consciousness it seems hopeless.'. These observations might suggest that consciousness - indefinable and mysterious - falls outside the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   72 citations  
  50. Cognitive neuropsychology and the philosophy of mind.Tony Stone & Martin Davies - 1993 - British Journal for the Philosophy of Science 44 (4):589-622.
1 — 50 / 992