Results for 'David Harel'

967 found
Order:
  1.  27
    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.  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  
  7.  30
    Principles of Database Systems.Jeffrey D. Ullman, David Maier, Ashok K. Chandra & David Harel - 1986 - Journal of Symbolic Logic 51 (4):1079-1084.
  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.  90
    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.  22
    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.  16
    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.  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  
  23. 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  
  24. 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  
  25.  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.
  26. 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  
  27. 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  
  28.  35
    The Case Against Privatization.Alon Harel Avihay Dorfman - 2013 - Philosophy and Public Affairs 41 (1):67-102.
  29.  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  
  30.  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  
  31.  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  
  32.  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  
  33.  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  
  34.  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  
  35.  65
    The Case Against Privatization.Avihay Dorfman & Alon Harel - 2013 - Philosophy and Public Affairs 41 (1):67-102.
  36. Parts of Classes.David K. Lewis - 1990 - Blackwell.
  37.  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  
  38.  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  
  39.  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  
  40.  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  
  41.  27
    Theories of rights.Alon Harel - 2004 - In Martin P. Golding & William A. Edmundson (eds.), The Blackwell Guide to the Philosophy of Law and Legal Theory. Oxford, UK: Blackwell. pp. 191–206.
    This chapter contains section titled: Introduction The Nature of Rights: Logic, Substance, and Strength Rights and Their Role in Moral Theory Conclusion References.
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  42.  6
    EEG Correlates of Working Memory Predict Gaze Variability during a Real-World Information Foraging Task.Jeff Nador, Assaf Harel, Ion Juvina & Brad Minnery - 2018 - Frontiers in Human Neuroscience 12.
  43.  39
    The Duty to Criminalize*: To be tortured would be terrible; but to be tortured and also to be someone it was not wrong to torture would be even worse†.Alon Harel - 2015 - Law and Philosophy 34 (1):1-22.
    The state has a duty to protect individuals from violations of their basic rights to life and liberty. But does the state have a duty to criminalize such violations? Further, if there is a duty on the part of the state to criminalize violations, should the duty be constitutionally entrenched? This paper argues that the answer to both questions is positive. The state has a duty not merely to effectively prevent violations of our rights to life and liberty, but also (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  44.  7
    The past can't heal us: the dangers of mandating memory in the name of human rights.Lea David - 2020 - New York: Cambridge University Press.
    In this innovative study, Lea David critically investigates the relationship between human rights and memory, suggesting that, instead of understanding human rights in a normative fashion, human rights should be treated as an ideology. Conceptualizing human rights as an ideology gives us useful theoretical and methodological tools to recognize the real impact human rights has on the ground. David traces the rise of the global phenomenon that is the human rights memorialization agenda, termed 'Moral Remembrance', and explores what (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  8
    Progress, pluralism, and politics: liberalism and colonialism, past and present.David Williams - 2020 - Chicago: McGill-Queen's University Press.
    Liberal thinkers of the eighteenth and nineteenth centuries were alert to the political costs and human cruelties involved in European colonialism, but they also thought that European expansion held out progressive possibilities. In Progress, Pluralism, and Politics David Williams examines the colonial and anti-colonial arguments of Adam Smith, Immanuel Kant, Jeremy Bentham, and L.T. Hobhouse. Williams locates their ambivalent attitude towards European conquest and colonial rule in a set of tensions between the impact of colonialism on European states, the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  6
    Disobedience as Such.Vincent Chiao & Alon Harel - forthcoming - Jurisprudence:1-18.
    Legal philosophers often ask whether a person has a reason to obey the law simply because it is the law. We ask the contrary question: does a person have a reason to disobey the law simply because it is the law? Many philosophers who have considered the question of disobedience have focused on injustice; others have defended disobedience on libertarian or anarchist grounds. In contrast, we argue that there is a content-independent reason to disobey the law even when it is (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  65
    Distributive Justice in Education and Conflicting Interests: Not (Remotely) as Bad as you Think.Tammy Harel Ben-Shahar - 2015 - Journal of Philosophy of Education 49 (4):491-509.
    The importance of education and its profound effect on people's life make it a central issue in discussions of distributive justice. However, promoting distributive justice in education comes at a price: prioritising the education of some, as is often entailed by the principles of justice, inevitably has negative effects on the education of others. As a result, all theories of distributive justice in education face the challenge of balancing their requirements with conflicting interests. This article aims to contribute to developing (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  48.  39
    Imagery of the Divine and the Human: On the Mythology of Genesis Rabba 8 §1.David Aaron - 1996 - Journal of Jewish Thought and Philosophy 5 (1):1-62.
  49.  42
    Thoughts on Time, Space and Existence.David P. Abbott - 1906 - The Monist 16 (3):433-450.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  50. Rosenzweig and Derrida at yom kippur.David Dault - 2005 - In Yvonne Sherwood & Kevin Hart (eds.), Derrida and religion: other testaments. New York: Routledge.
1 — 50 / 967