Results for 'David Luckham'

(not author) ( search as author name )
1000+ found
Order:
  1.  5
    Extracting information from resolution proof trees.David Luckham & Nils J. Nilsson - 1971 - Artificial Intelligence 2 (1):27-54.
  2.  12
    John Alan Robinson. On automatic deduction. Rice University studies, vol. 50 no. 1 , pp. 69–89.David Luckham - 1966 - Journal of Symbolic Logic 31 (3):516-516.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  8
    Peter B. Andrews. Resolution with merging. Journal of the Association for Computing Machinery, vol. 15 , pp. 367–381.David Luckham - 1970 - Journal of Symbolic Logic 35 (1):159-160.
  4.  11
    On Automatic Deduction.David Luckham & John Alan Robinson - 1966 - Journal of Symbolic Logic 31 (3):516.
  5.  8
    Hierarchies over recursive well-orderings.Herbert Enderton & David Luckham - 1964 - Journal of Symbolic Logic 29 (4):183-190.
  6. Review: Lawrence Wos, George A. Robinson, Daniel F. Carson, Efficiency and Completeness of the Set of Support Strategy in Theorem Proving. [REVIEW]David Luckham - 1967 - Journal of Symbolic Logic 32 (1):117-118.
  7.  14
    Lawrence Wos, Daniel Carson, and George Robinson. The unit preference strategy in theorem proving. AFIPS conference proceedings, Volume 26, 1964 Fall Joint Computer Conference, Spartan Books, Inc., Baltimore, Md., and Cleaver-Hume Press, London, 1964, pp. 615–621. [REVIEW]David Luckham - 1967 - Journal of Symbolic Logic 32 (1):117.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  4
    Lawrence Wos, George A. Robinson, and Daniel F. Carson. Efficiency and completeness of the set of support strategy in theorem proving. Journal of the Association for Computing Machinery, vol. 12 , pp. 536–541. [REVIEW]David Luckham - 1967 - Journal of Symbolic Logic 32 (1):117-118.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  10
    Review: J. A. Robinson, A Machine-Oriented Logic based on the Resolution Principle. [REVIEW]David Luckham - 1966 - Journal of Symbolic Logic 31 (3):515-516.
  10.  18
    J. A. Robinson. A machine-oriented logic based on the resolution principle. Journal of the Association for Computing Machinery, vol. 12 , pp. 23–41. [REVIEW]David Luckham - 1966 - Journal of Symbolic Logic 31 (3):515-516.
  11.  13
    Review: J. A. Robinson, Theorem-Proving on the Computer. [REVIEW]David Luckham - 1966 - Journal of Symbolic Logic 31 (3):514-515.
  12.  13
    J. A. Robinson. Theorem-proving on the computer. Journal of the Association for Computing Machinery, vol. 10 , pp. 163–174. [REVIEW]David Luckham - 1966 - Journal of Symbolic Logic 31 (3):514-515.
  13. Review: Lawrence Wos, Daniel Carson, George Robinson, The Unit Preference Strategy in Theorem Proving. [REVIEW]David Luckham - 1967 - Journal of Symbolic Logic 32 (1):117-117.
  14.  11
    Review: Peter B. Andrews, Resolution with Merging. [REVIEW]David Luckham - 1970 - Journal of Symbolic Logic 35 (1):159-160.
  15.  9
    Herbert Enderton and David Luckham. Hierarchies over recursive well-orderings. The journal of symbolic logic, vol. 29 no. 4 , pp. 183–190.Gustav Hensel - 1966 - Journal of Symbolic Logic 31 (2):263.
  16. Review: Herbert Enderton, David Luckham, Hierarchies Over Recursive Well-Orderings. [REVIEW]Gustav Hensel - 1966 - Journal of Symbolic Logic 31 (2):263-263.
  17.  14
    Gesture and Thought.David McNeill - 2007 - University of Chicago Press.
    David McNeill, a pioneer in the ongoing study of the relationship between gesture and language, here argues that gestures are active participants in both speaking and thinking. He posits that gestures are key ingredients in an “imagery-language dialectic” that fuels speech and thought. The smallest unit of this dialectic is the growth point, a snapshot of an utterance at its beginning psychological stage. In _Gesture and Thought,_ the central growth point comes from a Tweety Bird cartoon. Over the course (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   66 citations  
  18.  23
    Causality and Chance in Modern Physics.David Bohm - 1957 - London: Routledge.
    In this classic, David Bohm was the first to offer us his causal interpretation of the quantum theory. _Causality and Chance in Modern Physics_ continues to make possible further insight into the meaning of the quantum theory and to suggest ways of extending the theory into new directions.
    Direct download  
     
    Export citation  
     
    Bookmark   72 citations  
  19. .David Wiggins - 2005 - Philosophy and Phenomenological Research:442-448.
    No categories
     
    Export citation  
     
    Bookmark   203 citations  
  20.  23
    Out of Error: Further Essays on Critical Rationalism.David W. Miller - 2006 - Ashgate Publishing.
    David Miller is the foremost exponent of the purist critical rationalist doctrine and here presents his mature views, discussing the role that logic and argument play in the growth of knowledge, criticizing the common understanding of argument as an instrument of justification, persuasion or discovery and instead advocating the critical rationalist view that only criticism matters. Miller patiently and thoroughly undoes the damage done by those writers who attack critical rationalism by invoking the sterile mythology of induction and justification (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   58 citations  
  21.  36
    Sameness and Substance Renewed.David Wiggins - 2005 - Philosophy and Phenomenological Research 71 (2):456-461.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   149 citations  
  22.  11
    Wittgenstein, Rules and Institutions.David Bloor - 1997 - New York: Routledge.
    Clearly and engagingly written, this volume is vital reading for students of philosophy and sociology, and anyone interested in Wittgenstein's later thought. David Bloor provides a challenging and informative evaluation of Wittgenstein's account of rules and rule-following. Arguing for a collectivist reading, Bloor offers the first consistent sociological interpretation of Wittgenstein's work for many years.
    Direct download  
     
    Export citation  
     
    Bookmark   44 citations  
  23.  29
    The Formation of Reason.David Bakhurst (ed.) - 2011 - Malden, MA: Wiley-Blackwell.
    In _The Formation of Reason_, philosophy professor David Bakhurst utilizes ideas from philosopher John McDowell to develop and defend a socio-historical account of the human mind. Provides the first detailed examination of the relevance of John McDowell's work to the Philosophy of Education Draws on a wide-range of philosophical sources, including the work of 'analytic' philosophers Donald Davidson, Ian Hacking, Peter Strawson, David Wiggins, and Ludwig Wittgenstein Considers non-traditional ideas from Russian philosophy and psychology, represented by Ilyenkov and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   22 citations  
  24.  55
    Précis of Unto Others.David Sloan Wilson & Elliott Sober - 2002 - Philosophy and Phenomenological Research 65 (3):681-684.
    It is a challenge to explain how evolutionary altruism can evolve by the process of natural selection, since altruists in a group will be less fit than the selfish individuals in the same group who receive benefits but do not make donations of their own. Darwin proposed a theory of group selection to solve this puzzle. Very simply, even though altruists are less fit than selfish individuals within any single group, groups of altruists are more fit than groups of selfish (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   80 citations  
  25. That was then, this is now: Personal history vs. psychological structure in compatibilist theories of autonomy.David Zimmerman - 2003 - Noûs 37 (4):638-671.
  26. What is Orthodox Quantum Mechanics?David Wallace - 2019 - In Alberto Cordero (ed.), Philosophers Look at Quantum Mechanics. Springer Verlag.
    What is called ``orthodox'' quantum mechanics, as presented in standard foundational discussions, relies on two substantive assumptions --- the projection postulate and the eigenvalue-eigenvector link --- that do not in fact play any part in practical applications of quantum mechanics. I argue for this conclusion on a number of grounds, but primarily on the grounds that the projection postulate fails correctly to account for repeated, continuous and unsharp measurements and that the eigenvalue-eigenvector link implies that virtually all interesting properties are (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  27.  13
    Did Berkeley Endorse the Resemblance Theory of Representation?Dávid Bartha - 2024 - In Manuel Fasko & Peter West (eds.), Berkeley’s Doctrine of Signs. De Gruyter. pp. 27-48.
    The resemblance theory of representation is the view that one thing represents another by virtue of resembling it. Typically, it is taken as non-controversial that Berkeley accepts the resemblance theory of representation – even if the plausibility of the resemblance theory itself comes under scrutiny. One piece of evidence in favour of this reading of Berkeley is his commitment to the ‘likeness principle’: the view that ‘an idea can be like nothing but an idea’ (PHK § 8). The likeness principle (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  28. On the time reversal invariance of classical electromagnetic theory.David B. Malament - 2003 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 35 (2):295-315.
    David Albert claims that classical electromagnetic theory is not time reversal invariant. He acknowledges that all physics books say that it is, but claims they are ``simply wrong" because they rely on an incorrect account of how the time reversal operator acts on magnetic fields. On that account, electric fields are left intact by the operator, but magnetic fields are inverted. Albert sees no reason for the asymmetric treatment, and insists that neither field should be inverted. I argue, to (...)
    Direct download (16 more)  
     
    Export citation  
     
    Bookmark   36 citations  
  29.  9
    Normativity and Judgement.David Papineau & Julia Tanney - 1999 - Aristotelian Society Supplementary Volume 73:17-61.
    [David Papineau] This paper disputes the common assumption that the normativity of conceptual judgement poses a problem for naturalism. My overall strategy is to argue that norms of judgement derive from moral or personal values, particularly when such values are attached to the end of truth. While there are philosophical problems associated with both moral and personal values, they are not special to the realm of judgement, nor peculiar to naturalist philosophies. This approach to the normativity of judgement is (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   49 citations  
  30.  22
    The Explanation Game: A Formal Framework for Interpretable Machine Learning.David S. Watson & Luciano Floridi - 2021 - In Josh Cowls & Jessica Morley (eds.), The 2020 Yearbook of the Digital Ethics Lab. Springer Verlag. pp. 109-143.
    We propose a formal framework for interpretable machine learning. Combining elements from statistical learning, causal interventionism, and decision theory, we design an idealised explanation game in which players collaborate to find the best explanation for a given algorithmic prediction. Through an iterative procedure of questions and answers, the players establish a three-dimensional Pareto frontier that describes the optimal trade-offs between explanatory accuracy, simplicity, and relevance. Multiple rounds are played at different levels of abstraction, allowing the players to explore overlapping causal (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  31.  39
    The Global Governance of Neurotechnology: The Need for an Ecosystem Approach.David Winickoff, Laura Kreiling & Lou Lennad - 2024 - American Journal of Bioethics Neuroscience 15 (2):116-118.
    As neurotechnologies continue to develop and diffuse, this fast-paced field must be guided by robust governance frameworks in order to promote responsible innovation. The article by Bublitz (2024)...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32. Science, Order and Creativity.David Bohm & F. David Peat - 2010 - Routledge.
    One of the foremost scientists and thinkers of our time, David Bohm worked alongside Oppenheimer and Einstein. In _Science, Order and Creativity_ he and physicist F. David Peat propose a return to greater creativity and communication in the sciences. They ask for a renewed emphasis on ideas rather than formulae, on the whole rather than fragments, and on meaning rather than mere mechanics. Tracing the history of science from Aristotle to Einstein, from the Pythagorean theorem to quantum mechanics, (...)
    No categories
     
    Export citation  
     
    Bookmark   22 citations  
  33.  33
    Introduction.David Lay Williams - 2021 - European Journal of Political Theory 20 (3):568-574.
    This introduction to the review symposium on Ryan Patrick Hanley’s works on the relatively neglected early modern philosopher François Fénelon provides a brief overview of the symposium itself before turning to Hanley’s treatment of Fénelon’s work on the intersection of politics and religion, culminating in a comparison of Fénelon with his most celebrated admirer, Jean-Jacques Rousseau. The article sketches how both francophone thinkers employ conceptions of divine justice as a measure to counter the dangers of amour-propre, contrasting Fénelon’s thick theology (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  34. Ways of the Hand: A Rewritten Account.David Sudnow & Hubert L. Dreyfus - 2001 - MIT Press.
    Ways of the Hand tells the story of how David Sudnow learned to improvise jazz on the piano. Because he had been trained as an ethnographer and social psychologist, Sudnow was attentive to what he experienced in ways that other novice pianists are not. The result, first published in 1978 and now considered by many to be a classic, was arguably the finest and most detailed account of skill development ever published.Looking back after more than twenty years, Sudnow was (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  35.  84
    The quantitative content of statistical mechanics.David Wallace - 2015 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 52 (Part B):285-293.
  36.  54
    Merleau-Ponty’s Developmental Ontology.David Morris - 2018 - Carbondale, IL, USA: Northwestern University Press.
    Merleau-Ponty's Developmental Ontology shows how the philosophy of Maurice Merleau-Ponty, from its very beginnings, seeks to find sense or meaning within nature, and how this quest calls for and develops into a radically new ontology. -/- David Morris first gives an illuminating analysis of sense, showing how it requires understanding nature as engendering new norms. He then presents innovative studies of Merleau-Ponty's The Structure of Behavior and Phenomenology of Perception, revealing how these early works are oriented by the problem (...)
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  37.  65
    Quantum gravity at low energies.David Wallace - 2022 - Studies in History and Philosophy of Science Part A 94 (C):31-46.
  38. Towards a Reasonable Libertarianism.David Wiggins - 1982 - In Gary Watson (ed.), Free will. New York: Oxford University Press.
    No categories
     
    Export citation  
     
    Bookmark   51 citations  
  39.  89
    Quantales and (noncommutative) linear logic.David N. Yetter - 1990 - Journal of Symbolic Logic 55 (1):41-64.
  40.  26
    Daimon Life: Heidegger and Life-Philosophy.David Farrell Krell - 1992 - Indiana University Press.
    "Daimon Life is life-enchancing. To read it is to become richer in word." –John Llewelyn Disclosure of Martin Heidegger’s complicity with the National Socialist regime in 1933-34 has provoked virulent debate about the relationship between his politics and his philosophy. Did Heidegger’s philosophy exhibit a kind of organicism readily transformed into ideological "blood and soil"? Or, rather, did his support of the Nazis betray a fundamental lack of loyalty to living things? David Farrell Krell traces Heidegger’s political authoritarianism to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   25 citations  
  41.  64
    An Occasionalist Response to Korman and Locke.David Killoren - 2021 - Journal of Ethics and Social Philosophy 19 (3).
    Dan Korman and Dustin Locke argue that non-naturalists are rationally committed to withhold moral belief. A main principle in their argument, which they call EC*, can be read in either of two ways, which I call EC*-narrow and EC*-wide. I show that EC*-narrow is implausible. Then I show that, if Korman and Locke rely on EC*-wide to critique non-naturalism, then the critique fails. I explain how the availability of a view that I like to call moral occasionalism can be used (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  42. Outline of “Nihil Obstat: An Analysis of Ability”.David K. Lewis - 2020 - The Monist 103 (3):241-244.
    This outline for a paper, which develops a compatibilist analysis of abilities, was completed by David Lewis during his sabbatical in the Fall semester of 2000 and is dated 20 January 2001. Starting from the claim that it’s a “Moorean fact” that we are often able to do otherwise, Lewis provides a “simple proof of compatibilism.” He then presents his own account of abilities: S is able to A if and only if there are no obstacles to their A-ing, (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  43. The Arrow of Time in Physics.David Wallace - 2013 - In Adrian Bardon & Heather Dyke (eds.), A Companion to the Philosophy of Time. Malden, MA: Wiley-Blackwell. pp. 262–281.
    Every process studied in any science other than physics defines an arrow of time – to say nothing for the directedness of the processes of causation, inference, memory, control, and counterfactual dependence that occur in everyday life. The discussion in this chapter is confined to the arrow of time as it occurs in physics. The chapter briefly discusses those features of microscopic physics, which seem to conflict with time asymmetry. It explains just how this conflict plays out in the important (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  44.  34
    Hume’s Science of Human Nature: Scientific Realism, Reason, and Substantial Explanation.David Landy - 2017 - New York, USA: Routledge.
    Hume’s Science of Human Nature is an investigation of the philosophical commitments underlying Hume's methodology in pursuing what he calls ‘the science of human nature’. It argues that Hume understands scientific explanation as aiming at explaining the inductively-established universal regularities discovered in experience via an appeal to the nature of the substance underlying manifest phenomena. For years, scholars have taken Hume to employ a deliberately shallow and demonstrably untenable notion of scientific explanation. By contrast, Hume’s Science of Human Nature sets (...)
  45.  27
    Death, Brain Death, and Ethics.David Lamb - 1985 - State University of New York Press.
    Dramatic changes in medical technology challenge mankind’s traditional ways of diagnosing death. Death, Brain Death and Ethics examines the concept of death against the background of these changes, as well as ethical and philosophical issues arising from attempts to redefine the boundaries of life. In this book, David Lamb supports the use of brain-related criteria for the diagnosis of death, and proposes a new clinical definition of death based on both medical and philosophical principles. Death, Brain Death and Ethics (...)
    Direct download  
     
    Export citation  
     
    Bookmark   18 citations  
  46.  33
    Local Explanations via Necessity and Sufficiency: Unifying Theory and Practice.David S. Watson, Limor Gultchin, Ankur Taly & Luciano Floridi - 2022 - Minds and Machines 32 (1):185-218.
    Necessity and sufficiency are the building blocks of all successful explanations. Yet despite their importance, these notions have been conceptually underdeveloped and inconsistently applied in explainable artificial intelligence, a fast-growing research area that is so far lacking in firm theoretical foundations. In this article, an expanded version of a paper originally presented at the 37th Conference on Uncertainty in Artificial Intelligence, we attempt to fill this gap. Building on work in logic, probability, and causality, we establish the central role of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  47.  18
    How does emotional content affect lexical processing?David Vinson, Marta Ponari & Gabriella Vigliocco - 2014 - Cognition and Emotion 28 (4):737-746.
  48.  53
    Let them Eat Chances: Probability and Distributive Justice.David Wasserman - 1996 - Economics and Philosophy 12 (1):29-49.
    Jon Elster reports that in 1940, and again in 1970, the U.S. draft lottery was challenged for falling short of the legally mandated ‘random selection’. On both occasions, the physical mixing of the lots appeared to be incomplete, since the birth dates were clustered in a way that would have been extremely unlikely if the lots were fully mixed. There appears to have been no suspicion on either occasion that the deficiency in the mixing was intended, known, or believed to (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  49.  11
    “Doc, I’m Going for a Walk”: Liberalizing or Restricting the Movement of Hospitalized Patients—Ethical, Legal, and Clinical Considerations.David Alfandre, Sara Stream & Cynthia Geppert - 2020 - HEC Forum 32 (3):253-267.
    When patients are admitted to the hospital, they are generally expected to remain in or within close proximity to their assigned rooms in order to promote their safety and appropriate medical care. Although there are circumstances when patients may safely leave their hospital room or floor, guidance within the medical literature for the management of patient movement within the hospital are lacking. Excessive restrictions on patient movement may be seen as overly paternalistic, while lax requirements may interfere with high quality (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  50.  20
    Redefining ‘Intrinsic’.David Lewis - 2001 - Philosophy and Phenomenological Research 63 (2):381-398.
    Several alleged counterexamples to the definition of ‘intrinsic’ proposed in Rae Langton and David Lewis,‘Defining “Intrinsic”’, are unconvincing. Yet there are reasons for dissatisfaction, and room for improvement. One desirable change is to raise the standard of non‐disjunctiveness, thereby putting less burden on contentious judgements of comparative naturalness. A second is to deal with spurious independence by throwing out just the disjunctive troublemakers, instead of throwing out disjunctive properties wholesale, and afterward reinstating those impeccably intrinsic disjunctive properties that are (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   28 citations  
1 — 50 / 1000