This handbook presents a much-needed and comprehensive exploration of the rapidly growing fields of animal welfare and law. In recent years there has been increasing attention paid to our complex, multifaceted relationships with other animals, and in particular, the depth and breadth of various societal uses of animals. This has led to a reconsideration of their moral and social status, which has sometimes challenged the interests of those who use animals. In such a contested domain, sound evidence and reasoning become (...) particularly important. Through firm commitment to such principles, this book explores the biological foundations for the moral consideration of animals, and for evolving conceptualisations of animal welfare. It reviews in detail the welfare concerns associated with numerous forms of animal use. The inclusion of key recent developments such as climate change, pandemics and antimicrobial resistance, ensure this text is among the most current in its field. The ethical implications of the various uses of animals by society are considered, and chapters provide important recommendations for reforms of practice, law or policy. The status of animal law internationally, and in major world regions, is reviewed. Finally, the book considers human behavioural change, and strategies for improving stakeholder communication and education. The handbook is essential reading for students and scholars of animal welfare, animal law and animal ethics everywhere, and for policymakers and other professionals working in the animal welfare sector. (shrink)

Yagisawa (2005) considers two old arguments against the existence requirement. Both arguments are significantly less appealing than Yagisawa suggests. In particular, the second argument, first given by Kaplan (1989: 498), simply assumes that existence is contingent (§1). Yagisawa’s ‘new’ argument shares this weakness. It also faces a dilemma. Yagisawa must either treat ‘at @’ as a sentential operator occupying the same grammatical position as ‘∼’ or as supplying an extra argument place. In the former case, Yagisawa’s argument faces precisely the (...) problems he concedes that Kaplan’s argument does (§2). In the latter case, though the argument does not face these problems, it renders the sense in which things exist contingently no threat to (E) properly understood (§3). (shrink)

This article critically engages the Global Transformation thesis through the lens of multiple early modernities. The 19th century undeniably saw a profound shift in the global mode of power, driven by industrialization, rational state-building, and the rise of ideologies of progress. But this triad impacted on regions that had already been reconfigured by an early modern Eurasian Transformation, centered on an 'industrious revolution', absolutist state-building, and the spread of 'civilizing processes'. This Eurasian Transformation yielded distinct early modernities and regional orders, (...) which fundamentally conditioned the nature, extent, impact, and legacy of later Western expansion. Acknowledging the diversity of these early modern orders enhances our understanding of the variance in patterns of order reconfiguration that attended the Global Transformation. Equally, it strengthens the case for reconceptualizing international systems change as encompassing reconfiguration as much as revolutionary transformation. This cautions against thinking of 'great transformations' in world politics as constituting radically discontinuous breaks with the past. (shrink)

First published in 1975, this is a book of general intellectual interest about the role of the university in contemporary society and that of university teachers in relation to their subjects, their students, and their wider political commitments. Alan Montefiore offers preliminary analyses of the family of concepts most often invoked in discussions of these problems, taking the central dispute to be between those who hold a 'liberal' view of the university and those who regard this notion as illusory, dishonest (...) or undesirable. Six academics, representing, discuss issues of substantive conflict in light of Montefiore's initial distinctions. The volume is of particular interest to students of political and social philosophy, and political and educational theory. It is also intended for a wider readership among those who care about the political status of the universities and recognize the importance and difficulty of the problems involved in this. (shrink)

Background: There is a significant discourse in the literature that opines that people who use illicit opiates are unable to provide informed consent due to withdrawal symptoms and cognitive impairment as a result of opiate use. Aims: This paper discusses the issues related to informed consent for this population. Ethical considerations: Ethical approval was obtained from both the local REB and the university. Written informed consent was obtained from all participants. Method: This was a qualitative interpretive descriptive study. 22 participants (...) were interviewed, including 18 nurses, 2 social workers and 2 clinic support workers. The findings were analyzed using thematic analysis, which is a way of systematically reducing the complexity of the information to arrive at generalized explanations. Results: The staff at the clinic were overwhelming clear in their judgment that people who use opiates can and should be able to participate in research and that their drug use is not a barrier to informed consent. Conclusions: It is important to involve people who use opiates in research. Protectionist concerns about this population may be overstated. Such concerns do not promote the interests of research participants. People who use heroin need to be able to tell their story. (shrink)

This book applies Augustine's thought to current questions of teaching and learning. The essays are written in an accessible style and is not intended just for experts on Augustine or church history.

In the conclusion to this multi-part article I first review the discussions carried out around the six essential questions in psychiatric diagnosis – the position taken by Allen Frances on each question, the commentaries on the respective question along with Frances’ responses to the commentaries, and my own view of the multiple discussions. In this review I emphasize that the core question is the first – what is the nature of psychiatric illness – and that in some manner all further (...) questions follow from the first. Following this review I attempt to move the discussion forward, addressing the first question from the perspectives of natural kind analysis and complexity analysis. This reflection leads toward a view of psychiatric disorders – and future nosologies – as far more complex and uncertain than we have imagined. (shrink)

As regular readers of The Pluralist are aware, there appeared in 2008 an issue devoted to Jan Olof Bengtsson's The Worldview of Personalism.1 The issue included five articles, each concerned with a different aspect of the book; and after each article, there was a "Reply" by Bengtsson. In what follows, I shall say something about Bengtsson's reply to my own contribution, "Absolute and Personal Idealism." However, first let me briefly describe that article's argument.In "Absolute and Personal Idealism," I examined the (...) personalist attack on absolutism as formulated by Andrew Seth Pringle-Pattison in two works: Hegelianism and Personality and The Idea of God in the Light of Recent Philosophy. In the first section of .. (shrink)

In their article, Thom Scott‐Phillips, Stefaan Blancke, and Christophe Heintz do a commendable job summarizing the position and misunderstandings of “cultural attraction theory” (CAT). However, they do not address a longstanding problem for the CAT framework; that while it has an encompassing theory and some well‐worked out case studies, it lacks tools for generating models or empirical hypotheses of intermediate generality. I suggest that what the authors diagnose as misunderstandings are instead superficial interpretive errors, resulting from researchers who have (...) attempted to extract generalizable hypotheses from CAT and bring them into contact with the analytical and inferential models of contemporary cultural evolutionary research. (shrink)

Concerns about advertising take one of two forms. Some people are worried that advertising threatens autonomous choice. Others are worried not about autonomy but about the values spread by advertising as a powerful institution. I suggest that this bifurcation stems from misunderstanding autonomy. When one turns from autonomous choice to autonomy of persons, or what is often glossed as self-rule, then one has reason to think that advertising poses a moral problem of a sort so far unrecognized. I diagnose this (...) problem using Charles Taylor''s work on "strong evaluation". This problem turns out to have political ramifications that have been only dimly recognized in business ethics circles. (shrink)

Marilyn McCord Adams agrees with D. Z. Phillips that instrumental theodicy is a moral failure, and that sceptical theists and others are guilty of ignoring what we know now about the moral reality of horrendous evils to speculate about unknown ways these evils might be made sense of. In place of theodicy, Adams advocates ‘the logic of compensation’ for the victims of evil, a postmortem healing of divine intimacy with God. This goes so deep, she believes, that eventually victims (...) will see the horrors they suffered as points of contact with the incarnate, suffering God and cease wishing they had never suffered them. I argue Adams’s position falls foul of the very criticisms she and Phillips make against instrumental theodicy. (shrink)

Much contemporary analytic philosophy understands the power of God as belonging to the same logical space as the power of human beings: a power of efficient causation taken to the maximum limit. This anthropomorphic picture is often explicated in terms of God’s capacity to bring about any logically possible state of affairs, so-called omnipotence. D.Z. Phillips criticized this position in his last book, The Problem of Evil and the Problem of God. I defend Phillips’s argument against recent criticism (...) by William Hasker, contending that the omnipotence thesis is either false or trivial. I trace the superficial plausibility of the thesis to a Cartesian understanding of personal agency, in the light of which God’s power over the whole material world is an inflated version of our more modest power over our own bodies: it is the power of immaterial souls to control material phenomena. This comparison is expressed to perfection in the work of Richard Swinburne, my main target. I argue that by making God a force among other possible forces, in-principle able to be resisted, however feebly, by contrary forces, this picture reduces the Creator to a creature. (shrink)

Samuel Phillips Huntington was an influential American political scientist. He was also a consultant to various America government agencies. He upholds the idea of conservative realism in politics. His research covers several areas of political science, such as civil-military relations, modernization and political development, comparative politics, and international relations. Regarding the role of military, he argues for autonomous military professionalism. In discussing about modernization of developing countries, he emphasizes the priority of political order over democracy. In the case of (...) America, as well as other democratizing countries, he worries that the excess of political participation would diminish the authority and effectiveness of state governance, enhancing political instability, and, at worst, leading to the reverse of democratization. After the end of the Cold War, Huntington characterizes the international order as multicivilizational, in which the clash of civilizations will direct the development of global politics. In such a multicultural situation, Huntington urges Americans to affirm their unique national identity by revitalizing Anglo-Protestant culture and its religiosity which has defined America since its founding. (shrink)

In ‘The Power of God’ (Gleeson 2010) I elaborate and defend an argument by the late D.Z. Phillips against definitions of omnipotence in terms of logical possibility. In ‘Which God? What Power? A Response to Andrew Gleeson’ (Hasker 2010), William Hasker criticizes my defense of Phillips’ argument. Here I contend his criticisms do not succeed. I distinguish three definitions of omnipotence in terms of logical possibility. Hasker agrees that the first fails. The second fails because negative properties (...) (like disembodiedment and simplicity) do not amount to a nature that licenses the attribution of causal powers. The third fails because it does not identify actions that can be performed without a body. It cannot be saved by appeal to the idea of purely mental acts. (shrink)

Marilyn McCord Adams has defended theodicy by appeal to the idea of post-mortem compensation for the victims of horrendous evil. I have argued that this overlooks the dissociation of theodicy from moral reality that she concedes in her response to criticism of theodicy by D Z Phillips. Joshua Thurow has recently defended Adams against my argument. Here I defend and strengthen that argument against Thurow.

Herbert McCabe and Brian Davies defend an Aquinas-inspired, anti-anthropomorphic natural theology that emphasises the mysterious distance between the Creator and his creation. This theology gives rise to a powerful response to the problem of evil, powerful enough to scuttle the academic problem of evil that is based on a confused anthropomorphic understanding of God. But that does not dispose of the problem of evil per se. The McCabe–Davies natural theology can succeed only by appropriating a personal understanding of “the ultimate (...) question” (why is there something rather than nothing?), which is at odds with their reluctance to give up on a metaphysical argument to establish the reality of God from outside religious faith and practice. But if that same personal understanding is applied to the problem of evil we find it generates “the unprecedented charge,” a form of the problem that does not depend on an anthropomorphic conception of God. The way forward for the McCabe–Davies natural theology is to follow Dewi Phillips in his rejection of philosophy's aspiration to find “external justifications” for our religious lives. (shrink)

A number of arguments have been put forward by D. Z. Phillips which purportedly establish that the problems that lie at the heart of the theological realism/nonrealism controversy are confused, and that realism itself is incoherent and may be refuted. These arguments are assessed and several different theories of realism are considered. The questions of the nature of religious belief and whether God is an object are addressed. Phillips' arguments are shown to fail to supply a substantial objection (...) to any interesting variety of theological realism. (shrink)

In this article, I offer a background to digital theology and its methodology, exploring especially aspects of transhumanism and metaphysical enquiry. The article moves on to engage with several articles given at the Science and Religion Forum at Birmingham in 2022, especially the Gowland Lecture given by Professor Niels Gregersen and the Peacocke Lecture by Andrew Jackson. Both offer a metaphysical approach to information linked closely to the concept of Logos drawn from the Prologue of John—Jackson focusing on Maximus (...) the Confessor's exploration of phylogenetic logoi; Gregersen on a further development of “Deep Incarnation” through the title “God with Clay” drawn from Bonaventure. The article extends this engagement with John by querying the model of incarnation in “deep incarnation” but building on the Logos/logoi to set out some initial building blocks for an alternative metaphysics of information. (shrink)

In face of the multiple controversies surrounding the DSM process in general and the development of DSM-5 in particular, we have organized a discussion around what we consider six essential questions in further work on the DSM. The six questions involve: 1) the nature of a mental disorder; 2) the definition of mental disorder; 3) the issue of whether, in the current state of psychiatric science, DSM-5 should assume a cautious, conservative posture or an assertive, transformative posture; 4) the role (...) of pragmatic considerations in the construction of DSM-5; 5) the issue of utility of the DSM – whether DSM-III and IV have been designed more for clinicians or researchers, and how this conflict should be dealt with in the new manual; and 6) the possibility and advisability, given all the problems with DSM-III and IV, of designing a different diagnostic system. Part 1 of this article took up the first two questions. Part 2 took up the second two questions. Part 3 now deals with Questions 5 & 6. Question 5 confronts the issue of utility, whether the manual design of DSM-III and IV favors clinicians or researchers, and what that means for DSM-5. Our final question, Question 6, takes up a concluding issue, whether the acknowledged problems with the earlier DSMs warrants a significant overhaul of DSM-5 and future manuals. As in Parts 1 & 2 of this article, the general introduction, as well as the introductions and conclusions for the specific questions, are written by James Phillips, and the responses to commentaries are written by Allen Frances. (shrink)

In face of the multiple controversies surrounding the DSM process in general and the development of DSM-5 in particular, we have organized a discussion around what we consider six essential questions in further work on the DSM. The six questions involve: 1) the nature of a mental disorder; 2) the definition of mental disorder; 3) the issue of whether, in the current state of psychiatric science, DSM-5 should assume a cautious, conservative posture or an assertive, transformative posture; 4) the role (...) of pragmatic considerations in the construction of DSM-5; 5) the issue of utility of the DSM - whether DSM-III and IV have been designed more for clinicians or researchers, and how this conflict should be dealt with in the new manual; and 6) the possibility and advisability, given all the problems with DSM-III and IV, of designing a different diagnostic system. Part I of this article will take up the first two questions. With the first question, invited commentators express a range of opinion regarding the nature of psychiatric disorders, loosely divided into a realist position that the diagnostic categories represent real diseases that we can accurately name and know with our perceptual abilities, a middle, nominalist position that psychiatric disorders do exist in the real world but that our diagnostic categories are constructs that may or may not accurately represent the disorders out there, and finally a purely constructivist position that the diagnostic categories are simply constructs with no evidence of psychiatric disorders in the real world. The second question again offers a range of opinion as to how we should define a mental or psychiatric disorder, including the possibility that we should not try to formulate a definition. The general introduction, as well as the introductions and conclusions for the specific questions, are written by James Phillips, and the responses to commentaries are written by Allen Frances. (shrink)

In face of the multiple controversies surrounding the DSM process in general and the development of DSM-5 in particular, we have organized a discussion around what we consider six essential questions in further work on the DSM. The six questions involve: 1) the nature of a mental disorder; 2) the definition of mental disorder; 3) the issue of whether, in the current state of psychiatric science, DSM-5 should assume a cautious, conservative posture or an assertive, transformative posture; 4) the role (...) of pragmatic considerations in the construction of DSM-5; 5) the issue of utility of the DSM - whether DSM-III and IV have been designed more for clinicians or researchers, and how this conflict should be dealt with in the new manual; and 6) the possibility and advisability, given all the problems with DSM-III and IV, of designing a different diagnostic system. Part I of this article took up the first two questions. Part II will take up the second two questions. Question 3 deals with the question as to whether DSM-V should assume a conservative or assertive posture in making changes from DSM-IV. That question in turn breaks down into discussion of diagnoses that depend on, and aim toward, empirical, scientific validation, and diagnoses that are more value-laden and less amenable to scientific validation. Question 4 takes up the role of pragmatic consideration in a psychiatric nosology, whether the purely empirical considerations need to be tempered by considerations of practical consequence. As in Part 1 of this article, the general introduction, as well as the introductions and conclusions for the specific questions, are written by James Phillips, and the responses to commentaries are written by Allen Frances. (shrink)

The first edition was awarded the '2005 Textbook Award of the Association of University Professors of Management (Verband der Hochschullehrer fur ...

Abstract:This paper is a preliminary attempt to better understand the concept of legitimacy in stakeholder theory. The normative component of stakeholder theory plays a central role in the concept of legitimacy. Though the elaboration of legitimacy contained herein applies generally to all “normative cores” this paper relies on Phillips’s principle of stakeholder fairness and therefore begins with a brief description of this work. This is followed by a discussion of the importance of legitimacy to stakeholder theory as well as (...) the general ambiguity of the term. A distinction is then drawn between normative and derivative legitimacy. Reference to this distinction helps distinguish between a relationship with the organization based on direct moral obligation and one based on the power to help or harm the organization. It is concluded that stakeholders who retain the ability to affect the organization arelegitimate(derivatively), but that this legitimacy is derived from the moral obligation owed other (normative) stakeholders and that the two sorts of legitimacy are importantly different from one another. An example of the normative/derivative distinction at work in managerial decision making is elaborated upon and managerial and research implications are then suggested. (shrink)

We all face death, but how many of us are actually ready for it? Whether our own death or that of a loved one comes first, how prepared are we, spiritually or practically? In Preparing to Die, Andrew Holecek presents a wide array of resources to help the reader address this unfinished business. Part One shows how to prepare one's mind and how to help others, before, during, and after death. The author explains how spiritual preparation for death can (...) completely transform our relationship to the end of life, dissolving our fear and helping us to feel open and receptive to letting go in the dying process. Daily meditation practices, the stages of dying and how to work with them, and after-death experiences are all detailed in ways that will be particularly helpful for those with an interest in Tibetan Buddhism and in Tibetan approaches to conscious dying. Part Two addresses the practical issues that surround death. Experts in grief, hospice, the funeral business, and the medical and legal issues of death contribute chapters to prepare the reader for every practical concern, including advance directives, green funerals, the signs of death, warnings about the funeral industry, the stages of grief, and practical care for the dying. Part Three contains heart-advice from twenty of the best-known Tibetan Buddhist masters now teaching in the West. These brief interviews provide words of solace and wisdom to guide the dying and their caregivers during this challenging time. Preparing to Die is for anyone interested in learning how to prepare for death from a Buddhist perspective, both spiritually and practically. It is also for those who want to learn how to help someone else who is dying, both during the time of illness and death as well as after death. (shrink)

How should politicians act? When should they try to lead public opinion and when should they follow it? Should politicians see themselves as experts, whose opinions have greater authority than other people's, or as participants in a common dialogue with ordinary citizens? When do virtues like toleration and willingness to compromise deteriorate into moral weakness? In this innovative work, Andrew Sabl answers these questions by exploring what a democratic polity needs from its leaders. He concludes that there are systematic, (...) principled reasons for the holders of divergent political offices or roles to act differently. Sabl argues that the morally committed civil rights activist, the elected representative pursuing legislative results, and the grassroots organizer determined to empower ordinary citizens all have crucial democratic functions. But they are different functions, calling for different practices and different qualities of political character. To make this case, he draws on political theory, moral philosophy, leadership studies, and biographical examples ranging from Everett Dirksen to Ella Baker, Frances Willard to Stokely Carmichael, Martin Luther King Jr. to Joe McCarthy. Ruling Passions asks democratic theorists to pay more attention to the "governing pluralism" that characterizes a diverse, complex democracy. It challenges moral philosophy to adapt its prescriptions to the real requirements of democratic life, to pay more attention to the virtues of political compromise and the varieties of human character. And it calls on all democratic citizens to appreciate "democratic constancy": the limited yet serious standard of ethical character to which imperfect democratic citizens may rightly hold their leaders--and themselves. (shrink)

This paper argues that the dominance of linear models has led many sociologists to construe the social world in terms of a "general linear reality." This reality assumes (1) that the social world consists of fixed entities with variable attributes, (2) that cause cannot flow from "small" to "large" attributes/events, (3) that causal attributes have only one causal pattern at once, (4) that the sequence of events does not influence their outcome, (5) that the "careers" of entities are largely independent, (...) and (6) that causal attributes are generally independent of each other. The paper discusses examples of these assumptions in empirical work, consider standard and new methods addressing them, and briefly explores alternative models for reality that employ demographic, sequential, and network perspectives. (shrink)

Andrew H. Gleeson has written an essay commenting on an exchange between Dewi Z. Phillips and me, arguing that I was mistaken to dismiss Phillips’ criticism of the standard definition of omnipotence as unsuccessful. Furthermore, he charges Swinburne, me, and analytic theists in general, with an excessive anthropomorphism that obliterates the distinction between Creator and creature. In response, I contend that all of Gleeson’s criticisms are unsound.

A Physicalist Manifesto is a full treatment of the comprehensive physicalist view that, in some important sense, everything is physical. Andrew Melnyk argues that the view is best formulated by appeal to a carefully worked-out notion of realization, rather than supervenience; that, so formulated, physicalism must be importantly reductionist; that it need not repudiate causal and explanatory claims framed in non-physical language; and that it has the a posteriori epistemic status of a broad-scope scientific hypothesis. Two concluding chapters argue (...) in detail that contemporary science provides no significant empirical evidence against physicalism and some considerable evidence for it. Written in a brisk, candid and exceptionally clear style, this 2003 book should appeal to professionals and students in philosophy of mind, metaphysics and philosophy of science. (shrink)

Leading philosopher of religion D. Z. Phillips argues that intellectuals need not see their task as being for or against religion, but as one of understanding it. What stands in the way of this task are certain methodological assumptions about what enquiry into religion must be. Beginning with Bernard Williams on Greek gods, Phillips goes on to examine these assumptions in the work of Hume, Feuerbach, Marx, Frazer, Tylor, Marett, Freud, Durkheim, Le;vy-Bruhl, Berger and Winch. The result exposes (...) confusion, but also gives logical space to religious belief without advocating personal acceptance of that belief, and shows how the academic study of religion may return to the contemplative task of doing conceptual justice to the world. Religion and the Hermeneutics of Contemplation extends in important ways D. Z. Phillips' seminal 1976 book Religion Without Explanation. It will be of interest to scholars and students of philosophy, anthropology, sociology and theology. (shrink)

Our lives are dominated by technology. We live with and through the achievements of technology. What is true of the rest of life is of course true of medicine. Many of us owe our existence and our continued vigour to some achievement of medical technology. And what is true in a major way of general medicine is to a significant degree true of psychiatry. Prozac has long since arrived, and in its wake an ever-growing armamentarium of new psychotropics; beyond that, (...) neuroscience promises ever more technological advances for the field. -/- However, the effect of technology on the field of psychiatry remains highly ambiguous. On the one hand there are the achievements, both in the science and practice of psychiatry; on the other hand technology's influence on the field threatens its identity as a humanistic practice. In this ambiguity psychiatry is not unique - major thinkers have for a long time been highly ambivalent and concerned about the technological order that now defines modern society. For the future, the danger is that the psychiatrically real becomes that which can be seen, the symptom, and especially that which can be measured. Disorders and treatments might become reduced to what can be defined by diagnostic criteria and what can be mapped out on a scale. -/- This book exams how technology has come to influence and drive psychiatry forward, and considers at just what cost these developments have been made. It includes a range of stimulating and thought-provoking chapters from a range of psychiatrists and philosophers. (shrink)

Empirical work has lately confirmed what many philosophers have taken to be true: people are ‘biased toward the future’. All else being equal, we usually prefer to have positive experiences in the future, and negative experiences in the past. According to one hypothesis, the temporal metaphysics hypothesis, future-bias is explained either by our beliefs about temporal metaphysics—the temporal belief hypothesis—or alternatively by our temporal phenomenology—the temporal phenomenology hypothesis. We empirically investigate a particular version of the temporal belief hypothesis according to (...) which future-bias is explained by the belief that time robustly passes. Our results do not match the apparent predictions of this hypothesis, and so provide evidence against it. But we also find that people give more future-biased responses when asked to simulate a belief in robust passage. We take this to suggest that the phenomenology that attends simulation of that belief may be partially responsible for future-bias, and we examine the implications of these results for debates about the rationality of future-bias. (shrink)

This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand's Theorem, unification, duality, interpolation, and definability. The last three chapters of the book provide an introduction to type theory (higher-order logic). It is shown how various mathematical concepts can be formalized in this very expressive formal language. This expressive notation facilitates proofs (...) of the classical incompleteness and undecidability theorems which are very elegant and easy to understand. The discussion of semantics makes clear the important distinction between standard and nonstandard models which is so important in understanding puzzling phenomena such as the incompleteness theorems and Skolem's Paradox about countable models of set theory. Some of the numerous exercises require giving formal proofs. A computer program called ETPS which is available from the web facilitates doing and checking such exercises. Audience: This volume will be of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification. (shrink)

Empirical evidence suggests that a majority of people believe that time robustly passes, and that many also report that it seems to them, in experience, as though time robustly passes. Non-dynamists deny that time robustly passes, and many contemporary non-dynamists—deflationists—even deny that it seems to us as though time robustly passes. Non-dynamists, then, face the dual challenge of explaining why people have such beliefs and make such reports about their experiences. Several philosophers have suggested the stable-self explanation, according to which (...) what partly explains one or both of the explananda is that people believe themselves to have a stable persisting self which is imagined either as moving through time, or as being stationary, with time moving around it. This paper empirically investigates this explanation. We found, however, no evidential support for the stable-self explanation, leaving the non-dynamist but also, we will argue, the dynamist, with an extant explanatory challenge. (shrink)