This article looks at the similarities and differences between Karl Marx’s theory of value and J.S. Mill’s theory of value, where value is synonymous with ‘utility’. It explores how the authors treated the spheres of use and exchange; possibilities of revolutionary social praxis under each of their philosophies; and their respective ability to endure in relevance for the contemporary social world. This article also analyzes their methodologies for achieving utility, focusing on the humanistic and mechanistic aspects of both Marxism and (...) utilitarianism. Connections between their logical aims are also made in the field of ethics. Epistemic considerations are taken into account when making a value judgement on their works, in that materialist philosophy sometimes melds with idealist philosophy in the works of both authors. Finally, an idea will be given as to who was the ‘better philosopher’ judging by consistency of means and ends. (shrink)

Evidentialism is the thesis that epistemic justification for belief supervenes on evidential support. However, we claim there are cases in which, even though two subjects have the same evidential support for a proposition, only one of them is justified. What make the difference are pragmatic factors, factors having to do with our cares and concerns. Our argument against evidentialism is not based on intuitions about particular cases. Rather, we aim to provide a theoretical basis for rejecting evidentialism by defending a (...) “pragmatic” necessary condition on epistemic justification. We argue for the following necessary condition for justification: S is justified in believing that p only if S is rational to prefer (and, hence, act) as if p. In light of this necessary condition, the price of evidentialism is skepticism, or something close to it. (shrink)

Abstract: This paper assesses the Everettian approach to the measurement problem, especially the version of that approach advocated by Simon Saunders and David Wallace. I emphasise conceptual, indeed metaphysical, aspects rather than technical ones; but I include an introductory exposition of decoherence. In particular, I discuss whether---as these authors maintain---it is acceptable to have no precise definition of 'branch' (in the Everettian kind of sense). (A version of this paper will appear in a CTNS/Vatican Observatory volume on Quantum Theory and (...) Divine Action, ed. Robert Russell et al.). (shrink)

Of all the demands that mathematics imposes on its practitioners, one of the most fundamental is that proofs ought to be correct. It has been common since the turn of the twentieth century to take correctness to be underwritten by the existence of formal derivations in a suitable axiomatic foundation, but then it is hard to see how this normative standard can be met, given the differences between informal proofs and formal derivations, and given the inherent fragility and complexity of (...) the latter. This essay describes some of the ways that mathematical practice makes it possible to reliably and robustly meet the formal standard, preserving the standard normative account while doing justice to epistemically important features of informal mathematical justification. (shrink)

Most studies on climate change response have examined reductions in greenhouse gas (GHG) emissions. Yet these studies do not take into account ecosystem services constraints and biophysical disruptions wrought by climate change that may require broader types of response. By studying a firm in the wine industry and using a research approach not constrained by structured methodologies or biased toward GHG emissions, the findings suggest that both “inside out” and “outside in” actions are taken in response to climate change. While (...) attempts are made by the firm to curtail and reverse climate change through management of carbon emissions, evidence suggests a clear pattern of actions designed to adjust to the adverse consequences of climate change as well. The results both confirm and extend previous findings and suggest that the level and breadth of response to climate change is shaped by situated attention, structural controls, and industry type. (shrink)

Wilfrid Sellars’s ethical theory was rich and deeply innovative. On Sellars’s view, moral judgments express a special kind of shared intention. Thus, we should see Sellars as an early advocate of an expressivism of plans and intentions, and an early theorist of collective intentionality. He supplemented this theory with a sophisticated logic of intentions, a robust theory of the categorical validity of normative expressions, a subtle way of reconciling the cognitive and motivating aspects of moral judgment, and much more— all (...) within a strict nominalism that preserves Sellars’s commitment to naturalism. The Ethics of Wilfrid Sellars offers the first systematic treatment of this sadly neglected aspect of Sellars’s work and demonstrates that his ethical theory— just like his more widely discussed epistemology— has much to contribute to current debates. (shrink)

Issues pertaining to sex and gender continue to be some of the most hotly debated topics of our time. While many of the most heated disputes occur at the level of politics and public policy, metaphysics, too, has a crucial role to play in these debates. In this essay, I explore several key metaphysical debates concerning sex and gender through the lenses of two important areas in contemporary metaphysics: the metaphysics of essence and the ontology of the human person. The (...) goal here is not to advocate any particular position on these issues, but to show how the tools of contemporary metaphysics can help to offer a more comprehensive map of the conceptual terrain, indicating where major areas of agreement can be found and where the most important disagreements really lie. (shrink)

I argue that there is a prima facie tension between solutions to the problem of fake news and solutions to the problem presented by various cognitive biases that dispose us to dismiss evidence against our prior beliefs (what might seem to be the driving force behind echo chambers). We can guard against fake news by strengthening belief. But we can exit echo chambers by becoming more sensitive to counterevidence, which seems to require weakening our beliefs. I resolve the tension by (...) arguing against an injunction to weaken belief in the required ways. In particular, there is no injunction to be open-minded in all circumstances toward various counterarguments, even those whose premises seem compelling and in which we can’t expose a flaw. On the contrary, there are circumstances in which you should, in the relevant sense, be closed-minded toward such counterarguments. (shrink)

This paper gives a technically elementary treatment of some aspects of Hamilton -Jacobi theory, especially in relation to the calculus of variations. The second half of the paper describes the application to geometric optics, the optico-mechanical analogy and the transition to quantum mechanics. Finally, I report recent work of Holland providing a Hamiltonian formulation of the pilot-wave theory.

"Robert Brandom" is one of the most significant philosophers writing today, yet paradoxically philosophers have found it difficult to get to grips with the details and implications of his work. This book aims to facilitate critical engagement with Brandom's ideas by providing an accessible overview of Brandom's project and the context for an initial assessment. Jeremy Wanderer's examination focuses on Brandom's inferentialist conception of rationality, and the core part of this conception that aims to specify the structure that a (...) set of performances within a social practice must have for the participants to count as sapient beings by virtue of their participation in the practice, and for the performances within the practice to have objective semantic content by virtue of their featuring within the practice. Wanderer's exploration of these two goals forms the structure to the book. It Includes: Part I that provides a structural model of linguistic practice and considers various groups of potential participants in terms of their relationships to this practice; and, Part II that examines the meaning of the performances that are caught up in this gameplaying practice. Brandom's approach to semantics is outlined and the challenge such an approach has in allowing for a representational dimension of language and thought is explored. Wanderer offers readers a valuable framework for understanding the Brandomian system and helps situate Brandom's systematic theorizing within contemporary Anglo-American philosophy. This book will be a sought after aid to reading Brandom for advanced students and philosophers engaging with his challenging body of work. (shrink)

An alethic holding is any speech act that functions to hold another person to acting for reasons that they already had prior to the performance of a speech act with this function. Although it is tempting to think of such acts as either informing another person of extant reasons for acting or as creating new reasons for that person to so act, a central goal of this paper is to suggest that this temptation should be resisted. First, alethic speech acts (...) are situated within the broader terrain of performances that strive to hold others responsible. Second, the precise sense of ‘holding’ to reason that characterizes an alethic speech act is explicated, in a manner that distinguishes such acts from either those designed to inform one of extant norms or to add new norms. Third, an account that attempts to explain how a speech act can achieve this holding function is offered, one based on the idea of a self-conscious interpersonal, transaction. Finally, it is suggested that the terrain of holding other’s responsible sketched at the outset looks different once this account of alethic holdings is in view. (shrink)

This article is an investigation into G. E. M. Anscombe's suggestion that there can be cases where belief takes a personal object, through an examination of the role that the activity of teaching plays in Anscombe's discussion. By contrasting various kinds of ‘teachers’ that feature in her discussion, it is argued that the best way of understanding the idea of believing someone personally is to situate the relevant encounter within the social, conversational framework of ‘engaged reasoning’. Key features of this (...) framework are highlighted, and are used to characterise the distinctive kind of teaching and learning germane to Anscombe's suggestion. (shrink)

I discuss how modern cosmology illustrates underdetermination of theoretical hypotheses by data, in ways that are different from most philosophical discussions. I confine the discussion to the history of the observable universe from about one second after the Big Bang, as described by the mainstream cosmological model: in effect, what cosmologists in the early 1970s dubbed the ‘standard model’, as elaborated since then. Or rather, the discussion is confined to a (very!) few aspects of that history. I emphasize that despite (...) the underdetermination, a scientific realist can, and should, endorse this description. (shrink)

This paper is about the metaphysical debate whether objects persist over time by the selfsame object existing at different times (nowadays called “endurance” by metaphysicians), or by different temporal parts, or stages, existing at different times (called “perdurance”). I aim to illuminate the debate by using some elementary kinematics and real analysis: resources which metaphysicians have, surprisingly, not availed themselves of. There are two main results, which are of interest to both endurantists and perdurantists. (1) I describe a precise formal (...) equivalence between the way that the two metaphysical positions represent the motion of the objects of classical mechanics (both point-particles and continua). (2) I make precise, and prove a result about, the idea that the persistence of objects moving in a void is to be analysed in terms of tracking the continuous curves in spacetime that connect points occupied by matter. The result is entirely elementary: it is a corollary of the Heine–Borel theorem. (shrink)

I argue against the idea (made popular by H.L.A. Hart) that the key to a legal system is its "rule of recognition." I argue that much of the work allegedly done by a rule of recognition is either done by a different kind of secondary rule (what Hart called "a rule of change") or it is not done at all (and doesn't have to be done). A rule of change tells us the procedures that must be followed and the substantive (...) conditions that must be satisfied if law is to be changed legislatively; and a judge "recognizes" changes simply by using this checklist. In common law, there is no clear rule of change (because we are profoundly ambivalent about judicial lawmaking). But we get by without one, and without a determinate rule of recognition that would tell us precisely how to infer rules from precedents. It is quite liberating, really, to abandon the idea of a rule of recognition. Apart from anything else, it relieves us from having to participate in endless debates about whether the US Constitution is (or contains) a rule of recognition for American law. The Constitution contains rules of change; that's what matters. (shrink)

According to Michael Friedman, Ernst Cassirer’s “outstanding contribution [to Neo-Kantianism] was to articulate, for the first time, a clear and coherent conception of formal logic within the context of the Marburg School” (Friedman 2000, p. 30). In his paper “Kant und die moderne Mathematik” (1907), Cassirer argued not only that the new relational logic of Frege1 and Russell was a major breakthrough with profound philosophical implications, but also that the logicist thesis itself was a “fact” of modern mathematics. Cassirer summarizes (...) his evaluation of Russell’s work: Here logic and mathematics have been fused into a true, henceforth indissoluble unity; and from this inner connection there arises for each... (shrink)

Time, along with concepts as space and matter, is bound to be a central concept of any physical theory. The chapter first discusses how time is treated similarly in quantum and classical theories. It then provides a few references on time‐reversal. The chapter discusses three chosen authors' (Paul Busch, Jan Hilgevoord and Jos Uffink) clarifications of uncertainty principles in general. Next, the chapter follows Busch in distinguishing three roles for time in quantum physics. They are external time, intrinsic time and (...) observable time. It also provides a brief discussion on time operators, in particular Pauli's influential proof. Finally, the chapter talks about time‐energy uncertainty principles with intrinsic times. (shrink)

Anti-abortion violence (‘AAV’) is anathema to almost everyone, on all sides of the abortion debate. Yet, as this article aims to show, it is far more difficult than has previously been recognised to avoid the deeply unpalatable conclusion that it can sometimes be justified. Some of the most frequently-occupied positions on the morality of abortion will imply precisely that conclusion, I argue, unless conjoined with an especially stringent and unattractive form of pacifism. This is true not only of strict anti-abortion (...) views, but also, more surprisingly, of some of the most familiar and influential moderate defences of abortion rights. The latter conclusion raises the question, which further work will be required to fully resolve, of what our account of abortion ethics and prenatal moral status must be if it is to enable reconciliation of the common-sense rejections of both pacifism and AAV. I end with reasons to expect that the path to an account that satisfies this demand, without generating further significant intuitive problems, will be far from straightforward. (shrink)

Crowdfunding websites allow users to post a public appeal for funding for a range of activities, including adoption, travel, research, participation in sports, and many others. One common form of crowdfunding is for expenses related to medical care. Medical crowdfunding appeals serve as a means of addressing gaps in medical and employment insurance, both in countries without universal health insurance, like the United States, and countries with universal coverage limited to essential medical needs, like Canada. For example, as of 2012, (...) the website Gofundme had been used to raise a total of 8.8 million dollars for seventy-six hundred campaigns, the majority of which were health related. This money can make an important difference in the lives of crowdfunding users, as the costs of unexpected or uninsured medical needs can be staggering. In this article, I offer an overview of the benefits of medical crowdfunding websites and the ethical concerns they raise. I argue that medical crowdfunding is a symptom and cause of, rather than a solution to, health system injustices and that policy-makers should work to address the injustices motivating the use of crowdfunding sites for essential medical services. Despite the sites’ ethical problems, individual users and donors need not refrain from using them, but they bear a political responsibility to address the inequities encouraged by these sites. I conclude by suggesting some responses to these concerns and future directions for research. (shrink)

"Greed, for lack of a better word, is good. Greed is right. Greed works. Greed clarifies, cuts through, and captures the essence of the evolutionary spirit." "From the outset [in 1976] the reviews were gratifyingly favorable and it [The Selfish Gene] was not seen, initially, as a controversial book. Its reputation for contentiousness took years to grow until, by now, it is widely regarded as a work of radical extremism. But over the very same years as the book’s reputation for (...) extremism has escalated, its actual content has seemed less and less extreme, more and more the common currency." How could it be that Dawkins’ most famous book became controversial, but not as a result of what it .. (shrink)

We explore three types of criticisms of our theory on the development of children's social understanding. We reject suggestions that we offer nothing new to traditional theories of development or recent “social” accounts of “theory of mind.” Second, we take the point that there are grounds for improving our account of dyadic interaction in infancy but reject claims that we have not sufficiently accounted for how we incorporate the notions of criteria and structure into the theory. Third, we accept that (...) the epistemic triangle, as defined, would benefit from an affective dimension and such a formulation could be used to describe the dynamic of developmental change from infancy to beyond early childhood. We still feel that the combination of Wittgenstein, Vygotsky, and Piaget remains as an antidote to the flaws in current “theories of mind” approaches to social understanding. (shrink)

A notion called Herbrand saturation is shown to provide the model-theoretic analogue of a proof-theoretic method, Herbrand analysis, yielding uniform model-theoretic proofs of a number of important conservation theorems. A constructive, algebraic variation of the method is described, providing yet a third approach, which is finitary but retains the semantic flavor of the model-theoretic version.

We want to propose a conception of wisdom with a view to exploring what insights it can give us into some basic dimensions of teaching in contemporary higher education. We hope to show that this conception allows us, on the one hand, to see some crucial inadequacies of existing approaches to critical thinking, multiculturalism, and global awareness or internationalism. On the other hand, we believe that it also gives us some insight into the existentially or spiritually meaningful dimensions of learning. (...) In this way, it bridges the most contemporary and practical foci of teaching and its most fundamental and timeless concerns. In the later part of the paper, we shall explore some of the characteristics of this conception further through the teachings of some of the longstanding wisdom traditions, including what they say about teaching itself. (shrink)

We analyze the pointwise convergence of a sequence of computable elements of L1 in terms of algorithmic randomness. We consider two ways of expressing the dominated convergence theorem and show that, over the base theory RCA0, each is equivalent to the assertion that every Gδ subset of Cantor space with positive measure has an element. This last statement is, in turn, equivalent to weak weak Königʼs lemma relativized to the Turing jump of any set. It is also equivalent to the (...) conjunction of the statement asserting the existence of a 2-random relative to any given set and the principle of Σ2 collection. (shrink)

Discussions about biotechnology tend to assume that it is something to do with genetics or manipulating biological processes in some way. However, the field of biometrics––the measurement of physical characteristics––is also biotechnology and is likely to affect the lives of more people more quickly than any other form. The possibility of social exclusion resulting from the use of biometrics data for such uses as identity cards has not yet been fully explored. Social exclusion is unethical, as it unfairly discriminates against (...) individuals or classes of people. Social exclusion is unethical, as it unfairly discriminates against individuals or classes of people. This article looks at some of the ways in which social exclusion might arise from the use of biometric data, and introduces a model of balancing individual interests with which to analyse whether it is justified to run the risk of excluding some members of society for the benefit of others. (shrink)

Human subject trials of pharmaceuticals in low and middle income countries have been associated with the moral wrong of exploitation on two grounds. First, these trials may include a placebo control arm even when proven treatments for a condition are in use in other parts of the world. Second, the trial researchers or sponsors may fail to make a successful treatment developed through the trial available to either the trial participants or the host community following the trial.Many commentators have argued (...) that a single form of exploitation takes place during human subject research in LMICs. These commentators do not, however, agree as to what kind of moral wrong exploitation is or when exploitation is morally impermissible. In this paper, I have two primary goals. First, I will argue for a taxonomy of exploitation that identifies three distinct forms of exploitation. While each of these forms of exploitation has its critics, I will argue that they can each be developed into plausible accounts of exploitation tied to different vulnerabilities and different forms of wrongdoing. Second, I will argue that each of these forms of exploitation can coexist in single situations, including human subject trials of pharmaceuticals. This lesson is important, since different forms of exploitation in a single relationship can influence, among other things, whether the relationship is morally permissible. (shrink)

This book offers a sustained, interdisciplinary examination of taste. It addresses a range of topics that have been at the heart of lively debates in philosophy of language, linguistics, metaphysics, aesthetics, and experimental philosophy. Our everyday lives are suffused with discussions about taste. We are quick to offer familiar platitudes about taste, but we struggle when facing the questions that matter--what taste is, how it is related to subjectivity, what distinguishes good from bad taste, why it is valuable to make (...) and evaluate judgments about matters of taste, and what, exactly, we mean in speaking about these matters. The essays in this volume open up new, intersecting lines of research about these questions that cross traditional disciplinary boundaries. They address the notion of aesthetic taste; connections between taste and the natures of truth, disagreement, assertion, belief, retraction, linguistic context-sensitivity, and the semantics/pragmatics interface; experimental inquiry about taste; and metaphysical questions underlying ongoing discussions about taste. Perspectives on Taste will be of interest to researchers and advanced students working in aesthetics, philosophy of language, linguistics, metaphysics, and experimental philosophy. (shrink)

Definitions and distinctions -- Classification -- Of the ends of punishment -- Cases unmeet for punishment -- Expense of punishment -- Measure of punishment -- Of the properties to be given to a lot of punishment -- Of analogy between crimes and punishment -- Of retaliation -- Popularity -- Simple afflictive punishments -- Of complex afflictive punishments -- Of restrictive punishments--territorial confinement -- Imprisonment -- Imprisonment--fees -- Imprisonment examined -- General scheme of imprisonment -- Of other species of territorial confinement--quasi-imprisonment--relegation--banishment (...) -- Of simply restrictive punishments -- Of active or laborious punishment -- Capital punishment -- Capital punishment examined -- Punishment analyzed -- Of the punishments belonging to the moral sanction -- Forfeiture of reputation -- Of pecuniary forfeitures -- Forfeiture of condition -- Forfeiture of the protection of the law -- Naturally extravasting punishment--rules concerning it -- Punishment apparently, but not really, mis-seated--civil responsibility -- Mis-seated punishment, varieties of -- Vicarious punishment -- Transitive punishment -- Disadvantages of this mode of punishment -- Collective punishment -- Random punishment -- Cause of the frequency of mis-seated punishment -- Inconveniences of complex punishments -- Of transportation -- Panopticon penitentiary -- Felony -- Of præmunire -- Outlawry -- Excommunication -- Choice of punishment--latitude to be allowed to the judges -- Of subsidiary punishments -- Of surety for good conduct -- Defeazance of punishment. (shrink)

The standard conception of misleading evidence has it that e is misleading evidence that p iff e is evidence that p and p is false. I argue that this conception yields incorrect verdicts when we consider what it is for evidence to be misleading with respect to questions like whether p. Instead, we should adopt a conception of misleading evidence according to which e is misleading with respect to a question only if e is in-fact irrelevant to that question – (...) a relation that requires that e fail to be both explanatorily connected to and evidence for any truth that answers the question. This modified conception allows e to be non-misleading evidence with respect to a question even if e is evidence for the false answer to that question. It also points toward a new argument for and explanation of the truth of a central premise – what Maria Lasonen-Aarnio dubs “Entitlement” – that generates the infamous dogmatism puzzle. (shrink)

st of these lectures, I present a conception of dignity that preserves its ancient association with rank and station, and a conception of human dignity that amounts to a generalization of high status across all human beings. The lectures argue that this provides a better understanding of human dignity and of the work it does in theories of rights than the better-known Kantian conception. The second lecture focuses particularly on the importance of dignity - understood in this way - as (...) a status defining a person's relation to law: their presentation as persons capable of self-applying the law, capable of presenting and arguing a point of view, and capable of responding to law's demands without brute coercion. Together the two lectures also illuminate the relation between dignity conceived as the ground of rights and dignity conceived as the content of rights; they also illuminate important ideas about dignity as noble bearing and dignity as the subject of a right against degrading treatment; and they help us understand the sense in which dignity is better conceived as a status than as a kind of value. (shrink)

This paper expounds the relations between continuous symmetries and conserved quantities, i.e. Noether's ``first theorem'', in both the Lagrangian and Hamiltonian frameworks for classical mechanics. This illustrates one of mechanics' grand themes: exploiting a symmetry so as to reduce the number of variables needed to treat a problem. I emphasise that, for both frameworks, the theorem is underpinned by the idea of cyclic coordinates; and that the Hamiltonian theorem is more powerful. The Lagrangian theorem's main ``ingredient'', apart from cyclic coordinates, (...) is the rectification of vector fields afforded by the local existence and uniqueness of solutions to ordinary differential equations. For the Hamiltonian theorem, the main extra ingredients are the asymmetry of the Poisson bracket, and the fact that a vector field generates canonical transformations iff it is Hamiltonian. (shrink)

New ubiquitous information and communication technologies, in particular recording-enabled smart devices and social media programs, are giving rise to a profound new power for ordinary people to monitor and track each other on a global scale. Along with this growing capacity to monitor one another is a new capacity to explicitly and publicly judge one another—to rate, rank, comment on, shame and humiliate each other through the net. Drawing upon warnings from Kierkegaard and Mill on the power of public opinion (...) to produce conformity, I argue a new apparatus of surveillance and control is being generated that threatens individual freedom through a coercion of the will by an anonymous and interconnected crowd. I conclude that we must urgently assess how to protect individuals from a social tyranny of the public enabled by these new technologies while effective measures can still be taken to mitigate their dangers. (shrink)

This collection of essays on anthropological approaches to art and aesthetics is the first in its field to be published for some time. In recent years a number of new galleries of non-Western art have been opened, many exhibitions of non-Western art held, and new courses in the anthropology of art established. This collection is part of and complements these developments, contributing to the general resurgence of interest in what has been until recently a comparatively neglected field of academic study (...) and intellectual debate. Unlike many previous collections, the focus of this volume is resolutely anthropological. The contributors draw on contemporary anthropological theory and exchange, to deepen our understanding of particular aesthetic traditions in their socio-cultural and historical contexts. In addition, the cross-cultural applicability of the very concepts 'art' and 'aesthetics' is assessed. Each essay illustrates a specific approach and develops a particular argument. Many present new ethnography based on recent field research among Australian Aborigines, in New Guinea, Indonesia, Mexico, and elsewhere. Others draw on classic anthropological accounts of, for example, the Trobriand Islanders of Melanesia and the Nuer of the Southern Sudan, putting this material to new uses. Sir Raymond Firth's introductory overview of the history of the anthropological study of art makes this volume particularly useful for the non-specialist interested in learning what anthropology has to contribute to our understanding of art and aesthetics in general. With its wide geographical and cultural coverage and plentiful illustrations, many of which are in colour, Anthropology, Art, and Aesthetics will be a valuable resource for all serious students of the subject. (shrink)

The 1-consistency of arithmetic is shown to be equivalent to the existence of fixed points of a certain type of update procedure, which is implicit in the epsilon-substitution method.

The purpose of this note is to contrast a Cantorian outlook with a non-Cantorian one and to present a picture that provides support for the latter. In particular, I suggest that: i) infinite hyperreal numbers are the (actual, determined) infinite numbers, ii) ω is merely potentially infinite, and iii) infinitesimals should not be used in the di Finetti lottery. Though most Cantorians will likely maintain a Cantorian outlook, the picture is meant to motivate the obvious nature of the non-Cantorian outlook.

Using a slight generalization, due to Palmgren, of sheaf semantics, we present a term-model construction that assigns a model to any first-order intuitionistic theory. A modification of this construction then assigns a nonstandard model to any theory of arithmetic, enabling us to reproduce conservation results of Moerdijk and Palmgren for nonstandard Heyting arithmetic. Internalizing the construction allows us to strengthen these results with additional transfer rules; we then show that even trivial transfer axioms or minor strengthenings of these rules destroy (...) conservativity over HA. The analysis also shows that nonstandard HA has neither the disjunction property nor the explicit definability property. Finally, careful attention to the complexity of our definitions allows us to show that a certain weak fragment of intuitionistic nonstandard arithmetic is conservative over primitive recursive arithmetic. (shrink)