Results for 'Y. Moshe'

956 found
Order:
  1. The naturalness of the artificial and our concepts of health, disease and medicine.Y. Michael Barilan & Moshe Weintraub - 2001 - Medicine, Health Care and Philosophy 4 (3):311-325.
    This article isolates ten prepositions, which constitute the undercurrent paradigm of contemporary discourse of health disease and medicine. Discussion of the interrelationship between those prepositions leads to a systematic refutation of this paradigm. An alternative set is being forwarded. The key notions of the existing paradigm are that health is the natural condition of humankind and that disease is a deviance from that nature. Natural things are harmonious and healthy while human made artifacts are coercive interference with natural balance. It (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  2.  43
    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 A, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3. Reasoning about knowledge.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Vardi - 2003 - Cambridge: 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   362 citations  
  4. Persuasion as Respect for Persons: An Alternative View of Autonomy and of the Limits of Discourse.Moshe Weintraub & Y. Michael Barilan - 2001 - Journal of Medicine and Philosophy 26 (1):13-34.
    The article calls for a departure from the common concept of autonomy in two significant ways: it argues for the supremacy of semantic understanding over procedure, and claims that clinicians are morally obliged to make a strong effort to persuade patients to accept medical advice. We interpret the value of autonomy as derived from the right persons have to respect, as agents who can argue, persuade and be persuaded in matters of utmost personal significance such as decisions about medical care. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  5. Pantagruelism: A Rabelaisian inspiration for Understanding Poisoning, Euthanasia and Abortion in The Hippocratic Oath and in Contemporary Clinical Practice.Y. Michael Barilan & Moshe Weintraub - 2001 - Theoretical Medicine and Bioethics 22 (3):269-286.
    Contrary to the common view, this paper suggests that the Hippocratic oath does not directly refer to the controversial subjects of euthanasia and abortion. We interpret the oath in the context of establishing trust in medicine through departure from Pantagruelism. Pantagruelism is coined after Rabelais' classic novel Gargantua and Pantagruel. His satire about a wonder herb, Pantagruelion, is actually a sophisticated model of anti-medicine in which absence of independent moral values and of properly conducted research fashion a flagrant over-medicalization of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  84
    On the unusual effectiveness of logic in computer science.Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi & Victor Vianu - 2001 - Bulletin of Symbolic Logic 7 (2):213-236.
    In 1960, E. P. Wigner, a joint winner of the 1963 Nobel Prize for Physics, published a paper titled On the Unreasonable Effectiveness of Mathematics in the Natural Sciences [61]. This paper can be construed as an examination and affirmation of Galileo's tenet that “The book of nature is written in the language of mathematics”. To this effect, Wigner presented a large number of examples that demonstrate the effectiveness of mathematics in accurately describing physical phenomena. Wigner viewed these examples as (...)
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  7.  39
    Common knowledge revisited.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Y. Vardi - 1999 - Annals of Pure and Applied Logic 96 (1-3):89-105.
  8.  17
    A nonstandard approach to the logical omniscience problem.Ronald Fagin, Joseph Y. Halpern & Moshe Y. Vardi - 1995 - Artificial Intelligence 79 (2):203-240.
  9. What is an inference rule?Ronald Fagin, Joseph Y. Halpern & Moshe Y. Vardi - 1992 - Journal of Symbolic Logic 57 (3):1018-1045.
    What is an inference rule? This question does not have a unique answer. One usually finds two distinct standard answers in the literature; validity inference $(\sigma \vdash_\mathrm{v} \varphi$ if for every substitution $\tau$, the validity of $\tau \lbrack\sigma\rbrack$ entails the validity of $\tau\lbrack\varphi\rbrack)$, and truth inference $(\sigma \vdash_\mathrm{t} \varphi$ if for every substitution $\tau$, the truth of $\tau\lbrack\sigma\rbrack$ entails the truth of $\tau\lbrack\varphi\rbrack)$. In this paper we introduce a general semantic framework that allows us to investigate the notion of inference (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  10.  67
    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   2 citations  
  11.  67
    Reasoning about Knowledge: A Response by the Authors. [REVIEW]Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Y. Vardi - 1997 - Minds and Machines 7 (1):113-113.
  12.  30
    Computer Ethics and Care.Rodrigo Ferreira & Moshe Y. Vardi - 2020 - Teaching Ethics 20 (1-2):139-156.
    Following increasing public concern over the ethical and social implications of contemporary technology, computer science departments around the world have recently increased their efforts to incorporate ethics into their educational curriculum. For our redesigned undergraduate course on Computer Ethics at Rice University, in addition to teaching variety of fundamental ethical theories and approaches to technology, we also sought to emphasize the role of “social” technologies in mediating moral relations and to encourage students to consider moral decision-making, rather than as an (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13. 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 (8 more)  
     
    Export citation  
     
    Bookmark   36 citations  
  14.  22
    Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions.Anastasios Kyrillidis, Anshumali Shrivastava, Moshe Y. Vardi & Zhiwei Zhang - 2021 - Artificial Intelligence 299 (C):103559.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  70
    BDD-based decision procedures for the modal logic K ★.Guoqiang Pan, Ulrike Sattler & Moshe Y. Vardi - 2006 - Journal of Applied Non-Classical Logics 16 (1-2):169-207.
    We describe BDD-based decision procedures for the modal logic K. Our approach is inspired by the automata-theoretic approach, but we avoid explicit automata construction. Instead, we compute certain fixpoints of a set of types — which can be viewed as an on-the-fly emptiness of the automaton. We use BDDs to represent and manipulate such type sets, and investigate different kinds of representations as well as a “level-based” representation scheme. The latter turns out to speed up construction and reduce memory consumption (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  16.  21
    SAT-based explicit LTL f satisfiability checking.Jianwen Li, Geguang Pu, Yueling Zhang, Moshe Y. Vardi & Kristin Y. Rozier - 2020 - Artificial Intelligence 289 (C):103369.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  74
    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)  
     
    Export citation  
     
    Bookmark  
  18.  45
    Relating word and tree automata.Orna Kupferman, Shmuel Safra & Moshe Y. Vardi - 2006 - Annals of Pure and Applied Logic 138 (1):126-146.
    In the automata-theoretic approach to verification, we translate specifications to automata. Complexity considerations motivate the distinction between different types of automata. Already in the 60s, it was known that deterministic Büchi word automata are less expressive than nondeterministic Büchi word automata. The proof is easy and can be stated in a few lines. In the late 60s, Rabin proved that Büchi tree automata are less expressive than Rabin tree automata. This proof is much harder. In this work we relate the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  19. (3 other versions)Mesilat yesharim: nidpas le-ʻi. n. ha-ḳedoshim she-neʼesfu ba-Shoʼah, h.y.d.Moshe Hayyim Luzzatto - 1906 - Minkhen: Maḥaziḳe ha-dat. Edited by Joseph Wohlgemuth.
     
    Export citation  
     
    Bookmark  
  20.  79
    The Bicameral Postulates and Indices of a Priori Voting Power.Dan S. Felsenthal, Moshé Machover & William Zwicker - 1998 - Theory and Decision 44 (1):83-116.
    If K is an index of relative voting power for simple voting games, the bicameral postulate requires that the distribution of K -power within a voting assembly, as measured by the ratios of the powers of the voters, be independent of whether the assembly is viewed as a separate legislature or as one chamber of a bicameral system, provided that there are no voters common to both chambers. We argue that a reasonable index – if it is to be used (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  21.  69
    Moshe Halbertal: HaRambam.George Y. Kohler - 2010 - Zeitschrift für Religions- Und Geistesgeschichte 62 (3):301-303.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  22.  24
    Moshe Halbertal y Stephen Holmes, The Beginning of Politics. Power in the Biblical Book of Samuel, Princeton University Press, New Jersey, 2017. 231 páginas. ISBN: 9780691174624. [REVIEW]Javier Vega Gómez - 2018 - Foro Interno. Anuario de Teoría Política 18:145-147.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  63
    Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Reasoning about knowledge. MIT Press, Cambridge, Mass., and London1995, xiii + 477 pp. [REVIEW]Rohit Parikh - 1997 - Journal of Symbolic Logic 62 (4):1484-1487.
  24.  20
    Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi, Reasoning about Knowledge. [REVIEW]V. Goranko - 1999 - Journal of Logic Language and Information 8:469-473.
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  50
    Reasoning about knowledge, Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. [REVIEW]Valentin Goranko - 1999 - Journal of Logic, Language and Information 8 (4):469-473.
  26.  25
    Maimónides romanceado: Apuntes sobre la "Visión Deleitable" y la recepción de la "Guía" en la España cuatrocentista.Luis M. Girón Negrón - 2018 - Anales Del Seminario de Historia de la Filosofía 35 (3):599-615.
    The first part of this study offers a synoptic overview of Alfonso de la Torre’s selective engagement with Maimonidean philosophy in the first part of his Visión Deleitable. Our analysis is complemented with some comparative notes on the reception of Maimonides’s thought in late medieval Spain. Visión Deleitabl e’s fate will be examined in comparison to two other 15th century works of Jewish or converso authorship that also broached the Guide for the Perplexed for the benefit of Christian readers: the (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  44
    ABD’deki İslam ve İslam Felsefesi Çalışmalarına Genel Bir Bakış.Yunus Kaplan - 2019 - Cumhuriyet İlahiyat Dergisi 23 (1):563-579.
    Sahip olduğu akademik imkânların ve başta İngilizce olmak üzere birçok dilde uluslararası yayınların çokluğu nedeniyle Amerika Birleşik Devletleri’ndeki İslam çalışmaları yoğun, üretken ve dünya genelinde ilgiyle takip edilen bir alandır. Ancak Batı’daki üniversitelerin genelinde olduğu gibi Amerikan üniversitelerinde de İslam felsefesi/tarihi çalışmaları oldukça zayıftır. Bu makalede öncelikle geçmişten günümüze İslam çalışmalarının ABD’deki durumu tasviri bir metotla ortaya konulmakta ve İslam Felsefesinin ABD’deki İslam çalışmaları içerisindeki zayıf konumu sorgulanmaktadır. İkinci olarak Post-Oryantalist süreçte İslam Felsefesi çalışmalarında öne çıkan isimler ve çalışmaları değerlendirilmektedir. (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  28.  34
    Minding morality: ethical artificial societies for public policy modeling.Saikou Y. Diallo, F. LeRon Shults & Wesley J. Wildman - 2021 - AI and Society 36 (1):49-57.
    Public policies are designed to have an impact on particular societies, yet policy-oriented computer models and simulations often focus more on articulating the policies to be applied than on realistically rendering the cultural dynamics of the target society. This approach can lead to policy assessments that ignore crucial social contextual factors. For example, by leaving out distinctive moral and normative dimensions of cultural contexts in artificial societies, estimations of downstream policy effectiveness fail to account for dynamics that are fundamental in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  29. 'Ought' Implies 'Can': a Bridge from Fact to Norm (Part 2)?Knut Erik Tranøy - 1975 - Ratio (Misc.) 17 (2):147-175.
     
    Export citation  
     
    Bookmark   4 citations  
  30.  92
    Respect for Personal Autonomy, Human Dignity, and the Problems of Self-Directedness and Botched Autonomy.Y. M. Barilan - 2011 - Journal of Medicine and Philosophy 36 (5):496-515.
    This paper explores the value of respect for personal autonomy in relation to clearly immoral and irrational acts committed freely and intentionally by competent people. Following Berlin's distinction between two kinds of liberty and Darwall's two kinds of respect, it is argued that coercive suppression of nonautonomous, irrational, and self-harming acts of competent persons is offensive to their human dignity, but not disrespectful of personal autonomy. Irrational and immoral choices made by competent people may claim only the negative liberty to (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  31.  45
    Philosophical conceptions of identity and culture.Sabri B.�Y.�Kd�Venci - 1996 - Studies in Philosophy and Education 15 (1-2):25-26.
  32.  18
    Motion illusions as optimal percepts.Y. Weiss, E. P. Simoncelli & E. H. Adelson - 2002 - Nature Neuroscience 5.
  33.  69
    Evaluating ethics consultation: randomised controlled trial is not the right tool.Y.-Y. Chen & Y.-C. Chen - 2008 - Journal of Medical Ethics 34 (8):594-597.
    Background: Although ethics consultation has been introduced to clinical practice for many years, the results of empirical studies to evaluate the effectiveness of ethics consultation are still controversial. The design of randomised controlled trials is considered the best research design to evaluate the effect of a clinical practice on the outcomes of interests. In order to understand the effects of ethics consultation, we conducted this search for studies with the design of randomised controlled trials to evaluate ethics consultation.Objective: To provide (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  34.  29
    Interstitial clusters observed below stage III annealing in electron irradiated pure gold.Y. Shimomura - 1969 - Philosophical Magazine 19 (160):773-794.
  35. Aristotle on the Priority of Actuality in Substance.Christos Y. Panayides - 1999 - Ancient Philosophy 19 (2):327-344.
  36.  23
    Does ectogestation have oppressive potential?J. Y. Lee, Andrea Bidoli & Ezio Di Nucci - forthcoming - Journal of Social Philosophy.
    Journal of Social Philosophy, EarlyView.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  14
    Turkish Bioethics Association IX. National Bioethics Congress, Mersin-2018.Abdullah Yıldız & Ayşe Kurtoğlu - 2018 - Türkiye Biyoetik Dergisi 4 (4):143-144.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  88
    "Allow natural death" is not equivalent to "do not resuscitate": a response.Y.-Y. Chen & S. J. Youngner - 2008 - Journal of Medical Ethics 34 (12):887-888.
    Venneman and colleagues argue that “do not resuscitate” (DNR) is problematic and should be replaced by “allow natural death” (AND). Their argument is flawed. First, while end-of-life discussions should be as positive as possible, they cannot and should not sidestep painful but necessary confrontations with morality. Second, while DNR can indeed be nonspecific and confusing, AND merely replaces one problematic term with another. Finally, the study’s results are not generalisable to the populations of physicians and working nurses and certainly do (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  39. Monotheism and Ethics.Y. Tzvi Langermann (ed.) - 2011 - Brill.
     
    Export citation  
     
    Bookmark  
  40.  48
    Attitude of the Church Toward Drama.Y. Watson - 1938 - Thought: Fordham University Quarterly 13 (2):226-239.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41. On the Impacts of Traditional Chinese Culture on Organ Donation.Y. Cai - 2013 - Journal of Medicine and Philosophy 38 (2):149-159.
    This article examines the impact of traditional Chinese culture on organ donation from the perspective of Confucianism, Buddhism, and Taoism. In each of these cultural systems, it appears that there are some particular sayings or remarks that are often taken in modern Chinese society to be contrary to organ donation, especially cadaveric organ donation. However, this article argues that the central concerns of Buddhism, Confucianism, and Taoism are “great love,” “ren,” and “dao,” which can be reasonably interpreted to support organ (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  42. Darśanera itibṛtta.Manorañjana Rāẏa - 1954
     
    Export citation  
     
    Bookmark  
  43. El concepto filosófico-jurídico de la ley.Barragan Y. Leñero & José Trinidad - 1955 - México,:
     
    Export citation  
     
    Bookmark  
  44. El substancialismo.López Y. López & Francisco[From Old Catalog] - 1955 - Olivos: (Gran Buenos Aires) Editorial Argentina "El Gaucho".
     
    Export citation  
     
    Bookmark  
  45.  30
    Formation of the "Self-Made-Man" Idea in the Context of the Christian Middle Ages.V. Y. Antonova & O. M. Korkh - 2021 - Anthropological Measurements of Philosophical Research 19:117-126.
    The purpose of this article is to analyze the variability of the "Self-made-man" idea in the context of the Christian Middle Ages in its primarily historical and philosophical presentation. Research is based on the historical and philosophical analysis of the medieval philosophy presented foremost by the works of Aurelius Augustine, P. Abelard, Thomas Aquinas, and also by the modern researches of this epoch. Theoretical basis. Historical, comparative, and hermeneutic methods became fundamental for this research. Originality. The conducted analysis allowed to (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  20
    A Moderated Mediation Effect of Stress-Related Growth and Meaning in Life in the Association Between Coronavirus Suffering and Satisfaction With Life: Development of the Stress-Related Growth Measure.Murat Yıldırım & Gökmen Arslan - 2021 - Frontiers in Psychology 12.
    As previous pandemics, the coronavirus disease 2019 (COVID-19) has direct and indirect effects on mental health and well-being. The purpose of the current study was to examine whether meaning in life mediated the association between coronavirus suffering and satisfaction with life and whether stress-related growth moderated the mediating effect of meaning in life on the association between these variables. Stress-Related Growth Measure (SGM) was also conducted for the purpose of this study. The participants were 402 (66% women) young adults who (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  23
    Three-dimensional strain localization of water-saturated clay and numerical simulation using an elasto-viscoplastic model.Y. Higo, F. Oka, T. Kodaka & S. Kimoto - 2006 - Philosophical Magazine 86 (21-22):3205-3240.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  24
    Jewish Ossuaries: Reburial and Rebirth.Y. Lynn Holmes & Eric M. Meyers - 1973 - Journal of the American Oriental Society 93 (3):402.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  9
    El concordato español de 1953: a propósito de una publicación reciente.Aquilino Sánchez Y. Sánchez - 1958 - Salmanticensis 5 (2):451-477.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  29
    Electrical resistivity of crystal approximants in Sc-based alloys.Y. G. So, K. Edagawa & R. Tamura - 2007 - Philosophical Magazine 87 (18-21):2957-2963.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 956