Results for 'Steven Kieffer'

954 found
Order:
  1.  41
    (1 other version)A Language for Mathematical Knowledge Management.Steven Kieffer, Jeremy Avigad & Harvey Friedman - 2009 - Studies in Logic, Grammar and Rhetoric 18 (31).
    We argue that the language of Zermelo Fraenkel set theory with definitions and partial functions provides the most promising bedrock semantics for communicating and sharing mathematical knowledge. We then describe a syntactic sugaring of that language that provides a way of writing remarkably readable assertions without straying far from the set-theoretic semantics. We illustrate with some examples of formalized textbook definitions from elementary set theory and point-set topology. We also present statistics concerning the complexity of these definitions, under various complexity (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  2. The cognitive niche: Coevolution of intelligence, sociality, and language.Steven Pinker - unknown
    Although Darwin insisted that human intelligence could be fully explained by the theory of evolution, the codiscoverer of natural selection, Alfred Russel Wallace, claimed that abstract intelligence was of no use to ancestral humans and could only be explained by intelligent design. Wallace’s apparent paradox can be dissolved with two hypotheses about human cognition. One is that intelligence is an adaptation to a knowledge-using, socially interdependent lifestyle, the “cognitive niche.” This embraces the ability to overcome the evolutionary fixed defenses of (...)
     
    Export citation  
     
    Bookmark   51 citations  
  3. Identity and individuality in quantum theory.Steven French - 2008 - Stanford Encyclopedia of Philosophy.
  4.  9
    Medical Thinking: The Psychology of Medical Judgment and Decision Making.Steven Schwartz & Timothy Griffin - 2012 - Springer Verlag.
    Decision making is the physician's major activity. Every day, in doctors' offices throughout the world, patients describe their symptoms and com plaints while doctors perform examinations, order tests, and, on the basis of these data, decide what is wrong and what should be done. Although the process may appear routine-even to the physicians in volved-each step in the sequence requires skilled clinical judgment. Physicians must decide: which symptoms are important, whether any laboratory tests should be done, how the various items (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  5. The Hippocratic Oath and the Ethics of Medicine.Steven H. Miles - 2004 - New York: Oup Usa.
    This short work examines what the Hippocratic Oath said to Greek physicians 2400 years ago and reflects on its relevance to medical ethics today. Drawing on the writings of ancient physicians, Greek playwrights, and modern scholars, each chapter explores one passage of the Oath and concludes with a modern case discussion. This book is for anyone who loves medicine and is concerned about the ethics and history of the profession.
    Direct download  
     
    Export citation  
     
    Bookmark   25 citations  
  6. The City of Arts, the City of Law, and the Problem of the End of Man: Maidmonides's Treatment of Final Causality in the Commentary on the "Mishnah".Steven Berg - 2012 - Interpretation 39 (3):253-282.
    No categories
     
    Export citation  
     
    Bookmark  
  7.  48
    Cartesian Dualism: An Evaluation of Wireduan and Gilbert Ryle's Refutations.Samuel Olusegun Steven - 2011 - Kritike 5 (2):156-165.
    This paper takes a philosophical look at how the views of Gilbert Ryle and Kwasi Wiredu can be used to resolving the mind-body problem located in Rene Descartes’ philosophy. The common sense account of the mind-body theory was first systematically carried out by Descartes. To him, mind and body do not only exist, they also interact. Through his notion of clear and distinct ideas, Descartes infers the existence of the mind as a thinking substance. Unlike the mind, whose character is (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  9
    The Law of the Temple in Ezekiel 40–48.Steven Shawn Tuell (ed.) - 1992 - Brill.
    "In the closing chapters of Ezekiel, a great Temple is described, one reminiscent of Solomon's but in fact like none ever built. From that Temple, a river flows through the land, with healing in its wake; within the Temple dwells the divine Glory, depicted here alone in Ezekiel as coming to rest, never again to be removed. All of these features of Ezekiel's grand vision are embedded in the core of Jewish and Christian devotional and mystical practice. Yet no less (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  42
    Mind, brain and material culture: An archaeological perspective.Steven Mithen - 2000 - In Peter Carruthers & Andrew Chamberlain (eds.), Evolution and the Human Mind: Modularity, Language and Meta-Cognition. Cambridge University Press. pp. 207--217.
  10. Spinoza's Heresy. Immortality and the Jewish Mind.Steven Nadler - 2002 - Tijdschrift Voor Filosofie 64 (3):614-615.
    No categories
     
    Export citation  
     
    Bookmark   11 citations  
  11.  9
    Defending Einstein: Hans Reichenbach's Writings on Space, Time and Motion.Steven Gimbel & Anke Walz (eds.) - 2009 - Cambridge University Press.
    Hans Reichenbach, a philosopher of science who was one of five students in Einstein's first seminar on the general theory of relativity, became Einstein's bulldog, defending the theory against criticism from philosophers, physicists, and popular commentators. This book chronicles the development of Reichenbach's reconstruction of Einstein's theory in a way that clearly sets out all of its philosophical commitments and its physical predictions as well as the battles that Reichenbach fought on its behalf, in both the academic and popular press. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  12.  38
    The Construction of Lay Expertise: AIDS Activism and the Forging of Credibility in the Reform of Clinical Trials.Steven Epstein - 1995 - Science, Technology and Human Values 20 (4):408-437.
    In an unusual instance of lay participation in biomedical research, U.S. AIDS treatment activists have constituted themselves as credible participants in the process of knowledge construction, thereby bringing about changes in the epistemic practices of biomedical research. This article examines the mechanisms or tactics by which these lay activists have constructed their credibility in the eyes of AIDS researchers and government officials. It considers the inwlications of such interventions for the conduct of medical research; examines some of the ironies, tensions, (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   80 citations  
  13. Nirvana and Other Buddhist Felicities: Utopias of the Pali Imaginaire.Steven Collins - 1999 - Utopian Studies 10 (1):176-179.
  14. Introduction.Steven Schwartz - 1977 - In Stephen P. Schwartz (ed.), Naming, necessity, and natural kinds. Ithaca [N.Y.]: Cornell University Press. pp. 13-41.
     
    Export citation  
     
    Bookmark   21 citations  
  15.  49
    Hegel on Slavery and Domination.Steven B. Smith - 1992 - Review of Metaphysics 46 (1):97 - 124.
    DOES SLAVERY EXIST BY NATURE as some throughout history have been taken to believe? Or is slavery merely conventional, sanctioned by the opinions and practices of diverse communities? Is it a punishment for sinfulness or proscribed by the natural law? Can one sell oneself into slavery as the result of a free exchange, or is slavery prohibited by virtue of the natural rights of the individual? Is slavery a necessary moment in the struggle of human beings to attain mutual recognition (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  16. The nature of Regularity and Irregularity: Evidence from Hebrew Nominal Inflection.Steven Pinker & Joseph Shimron - unknown
    Most evidence for the role of regular inflection as a default operation comes from languages that confound the morphological properties of regular and irregular forms with their phonological characteristics. For instance, regular plurals tend to faithfully preserve the base’s phonology, whereas irregular nouns tend to alter it. The distinction between regular and irregular inflection may thus be an epiphenomenon of phonological faithfulness. In Hebrew noun inflection, however, morphological regularity and phonological faithfulness can be distinguished: Nouns whose stems change in the (...)
     
    Export citation  
     
    Bookmark   2 citations  
  17.  25
    Toward the rigorous use of diagrams in reasoning about hardware.Steven D. Johnson, Jon Barwise & Gerard Allwein - 1996 - In Gerard Allwein & Jon Barwise (eds.), Logical reasoning with diagrams. New York: Oxford University Press.
  18.  59
    Ethically related judgments by observers of earnings management.Steven E. Kaplan - 2001 - Journal of Business Ethics 32 (4):285 - 298.
    Merchant and Rockness (1994, p. 92) characterize earnings management as "probably the most important ethical issue facing the accounting profession" and provide initial evidence of the ethical judgments of various organizational members. The current study extends their work by examining the extent to which an individual''s ethically-related judgments in response to earnings management activities are associated with the individual''s role.In an experimental study, evening MBA students read three hypothetical scenarios involving a manager engaging in earnings management. The scenarios involved a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  19. Proper names as predicates.Steven E. Boër - 1975 - Philosophical Studies 27 (6):389 - 400.
  20.  14
    Meaning and negation.Steven Bradley Smith - 1975 - The Hague: Mouton.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  21.  8
    The Metaphysics of Cooperation: A Study of F.D. Maurice.Steven Schroeder (ed.) - 1999 - Rodopi.
    This book takes up the philosophical task described by Samuel Taylor Coleridge and F.D. Maurice as digging toward the common humanity that is the ground of value. The book is an essay in philosophy defined by time (its focal point is the nineteenth century), space (its focal point is Britain), and persons (it is concerned especially with Maurice's contribution to social theory). The first chapter explores the Victorian Age as historical context and background for Maurice's work. The second explores Coleridge's (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  15
    Quantitative results concerning the utility of explanation-based learning.Steven Minton - 1990 - Artificial Intelligence 42 (2-3):363-391.
  23.  14
    The Siren and the Sage: Knowledge and Wisdom in Ancient Greece and China.Steven Shankman & Stephen Durrant - 2000 - Bloomsbury Academic.
    A comparative study of what the most influential writers of Ancient Greece and China thought it meant to have knowledge and whether they distinguished knowledge from other forms of wisdom. It surveys selected works of poetry, history and philosophy from the period of roughly the eighth through to the second century BCE, including Homer's "Odyssey", the ancient Chinese "Classic of Poetry", Thucydides' "History of the Peloponnesian War", Sima Qian's "Records of the Historian", Plato's "Symposium", and Laozi's "Dao de Jing and (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  24.  34
    Philosophy as a Vocation: Heidegger and University Reform in the Early Interwar Years.Steven Galt Crowell - 1997 - History of Philosophy Quarterly 14 (2):255 - 276.
  25. (1 other version)The Medieval Hebrew Encyclopedias of Science and Philosophy. Proceedings of the Bar-Han University Conference.Steven Harvey - 2001 - Tijdschrift Voor Filosofie 63 (4):823-823.
    No categories
     
    Export citation  
     
    Bookmark  
  26. Environmental Science and Public Policy.Steven F. Hayward - 2006 - Social Research: An International Quarterly 73 (3):891-914.
    The article discusses the uncertainty in climate science and the problem this poses for policymakers confronting mitigation policy costs in the U.S. The reasons legitimate scientific uncertainty becomes magnified in the political arena are highlighted. This uncertainty results from the rapid pace of published research, as demonstrated by the paleoclimatology studies in "Nature" and the July 2005 issue of "Science." The author states that the California Air Resources Board seems to refuse to undertake an open reconsideration of the policy implications (...)
     
    Export citation  
     
    Bookmark  
  27.  16
    Using web data to explore lexico-semantic relations.Steven Jones - 2010 - In Petra Storjohann (ed.), Lexical-Semantic Relations: Theoretical and Practical Perspectives. John Benjamins Pub. Company. pp. 28--49.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  13
    ""Identity, Performance, and Secrecy: Gendered Life and the" Modern" in Northern Nigeria.Steven Pierce - 2007 - Feminist Studies 33 (3):539-565.
    Direct download  
     
    Export citation  
     
    Bookmark  
  29. (Adapted from “Words and Rules†Colin Cherry Memorial Lecture 24/3/99 Imperial College, London).Steven Pinker - unknown
    Language comes so naturally to us that we are apt to forget what a strange and miraculous gift it is. Over the next hour you will sit in your chairs listening to a man make noise as he exhales. Why would you do such a thing? Not because the sounds are particularly melodious, but because the sounds convey information in the exact sequence of hisses and hums and squeaks and pops. As you recover the information, you think the thoughts that (...)
    No categories
     
    Export citation  
     
    Bookmark  
  30. Reverse-engineering the psyche.Steven Pinker - 2003 - In Anjum P. Saleemi, Ocke-Schwen Bohn & Albert Gjedde (eds.), In search of a language for the mind-brain: can the multiple perspectives be unified? Oxford: Aarhus University Press ;.
     
    Export citation  
     
    Bookmark   1 citation  
  31.  39
    The Democracy Reader: From Classical to Contemporary Philosophy.Steven M. Cahn, Robert B. Talisse & Andrew Forcehimes (eds.) - 2021 - Lanham, Maryland: Rowman & Littlefield Publishers.
    This timely anthology gathers forty historical and contemporary readings edited for accessibility. Short introductions precede each reading and a general introduction increase student comprehension across the spectrum of readings. The volume is ideal for all levels of students in civics, political theory, and philosophy courses.
    Direct download  
     
    Export citation  
     
    Bookmark  
  32. (1 other version)The Cambridge Companion to Malebranche.Steven Nadler - 2002 - Philosophical Quarterly 52 (207):258-261.
    No categories
     
    Export citation  
     
    Bookmark   4 citations  
  33.  80
    Relative Interpretations.Steven Orey - 1961 - Mathematical Logic Quarterly 7 (7-10):146-153.
  34. Occasionalism and general will in Malebranche.Steven M. Nadler - 1993 - Journal of the History of Philosophy 31 (1):31-47.
    This paper examines a common misreading of the mechanics of Malebranche's doctrine of divine causal agency, occasionalism, and its roots in a related misreading of Malebranche's theories. God, contrary to this misreading, is for Malebranche constantly and actively causally engaged in the world, and does not just establish certain laws of nature. The key is in understanding just what Malebranche means by general volitions'.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  35.  14
    The 16 strivings for God: the new psychology of religious experiences.Steven Reiss - 2015 - Macon, Georgia: Mercer University Press.
    The first comprehensive, psychological theory in over a century--Reiss picks up where William James left off. This ground breaking work will change the way we understand religion. Religion is about the values motivated by the sixteen basic desires of human nature. It has mass appeal because it accommodates the values of people with opposite personality traits. This is the first comprehensive theory of the psychology of religion that can be scientifically verified.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  11
    O eg regie grammatice: The vocative problems of latin words ending in-ius X.Steven Pinker Bowersock, John Penney, Alan Nussbaum, David Langslow, Anna Morpurgo & G. Goetz - 2000 - Classical Quarterly 50:548-562.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37. Moral Sanity or Who Killed Boy Staunton.Steven Burns - 1987 - Canadian Journal of Philosophy, Supplementary Volume 13:227.
    No categories
     
    Export citation  
     
    Bookmark  
  38.  10
    Delineating the Benefits of Arts Education for Children’s Socioemotional Development.Steven J. Holochwost, Thalia R. Goldstein & Dennie Palmer Wolf - 2021 - Frontiers in Psychology 12.
    In this paper, we argue that in order for the study of arts education to continue to advance, we must delineate the effects of particular forms of arts education, offered in certain contexts, on specific domains of children’s socioemotional development. We explain why formulating precise hypotheses about the effects of arts education on children’s socioemotional development requires a differentiated definition of each arts education program or activity in question, as well as a consideration of both the immediate and broader contexts (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39. Proceedings of the British Academy, Volume 115 Biographical Memoirs of Fellows, I.Lukes Steven & Skinner Quentin - 2002
    No categories
     
    Export citation  
     
    Bookmark  
  40.  5
    Spinoza and Toleration.Steven Nadler - 2017 - In . pp. 74-88.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  16
    Explanation-based learning:A problem solving perspective.Steven Minton, Jaime G. Carbonell, Craig A. Knoblock, Daniel R. Kuokka, Oren Etzioni & Yolanda Gil - 1989 - Artificial Intelligence 40 (1-3):63-118.
  42. (1 other version)Marx and the Problem of Conflicting Models of History.Steven Best - 1990 - Philosophical Forum 22 (2):167.
    Some critics argue that Marx has conflicting models of history: a "continuist" model that interprets history as a unified, evolutionary movement, and a "discontinuist" model that sees capitalist society as a break from all preceding social formations. I argue that Marx in fact does have multiple models of history, but that these are not incompatible or contradictory. Rather, Marx adopts a "perspectival" or "contextualist" approach that employs different models to gain different perspectives on the historical process. I provide a close (...)
     
    Export citation  
     
    Bookmark  
  43. In the wake of disaster : Stress, hysteria and the event.Steven D. Brown - 1997 - In Kevin Hetherington & Rolland Munro (eds.), Ideas of Difference: Social Spaces and the Labour of Division. Blackwell Publishers/the Sociological Review.
    No categories
     
    Export citation  
     
    Bookmark  
  44.  40
    Philosophy of education: the essential texts.Steven M. Cahn (ed.) - 2009 - New York: Routledge.
    A study both of the aims of education and the appropriate means of achieving those aims. It is suitable for courses in philosophy of education, foundations of education and the history of ideas.
    Direct download  
     
    Export citation  
     
    Bookmark  
  45. Networks.Steven Galt Crowell, Kelly Olivier & Shannon Lundeen - 2003 - Depaul University.
     
    Export citation  
     
    Bookmark  
  46.  12
    Quantifier meanings: a study in the dimensions of semantic competence.Steven Cushing - 1982 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
  47.  38
    The geometry of weakly minimal types.Steven Buechler - 1985 - Journal of Symbolic Logic 50 (4):1044-1053.
    Let T be superstable. We say a type p is weakly minimal if R(p, L, ∞) = 1. Let $M \models T$ be uncountable and saturated, H = p(M). We say $D \subset H$ is locally modular if for all $X, Y \subset D$ with $X = \operatorname{acl}(X) \cap D, Y = \operatorname{acl}(Y) \cap D$ and $X \cap Y \neq \varnothing$ , dim(X ∪ Y) + dim(X ∩ Y) = dim(X) + dim(Y). Theorem 1. Let p ∈ S(A) be weakly (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  48. Hope, fear, and the politics of immortality.Steven Nadler - 2005 - In Tom Sorell & Graham Alan John Rogers (eds.), Analytic philosophy and history of philosophy. New York: Oxford University Press.
     
    Export citation  
     
    Bookmark   3 citations  
  49.  7
    The Analyst's Experience of the Depressive Position: The Melancholic Errand of Psychoanalysis.Steven H. Cooper - 2016 - Routledge.
    In _The Analyst’s Experience of the Depressive Position: The Melancholic Errand of Psychoanalysis_, Steven Cooper explores a subject matter previously applied more exclusively to patients, but rarely to psychoanalysts. Cooper probes the analyst’s experience of the depressive position in the analytic situation. These experiences include the pleasures and warmth of helping patients to bear what appears unbearable as well as the poignant experiences of, limitation, incompleteness, repetition and disappointment as a vital part of clinical work. He describes a seam (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  96
    Focusing on the Flesh: Merleau-Ponty, Gendlin, and Lived Subjectivity.Steven M. Rosen - 2000 - Lifwynn Correspondence 5 (1):1-14.
1 — 50 / 954