Technological developments in the sphere of artificial intelligence (AI) inspire debates about the implications of autonomous weapon systems (AWS), which can select and engage targets without human intervention. While increasingly more systems which could qualify as AWS, such as loitering munitions, are reportedly used in armed conflicts, the global discussion about a system of governance and international legal norms on AWS at the United Nations Convention on Certain Conventional Weapons (UN CCW) has stalled. In this article we argue for the (...) necessity to adopt legal norms on the use and development of AWS. Without a framework for global regulation, state practices in using weapon systems with AI-based and autonomous features will continue to shape the norms of warfare and affect the level and quality of human control in the use of force. By examining the practices of China, Russia, and the United States in their pursuit of AWS-related technologies and participation at the UN CCW debate, we acknowledge that their differing approaches make it challenging for states parties to reach an agreement on regulation, especially in a forum based on consensus. Nevertheless, we argue that global governance on AWS is not impossible. It will depend on the extent to which an actor or group of actors would be ready to take the lead on an alternative process outside of the CCW, inspired by the direction of travel given by previous arms control and weapons ban initiatives. (shrink)

I evaluate Schurz's proposed meta-inductive justification of induction, a refinement of Reichenbach's pragmatic justification that rests on results from the machine learning branch of prediction with expert advice. My conclusion is that the argument, suitably explicated, comes remarkably close to its grand aim: an actual justification of induction. This finding, however, is subject to two main qualifications, and still disregards one important challenge. The first qualification concerns the empirical success of induction. Even though, I argue, Schurz's argument does not need (...) to spell out what inductive method actually consists in, it does need to postulate that there is something like the inductive or scientific prediction strategy that has so far been significantly more successful than alternative approaches. The second qualification concerns the difference between having a justification for inductive method and for sticking with induction for now. Schurz's argument can only provide the latter. Finally, the remaining challenge concerns the pool of alternative strategies, and the relevant notion of a meta-inductivist's optimality that features in the analytic step of Schurz's argument. Building on the work done here, I will argue in a follow-up paper that the argument needs a stronger dynamic notion of a meta-inductivist's optimality. (shrink)

The no-free-lunch theorems promote a skeptical conclusion that all possible machine learning algorithms equally lack justification. But how could this leave room for a learning theory, that shows that some algorithms are better than others? Drawing parallels to the philosophy of induction, we point out that the no-free-lunch results presuppose a conception of learning algorithms as purely data-driven. On this conception, every algorithm must have an inherent inductive bias, that wants justification. We argue that many standard learning algorithms should rather (...) be understood as model-dependent: in each application they also require for input a model, representing a bias. Generic algorithms themselves, they can be given a model-relative justification. (shrink)

This article poses a challenge to Schurz’s proposed metainductive justification of induction. It is argued that Schurz’s argument requires a notion of optimality that can deal with an expanding pool of prediction strategies.

Douven (in press) observes that Schurz's meta-inductive justification of induction cannot explain the great empirical success of induction, and offers an explanation based on computer simulations of the social and evolutionary development of our inductive practices. In this paper, I argue that Douven's account does not address the explanatory question that Schurz's argument leaves open, and that the assumption of the environment's induction-friendliness that is inherent to Douven's simulations is not justified by Schurz's argument.

In this thesis I investigate the theoretical possibility of a universal method of prediction. A prediction method is universal if it is always able to learn from data: if it is always able to extrapolate given data about past observations to maximally successful predictions about future observations. The context of this investigation is the broader philosophical question into the possibility of a formal specification of inductive or scientific reasoning, a question that also relates to modern-day speculation about a fully automatized (...) data-driven science. I investigate, in particular, a proposed definition of a universal prediction method that goes back to Solomonoff and Levin. This definition marks the birth of the theory of Kolmogorov complexity, and has a direct line to the information-theoretic approach in modern machine learning. Solomonoff's work was inspired by Carnap's program of inductive logic, and the more precise definition due to Levin can be seen as an explicit attempt to escape the diagonal argument that Putnam famously launched against the feasibility of Carnap's program. The Solomonoff-Levin definition essentially aims at a mixture of all possible prediction algorithms. An alternative interpretation is that the definition formalizes the idea that learning from data is equivalent to compressing data. In this guise, the definition is often presented as an implementation and even as a justification of Occam's razor, the principle that we should look for simple explanations. The conclusions of my investigation are negative. I show that the Solomonoff-Levin definition fails to unite two necessary conditions to count as a universal prediction method, as turns out be entailed by Putnam's original argument after all; and I argue that this indeed shows that no definition can. Moreover, I show that the suggested justification of Occam's razor does not work, and I argue that the relevant notion of simplicity as compressibility is already problematic itself. (shrink)

Putnam construed the aim of Carnap’s program of inductive logic as the specification of a “universal learning machine,” and presented a diagonal proof against the very possibility of such a thing. Yet the ideas of Solomonoff and Levin lead to a mathematical foundation of precisely those aspects of Carnap’s program that Putnam took issue with, and in particular, resurrect the notion of a universal mechanical rule for induction. In this paper, I take up the question whether the Solomonoff–Levin proposal is (...) successful in this respect. I expose the general strategy to evade Putnam’s argument, leading to a broader discussion of the outer limits of mechanized induction. I argue that this strategy ultimately still succumbs to diagonalization, reinforcing Putnam’s impossibility claim. (shrink)

Algorithmic information theory gives an idealized notion of compressibility that is often presented as an objective measure of simplicity. It is suggested at times that Solomonoff prediction, or algorithmic information theory in a predictive setting, can deliver an argument to justify Occam’s razor. This article explicates the relevant argument and, by converting it into a Bayesian framework, reveals why it has no such justificatory force. The supposed simplicity concept is better perceived as a specific inductive assumption, the assumption of effectiveness. (...) It is this assumption that is the characterizing element of Solomonoff prediction and wherein its philosophical interest lies. (shrink)

Wenmackers and Romeijn (2016) formalize ideas going back to Shimony (1970) and Putnam (1963) into an open-minded Bayesian inductive logic, that can dynamically incorporate statistical hypotheses proposed in the course of the learning process. In this paper, we show that Wenmackers and Romeijn’s proposal does not preserve the classical Bayesian consistency guarantee of merger with the true hypothesis. We diagnose the problem, and offer a forward-looking open-minded Bayesians that does preserve a version of this guarantee.

We study computable PAC (CPAC) learning as introduced by Agarwal et al. (2020). First, we consider the main open question of finding characterizations of proper and improper CPAC learning. We give a characterization of a closely related notion of strong CPAC learning, and provide a negative answer to the COLT open problem posed by Agarwal et al. (2021) whether all decidably representable VC classes are improperly CPAC learnable. Second, we consider undecidability of (computable) PAC learnability. We give a simple general (...) argument to exhibit such ndecidability, and initiate a study of the arithmetical complexity of learnability. We briefly discuss the relation to the undecidability result of Ben-David et al. (2019), that motivated the work of Agarwal et al. (shrink)

An a priori semimeasure (also known as “algorithmic probability” or “the Solomonoff prior” in the context of inductive inference) is defined as the transformation, by a given universal monotone Turing machine, of the uniform measure on the infinite strings. It is shown in this paper that the class of a priori semimeasures can equivalently be defined as the class of transformations, by all compatible universal monotone Turing machines, of any continuous computable measure in place of the uniform measure. Some consideration (...) is given to possible implications for the association of algorithmic probability with certain foundational principles of statistics. (shrink)

An aspect of Peirce’s thought that may still be underappreciated is his resistance to what Levi calls _pedigree epistemology_, to the idea that a central focus in epistemology should be the justification of current beliefs. Somewhat more widely appreciated is his rejection of the subjective view of probability. We argue that Peirce’s criticisms of subjectivism, to the extent they grant such a conception of probability is viable at all, revert back to pedigree epistemology. A thoroughgoing rejection of pedigree in the (...) context of probabilistic epistemology, however, _does_ challenge prominent subjectivist responses to the problem of the priors. (shrink)

We discuss some research that has examined approach motivational urges and how this research clarifies the definition of approach motivation. Our research and that of others have raised doubts about the commonly accepted definition of approach motivation, which views it as a positive affective state triggered by positive stimuli. We review evidence that suggests: (a) that approach motivation is occasionally evoked by negative stimuli; (b) that approach motivation may be experienced as a negative state; and (c) that stimuli are unnecessary (...) to evoke approach motivation. (shrink)

Higher-Order Logic (HOL) is a proof development system intended for applications to both hardware and software. It is principally used in two ways: for directly proving theorems, and as theorem-proving support for application-specific verification systems. HOL is currently being applied to a wide variety of problems, including the specification and verification of critical systems. Introduction to HOL provides a coherent and self-contained description of HOL containing both a tutorial introduction and most of the material that is needed for day-to-day work (...) with the system. After a quick overview that gives a "hands-on feel" for the way HOL is used, there follows a detailed description of the ML language. The logic that HOL supports and how this logic is embedded in ML, are then described in detail. This is followed by an explanation of the theorem-proving infrastructure provided by HOL. Finally two appendices contain a subset of the reference manual, and an overview of the HOL library, including an example of an actual library documentation. (shrink)

Ideas of masculinity and femininity become sharply defined in war-reliant societies, resulting in a presumed enmity between men and women. This so-called "battle of the sexes" is intensified by the use of misogyny to encourage men and boys to conform to the demands of masculinity. These are among Tom Digby's fascinating insights shared in _Love and War_, which describes the making and manipulation of gender in militaristic societies and the sweeping consequences for men and women in their personal, romantic, (...) sexual, and professional lives. Drawing on cross-cultural comparisons and examples from popular media, including sports culture, the rise of "gonzo" and "bangbus" pornography, and "internet trolls," Digby describes how the hatred of women and the suppression of empathy are used to define masculinity, thereby undermining relations between women and men--sometimes even to the extent of violence. Employing diverse philosophical methodologies, he identifies the cultural elements that contribute to heterosexual antagonism, such as an enduring faith in male force to solve problems, the glorification of violent men who suppress caring emotions, the devaluation of men's physical and emotional lives, an imaginary gender binary, male privilege premised on the subordination of women, and the use of misogyny to encourage masculine behavior. Digby tracks the "collateral damage" of this disabling misogyny in the lives of both men and women, but ends on a hopeful note. He ultimately finds the link between war and gender to be dissolving in many societies: war is becoming slowly de-gendered, and gender is becoming slowly de-militarized. (shrink)

Let us begin with a fundamental realization: No amount of thinking and no amount of public policy have brought us any closer to understanding and solving the problem of crime. The more we have reacted to crime, the farther we have removed ourselves from any understanding and any reduction of the problem. In recent years, we have floundered desperately in reformulating the law, punishing the offender, and quantifying our knowledge. Yet this country remains one of the most crime-ridden nations. In (...) spite of all its wealth, economic development, and scientific advances, this country has one of the worst crime records in the world.With such realization, we return once again—as if starting anew—to the subject of crime, a subject that remains one of our most critical indicators of the state of our personal and collective being. If what is to be said seems outrageous and heretical, it is only because it is necessarily outside the conventional wisdom both of our understanding of the problem and of our attempt to solve it. (shrink)

First published in 1998. Routledge is an imprint of Taylor & Francis, an informa company.

Our primary focus is on analysis of the concept of voluntariness, with a secondary focus on the implications of our analysis for the concept and the requirements of voluntary informed consent. We propose that two necessary and jointly sufficient conditions must be satisfied for an action to be voluntary: intentionality, and substantial freedom from controlling influences. We reject authenticity as a necessary condition of voluntary action, and we note that constraining situations may or may not undermine voluntariness, depending on the (...) circumstances and the psychological capacities of agents. We compare and evaluate several accounts of voluntariness and argue that our view, unlike other treatments in bioethics, is not a value-laden theory. We also discuss the empirical assessment of individuals? perceptions of the degrees of noncontrol and self-control. We propose use of a particular Decision Making Control Instrument. Empirical research using this instrument can provide data that will help establish appropriate policies and procedures for obtaining voluntary consent to research. (shrink)

The work of 6th century Indian logician Dharmakirti is explored in detail in series of twelve articles analyzing deviant logic, subject failure, andther important aspects of the Indo-Tibetan Buddhist logical tradition.riginal.

Book reviewed in this article: Principles of Biomedical Ethics. By Tom L. Beauchamp and James F. Childress.

In an article published in 2009 titled "How Do Mādhyamikas Think?" I tried to go some distance with Yasuo Deguchi, Jay Garfield, and Graham Priest (henceforth "DGP") in reading certain Buddhist texts as dialetheist.1 The dialetheism that I saw as plausible for the Prajñāpāramitā-sūtras and Nāgārjuna was not the full-blown robust variety of DGP (i.e., acceptance of the truth of some statement of the form p & ¬p) but a non-adjunctive variety, acceptance of p and acceptance of ¬p. In short, (...) the adjunctive move to p & ¬p is blocked.In the article, I focused on texts like the Vajracchedikā Prajñāpāramitā-sūtra ("Diamond Cutter Suūtra") with its famous "signature formulae" along the lines of "x does not exist / x is not .. (shrink)

Intro -- Title -- Contents -- Publisher's Acknowledgment -- Introduction -- Madhyamaka's Promise as Philosophy -- 1. Trying to Be Fair -- 2. How Far Can a Mādhyamika Reform Customary Truth? Dismal Relativism, Fictionalism, Easy-Easy Truth, and the Alternatives -- Logic and Semantics -- 3. How Do Mādhyamikas Think? Notes on Jay Garfield, Graham Priest, and Paraconsistency -- 4. "How Do Mādhyamikas Think?" Revisited -- 5. Prasaṅga and Proof by Contradiction in Bhāviveka, Candrakīrti, and Dharmakīrti -- 6. Apoha Semantics: What (...) Did Bhāviveka Have to Do with It? -- 7. What Happened to the Third and Fourth Lemmas in the Tibetan Madhyamaka? -- Ethics and the Spiritual Path -- 8. Madhyamaka Buddhist Ethics -- 9. Reason, Irrationality, and Akrasia (Weakness of the Will) in Buddhism: Reflections upon Śāntideva's Arguments with Himself -- 10. Yogic Perception, Meditation, and Enlightenment: The Epistemological Issues in a Key Debate between Madhyamaka and Chan -- Madhyamaka in Contemporary Debates -- 11. On Minds, Dharmakīrti, and Madhyamaka -- 12. Serious, Lightweight, or Neither: Should Madhyamaka Go to Canberra? -- Notes on the Articles -- Abbreviations -- Bibliography -- Index -- About the Author -- Studies in Indian and Tibetan Buddhism Titles Previously Published -- About Wisdom Publications -- Copyright. (shrink)

Presents a plethora of approaches to developing human potential in areas not conventionally addressed. Organized in two parts, this international collection of essays provides viable educational alternatives to those currently holding sway in an era of high-stakes accountability.

This article looks at the Indian canonical sources for Mādhyamika Buddhist refusals to personally endorse truth claims, even about customary matters. These sources, on a natural reading, seem to suggest that customary truth is only widespread error and that the Buddhist should do little more than duplicate, or acquiesce in, what the common man recognizes about it. The combination of those Indian canonical themes probably contributed to frequent Indo-Tibetan Madhyamaka positions on truth, i.e., that the customary is no more than (...) surface level truth, mere consensus amongst the mistaken, or, similarly, that there can be no right answers or truth claims to endorse about customary matters, as there are no sources of knowledge that have them as objects. Tsong kha pa and the dGe lugs pa, by contrast, adopted what I consider to be a philosophically more promising stance, one that recognized the need for a robust normativity: things customary are not just reduced to accepted errors; there are right answers about them that should be endorsed and may well defy current consensus of opinion. Not surprisingly, however, they needed a quite different and even strained exegesis of that same Indian textual legacy. (shrink)

After expressing our gratitude to the commentators for their valuable analyses and assessments of Principles of Biomedical Ethics, we respond to several particular critiques raised by the commentators under the following rubrics: the compatibility of different sets of principles and rules; challenges to the principle of respect for autonomy; connecting principles to cases and resolving their conflicts; the value of and compatibility of virtues and principles; common morality theory; and moral status. We point to areas where we see common agreement (...) with our commentators and respond to their critical evaluations. (shrink)

The paper looks at how Tsong kha pa, mKhas grub, and Go rams pa understood the third and fourth lemmas in the tetralemma, “both A and B” and “neither A nor B,” respectively.

Let it be granted that Buddhism has, e.g., in its logical literature, detailed canons and explicit rules of right reason that, amongst other things, ban inconsistency as irrational. This is the normative dimension of how people should think according to many major Buddhist authors. But do important Buddhist writers ever recognize any interesting or substantive role for inconsistency and forms of irrationality in their account of how people actually do think and act? The article takes as its point of departure (...) a recurring theme in the writings of the 8th Century Indian Buddhist thinker, Śāntideva, who subjects his own behaviour and thought to minute scrutiny in argumentation with himself, only to be puzzled at his own seemingly irrational persistence in ways of thinking that he knows to be wrong and actions that he knows to be worse courses. The Buddhist’s situation is profitably comparable to issues of akrasia, weakness of the will, that are taken up by Plato, Aristotle and many modern philosophers, including notably Donald Davidson and David Wiggins. (shrink)