Results for 'Lawrence Wos'

1000+ found
Order:
  1.  3
    The Unit Preference Strategy in Theorem Proving.Lawrence Wos, Daniel Carson & George Robinson - 1967 - Journal of Symbolic Logic 32 (1):117-117.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  8
    Efficiency and Completeness of the Set of Support Strategy in Theorem Proving.Lawrence Wos, George A. Robinson & Daniel F. Carson - 1967 - Journal of Symbolic Logic 32 (1):117-118.
  3.  19
    James R. Slagle. Automatic theorem proving with renamable and semantic resolution. Journal of the Association for Computing Machinery, vol. 14 , pp. 687–697. [REVIEW]Lawrence T. Wos - 1970 - Journal of Symbolic Logic 35 (4):595-596.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  10
    Review: James R. Slagle, Automatic Theorem Proving with Renamable and Semantic Resolution. [REVIEW]Lawrence T. Wos - 1970 - Journal of Symbolic Logic 35 (4):595-596.
  5.  19
    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  
  6.  7
    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  
  7. 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.
  8. 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.
  9.  45
    Moral Perception and Particularity.Lawrence A. Blum - 1994 - New York, NY, USA: Cambridge University Press.
  10.  6
    The Orders of Nature.Lawrence Cahoone - 2013 - State University of New York Press.
    _A systematic theory of naturalism, bridging metaphysics and the science of complexity and emergence._.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  12
    Im Namen der Dinge: John Locke und der Begriff des Wesens.David Wörner - 2019 - Basel: Schwabe Verlag.
    In this monograph I propose to interpret John Locke's view of central metaphysical notions such as substance, essence and identity to the backdrop of his distinction between distinct and confused ideas. I show that Locke draws this traditional distinction in a novel way—as a distinction pertaining only to the way ideas are related to our use of language. This distinction, I argue, allows him to radically rethink traditional questions of metaphysics and to mount a linguistic criticism of traditional metaphysical views (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  39
    The fragile "we": ethical implications of Heidegger's Being and Time.Lawrence Vogel - 1994 - Evanston, Ill.: Northwestern University Press.
    Introduction: Fundamental Ontology as a "Fundamental Ethics" In his "Letter on Humanism" Martin Heidegger claims that the fundamental ontology he works out ...
    Direct download  
     
    Export citation  
     
    Bookmark   17 citations  
  13.  17
    A history of Western ethics.Lawrence C. Becker & Charlotte B. Becker (eds.) - 2003 - New York: Routledge.
    This is a newly revised and updated edition of A History of Western Ethics, a coherent and accessible overview of the most important figures and influential ideas of the history of ethics in the Western philosophical tradition. Written by eleven distinguished scholars, and including a glossary of key terms, this book is an essential reference for students and general readers alike.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  6
    St. Thomas and form as something divine in things.Lawrence Dewan - 2007 - Milwaukee, Wis.: Marquette University Press.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  15.  94
    Encyclopedia of ethics.Lawrence C. Becker & Charlotte B. Becker (eds.) - 2001 - New York: Routledge.
    The editors, working with a team of 325 renowned authorities in the field of ethics, have revised, expanded, and updated this classic encyclopedia. Along with the addition of 150 new entries, all of the original articles have been newly peer-reviewed and revised, bibliographies have been updated throughout, and the overall design of the work has been enhanced for easier access to cross-references and other reference features. New entries include * Aristotelian Ethics * Avicenna * Bad Faith * Beneficence * Categorical (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  16. Consciousness and commentaries.Lawrence Weiskrantz - 1998 - In Stuart R. Hameroff, Alfred W. Kaszniak & Alwyn Scott (eds.), Toward a Science of Consciousness II: The Second Tucson Discussions and Debates. MIT Press.
     
    Export citation  
     
    Bookmark   14 citations  
  17. Perceptual symbol systems.Lawrence W. Barsalou - 1999 - Behavioral and Brain Sciences 22 (4):577-660.
    Prior to the twentieth century, theories of knowledge were inherently perceptual. Since then, developments in logic, statis- tics, and programming languages have inspired amodal theories that rest on principles fundamentally different from those underlying perception. In addition, perceptual approaches have become widely viewed as untenable because they are assumed to implement record- ing systems, not conceptual systems. A perceptual theory of knowledge is developed here in the context of current cognitive science and neuroscience. During perceptual experience, association areas in the (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   723 citations  
  18.  20
    From modernism to postmodernism: an anthology.Lawrence E. Cahoone (ed.) - 1996 - Malden, MA: Blackwell.
    This revised and expanded second edition of Cahoone's classic anthology provides an unparalleled collection of the essential readings in modernism and postmodernism. Places contemporary debate in the context of the criticism of modernity since the seventeenth century. Chronologically and thematically arranged. Indispensable and multidisciplinary resource in philosophy, literature, cultural studies, social theory, and religious studies.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  19. Mining Arguments From 19th Century Philosophical Texts Using Topic Based Modelling.John Lawrence, Chris Reed, Simon McAlister, Andrew Ravenscroft, Colin Allen & David Bourget - 2014 - In John Lawrence, Chris Reed, Simon McAlister, Andrew Ravenscroft, Colin Allen & David Bourget (eds.), Proceedings of the First Workshop on Argumentation Mining. Baltimore, USA: pp. 79-87.
    In this paper we look at the manual analysis of arguments and how this compares to the current state of automatic argument analysis. These considerations are used to develop a new approach combining a machine learning algorithm to extract propositions from text, with a topic model to determine argument structure. The results of this method are compared to a manual analysis.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  7
    Chosŏn hugi sirhak ŭi saengsŏng, palchŏn yŏnʼgu.Yu-han Wŏn - 2003 - Sŏul-si: Hyean.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  20
    Buddhist Philosophy of Language in India: Jñanasrimitra on Exclusion.Lawrence J. McCrea & Parimal G. Patil - 2010 - Columbia University Press.
    Jnanasrimitra (975-1025) was regarded by both Buddhists and non-Buddhists as the most important Indian philosopher of his generation. His theory of exclusion combined a philosophy of language with a theory of conceptual content to explore the nature of words and thought. Jnanasrimitra's theory informed much of the work accomplished at Vikramasila, a monastic and educational complex instrumental to the growth of Buddhism. His ideas were also passionately debated among successive Hindu and Jain philosophers. This volume marks the first English translation (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  22.  2
    L'humanité de l'homme négro-africain: approche préhistorique philosophico-anthropologique et humaniste senghorienne.Emmanuel Biangany Gomanu Tamp'Wo - 2007 - Kinshasa: Éditions Universitaires Logos.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  23. Interpreting Theories: The Case of Statistical Mechanics.Lawrence Sklar - 2003 - In Peter Clark & Katherine Hawley (eds.), Philosophy of science today. Oxford University Press UK. pp. 276--284.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  24. 'The Outcry of Mute Things:'Hans Jonas's Imperative of Responsibility.Lawrence Vogel - 1996 - In David Macauley (ed.), Minding nature: the philosophers of ecology. New York: Guilford Press.
     
    Export citation  
     
    Bookmark   2 citations  
  25. Natural logic.Lawrence S. Moss - 1996 - In Shalom Lappin & Chris Fox (eds.), Handbook of Contemporary Semantic Theory. Hoboken: Wiley-Blackwell.
     
    Export citation  
     
    Bookmark   4 citations  
  26. What Makes Wrongful Discrimination Wrong? Biases, Preferences, Sterotypes [Sic], and Proxies.Lawrence A. Alexander - 1989 - Faculty of Law, University of Toronto.
     
    Export citation  
     
    Bookmark   14 citations  
  27. Marx and Marxism.Lawrence Dallman & Brian Leiter - 2020 - In Martin Kusch (ed.), The Routledge Handbook of Philosophy of Relativism. Routledge. pp. 88-96.
    Many kinds of relativism have been attributed to Karl Marx. We discuss three broad areas of Marx’s thinking: his theories of history, science, and morality. Along the way, we show that Marx is committed to a version of philosophical naturalism that privileges the results of genuine science over alternative ways of understanding the world. This outlook presupposes the possibility of objective knowledge of the world. It follows that Marx is no relativist (at least in the senses we consider). Unlike many (...)
     
    Export citation  
     
    Bookmark  
  28.  47
    The world of Ibn Ṭufayl: interdisciplinary perspectives on Ḥayy ibn Yaqẓān.Lawrence I. Conrad (ed.) - 1996 - New York: E.J. Brill.
    This collection of interdisciplinary essays on a unique work by a physician and political figure in 12th-century Spain and North Africa casts important light on the social and intellectual history of the period and breaks new ground in the critical assessment of medieval Arabic literary works.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Kant on Faith: Religious Assent and the Limits to Knowledge.Lawrence Pasternack - forthcoming - In Matthew Altman (ed.), The Palgrave Kant Handbook. Palgrave.
  30.  20
    Spatial differential and integral operations in human vision: Implications of stabilized retinal image fading.Lawrence E. Arend - 1973 - Psychological Review 80 (5):374-395.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  31. Friendship, Altruism and Morality.Lawrence A. Blum - 1980 - Boston: Routledge.
    Friendship, Altruism, and Morality, originally published in 1980, gives an account of "altruistic emotions" and friendship that brings out their moral value. Blum argues that moral theories centered on rationality, universal principle, obligation, and impersonality cannot capture this moral importance. This was one of the first books in contemporary moral philosophy to emphasize the moral significance of emotions, to deal with friendship as a moral phenomenon, and to challenge the rationalism of standard interpretations of Kant, although Blum’s "sentimentalism" owes more (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   99 citations  
  32.  14
    Focal things and focal practices.Lawrence Haworth - 2000 - In Eric Higgs, Andrew Light & David Strong (eds.), Technology and the good life? Chicago: University of Chicago Press. pp. 55.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  33.  50
    Social Theory and Social Structure.Lawrence Haworth - 1961 - British Journal for the Philosophy of Science 11 (44):345-346.
  34. Tongyanghak irŏkʻe handa: chʻŏrhakchŏk minjokchuŭi.Wŏn-jŏn An - 1989 - Sŏul-si: Taewŏn Chʻulpʻansa.
     
    Export citation  
     
    Bookmark  
  35.  5
    Moral Mysticism in Kant’s Religion of Practical Reason.Joseph P. Lawrence - 2001 - In Predrag Cicovacki, Allen Wood, Carsten Held, Gerold Prauss, Gordon Brittan, Graham Bird, Henry Allison, John H. Zammito, Joseph Lawrence, Karl Ameriks, Ralf Meerbote, Robert Holmes, Robert Howell, Rudiger Bubner, Stanley Rosen, Susan Meld Shell & Yirmiyahu Yovel (eds.), Kant's Legacy: Essays in Honor of Lewis White Beck. Rochester, NY: Boydell & Brewer. pp. 311-332.
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  6
    הנוסחים העבריים של המאמר הרביעי של הביאור האמצעי של אבן רשד לספר המידות על־שם ניקומאכוס לאריסטו.Lawrence V. Averroës, Berman & Samuel ben Judah - 1981 - Yerushalayim: Israel Academy of Sciences and Humanities. Edited by Lawrence V. Berman & Samuel ben Judah.
    Translation of: Talkhaios kitaab al-Akhlaaq, book 4.
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  7
    הביאור האמצעי.Lawrence V. Averroës, Samuel ben Judah & Berman - 1999 - Yerushalayim: ha-Aḳademyah ha-leʼumit ha-Yiśreʼelit le-madaʻim. Edited by Samuel ben Judah & Lawrence V. Berman.
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  11
    2. A New Agenda For Stoic Ethics.Lawrence C. Becker - 1998 - In A New Stoicism. Princeton, NJ: Princeton University Press. pp. 5-7.
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  5
    2. A New Agenda for Stoic Ethics.Lawrence C. Becker - 1998 - In A New Stoicism. Princeton, NJ: Princeton University Press. pp. 5-7.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  2
    Index.Lawrence C. Becker - 1998 - In A New Stoicism. Princeton, NJ: Princeton University Press. pp. 253-264.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  3
    1. The Conceit.Lawrence C. Becker - 1998 - In A New Stoicism. Princeton, NJ: Princeton University Press. pp. 3-4.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  4
    1. The Conceit.Lawrence C. Becker - 1998 - In A New Stoicism. Princeton, NJ: Princeton University Press. pp. 3-4.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  38
    Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains.L. Wos, S. Winker, R. Veroff, B. Smith & L. Henschen - 1983 - Notre Dame Journal of Formal Logic 24 (2):205-223.
  44. Against deriving particularity.Lawrence Blum - 2000 - In Brad Hooker & Margaret Olivia Little (eds.), Moral particularism. New York: Oxford University Press. pp. 205--226.
    No categories
     
    Export citation  
     
    Bookmark   13 citations  
  45. Moral perception and particularity.Lawrence Blum - 1991 - Ethics 101 (4):701-725.
    Most contemporary moral philosophy is concerned with issues of rationality, universality, impartiality, and principle. By contrast Laurence Blum is concerned with the psychology of moral agency. The essays in this collection examine the moral import of emotion, motivation, judgment, perception, and group identifications, and explore how all these psychic capacities contribute to a morally good life. Blum takes up the challenge of Iris Murdoch to articulate a vision of moral excellence that provides a worthy aspiration for human beings. Drawing on (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   145 citations  
  46. Lawrence Lacambra Ypil Poems.Lawrence Lacambra Ypil - 2008 - Budhi: A Journal of Ideas and Culture 12 (2).
    No categories
     
    Export citation  
     
    Bookmark  
  47. Kyŏngyŏng yulliron.Wŏn-su Kim - 1995 - Sŏul: Sŏul Taehakkyo Chʻulpʻanbu.
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  1
    Kidokkyo sahoe yulli: iron kwa silche.Wŏn-gi Pak - 1995 - Sŏul Tʻŭkpyŏlsi: Ihwa Yŏja Taehakkyo Chʻulpʻanbu.
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  7
    Jan z Kluczborka: filozof i teolog Uniwersytetu Krakowskiego.Kazimierz Wójcik - 1995 - Lublin: Red. Wydawnictw Katolickiego Uniwersytetu Lubelskiego.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  6
    Pisarze awangardy dwudziestolecia międzywojennego: autokomentarze: Leśmian--Witkacy--Schulz--Gombrowicz.Tomasz Wójcik (ed.) - 1995 - Warszawa: Wydawn. Nauk. Semper.
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000