Three notions of definability in multimodal logic are considered. Two are analogous to the notions of explicit definability and implicit definability introduced by Beth in the context of first-order logic. However, while by Beth’s theorem the two types of definability are equivalent for first-order logic, such an equivalence does not hold for multimodal logics. A third notion of definability, reducibility, is introduced; it is shown that in multimodal logics, explicit definability is equivalent to the combination of implicit definability (...) and reducibility. The three notions of definability are characterized semantically using algebras. The use of algebras, rather than frames, is shown to be necessary for these characterizations. (shrink)

Three notions of definability in multimodal logic are considered. Two are analogous to the notions of explicit definability and implicit definability introduced by Beth in the context of first-order logic. However, while by Beth’s theorem the two types of definability are equivalent for first-order logic, such an equivalence does not hold for multimodal logics. A third notion of definability, reducibility, is introduced; it is shown that in multimodal logics, explicit definability is equivalent to the combination of implicit definability (...) and reducibility. The three notions of definability are characterized semantically using (modal) algebras. The use of algebras, rather than frames, is shown to be necessary for these characterizations. (shrink)

When the fuzzy indeterminacy of quantum mechanics overthrew the orderly world of Isaac Newton, Albert Einstein and Erwin Schrödinger were at the forefront of the revolution. Neither man was ever satisfied with the standard interpretation of quantum mechanics, however, and both rebelled against what they considered the most preposterous aspect of quantum mechanics: its randomness. Einstein famously quipped that God does not play dice with the universe, and Schrödinger constructed his famous fable of a cat that was neither alive nor (...) dead not to explain quantum mechanics but to highlight the apparent absurdity of a theory gone wrong. But these two giants did more than just criticize: they fought back, seeking a Theory of Everything that would make the universe seem sensible again. In Einstein’s Dice and Schrödinger’s Cat, physicist Paul Halpern tells the little-known story of how Einstein and Schrödinger searched, first as collaborators and then as competitors, for a theory that transcended quantum weirdness. This story of their quest—which ultimately failed—provides readers with new insights into the history of physics and the lives and work of two scientists whose obsessions drove its progress. Today, much of modern physics remains focused on the search for a Theory of Everything. As Halpern explains, the recent discovery of the Higgs Boson makes the Standard Model—the closest thing we have to a unified theory— nearly complete. And while Einstein and Schrödinger failed in their attempt to explain everything in the cosmos through pure geometry, the development of string theory has, in its own quantum way, brought this idea back into vogue. As in so many things, even when they were wrong, Einstein and Schrödinger couldn’t help but get a great deal right. (shrink)

The question of whether knowledge is definable in terms of belief, which has played an important role in epistemology for the last 50 years, is studied here in the framework of epistemic and doxastic logics. Three notions of definability are considered: explicit definability, implicit definability, and reducibility, where explicit definability is equivalent to the combination of implicit definability and reducibility. It is shown that if knowledge satisfies any set of axioms contained in S5, then it cannot be explicitly defined in (...) terms of belief. S5 knowledge can be implicitly defined by belief, but not reduced to it. On the other hand, S4.4 knowledge and weaker notions of knowledge cannot be implicitly defined by belief, but can be reduced to it by defining knowledge as true belief. It is also shown that S5 knowledge cannot be reduced to belief and justification, provided that there are no axioms that involve both belief and justification. (shrink)

This book focuses on material culture as a subject of philosophical inquiry and promotes the philosophical study of material culture by articulating some of the central and difficult issues raised by this topic and providing innovative solutions to them, most notably an account of improvised action and a non-intentionalist account of function in material culture. Preston argues that material culture essentially involves activities of production and use; she therefore adopts an action-theoretic foundation for a philosophy of material culture. Part 1 (...) illustrates this foundation through a critique, revision, and extension of existing philosophical theories of action. Part 2 investigates a salient feature of material culture itself—its functionality. A basic account of function in material culture is constructed by revising and extending existing theories of biological function to fit the cultural case. Here the adjustments are for the most part necessitated by special features of function in material culture. These two parts of the project are held together by a trio of overarching themes: the relationship between individual and society, the problem of centralized control, and creativity. (shrink)

Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed ...

Function theorists routinely speculate that a viable function theory will be equally applicable to biological traits and artifacts. However, artifact function has received only the most cursory scrutiny in its own right. Closer scrutiny reveals that only a pluralist theory comprising two distinct notions of function--proper function and system function--will serve as an adequate general theory. The first section describes these two notions of function. The second section shows why both notions are necessary, by showing that attempts to do away (...) with one of them fail. This demonstration draws on examples from the artifactual realm to motivate major points of the argument. The third section is an outline of artifact function. It confirms the conclusions of the second section, and also begins the task of describing some of the special features of artifact function needing accommodation within the general theory. (shrink)

According to accounts of the Passion, Christ cries out from the cross, “My God, my God, why have you forsaken me?” The cry, I argue, manifests that Christ lacks a belief that God is with him. Given the standard view of faith—belief that p is required for faith that p—it would follow that Christ lost his faith that God is with him just before he died. In this paper, I challenge the standard view by looking at the cognitive requirement of (...) faith. Although faith that p requires some positive cognitive orientation toward p, that orientation need not be belief. I show that reliance is an alternative stance that fulfills the cognitive requirement of faith. Reliance aims at providing sensible guidance for action that is in accord with one’s values/ends. Thinking of the cognitive component of Christ’s faith in terms of reliance makes sense of the doubt manifested in his cry. (shrink)

After revelations of participation by psychiatrists and psychologists in interrogation of prisoners at Guantánamo Bay and Central Intelligence Agency secret detention centers, the American Psychiatric Association and the American Psychological Association adopted Position Statements absolutely prohibiting their members from participating in torture under any and all circumstances, and, to a limited degree, forbidding involvement in interrogations. Some interrogations utilize very aggressive techniques determined to be torture by many nations and organizations throughout the world. This paper explains why psychiatrists and psychologists (...) involved in coercive interrogations violate the Geneva Conventions and the laws of the United States. Whether done with ignorance of professional ethical obligations or not, these psychiatrists and psychologists have crossed an ethical barrier that may best be averted from re-occurring by teaching medical students and residents in all medical specialties about the ethics principles stemming from the 1946–1947 Nuremberg trials and the Geneva Conventions, together with the Ethics Codes of the World Medical Association and the American Medical Association; and, with regard to psychiatric residents and psychological trainees, by the teaching about The Principles of Medical Ethics With Annotations Especially Applicable to Psychiatry and the Ethical Principles of Psychologists and Code of Conduct, respectively. In this way, all physicians and psychologists will clearly understand that they have an absolute moral obligation to "First, do no harm" to the human beings they professionally encounter. (shrink)

Drawing on decades of experience, a psychotherapist and Zen practitioner makes the Abhidharma--the original psychological system of Buddhism--accessible to a general audience for the first time. The Abhidharma, one of the three major text collections of the original Buddhist canon, explores the critical juncture of Buddhist thought and the therapeutic aspects of the religion and meditation. It frames the psychological system of Buddhism, explaining the workings of reality and the nature of the human mind. Composed of detailed matrixes and lists (...) that outline the interaction of consciousness and reality, The Abhidharma explores the essence of perception and experience, and the reasons and methods behind mindfulness and meditation. Because of its complexity, the Abhidharma has traditionally been reserved only for academic or monastic study; now, for the first time, clinical psychologist Beth Jacobs makes this dynamic, important text and its teachings available to general readers, using practical explanation, personal stories, and vivid examples to gently untangle the technical aspects of the Abhidharma. Jacobs’ work illuminates this classic of Buddhist thought, highlighting the ways it can broaden and deepen our experience of the human psyche and offering profound insights into spiritual practice. (shrink)

The Covid‐19 crisis has accelerated a trend toward burnout in health care workers, making starkly clear that burnout is especially likely when providing health care is not only stressful and sad but emotionally alienating; in such situations, there is no mental space for clinicians to experience authentic clinical empathy. Engaged curiosity toward each patient is a source of meaning and connection for health care providers, and it protects against sympathetic distress and burnout. In a prolonged crisis like Covid‐19, clinicians provide (...) care out of a sense of duty, especially the duty of nonabandonment. We argue that when duty alone is relied on too heavily, with fear and frustration continually suppressed, the risk of burnout is dramatically increased. Even before Covid‐19, clinicians often worked under dehumanizing and unjust conditions, and rates of burnout were 50 percent for physicians and 33 percent for nurses. The Covid‐19 intensification of burnout can serve as a wake‐up call that the structure of health care needs to be improved if we are to prevent the loss of a whole generation of empathic clinicians. (shrink)

Increased productivity may have negative impacts on farm animal welfare in modern animal production systems. Efficiency gains in production are primarily thought to be due to the intensification of production, and this has been associated with an increased incidence of production diseases, which can negatively impact upon FAW. While there is a considerable body of research into consumer attitudes towards FAW, the extent to which this relates specifically to a reduction in production diseases in intensive systems, and whether the increased (...) incidence of diseases represents a barrier to consumer acceptance of their increased use, requires further investigation. Therefore a systematic review of public attitudes towards FAW was conducted, with a specific focus on production diseases in intensive systems. Four databases were searched to identify relevant studies. A screening process, using a set of pre-determined inclusion criteria, identified 80 studies, with the strength of evidence and uncertainty assessed for each. A thematic analysis led to the identification of 6 overarching themes constructed from 15 subthemes. The results demonstrate that the public are concerned about FAW in modern production systems. Concern varied in relation to age, gender, education and familiarity with farming. Naturalness and humane treatment were central to what was considered good welfare. An evidence gap was highlighted in relation to attitudes towards specific production diseases, with no studies specifically addressing this. However, the prophylactic use of antibiotics was identified as a concern. A number of dissonance strategies were adopted by consumers to enable guilt free meat consumption. (shrink)