We present a framework for machine implementation of families of non-classical logics with Kripke-style semantics. We decompose a logic into two interacting parts, each a natural deduction system: a base logic of labelled formulae, and a theory of labels characterizing the properties of the Kripke models. By appropriate combinations we capture both partial and complete fragments of large families of non-classical logics such as modal, relevance, and intuitionistic logics. Our approach is modular and supports uniform proofs of soundness, completeness and (...) proof normalization. We have implemented our work in the Isabelle Logical Framework. (shrink)

In previous work we gave an approach, based on labelled natural deduction, for formalizing proof systems for a large class of propositional modal logics that includes K, D, T, B, S4, S4.2, KD45, and S5. Here we extend this approach to quantified modal logics, providing formalizations for logics with varying, increasing, decreasing, or constant domains. The result is modular with respect to both properties of the accessibility relation in the Kripke frame and the way domains of individuals change between worlds. (...) Our approach has a modular metatheory too; soundness, completeness and normalization are proved uniformly for every logic in our class. Finally, our work leads to a simple implementation of a modal logic theorem prover in a standard logical framework. (shrink)

In previous work, we introduced a version of distributed temporal logic that is well-suited both for verifying security protocols and as a metalogic for reasoning about, and relating, different security protocol models. In this paper, we formally investigate the relationship between our approach and strand spaces, which is one of the most successful and widespread formalisms for analyzing security protocols. We define translations between models in our logic and strand-space models of security protocols, and we compare the results obtained with (...) respect to the level of abstraction that is inherent in each of the formalisms. This allows us to clarify different aspects of strand spaces that are often left implicit, as well as pave the way to transfer results, techniques and tools across the two approaches. (shrink)

Recent work in the Philosophy of Mind has suggested that alternatives to reduction are required in order to explain the relationship between psychology and biology or physics. Emergence has been proposed as one such alternative. In this paper, I propose a precise definition of emergence, and I argue that chaotic systems provide concrete examples of properties that meet this definition. In particular, I suggest that being in the basin of attraction of a strange attractor is an emergent property of (...) any chaotic nonlinear dynamical system. This shows that non-reductive accounts of inter-theoretic relations are necessary, and that non-reductive accounts of the mental are possible. Moreover, this work provides a foundation for future work investigating the nature of explanation, prediction, and scientific understanding of non-reductive phenomena. (shrink)

This chapter contains sections titled: Initial Islamic Forays into Philosophical Theology – “the Philosophers ” Averroës' Return to Aristotle and al‐Ghazali's Critique of these Initiatives The Lasting Contribution of Islamic Thought to Philosophical Theology Works cited.

Solomon's sea (a brass basin used in the First Temple) was discussed in the Yerushalmi Talmud Eruvin 1:5 (as well as in BT Eruvin 14a-b), and it revolved around the shape of Solomon's sea. However, inaccurate volume values of the basin were cited in the Yerushalmi. The aim of this article was to offer a new explanation for one problem arising in connection with these values. The setting of this study was the inaccurate volume values of the (...) class='Hi'>basin appearing in the Yerushalmi. The background of the issue at stake is the fact that Jewish scholars cannot accept that Scripture contains discrepancies (cf. BerR. 4:6). Our methods were to review the different explanations given by different commentators and to introduce a discussion by R. Avraham Ben Hiyya ha-Nassi and the Book of Tashbetz dealing with an explanation of verses related to the basin's shape. We suggested a new idea based on the above-mentioned discussion: by reducing the basin's width by one handbreadth as the verse states, one could reach exactly the values appearing in the Yerushalmi for the volumes of a squared basin and a circular basin. Based on our suggestion, one could settle the volume values appearing in the Yerushalmi without correcting them. CONTRIBUTION: The key insight was that one could settle the volume values appearing in the Yerushalmi without correcting them. This insight was connected with the textual history of the Rabbinic literature, which exactly fit HTS's scope. (shrink)

This paper examines the integration, from 1978 to 2002, of six social scientists in five Australian natural resource management agencies: CSIRO Australia, the Great Barrier Reef Marine Park Authority, the Murray Darling Basin Commission, the Western Australian Social Impact Unit, and the Queensland Social Impact Assessment Unit. All but one of the social scientists in the study occupied the first formal social science position in the respective agency. The organisational arrangements for integration, the roles of the social scientists and (...) achievements of social science programs in those agencies illustrate a number of integration approaches and insights for effectively integrating social and natural science. Insights emanating from this research will be useful to inform future natural resource management that avoids integration failures. This paper illustrates both significant impediments to integration in practice and positive examples of integrated multidisciplinary approaches in natural resource management. (shrink)

This book is open access under a CC BY-NC 2.5 license. This book offers a devastating look at deeply flawed development processes driven by international finance, African governments and the global consulting industry. It examines major river basin development underway in the semi-arid borderlands of Ethiopia, Kenya and South Sudan and its disastrous human rights consequences for a half-million indigenous people. The volume traces the historical origins of Gibe III megadam construction along the Omo River in Ethiopia-in turn, enabling (...) irrigation for commercial-scale agricultural development and causing radical reduction of downstream Omo and (Kenya's) Lake Turkana waters. Presenting case studies of indigenous Dasanech and northernmost Turkana livelihood systems and Gibe III linked impacts on them, the author predicts agropastoral and fishing economic collapse, region-wide hunger with exposure to disease epidemics, irreversible natural resource destruction and cross-border interethnic armed conflict spilling into South Sudan. The book identifies fundamental failings of government and development bank impact assessments, including their distortion or omission of mandated transboundary assessment, cumulative effects of the Gibe III dam and its linked Ethiopia-Kenya energy transmission 'highway' project, key hydrologic and human ecological characteristics, major earthquake threat in the dam region and widespread expropriation and political repression. Violations of internationally recognized human rights, especially by the Ethiopian government but also the Kenyan government, are extensive and on the increase-with collaboration by the development banks, in breach of their own internal operational procedures. A policy crossroads has now emerged. The author presents the alternative to the present looming catastrophe-consideration of development suspension in order to undertake genuinely independent transboundary assessment and a plan for continued development action within a human rights framework-forging a sustainable future for the indigenous peoples now directly threatened and for their respective eastern Africa states. Claudia Carr's book is a treasure of detailed information gathered over many years concerning river basin development of the Omo River in Ethiopia and its impact on the peoples of the lower Omo Basin and the Lake Turkana region in Kenya. It contains numerous maps, charts, and photographs not previously available to the public. The book is highly critical of the environmental and human rights implications of the Omo River hydropower projects on both the local ethnic communities in Ethiopia and on the downstream Turkana in Kenya. David Shinn Former Ambassador to Ethiopia and to Burkina Faso Adjust Professor of International Affairs, The George Washington University, Washington D.C. (shrink)

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.

David Hume's Enquiry concerning Human Understanding is the definitive statement of the greatest philosopher in the English language. His arguments in support of reasoning from experience, and against the "sophistry and illusion"of religiously inspired philosophical fantasies, caused controversy in the eighteenth century and are strikingly relevant today, when faith and science continue to clash. The Enquiry considers the origin and processes of human thought, reaching the stark conclusion that we can have no ultimate understanding of the physical world, or (...) indeed our own minds. In either sphere we must depend on instinctive learning from experience, recognizing our animal nature and the limits of reason. Hume's calm and open-minded skepticism thus aims to provide a new basis for science, liberating us from the "superstition" of false metaphysics and religion. His Enquiry remains one of the best introductions to the study of philosophy, and his edition places it in its historical and philosophical context. (shrink)

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)

Unprecedented advances in medicine, genetic engineering, and demographic forecasting raise new questions that strain the categories and assumptions of traditional ethical theories. Heyd's approach resolves many paradoxes in intergenerational justice, while offering a major test case for the profound problems of the limits of ethics and the nature of value. This title is part of UC Press's Voices Revived program, which commemorates University of California Press’s mission to seek out and cultivate the brightest minds and give them voice, reach, and (...) impact. Drawing on a backlist dating to 1893, Voices Revived makes high-quality, peer-reviewed scholarship accessible once again using print-on-demand technology. This title was originally published in 1992. (shrink)

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.

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.

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)

Epistemic Evaluation aims to explore and apply a particular methodology in epistemology. The methodology is to consider the point or purpose of our epistemic evaluations, and to pursue epistemological theory in light of such matters. Call this purposeful epistemology. The idea is that considerations about the point and purpose of epistemic evaluation might fruitfully constrain epistemological theory and yield insights for epistemological reflection. Several contributions to this volume explicitly address this general methodology, or some version of it. Others focus on (...) advancing some application of the methodology rather than on theorizing about it. The papers go on to explore the idea that purposes allow one to understand the conceptual demands on knowing, examine how purposeful epistemology might shed light on the debate between internalist and externalist epistemologies, and further develop the idea of purposeful epistemology. (shrink)

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)

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)

Hylomorphists hold that substances are, in some sense, composites of matter and form. The form of a substance is typically taken to play a fundamental role in determining the unity or identity of the whole. Staunch hylomorphists think that this role is of a kind that precludes the ontological reduction of form to the physical and thus take their position to be inconsistent with physicalism. Forms, according to staunch hylomorphism, play a fundamental role in grounding their bearers’ proper parts and (...) that, it seems, rules out the physical grounding of form itself. I shall develop a physicalist version of hylomorphism that treats form as geometric structure and which, I shall argue, entails many of the central theses endorsed by staunch hylomorphists. Based on Shoemaker’s notion of conditional powers, I shall argue that the geometric structures of complex wholes are the conditions on at least some of the conditional powers of their bearers’ proper parts, transforming those powers into powers simpliciter. Thus, forms play a fundamental role in the dynamical evolution of the physical world, but without bestowing causal powers themselves and hence without violating the causal closure of the physical domain. If a substance’s proper parts are taken to be individuated by their powers simpliciter, then they derive their identities from their places in the substantial whole, which thus determines the identities of its proper parts without changing their intrinsic natures. (shrink)

Since the announcement and establishment of the Oversight Board (OB) by the technology company Meta as an independent institution reviewing Facebook and Instagram’s content moderation decisions, the OB has been subjected to scholarly scrutiny ranging from praise to criticism. However, there is currently no overarching framework for understanding the OB’s various strengths and weaknesses. Consequently, this article analyses, organises, and supplements academic literature, news articles, and Meta and OB documents to understand the OB’s strengths and weaknesses and how it can (...) be improved. Significant strengths include its ability to enhance the transparency of content moderation decisions and processes, to effect reform indirectly through policy recommendations, and its assertiveness in interpreting its jurisdiction and overruling Meta. Significant weaknesses include its limited jurisdiction, limited impact, Meta’s control over the OB’s precedent, and its lack of diversity. The analysis of a recent OB case in Ethiopia shows these strengths and weaknesses in practice. The OB’s relationship with Meta and governments will lead to challenges and opportunities shaping its future development. Reforms to the OB should improve the OB’s control over its precedent, apply OB precedent to currently disputed cases, and clarify the standards for invoking OB precedent. Finally, these reforms provide the foundation for an additional improvement to address the OB’s institutional weaknesses, by involving users in determining whether the OB’s precedent should be applied to decide current content moderation disputes. (shrink)

Transdisciplinary research knits together knowledge from diverse epistemic communities in addressing social-environmental challenges, such as biodiversity loss, climate crises, food insecurity, and public health. This paper reflects on the roles of philosophy of science in transdisciplinary research while focusing on Indigenous and other subaltern forms of knowledge. We offer a critical assessment of demarcationist approaches in philosophy of science and outline a constructive alternative of transdisciplinary philosophy of science. While a demarcationist focus obscures the complex relations between epistemic communities, transdisciplinary (...) philosophy of science provides resources for meeting epistemic and political challenges of collaborative knowledge production. (shrink)

On two standard views of vagueness, vagueness as to whether Harry is bald entails that nobody knows whether Harry is bald—either because vagueness is a type of missing truth, and so there is nothing to know, or because vagueness is a type of ignorance, and so even though there is a truth of the matter, nobody can know what that truth is. Vagueness as to whether Harry is bald does entail that nobody clearly knows that Harry is bald and that (...) nobody clearly knows that Harry is not bald. But it does not entail that nobody knows that Harry is bald or that nobody knows that Harry is not bald. Hence, the two standard views of vagueness are mistaken. (shrink)

It is worthwhile comparing Hylomorphic and Animalistic accounts of personal identity since they both identify the human animal and the human person.The topics of comparison will be three: The first is accounting for our intuitions in cerebrum transplant and irreversible coma cases. Hylomorphism, unlike animalism, appears to capture “commonsense” beliefs here, preserves the maxim that identity matters, and does not run afoul of the Only x and y rule. The next topic of comparison reveals how the rival explanations of transplants (...) and comas are both at odds with some compelling biological assumptions. The third issue deals with our practical concerns, most notably, the possibility of an afterlife. It turns out that the hylomorphic treatment of Purgatory raises the spectra of the “too many thinkers” problem and some considerable unfairness. Contrary to expectations, an animalist insistence on uninterrupted bodily continuity between this life and the next does not involve deceptive body snatching. (shrink)

Christianity teaches that whenever evil is done, God had ample warning. He could have prevented it, but He didn't. He could have stopped it midway, but He didn't. He could have rescued the victims of the evil, but - at least in many cases - He didn't. In short, God is an accessory before, during, and after the fact to countless evil deeds, great and small. An explanation is not far to seek. The obvious hypothesis is that the Christian God (...) is really some sort of devil. Maybe He is a devil as popularly conceived, driven' by malice. Or maybe He is unintelligibly capricious. Or maybe He is a fanatical artist who cares only for the aesthetic quality of creation - perhaps the abstract beauty of getting rich variety to emerge from a few simple laws, or perhaps the concrete drama of human life with all its diversity - and cares nothing for the good of the creatures whose lives are woven into His masterpiece. Oust as a tragedian has no business providing a happy end out of compassion for his characters.) But no; for Christianity also teaches that God is morally perfect and perfectly benevolent, and that He loves all of His creatures; and that these things are true in a sense not a million miles from the sense in which we attribute morality, benevolence, or love to one another. (shrink)

Recent contributions in moral philosophy have raised questions concerning the prevalent assumption that moral judgments are typologically discrete, and thereby distinct from ordinary and/or other types of judgments. This paper adds to this discourse, surveying how attempts at defining what makes moral judgments distinct have serious shortcomings, and it is argued that any typological definition is likely to fail due to certain questionable assumptions about the nature of judgment itself. The paper concludes by raising questions for future investigations into the (...) nature of moral judgment. (shrink)

In this paper, I introduce the notion of ‘philosophy moves’: prominent tropes featured in contemporary academic philosophy. Moves are more than patterns – they are tools for advancing and enriching philosophical debates. By recognizing these patterns in the philosophical literature, we collect an ensemble of moves for deployment in novel contexts, each with the potential to forge new paths of philosophical investigation through a given topic. The moves featured in this paper are constructive and progressive, with the potential to push (...) past stalemates and open up a wider conceptual landscape. Following a presentation of five exemplars taken from the philosophy of biology literature, I show how different moves could be made within a current interdisciplinary debate. Overall, I aim to demonstrate that recognizing these patterns is insightful pedagogically and potentially useful when put to use as part of one’s philosophical methodology. (shrink)

Under representation -- The aesthetic regime of representation -- The pathological sublime: pleasure and pain in the racial regime -- Race under representation -- Representation's coup -- The aesthetic taboo: aura, magic, and the primitive.

In C. S. Lewis’s Christian Apologetics: Pro and Con, I took the con in a debate with Victor Reppert about the soundness of Lewis’s famous “argument from reason.” Reppert then extended his argument in an article for Philosophia Christi; this article is my reply. I show that Reppert’s argument fails for three reasons. (1) It “loads the die” by falsely assuming that naturalism, by definition, can't include mental causation "on the basic level." (I provide multiple examples of naturalist theories of (...) mind that do exactly that). (2) Physical processes can reliably produce true beliefs. And (3) reasoning isn’t necessarily mental. (shrink)

Longtermists have recently argued that it is overwhelmingly important to do what we can to mitigate existential risks to humanity. I consider three mistakes that are often made in calculating the value of existential risk mitigation. I show how correcting these mistakes pushes the value of existential risk mitigation substantially below leading estimates, potentially low enough to threaten the normative case for existential risk mitigation. I use this discussion to draw four positive lessons for the study of existential risk. -/- (...) . (shrink)