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.

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 (...) address a variety of provocative questions. Is toleration a moral virtue of individuals or rather a pragmatic political compromise? Is it an intrinsically good principle or only a "second best-solution" to the dangers of fanaticism to be superseded one day by the full acceptance of others? Does the value of toleration lie in respect to individuals and their autonomy, or rather in the recognition of the right of minority groups to maintain their communal identity? Throughout, the contributors point to the inherent indeterminacy of the concept and to the difficulty in locating it between intolerant absolutism and skeptical pluralism. Religion, sex, speech, and education are major areas requiring toleration in liberal societies. By applying theoretical analysis, these essays show the differences in the argument for toleration and its scope in each of these realms. The contributors include Joshua Cohen, George Fletcher, Gordon Graham, Alon Harel, Moshe Halbertal, Barbara Herman, John Horton, Will Kymlicka, Avishai Margalit, David Richards, Thomas Scanlon, and Bernard Williams. (shrink)

This paper is a review of Review of David Harel's, Computer Ltd.

This book is a defense of modal realism; the thesis that our world is but one of a plurality of worlds, and that the individuals that inhabit our world are only a few out of all the inhabitants of all the worlds. Lewis argues that the philosophical utility of modal realism is a good reason for believing that it is true.

The zetetic turn in epistemology raises three questions about epistemic and zetetic norms. First, there is the relationship question: what is the relationship between epistemic and zetetic norms? Are some epistemic norms zetetic norms, or are epistemic and zetetic norms distinct? Second, there is the tension question: are traditional epistemic norms in tension with plausible zetetic norms? Third, there is the reaction question: how should theorists react to a tension between epistemic and zetetic norms? Drawing on an analogy to practical (...) philosophy, I develop a focal point view to resolve these motivating questions. On the focal point view, traditional epistemic norms and zetetic norms answer different types of normative questions. There is nevertheless a familiar type of evaluative tension between traditional epistemic norms and zetetic norms, but this tension is an unavoidable feature of the normative landscape and not a sign that traditional epistemic norms need revision. But if traditional epistemic norms are not zetetic norms, then in what sense is zetetic epistemology a project for epistemologists? I conclude by articulating a sense in which some nontraditional epistemic norms are zetetic norms, and in which zetetic epistemology is an important part of the study of theoretical rationality. (shrink)

By means of an example, shows the possibility of beliefs that are separately rational whilst together inconsistent.

I attempt to get as clear as possible on the chain of reasoning by which irreversible macrodynamics is derivable from time-reversible microphysics, and in particular to clarify just what kinds of assumptions about the initial state of the universe, and about the nature of the microdynamics, are needed in these derivations. I conclude that while a “Past Hypothesis” about the early Universe does seem necessary to carry out such derivations, that Hypothesis is not correctly understood as a constraint on the (...) early Universe’s entropy. (shrink)

Worries about mental causation are prominent in contemporary discussions of the mind and human agency. Originally, the problem of mental causation was that of understanding how a mental substance (thought to be immaterial) could interact with a material substance, a body. Most philosophers nowadays repudiate immaterial minds, but the problem of mental causation has not gone away. Instead, focus has shifted to mental properties. How could mental properties be causally relevant to bodily behavior? How could something mental qua mental cause (...) what it does? After looking at the traditional Problem of Interaction, we survey various versions of the property-based problem and look at proposed solutions to them. (shrink)

It is advisable to treat some sorts of discourse about fiction with the aid of an intensional operator "in such-And-Such fiction...." the operator may appear either explicitly or tacitly. It may be analyzed in terms of similarity of worlds, As follows: "in the fiction f, A" means that a is true in those of the worlds where f is told as known fact rather than fiction that differ least from our world, Or from the belief worlds of the community in (...) which the fiction originated. (shrink)

1.1 Manifolds . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.2 Tangent Vectors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . (...) . . . . . . . . . . . 7 1.3 Vector Fields, Integral Curves, and Flows . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 1.4 Tensors and Tensor Fields on Manifolds . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 1.5 The Action of Smooth Maps on Tensor Fields . . . . . . . . . . . . . . . . . . . . . . . . . 31 1.6 Lie Derivatives . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 1.7 Derivative Operators and Geodesics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43 1.8 Curvature . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59 1.9 Metrics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64 1.10 Hypersurfaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81 1.11 Volume Elements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96.. (shrink)

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 (...) first, due to the far-reaching implications it entails, primarily its requirement to deny better-off children their advantage for the sake of equality. However the paper argues that all-the-way-equality, in fact, does a better job realizing the goals of justice in education than alternative conceptions of justice. It is further argued that at least some of the principle’s most radical consequences, those that make it seem counterintuitive, can be mitigated by balancing all-the-way-equality with competing interests. (shrink)

We become ill in ways our parents and grandparents did not, with diseases unheard of and treatments undreamed of generations ago. This text tells the story of the modern experience of illness, linking ideas of illness, health, and postmodernism.

Our aim in this entry is to articulate the state of the art in the moral psychology of personal identity. We begin by discussing the major philosophical theories of personal identity, including their shortcomings. We then turn to recent psychological work on personal identity and the self, investigations that often illuminate our person-related normative concerns. We conclude by discussing the implications of this psychological work for some contemporary philosophical theories and suggesting fruitful areas for future work on personal identity.

Dark matter is a fundamental component of the standard cosmological model, but in spite of four decades of increasingly sensitive searches, no-one has yet detected a single dark-matter particle in the laboratory. An alternative cosmological paradigm exists: MOND (Modified Newtonian Dynamics). Observations explained in the standard model by postulating dark matter are explained in MOND by proposing a modification of Newton's laws of motion. Both MOND and the standard model have had successes and failures – but only MOND has repeatedly (...) predicted observational facts in advance of their discovery. In this volume, David Merritt outlines why such predictions are considered by many philosophers of science to be the 'gold standard' when it comes to judging a theory's validity. In a world where the standard model receives most attention, the author applies criteria from the philosophy of science to assess, in a systematic way, the viability of this alternative cosmological paradigm. (shrink)

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 (...) the narratives of American and Israeli female combat soldiers regarding their military service, with emphasis on the soldiers’ descriptions, in their own words, about their difficulties, challenges, coping and successes during their service and transition to civilian life. A recurring theme in the interviews with the veterans of both militaries was the need to be heard and the fact that societies, therapists, and military institutions do not always truly listen to female veterans’ experiences and are not really interested in what actually ails them. Our research suggests that conventional methods used in research relating to veterans might at times be inadequate, because the inherent categorization might abstract, pathologize, and fragment a wide array of soldiers’ modes of post-combat being. Moreover, female veterans’ voices will not be fully heard unless we allow them to be active participants in generating knowledge about themselves. (shrink)

Two models of assertion are described and their epistemological implications considered. The assurance model draws a parallel between the ethical norms surrounding promising and the epistemic norms which facilitate the transmission of testimonial knowledge. This model is rejected in favour of the view that assertion transmits knowledge by expressing belief. I go on to compare the epistemology of testimony with the epistemology of memory.

Recently T. M. Scanlon and others have advanced an ostensibly comprehensive theory of moral responsibility—a theory of both being responsible and being held responsible—that best accounts for our moral practices. I argue that both aspects of the Scanlonian theory fail this test. A truly comprehensive theory must incorporate and explain three distinct conceptions of responsibility—attributability, answerability, and accountability—and the Scanlonian view conflates the first two and ignores the importance of the third. To illustrate what a truly comprehensive theory might look (...) like, I investigate what it would say about the difficult case of the psychopath. (shrink)

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.

Corruptionism is the view that following physical death, the human being ceases to exist but their soul persists in the afterlife. Survivalism holds that both the human being and their soul persist in the afterlife, as distinct entities, with the soul constituting the human. Each position has its defenders, most of whom appeal both to metaphysical considerations and to the authority of St Thomas Aquinas. Corruptionists claim that survivalism violates a basic principle of any plausible mereology, while survivalists tend to (...) reject the principle, though without as much detail as one would like. In this paper I examine both the key exegetical issues and the mereological question, arguing that Aquinas cannot be shown to have supported the principle in question, and that the principle should be rejected on independent grounds. If correct, some key planks in support of survivalism are established, with others to await further examination. (shrink)

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 (...) injurers reduces the part each has to pay and, consequently, reduces each one’s incentives to take precautions. Broad exemption from liability for omissions is a way of carving a simple, practical rule to distinguish between the typical cases in which an agent can be easily selected and provided with sufficient incentives and cases in which there is a serious problem of dilution of liability. The exceptions to the rule exempting from liability for omissions are explained in terms of efficiency. The imposition of liability for omissions depends on the ability to identify a salient agent, i.e., to single out one or few liable agents and differentiate their role from that of others. Tort law designs three types of "salience rules." It either creates salience directly, or it can exploit salience created "naturally," or it can induce injurers to create salience voluntarily. (shrink)