Results for 'David Harel'

976 found
Order:
  1.  28
    Dynamic Logic.Lenore D. Zuck & David Harel - 1989 - Journal of Symbolic Logic 54 (4):1480.
  2.  37
    Computers Ltd: What They Really Can't Do.David Harel - 2003 - Oxford University Press.
    In Computers Ltd, David Harel, best-selling author of Algorithmics, explains and illustrates one of the most fundamental, yet under-exposed facets of computers - their inherent limitations. Looking at the bad news that is proven, lasting, and robust, discussing limitations that no amounts of hardware, software, talents, or resources can overcome, the book presents a disturbing and provocative view of computing at the start of the 21st century.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  19
    Characterizing Second Order Logic with First Order Quantifiers.David Harel - 1979 - Mathematical Logic Quarterly 25 (25‐29):419-422.
  4.  31
    Characterizing Second Order Logic with First Order Quantifiers.David Harel - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (25-29):419-422.
  5.  30
    Computation paths logic: An expressive, yet elementary, process logic.David Harel & Eli Singerman - 1999 - Annals of Pure and Applied Logic 96 (1-3):167-186.
  6.  31
    Principles of Database Systems.Jeffrey D. Ullman, David Maier, Ashok K. Chandra & David Harel - 1986 - Journal of Symbolic Logic 51 (4):1079-1084.
  7.  14
    Computational Paradigm to Elucidate the Effects of Arts-Based Approaches: Art and Music Studies and Implications for Research and Therapy.Billie Sandak, Avi Gilboa & David Harel - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  20
    Albert R. Meyer and Rohit Parikh. Definability in dynamic logic. Journal of computer and system sciences, vol. 23 , pp. 279–298. [REVIEW]David Harel - 1984 - Journal of Symbolic Logic 49 (4):1420-1421.
  9.  10
    Review: Albert R. Meyer, Rohit Parikh, Definability in Dynamic Logic. [REVIEW]David Harel - 1984 - Journal of Symbolic Logic 49 (4):1420-1421.
  10.  92
    Comments on Alon Harel, "Why Law Matters".David Estlund - 2015 - Jerusalem Review of Legal Studies 2015:1-9.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  82
    Toleration: An Elusive Virtue.David Heyd (ed.) - 1996 - Princeton University Press.
    If we are to understand the concept of toleration in terms of everyday life, we must address a key philosophical and political tension: the call for restraint when encountering apparently wrong beliefs and actions versus the good reasons for interfering with the lives of the subjects of these beliefs and actions. This collection contains original contributions to the ongoing debate on the nature of toleration, including its definition, historical development, justification, and limits. In exploring the issues surrounding toleration, the essays (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   36 citations  
  12.  14
    Whose Right Is It? Reflections on Harel's Reflections on Palestinians' Interest in Return.David Enoch - 2004 - Theoretical Inquiries in Law 5 (2):367-378.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  8
    Review: David Harel, Dynamic Logic. [REVIEW]Lenore D. Zuck - 1989 - Journal of Symbolic Logic 54 (4):1480-1481.
  14.  8
    Review: David Harel, Proving the Correctness of Regular Deterministic Programs: A Unifying Survey Using Dynamic Logic. [REVIEW]Rohit Parikh - 1985 - Journal of Symbolic Logic 50 (2):552-553.
  15.  3
    Review: David Harel, First-Order Dynamic Logic. [REVIEW]Jerzy Tiuryn - 1982 - Journal of Symbolic Logic 47 (2):453-454.
  16. Review of David Harel, Computers Ltd. [REVIEW]Luciano Floridi - 2001 - Times Literary Supplement.
    This paper is a review of Review of David Harel's, Computer Ltd.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  31
    Jeffrey D. Ullman. Principles of database systems. Second edition. Computer software engineering series. Computer Science Press, Rockville, Md., 1982, vii + 484 pp. - David Maier. The theory of relational databases. Computer Science Press, Rockville, Md., 1983, xv + 637 pp. - Ashok K. Chandra and David Harel. Computable queries for relational data bases. Journal of computer and system sciences, vol. 21 , pp. 156–178. [REVIEW]J. A. Makowsky - 1986 - Journal of Symbolic Logic 51 (4):1079-1084.
  18.  25
    Review: Jeffrey D. Ullman, Principles of Database Systems; David Maier, The Theory of Relational Databases; Ashok K. Chandra, David Harel, Computable Queries for Relational Data Bases. [REVIEW]J. A. Makowsky - 1986 - Journal of Symbolic Logic 51 (4):1079-1084.
  19.  23
    Harel David. Dynamic logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by Gabbay D. and Guenthner F., Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984., pp. 497–604. [REVIEW]Lenore D. Zuck - 1989 - Journal of Symbolic Logic 54 (4):1480-1481.
  20.  10
    Harel David. Proving the correctness of regular deterministic programs: a unifying survey using dynamic logic. Theoretical computer science, vol. 12 , pp. 61–81. [REVIEW]Rohit Parikh - 1985 - Journal of Symbolic Logic 50 (2):552-553.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  17
    Harel David. First-order dynamic logic. Lecture notes in computer science, vol. 68. Springer-Verlag, Berlin, Heidelberg, and New York, 1979, X + 133 pp. [REVIEW]Jerzy Tiuryn - 1982 - Journal of Symbolic Logic 47 (2):453-454.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22. Contributions toward perspectives on learning and teaching proof.G. Harel & E. Fuller - 2009 - In Despina A. Stylianou, Maria L. Blanton & Eric J. Knuth (eds.), Teaching and learning proof across the grades: a K-16 perspective. New York: Routledge. pp. 355--370.
    No categories
     
    Export citation  
     
    Bookmark  
  23.  22
    From “sense of number” to “sense of magnitude”: The role of continuous magnitudes in numerical cognition.Tali Leibovich, Naama Katzin, Maayan Harel & Avishai Henik - 2017 - Behavioral and Brain Sciences 40.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   53 citations  
  24. Halakhah u-fesiḳat halakhah be-ʻolam mishtaneh: ʻiyun ben-teḥumi bi-fesiḳotaṿ shel ha-Rav Mosheh Fainshṭain.Harel Gordin - 2007
     
    Export citation  
     
    Bookmark  
  25. Consciousness is Underived Intentionality.David Bourget - 2010 - Noûs 44 (1):32 - 58.
    Representationalists argue that phenomenal states are intentional states of a special kind. This paper offers an account of the kind of intentional state phenomenal states are: I argue that they are underived intentional states. This account of phenomenal states is equivalent to two theses: first, all possible phenomenal states are underived intentional states; second, all possible underived intentional states are phenomenal states. I clarify these claims and argue for each of them. I also address objections which touch on a range (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   59 citations  
  26.  46
    What Mystical Experiences Tell Us About Human Knowledge.David Cycleback - 2021 - In Brain Function and Religion. Seattle (USA): Center for Artifact Studies. pp. 5-15.
    From religion to philosophy to science, all human systems of definition are formed by human brains. The nature and limits of the human brain are the nature and limits of those systems. This essay shows how the human brain works normally then unusually, and what this reveals about the limits of human knowledge. There are many conditions and instances where the brain processes information unusually, including mental disorders, physical events, and drug use. This essay focuses on the neurological events called (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  36
    What does scalar timing tell us about neural dynamics?Harel Z. Shouval, Marshall G. Hussain Shuler, Animesh Agarwal & Jeffrey P. Gavornik - 2014 - Frontiers in Human Neuroscience 8.
  28.  69
    The Psychology of Decision Making.David Cycleback - forthcoming - London (UK): Bookboon.
    This short peer-reviewed text is a concise look at the psychology of how human beings make decisions, including how they form their worldviews and make arguments.
    Direct download  
     
    Export citation  
     
    Bookmark  
  29. Physical Necessitism.David Elohim - unknown
    This paper aims to provide two abductive considerations adducing in favor of the thesis of Necessitism in modal ontology. I demonstrate how instances of the Barcan formula can be witnessed, when the modal operators are interpreted 'naturally' -- i.e., as including geometric possibilities -- and the quantifiers in the formula range over a domain of natural, or concrete, entities and their contingently non-concrete analogues. I argue that, because there are considerations within physics and metaphysical inquiry which corroborate modal relationalist claims (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  30. Do Dead Bodies Pose a Problem for Biological Approaches to Personal Identity?David Hershenov - 2005 - Mind 114 (453):31 - 59.
    Part of the appeal of the biological approach to personal identity is that it does not have to countenance spatially coincident entities. But if the termination thesis is correct and the organism ceases to exist at death, then it appears that the corpse is a dead body that earlier was a living body and distinct from but spatially coincident with the organism. If the organism is identified with the body, then the unwelcome spatial coincidence could perhaps be avoided. It is (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  31. Equality in Education – Why We Must Go All the Way.Tammy Harel Ben-Shahar - 2016 - Ethical Theory and Moral Practice 19 (1):83-100.
    In this paper I present and defend a highly demanding principle of justice in education that has not been seriously discussed thus far. According to the suggested approach, “all the way equality”, justice in education requires nothing short of equal educational outcome between all individual students. This means not merely between equally able children, or between children from different groups and classes, but rather between all children, regardless of social background, race, sex and ability. This approach may seem implausible at (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  32.  35
    The Case Against Privatization.Alon Harel Avihay Dorfman - 2013 - Philosophy and Public Affairs 41 (1):67-102.
  33.  55
    Enquiry Concerning Human Understanding.David Hume (ed.) - 1904 - Clarendon Press.
    Oxford Philosophical Texts Series Editor: John Cottingham The Oxford Philosophical Texts series consists of authoritative teaching editions of canonical texts in the history of philosophy from the ancient world down to modern times. Each volume provides a clear, well laid out text together with a comprehensive introduction by a leading specialist, giving the student detailed critical guidance on the intellectual context of the work and the structure and philosophical importance of the main arguments. Endnotes are supplied which provide further commentary (...)
    Direct download  
     
    Export citation  
     
    Bookmark   575 citations  
  34. Parts of Classes.David K. Lewis - 1990 - Blackwell.
  35.  8
    More on Galois Cohomology, Definability, and Differential Algebraic Groups.Omar León Sánchez, David Meretzky & Anand Pillay - forthcoming - Journal of Symbolic Logic:1-20.
    As a continuation of the work of the third author in [5], we make further observations on the features of Galois cohomology in the general model theoretic context. We make explicit the connection between forms of definable groups and first cohomology sets with coefficients in a suitable automorphism group. We then use a method of twisting cohomology (inspired by Serre’s algebraic twisting) to describe arbitrary fibres in cohomology sequences—yielding a useful “finiteness” result on cohomology sets. Applied to the special case (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  20
    The Philosophical Works of David Hume.David Hume - 2015 - Palala Press.
    This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  37.  11
    Thank You for Hearing My Voice – Listening to Women Combat Veterans in the United States and Israeli Militaries.Shir Daphna-Tekoah, Ayelet Harel-Shalev & Ilan Harpaz-Rotem - 2021 - Frontiers in Psychology 12.
    The military service of combat soldiers may pose many threats to their well being and often take a toll on body and mind, influencing the physical and emotional make-up of combatants and veterans. The current study aims to enhance our knowledge about the combat experiences and the challenges that female soldiers face both during and after their service. The study is based on qualitative methods and narrative analysis of in-depth semi-structured personal interviews with twenty military veterans. It aims to analyze (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  24
    Why Law Matters.Alon Harel - 2014 - Oxford, United Kingdom: Oxford University Press.
    Why Law Matters argues that public institutions and legal procedures are valuable and matter as such, irrespective of their instrumental value. Examining the value of rights, public institutions, and constitutional review, the book criticises instrumentalist approaches in political theory, claiming they fail to account for their enduring appeal.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  39.  37
    The discovery of evolution.David Young - 1992 - New York: Cambridge University Press, in association with Natural History Museum, London.
    The Discovery of Evolution explains what the theory of evolution is all about by providing a historical narrative of discovery. Some of the major puzzles that confront anyone studying living things are discussed and it details how these were solved from an evolutionary perspective. Beginning with the emergence of the early naturalists in the seventeenth century, the scientific discoveries that led up to and then flowed from Darwin and Wallace's theory of evolution by natural selection are then discussed, and finally (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  40.  28
    An Economic Rationale for the Legal Treatment of Omissions in Tort Law: The Principle of Salience.Assaf Jacob & Alon Harel - 2002 - Theoretical Inquiries in Law 3 (2).
    This paper provides an economic justification for the exemption from liability for omissions in torts and for the exceptions to this exemption. It interprets the differential treatment of acts and omissions under tort law as a proxy for a more fundamental distinction between harms caused by multiple injurers, where each one can single-handedly prevent the harm, and harms caused by a single injurer. Since the overall cost to which a group of injurers is exposed is constant, attributing liability to many (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  11
    Quel autre?: l'altérité en question.Pierre Ouellet & Simon Harel (eds.) - 2007 - Montréal: VLB éditeur.
    L'altérité est l'un des phénomènes les plus étudiés et l'un des concepts les plus utilisés au cours des trente dernières années, mais c'est aussi une notion des plus polysémiques et des plus controversées, jusque dans les usages idéologiques qu'on peut en faire aujourd'hui. Ce livre interroge les bases philosophiques, le contexte sociohistorique et la portée éthique et esthétique de ce phénomène ou de cette notion à la lumière de ses différentes valeurs. L'autre est à la fois l'étranger, exclu ou minorisé, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  61
    Why only the state may inflict criminal sanctions: The case against privately inflicted sanctions: Alon Harel.Alon Harel - 2008 - Legal Theory 14 (2):113-133.
    Criminal sanctions are typically inflicted by the state. The central role of the state in determining the severity of these sanctions and inflicting them requires justification. One justification for state-inflicted sanctions is simply that the state is more likely than other agents to determine accurately what a wrongdoer justly deserves and to inflict a just sanction on those who deserve it. Hence, in principle, the state could be replaced by other agents, for example, private individuals. This hypothesis has given rise (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  43.  65
    The Case Against Privatization.Avihay Dorfman & Alon Harel - 2013 - Philosophy and Public Affairs 41 (1):67-102.
  44. In the interest of the governed: a study in Bentham's philosophy of utility and law.David Lyons - 1991 - New York: Oxford University Press.
    Although known as the founder of modern utilitarianism and the source of analytical jurisprudence, Bentham today is infrequently read but often caricatured. The present book offers a reinterpretation of Bentham's main philosophical doctrines, his principle of utility and his analysis of law, philosophical doctrines, as they are developed in Bentham's most important works. A new reading is also given to his theory of law, which suggests Bentham's insight, originality, and continued interest for philosophers and legal theorists. First published in 1973, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  45. Papers in Metaphysics and Epistemology: Volume 2.David Lewis - 1999 - Cambridge, UK ;: Cambridge University Press.
    This volume is devoted to Lewis's work in metaphysics and epistemology. Topics covered include properties, ontology, possibility, truthmaking, probability, the mind-body problem, vision, belief, and knowledge. The purpose of this collection, and the volumes that precede and follow it, is to disseminate more widely the work of an eminent and influential contemporary philosopher. The volume will serve as a useful work of reference for teachers and students of philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark   158 citations  
  46.  92
    Wholeness and the implicate order.David Bohm - 1980 - New York: Routledge.
    In this classic work David Bohm, writing clearly and without technical jargon, develops a theory of quantum physics which treats the totality of existence as an unbroken whole.
    Direct download  
     
    Export citation  
     
    Bookmark   298 citations  
  47.  20
    How Configural Is the Configural Superiority Effect? A Neuroimaging Investigation of Emergent Features in Visual Cortex.Olivia M. Fox, Assaf Harel & Kevin B. Bennett - 2017 - Frontiers in Psychology 8.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  8
    Can AI-Based Decisions be Genuinely Public? On the Limits of Using AI-Algorithms in Public Institutions.Alon Harel & Gadi Perl - 2024 - Jus Cogens 6 (1):47-64.
    AI-based algorithms are used extensively by public institutions. Thus, for instance, AI algorithms have been used in making decisions concerning punishment providing welfare payments, making decisions concerning parole, and many other tasks which have traditionally been assigned to public officials and/or public entities. We develop a novel argument against the use of AI algorithms, in particular with respect to decisions made by public officials and public entities. We argue that decisions made by AI algorithms cannot count as public decisions, namely (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49. Could a large language model be conscious?David J. Chalmers - 2023 - Boston Review 1.
    [This is an edited version of a keynote talk at the conference on Neural Information Processing Systems (NeurIPS) on November 28, 2022, with some minor additions and subtractions.] -/- There has recently been widespread discussion of whether large language models might be sentient or conscious. Should we take this idea seriously? I will break down the strongest reasons for and against. Given mainstream assumptions in the science of consciousness, there are significant obstacles to consciousness in current models: for example, their (...)
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  50.  63
    Positional Goods and the Size of Inequality.Tammy Harel Ben Shahar - 2017 - Journal of Political Philosophy 26 (1):103-120.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
1 — 50 / 976