The United Nations ad hoc tribunals in the former Yugoslavia and Rwanda had primacy over national judicial agents for crimes committed in these countries during the most notorious civil wars and genocide of the 1990s. The UN Charter granted the Security Council the right to establish a tribunal for Yugoslavia in the context of ongoing civil war and against the will of recalcitrant national agents. The Council used that same right to punish individuals responsible for a genocide that it failed (...) earlier to prevent in Rwanda. In both cases the Council delegated a portion of its coercive title to independent tribunal agents, thereby overriding the default locus of punishment in the world order: sovereign states. (shrink)

International law has one principal mechanism for settling the legality of humanitarian interventions, the United Nations Security Council's power to authorise coercion. However, this is hardly satisfactory in practice and has failed to provide a more secure juridical basis for determining significant conflicts among states over when humanitarian force is justified. This article argues that, in spite of Immanuel Kant's limited analysis of intervention, and his silence on humanitarian intervention, his political theory provides the elements of a compelling analysis on (...) this topic. Five components of Kant's roadmap towards perpetual peace and an eventual world republic give conditional support for humanitarian intervention even in imperfect juridical conditions. This support is conditional on the achievement of juridical progress within and among states and has implications for the development of cosmopolitan citizenship. From Kant we learn that, ultimately, humanitarian intervention should become a matter of coercive law enforcement rather than an ethical question of ‘saving strangers’. (shrink)

This article analyses the legal and ethical dimensions of the wide gap between commitments to universal human rights and the reality of their widespread and systematic abuse, particularly as related to poverty and inequality. The argument put forward is that, properly conceived, global legalism, that is, the quest to apply the rule of law across and among states and societies, and cosmopolitan ethics, both support restricting harms imposed on weak and vulnerable individuals worldwide by an unjust institutional order. Therefore, those (...) who have tended to value either a global rule of law or cosmopolitan ethics independently have good reason to pursue their requirements together. The article also considers the problem of legalism and cosmopolitanism being used by powerful agents in global politics to enhance their prerogatives and their freedoms from legal and ethical restraints. (shrink)

We prove ExpTime-membership of the satisfiability problem for loosely ∀-guarded first-order formulas with a bounded number of variables and an unbounded number of constants. Guarded fragments with constants are interesting by themselves and because of their connection to hybrid logic.

We prove ExpTime-membership of the satisfiability problem for loosely ∀-guarded first-order formulas with a bounded number of variables and an unbounded number of constants. Guarded fragments with constants are interesting by themselves and because of their connection to hybrid logic.

This volume gathers together for the first time are all the key texts in a crucial debate in modern philosophy, centered on Leibniz's famous 1695 essay, the "New System of the Nature of Substances and their Communication," in which he introduced his strikingly original theory of metaphysics. His "system" became increasingly famous and drew him into discussion and development of these ideas, both in public and in private, with a variety of thinkers, most notably the great French philosopher Pierre Bayle. (...) Woolhouse's and Francks's new English edition gives the only full representation of this debate, and will therefore be essential reading for anyone who wishes to gain a proper understanding of Leibniz's philosophy and its intelletual context. All the texts are newly translated and extensively annotated; many appear in English for the first time. (shrink)

t. 1. Apo ton prōto skeptomeno anthrōpo mechri ton 6. aiōna M.Ch. -- t. 2. Apo ton 7. aiōna M.Ch. mechri to sēmera.

Plato's dialogues frequently criticize traditional Greek myth, yet Plato also integrates myth with his writing. Daniel S. Werner confronts this paradox through an in-depth analysis of the Phaedrus, Plato's most mythical dialogue. Werner argues that the myths of the Phaedrus serve several complex functions: they bring nonphilosophers into the philosophical life; they offer a starting point for philosophical inquiry; they unify the dialogue as a literary and dramatic whole; they draw attention to the limits of language and the limits of (...) knowledge; and they allow Plato to co-opt cultural authority as a way of defining and legitimating the practice of philosophy. Platonic myth, as a species of traditional tale, is thus both distinct from philosophical dialectic and similar to it. Ultimately, the most powerful effect of Platonic myth is the way in which it leads readers to participate in Plato's dialogues and to engage in a process of self-examination. (shrink)

We propose a formal framework for interpretable machine learning. Combining elements from statistical learning, causal interventionism, and decision theory, we design an idealised explanation game in which players collaborate to find the best explanation for a given algorithmic prediction. Through an iterative procedure of questions and answers, the players establish a three-dimensional Pareto frontier that describes the optimal trade-offs between explanatory accuracy, simplicity, and relevance. Multiple rounds are played at different levels of abstraction, allowing the players to explore overlapping causal (...) patterns of variable granularity and scope. We characterise the conditions under which such a game is almost surely guaranteed to converge on a optimal explanation surface in polynomial time, and highlight obstacles that will tend to prevent the players from advancing beyond certain explanatory thresholds. The game serves a descriptive and a normative function, establishing a conceptual space in which to analyse and compare existing proposals, as well as design new and improved solutions. (shrink)

Capital punishment—the legally authorized killing of a criminal offender by an agent of the state for the commission of a crime—stands in special need of moral justification. This is because execution is a particularly severe punishment. Execution is different in kind from monetary and custodial penalties in an obvious way: execution causes the death of an offender. While fines and incarceration set back some of one’s interests, death eliminates the possibility of setting and pursuing ends. While fines and incarceration narrow (...) one’s routes to happiness, death eliminates its possibility. Not surprisingly, there is much debate about the moral permissibility of capital punishment. This entry maps the terrain of this debate. The first section discusses justifications of the death penalty as they appear in major theories of punishment. The second section surveys moral objections to execution that apply to most justifications. The third addresses procedural criticisms, which do not target the morality of execution so much as the justice of its implementation. (shrink)

Since the launch of applications such as DALL-E, Midjourney, and Stable Diffusion, generative artificial intelligence has been controversial as a tool for creating artwork. While some have presented longtermist worries about these technologies as harbingers of fully automated futures to come, more pressing is the impact of generative AI on creative labour in the present. Already, business leaders have begun replacing human artistic labour with AI-generated images. In response, the artistic community has launched a protest movement, which argues that AI (...) image generation is a kind of theft. This paper analyzes, substantiates, and critiques these arguments, concluding that AI image generators involve an unethical kind of labour theft. If correct, many other AI applications also rely upon theft. (shrink)

In Seeing Things as They Are (Searle 2015), Searle developed a direct realist’s theory of perception. According to direct realism, physical objects are directly and immediately perceived. Searle claims that Berkeley’s theory of perception goes against direct realism. For Searle, Berkeley’s theory suggests that only subjective experiences (ideas) are directly and immediately perceived, not physical objects. Contrary to Searle, G. S. Pappas claims that Berkeley’s theory of perception is consistent with the view that physical objects are immediately perceivable (Pappas 1982; (...) Pappas 1987). Given the conflicting interpretations of Berkeley’s theory of perception, this paper attempts to defend Searle’s position on Berkeley’s theory of perception. It refutes Pappas’ interpretation by arguing that he is inconsistent with Berkeley’s theses of ontological phenomenalism and heterogeneity thesis. (shrink)

The foundation of the Christian counselling movement -- Christian counselling in the UK -- The aims of Christian counselling -- Integrating psychological and biblical truth -- Sigmund Freud--the founding father of psychotherapy -- The individual psychology of Alfred Adler -- Abraham Maslow--the man with new age tendencies -- Carl Rogers--a man who believed in himself -- Albert Ellis--the aggressive atheist -- The Bible's verdict on psychological 'truth' -- The case against Larry Crabb -- Self-esteem: the secular foundation -- Self-esteem and (...) the Christian counselling movement -- Self-esteem dogma in the light of scripture. (shrink)

Many people are worried about the harmful effects of climate change but nevertheless enjoy some activities that contribute to the emission of greenhouse gas (driving, flying, eating meat, etc.), the main cause of climate change. How should such people make choices between engaging in and refraining from enjoyable greenhouse-gas-emitting activities? In this chapter, we look at the answer provided by decision theory. Some scholars think that the right answer is given by interactive decision theory, or game theory; and moreover think (...) that since private climate decisions are instances of the prisoner’s dilemma, one rationally should engage in these activities provided that one enjoys them. Others think that the right answer is given by expected utility theory, the best-known version of individual decision theory under risk and uncertainty. In this chapter, we review these different answers, with a special focus on the latter answer and the debate it has generated. (shrink)

Critics of the computational connectionism of the last decade suggest that it shares undesirable features with earlier empiricist or associationist approaches, and with behaviourist theories of learning. To assess the accuracy of this charge the works of earlier writers are examined for the presence of such features, and brief accounts of those found are given for Herbert Spencer, William James and the learning theorists Thorndike, Pavlov and Hull. The idea that cognition depends on associative connections among large networks of neurons (...) is indeed one with precedents, although the implications of this for psychological issues have been interpreted variously — not all versions of connectionism are alike. (shrink)

By transcendental aesthetic, Kant means “the science of all principles of a priori sensibility” (A 21/B 35). These, he argues, are the laws that properly direct our judgments of taste (B 35 – 36 fn.), i.e. our aesthetic judgments as we ordinarily understand that notion in the context of contemporary art. Thus the first part of the Critique of Pure Reason, entitled the Transcendental Aesthetic, enumerates the necessary presuppositions of, among other things, our ability to make empirical judgments about particular (...) works of art. These presuppositions are sensible rather than intellectual because on Kant's view, all intellection that considers objects of any kind, whether abstract or concrete, must at base connect to actual, material objects with which we come into direct contact; and this we can do only through sensibility (A 19/B 33). Thus the following discussion explores what Kant claims must be true of us in order to make the sorts of aesthetic judgments we make, rather than any particular class or quality of aesthetic judgments itself. On Kant's view, what must be true of us in order to make aesthetic judgments is not different from what must be true of us in order to make any other kind of judgment about empirical objects. This last point is worth emphasizing, in order to correct an interpretation of Kant's account of aesthetic judgment in the Critique of Judgment that wrongly reads Kant as claiming that aesthetic judgments do not have to satisfy the same basic requirements of judgment that any other kind of judgment also must satisfy, such as the synthetic subsumption of such objects under certain necessary and hard-wired concepts of understanding, the internal coherence of such judgments with other, non-aesthetic ones of a more abstract and comprehensive character, the unified consciousness within which such judgments are intelligibly made, and the like. Of course Kant recognizes the special character of aesthetic judgments and unpacks it in the... (shrink)