Results for 'Vardi Joel'

1000+ found
Order:
  1.  48
    Finite Model Theory and its Applications.Erich Grädel, Phokion Kolaitis, Libkin G., Marx Leonid, Spencer Maarten, Vardi Joel, Y. Moshe, Yde Venema & Scott Weinstein - 2007 - Springer.
    This book gives a comprehensive overview of central themes of finite model theory – expressive power, descriptive complexity, and zero-one laws – together with selected applications relating to database theory and artificial intelligence, especially constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, emphasizing the continuity in spirit and technique with finite model theory. This underlying spirit involves the use of various fragments of and hierarchies within first-order, second-order, fixed-point, and infinitary logics (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2.  82
    The Effects of Organizational and Ethical Climates on Misconduct at Work.Yoav Vardi - 2001 - Journal of Business Ethics 29 (4):325 - 337.
    Questionnaire data obtained from 97 supervisory and nonsupervisory employees representing the Production, Production Services, Marketing, and Administration departments of an Israeli metal production plant were used to test the relationship between selected personal and organizational attributes and work related misbehavior. Following Vardi and Wiener''s (1996) framework, Organizational Misbehavior (OMB) was defined as intentional acts that violate formal core organizational rules. We found that there was a significant negative relationship between Organizational Climate and OMB, and between the Organizational Climate dimensions (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   62 citations  
  3.  68
    Omnipotence or Fusion? A Conversation Between Axel Honneth and Joel Whitebook.Axel Honneth & Joel Whitebook - 2016 - Constellations 23 (2):170-179.
  4.  21
    Verification of Concurrent Programs: The Automata-Theoretic Framework.Moshe Y. Vardi - 1991 - Annals of Pure and Applied Logic 51 (1-2):79-98.
    Vardi, M.Y., Verification of concurrent programs: the automata-theoretic framework, Annals of Pure and Applied Logic 51 79–98. We present an automata-theoretic framework to the verification of concurrent and nondeterministic programs. The basic idea is that to verify that a program P is correct one writes a program A that receives the computation of P as input and diverges only on incorrect computations of P. Now P is correct if and only if a program PA, obtained by combining P and (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  21
    Why Ethical Philosophy Needs to Be Comparative: Joel J. Kupperman.Joel J. Kupperman - 2010 - Philosophy 85 (2):185-200.
    Principles can seem as entrenched in moral experience as Kant thinks space, time, and the categories are in human experience of the world. However not all cultures have such a view. Classical Indian and Chinese philosophies treat modification of the self as central to ethics. Decisions in particular cases and underlying principles are much less discussed. Ethics needs comparative philosophy in order not to be narrow in its concerns. A broader view can give weight to how people sometimes can change (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  23
    Review: Ronald Fagin, Moshe Y. Vardi, Knowledge and Implicit Knowledge in a Distributed Environment: Preliminary Report.William J. Rapaport, Ronald Fagin & Moshe Y. Vardi - 1988 - Journal of Symbolic Logic 53 (2):667.
  7.  36
    Joel Hildebrand.Joel Hildebrand - 1972 - Perspectives in Biology and Medicine 16 (1):88-111.
  8.  63
    Reasoning About Knowledge.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Vardi - 1995 - MIT Press.
    Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed ...
    Direct download  
     
    Export citation  
     
    Bookmark   348 citations  
  9. On Epistemic Logic and Logical Omniscience.William J. Rapaport & Moshe Y. Vardi - 1988 - Journal of Symbolic Logic 53 (2):668.
    Review of Joseph Y. Halpern (ed.), Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1986 Conference (Los Altos, CA: Morgan Kaufmann, 1986),.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  10. Harm to Self.Joel Feinberg - 1986
  11.  42
    Axiological Realism: Joel J. Kupperman.Joel J. Kupperman - 1996 - Philosophy 71 (276):185-203.
    Many would consider the lengthening debate between moral realists and anti-realists to be draw-ish. Plainly new approaches are needed. Or might the issue, which most broadly concerns realism in relation to normative judgments, be broken down into parts or sectors? Physicists have been saying, in relation to a similarly longstanding debate, that light in some respects behaves like waves and in some respects like particles. Might realism be more plausible in relation to some kinds of normative judgments than others?
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12. Social Philosophy.Joel Feinberg - 1973 - Englewood Cliffs, N.J., Prentice-Hall.
  13. Intuitions as Evidence.Joel Pust - 2000 - Routledge.
    This book is concerned with the role of intuitions in the justification of philosophical theory. The author begins by demonstrating how contemporary philosophers, whether engaged in case-driven analysis or seeking reflective equilibrium, rely on intuitions as evidence for their theories. The author then provides an account of the nature of philosophical intuitions and distinguishes them from other psychological states. Finally, the author defends the use of intuitions as evidence by demonstrating that arguments for skepticism about their evidential value are either (...)
    Direct download  
     
    Export citation  
     
    Bookmark   73 citations  
  14. Intuition.Joel Pust - 2017 - Stanford Encyclopedia of Philosophy.
    This entry addresses the nature and epistemological role of intuition by considering the following questions: (1) What are intuitions?, (2) What roles do they serve in philosophical (and other “armchair”) inquiry?, (3) Ought they serve such roles?, (4) What are the implications of the empirical investigation of intuitions for their proper roles?, and (5) What is the content of intuitions prompted by the consideration of hypothetical cases?
    Direct download  
     
    Export citation  
     
    Bookmark   27 citations  
  15. Seeing Other People.Joel Smith - 2010 - Philosophy and Phenomenological Research 81 (3):731-748.
    I present a perceptual account of other minds that combines a Husserlian insight about perceptual experience with a functionalist account of mental properties.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   73 citations  
  16. Joel Feinberg and the Justification of Hard Paternalism.Richard J. Arneson - 2005 - Legal Theory 11 (3):259-284.
    Joel Feinberg was a brilliant philosopher whose work in social and moral philosophy is a legacy of excellent, even stunning achievement. Perhaps his most memorable achievement is his four-volume treatise on The Moral Limits of the Criminal Law, and perhaps the most striking jewel in this crowning achievement is his passionate and deeply insightful treatment of paternalism.1 Feinberg opposes Legal Paternalism, the doctrine that “it is always a good reason in support of a [criminal law] prohibition that it is (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   38 citations  
  17. Seeing Mind in Action.Joel Krueger - 2012 - Phenomenology and the Cognitive Sciences 11 (2):149-173.
    Much recent work on empathy in philosophy of mind and cognitive science has been guided by the assumption that minds are composed of intracranial phenomena, perceptually inaccessible and thus unobservable to everyone but their owners. I challenge this claim. I defend the view that at least some mental states and processes—or at least some parts of some mental states and processes—are at times visible, capable of being directly perceived by others. I further argue that, despite its initial implausibility, this view (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   60 citations  
  18. The Nature and Value of Rights.Joel Feinberg & Jan Narveson - 1970 - Journal of Value Inquiry 4 (4):243-260.
  19. The Phenomenology of Face‐to‐Face Mindreading.Joel Smith - 2015 - Philosophy and Phenomenological Research 90 (2):274-293.
    I defend a perceptual account of face-to-face mindreading. I begin by proposing a phenomenological constraint on our visual awareness of others' emotional expressions. I argue that to meet this constraint we require a distinction between the basic and non-basic ways people, and other things, look. I offer and defend just such an account.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  20. The Child's Right to an Open Future.Joel Feinberg - 2007 - In Randall R. Curren (ed.), Philosophy of Education: An Anthology. Blackwell.
  21. Against Personal Ventilator Reallocation.Joel Michael Reynolds, Laura Guidry-Grimes & Katie Savin - 2020 - Cambridge Quarterly of Healthcare Ethics 30 (1):1-13.
    The COVID-19 pandemic has led to intense conversations about ventilator allocation and reallocation during a crisis standard of care. Multiple voices in the media and multiple state guidelines mention reallocation as a possibility. Drawing upon a range of neuroscientific, phenomenological, ethical, and socio-political considerations, we argue that taking away someone’s personal ventilator is a direct assault on their bodily and social integrity. We conclude that personal ventilators should not be part of reallocation pools and that triage protocols should be immediately (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22. Seeing Subjectivity: Defending a Perceptual Account of Other Minds.Joel Krueger & Søren Overgaard - 2012 - ProtoSociology (47):239-262.
    The problem of other minds has a distinguished philosophical history stretching back more than two hundred years. Taken at face value, it is an epistemological question: it concerns how we can have knowledge of, or at least justified belief in, the existence of minds other than our own. In recent decades, philosophers, psychologists, neuroscientists, anthropologists and primatologists have debated a related question: how we actually go about attributing mental states to others (regardless of whether we ever achieve knowledge or rational (...)
    Direct download  
     
    Export citation  
     
    Bookmark   41 citations  
  23. The Expressive Function of Punishment.Joel Feinberg - 1965 - The Monist 49 (3):397-423.
  24. Doing & Deserving: Essays in the Theory of Responsibility.Joel Feinberg - 1970 - Princeton: Princeton University Press.
  25. The Moral Limits of the Criminal Law.Joel Feinberg - 1984 - Oxford University Press.
    In this volume, Feinberg focuses on the meanings of "interest," the relationship between interests and wants, and the distinction between want-regarding and ideal-regarding analyses on interest and hard cases for the applications of the concept of harm. Examples of the "hard cases" are harm to character, vicarious harm, and prenatal and posthumous harm. Feinberg also discusses the relationship between harm and rights, the concept of a victim, and the distinctions of various quantitative dimensions of harm, consent, and offense, including the (...)
     
    Export citation  
     
    Bookmark   75 citations  
  26. “What If There's Something Wrong with Her?”‐How Biomedical Technologies Contribute to Epistemic Injustice in Healthcare.Joel Michael Reynolds - 2020 - Southern Journal of Philosophy 58 (1):161-185.
    While there is a steadily growing literature on epistemic injustice in healthcare, there are few discussions of the role that biomedical technologies play in harming patients in their capacity as knowers. Through an analysis of newborn and pediatric genetic and genomic sequencing technologies (GSTs), I argue that biomedical technologies can lead to epistemic injustice through two primary pathways: epistemic capture and value partitioning. I close by discussing the larger ethical and political context of critical analyses of GSTs and their broader (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27. Extended Cognition and the Space of Social Interaction.Joel Krueger - 2011 - Consciousness and Cognition 20 (3):643-657.
    The extended mind thesis (EM) asserts that some cognitive processes are (partially) composed of actions consisting of the manipulation and exploitation of environmental structures. Might some processes at the root of social cognition have a similarly extended structure? In this paper, I argue that social cognition is fundamentally an interactive form of space management—the negotiation and management of ‘‘we-space”—and that some of the expressive actions involved in the negotiation and management of we-space (gesture, touch, facial and whole-body expressions) drive basic (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  28. The Set-Theoretic Multiverse.Joel David Hamkins - 2012 - Review of Symbolic Logic 5 (3):416-449.
    The multiverse view in set theory, introduced and argued for in this article, is the view that there are many distinct concepts of set, each instantiated in a corresponding set-theoretic universe. The universe view, in contrast, asserts that there is an absolute background set concept, with a corresponding absolute set-theoretic universe in which every set-theoretic question has a definite answer. The multiverse position, I argue, explains our experience with the enormous range of set-theoretic possibilities, a phenomenon that challenges the universe (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   46 citations  
  29.  43
    Learning From Asian Philosophy.Joel J. Kupperman - 1999 - Oxford University Press.
    In an attempt to bridge the vast divide between classical Asian thought and contemporary Western philosophy, Joel J. Kupperman finds that the two traditions do not, by and large, supply different answers to the same questions. Rather, each tradition is searching for answers to their own set of questions--mapping out distinct philosophical investigations. In this groundbreaking book, Kupperman argues that the foundational Indian and Chinese texts include lines of thought that can enrich current philosophical practice, and in some cases (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  30. Collective Responsibility.Joel Feinberg - 1968 - Journal of Philosophy 65 (21):674-688.
  31.  87
    Review of A Priori Justification. [REVIEW]Joel Pust - 2005 - Mind 114 (453):124-128.
  32. Reason and Responsibility Readings in Some Basic Problems of Philosophy /Edited by Joel Feinberg. --. --.Joel Feinberg - 1981 - Wadsworth Pub. Co., C1981.
     
    Export citation  
     
    Bookmark  
  33. Adaptations and Innovations: Studies on the Interaction Between Jewish and Islamic Thought and Literature From the Early Middle Ages to the Late Twentieth Century, Dedicated to Professor Joel L. Kraemer.Joel L. Kraemer, Y. Tzvi Langermann & Jossi Stern (eds.) - 2007 - Peeters.
  34.  28
    Music-Animated Body. Interview with Joel Krueger.Joel Krueger - 2011 - Avant: Trends in Interdisciplinary Studies 2 (1).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35. Measurement in Psychology: A Critical History of a Methodological Concept.Joel Michell - 1999 - Cambridge University Press.
    This book traces how such a seemingly immutable idea as measurement proved so malleable when it collided with the subject matter of psychology. It locates philosophical and social influences reshaping the concept and, at the core of this reshaping, identifies a fundamental problem: the issue of whether psychological attributes really are quantitative. It argues that the idea of measurement now endorsed within psychology actually subverts attempts to establish a genuinely quantitative science and it urges a new direction. It relates views (...)
     
    Export citation  
     
    Bookmark   29 citations  
  36. Noncomparative Justice.Joel Feinberg - 1974 - Philosophical Review 83 (3):297-338.
  37.  44
    On the Decision Problem for Two-Variable First-Order Logic.Erich Grädel, Phokion G. Kolaitis & Moshe Y. Vardi - 1997 - Bulletin of Symbolic Logic 3 (1):53-69.
    We identify the computational complexity of the satisfiability problem for FO 2 , the fragment of first-order logic consisting of all relational first-order sentences with at most two distinct variables. Although this fragment was shown to be decidable a long time ago, the computational complexity of its decision problem has not been pinpointed so far. In 1975 Mortimer proved that FO 2 has the finite-model property, which means that if an FO 2 -sentence is satisfiable, then it has a finite (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  38.  77
    Photography, Vision, and Representation.Joel Snyder & Neil Walsh Allen - 1975 - Critical Inquiry 2 (1):143-169.
    Is there anything peculiarly "photographic" about photography—something which sets it apart from all other ways of making pictures? If there is, how important is it to our understanding of photographs? Are photographs so unlike other sorts of pictures as to require unique methods of interpretation and standards of evaluation? These questions may sound artificial, made up especially for the purpose of theorizing. But they have in fact been asked and answered not only by critics and photographers but by laymen. Furthermore, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  39. Doing Things with Music.Joel W. Krueger - 2011 - Phenomenology and the Cognitive Sciences 10 (1):1-22.
    This paper is an exploration of how we do things with music—that is, the way that we use music as an esthetic technology to enact micro-practices of emotion regulation, communicative expression, identity construction, and interpersonal coordination that drive core aspects of our emotional and social existence. The main thesis is: from birth, music is directly perceived as an affordance-laden structure. Music, I argue, affords a sonic world, an exploratory space or nested acoustic environment that further affords possibilities for, among other (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  40.  18
    Dutch Books and Logical Form.Joel Pust - forthcoming - Philosophy of Science.
    Dutch Book Arguments (DBAs) have been invoked to support various requirements of rationality. Some are plausible: probabilism and conditionalization. Others are less so: credal transparency and reflection. Anna Mahtani has argued for a new understanding of DBAs which, she claims, allow us to keep the DBAs for probabilism (and perhaps conditionalization) and reject the DBAs for credal transparency and reflection. I argue that Mahtani’s new account fails as (a) it does not support highly plausible requirements of rational coherence and (b) (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Autonomy, Vulnerability, Recognition, and Justice.Joel Anderson & Axel Honneth - 2005 - In John Christman & Joel Anderson (eds.), Autonomy and the Challenges to Liberalism: New Essays. New York: pp. 127-149.
    One of liberalism’s core commitments is to safeguarding individuals’ autonomy. And a central aspect of liberal social justice is the commitment to protecting the vulnerable. Taken together, and combined with an understanding of autonomy as an acquired set of capacities to lead one’s own life, these commitments suggest that liberal societies should be especially concerned to address vulnerabilities of individuals regarding the development and maintenance of their autonomy. In this chapter, we develop an account of what it would mean for (...)
     
    Export citation  
     
    Bookmark   60 citations  
  42. Legal Paternalism.Joel Feinberg - 1971 - Canadian Journal of Philosophy 1 (1):105 - 124.
    The principle of legal paternalism justifies state coercion to protect individuals from self-inflicted harm, or in its extreme version, to guide them, whether they like it or not, toward their own good. Parents can be expected to justify their interference in the lives of their children on the ground that “daddy knows best.” legal paternalism seems to imply that since the state often can know the interests of individual citizens better than the citizens know them themselves, it stands as a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   63 citations  
  43.  36
    Church's Problem Revisited.Orna Kupferman & Moshe Y. Vardi - 1999 - Bulletin of Symbolic Logic 5 (2):245-263.
    In program synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. When the system is open, then at each moment it reads input signals and writes output signals, which depend on the input signals and the history of the computation so far. The specification considers all possible input sequences. Thus, if the specification is linear, it should hold in every computation generated by the interaction, and if the specification is branching, it should hold in (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44. A Theory of Emotion.Joel Marks - 1982 - Philosophical Studies 42 (1):227-242.
    I argue that emotions are belief/desire sets characterized by strong desire.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   65 citations  
  45. Wrongful Life and the Counterfactual Element in Harming.Joel Feinberg - 1986 - Social Philosophy and Policy 4 (1):145.
    I shall be concerned in this paper with some philosophical puzzles raised by so-called “wrongful life” suits. These legal actions are obviously of great interest to lawyers and physicians, but philosophers might have a kind of professional interest in them too, since in a remarkably large number of them, judges have complained that the issues are too abstruse for the courts and belong more properly to philosophers and theologians. The issues that elicit this judicial frustration are those that require the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   50 citations  
  46.  42
    Probabilistic Coherence and Proper Scoring Rules.Joel Predd, Robert Seiringer, Elliott Lieb, Daniel Osherson, H. Vincent Poor & Sanjeev Kulkarni - 2009 - IEEE Transactions on Information Theory 55 (10):4786-4792.
    We provide self-contained proof of a theorem relating probabilistic coherence of forecasts to their non-domination by rival forecasts with respect to any proper scoring rule. The theorem recapitulates insights achieved by other investigators, and clarifi es the connection of coherence and proper scoring rules to Bregman divergence.
    Direct download  
     
    Export citation  
     
    Bookmark   45 citations  
  47.  63
    Species Concepts and Speciation Analysis.Joel Cracraft - 1983 - In R. F. Johnston (ed.), Current Ornithology. Plenum Press. pp. 159-87.
  48. Voluntary Euthanasia and the Inalienable Right to Life.Joel Feinberg - 1978 - Philosophy and Public Affairs 7 (2):93-123.
  49. Hybrid Models, Climate Models, and Inference to the Best Explanation.Joel Katzav - 2013 - British Journal for the Philosophy of Science 64 (1):107-129.
    I examine the warrants we have in light of the empirical successes of a kind of model I call ‘ hybrid models ’, a kind that includes climate models among its members. I argue that these warrants ’ strengths depend on inferential virtues that are not just explanatory virtues, contrary to what would be the case if inference to the best explanation provided the warrants. I also argue that the warrants in question, unlike those IBE provides, guide inferences only to (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  50. Explanation in Dynamical Cognitive Science.Joel Walmsley - 2008 - Minds and Machines 18 (3):331-348.
    In this paper, I outline two strands of evidence for the conclusion that the dynamical approach to cognitive science both seeks and provides covering law explanations. Two of the most successful dynamical models—Kelso’s model of rhythmic finger movement and Thelen et al.’s model of infant perseverative reaching—can be seen to provide explanations which conform to the famous explanatory scheme first put forward by Hempel and Oppenheim. In addition, many prominent advocates of the dynamical approach also express the provision of this (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   21 citations  
1 — 50 / 1000