Corporate behaviour is often regulated through the criminal law by means of reverse onus offences. Such offences are alleged to involve violations of the Presumption of Innocence. Such allegations almost always assume natural persons as defendants. The arguments supporting reverse onus offences are typically instrumental, to do with the importance of the social goals promoted and the ease of proof. The Presumption of Innocence is taken to be an autonomy right of natural persons and so not (...) subject to being sidelined for reasons of law enforcement expediency. Corporations, however, are not natural persons: they have no autonomy right not to be treated as means. It may well be, then, that reverse onus offences are justified in the case of corporate defendants. I argue that the Presumption is not violated by such offences in the case of corporate defendants. I develop a broad concept of the criminal justice system as an allocative system, and argue that reverse onus offences properly allocate the burden of proof for corporations. Specifically, I argue that the normative demand for legal innocence is sufficiently met by the availability of a due diligence defence; that the responsibility of corporations when prohibited harms occur is properly a form of outcome-responsibility; and that taking into account issues of reciprocity, legitimacy and power reverse onus offences justly allocate the burden of proof in the case of corporate defendants. (shrink)

Regulatory offences are a complex phenomenon, presenting problematic aspects both at the level of criminalisation and at the level of enforcement. The literature abounds in works that study the phenomenon. There is, however, an aspect that has remained largely unexplored. It concerns the relationship between the regulatory framework within which the crime occurs and the procedural safeguards that defendants normally enjoy at trial or at the pre-trial stage: defendants tried for regulatory offences are often denied safeguards that are generally considered (...) as important constituents of trial fairness. Relying on a new conceptualisation of regulatory offences, this paper advances a theory that justifies these exceptional rulings. (shrink)

How often our actions go awry because our perceptions are at odds with reality! This book examines the legal issues that arise when we seek to avoid the untoward consequences of an action by claiming that our perception was flawed. We all make mistakes. Some have unfortunate consequences: we might overpay a debt or make an unfavourable contract, or we might be sued or accused of a crime as a result of our mistake. Claims to alleviation on the grounds of (...) mistake are likely to arise wherever the law prescribes a state of mind as a prerequisite for the application of a legal rule. This book asks when the fact that a person made a mistake should entitle them to alleviation. This may involve the intention to enter into a contract or a payment, in which case a person could seek its reversal, or it might involve the intent to commit a tort or crime, in which case they could seek forgiveness for the offence. Farnsworth defines 'alleviating' mistakes as those which entitle a person to relief from untoward consequences of their mistake.There is no general 'law of mistake', and despite their similarities, few discussions of mistake in one setting pause to consider mistakes in other contexts. The goals of fields as disparate as contracts and criminal law are very different: how do these differences affect the treatment of mistakes? Farnsworth sets out a new taxonomy of mistakes. His analysis reveals that over the past century, there has been a remarkable increase in the receptivity of courts and scholars to claims for both reversal and forgiveness- a waxing of alleviating mistakes. (shrink)

According to Islamic law, there are rules and prohibitions that Muslims must follow in their actions and transactions. The prohibition of interest has been decisive in many actions, especially in debt. Accordingly, Muslims cannot put forward a condition of interest in their debt, nor can they take any transactions under this condition. Many jurists viewed interest not only as an excess of the debt but also as any benefit that the creditor would receive from the debtor other than the amount (...) of the loan, and they evaluated it within the scope of interest. Since the lender of “qard”, which is generally used to define the debt, should not receive anything in return and should expect its reward from Allah, this was called “qard al-hasen”, quoting the relevant verses of the Qur’an, and Muslims tried to meet their credit needs through qard al-hasen. However, in some cases, people had difficulty obtaining the credit they needed, and especially in the modern period, the need for credit has increased both individually and institutionally. Therefore, Muslims tried to meet their need for qard by resorting to different ways within the limits of the Shariʽah. While applications based on transactions such as sukuk, mudaraba and murabaha and those based on intermediary transactions such as the purchase and sale of goods or partnerships were developed, applications based on direct debt without resorting to such transactions remained almost non-existent. However, from the expressions in the books of classical fiqh, it is understood that the juʽalah, which is defined as “promising a reward in return for an action”, can be used for obtaining qard under certain conditions. In this type of juʽalah, which can be named as juʽalah ala al-iqtirad, a person in need of qard promises a certain reward from third parties to the person who provides him qard. Considering that there is a qard in question in this transaction and that the debtor pays more than the qard he has received, it is necessary to examine the opinions about this transaction's relationship with interest and its validity. The main focus of the research will be answers to questions such as the conditions that the aforementioned juʽalah transaction must meet to be valid, in what ways this transaction differs from interest-bearing transactions, and within which limits. (shrink)

This review article of Stumer (The presumption of innocence: evidential and human rights perspectives. Hart Publishing, Oxford, 2010) explores the concept, normative foundations and institutional implications of the presumption of innocence in English law. Through critical engagement with Stumer’s methodological assumptions and normative arguments, it highlights the narrowness of common lawyers’ traditional conceptions of the presumption of innocence. Picking up the threads of previous work, it also contributes to on-going debates about the legitimacy of reverse onus clauses and (...) their compatibility with European human rights law and general principles of criminal jurisprudence. (shrink)

Biological sex should be “acknowledged” and “accepted”—but which responses to gender dysphoria might this preclude? Trans-identified people may factually acknowledge their biological sex and regard transition as purely palliative. While generally some level of self-deception and even a high level of nonlying deception of others are sometimes justified, biological sex is important, and there is a nontrivial onus against even palliative, nonsexually motivated cross-dressing. The onus is higher against co-opting the body, even in a minor and/or reversible way, (...) to make a false communication concerning one’s sex. Hardest to defend is the destruction of sexual–reproductive functions and causally downstream functions such as lactation: due to the transcendent nature of sexual–reproductive functions, an appeal to the “principle of totality” here is misplaced. This is not to say that social, and milder medical, transition is absolutely excluded even for severe unmanageable dysphoria, nor that subsequent to any transition, detransition is necessarily required. (shrink)

We appreciate the opportunity to present some further thoughts on the libertarian right to test initially proposed by Loi, and hope these additional comments will further inform debate about this critical emerging technology. Loi’s important argument is that individuals possess a prima facie libertarian right to test their genomes and that regulatory intervention restricting genetic testing must be justified by those proposing regulation. Our position is that the onus of justifying regulation is reversed. The risk to others whose genomic (...) information is shared with the individual is potentially significant enough to warrant prima facie regulatory intervention, including protection against misuse of genetic information derived from those tests, not just against the individual tested but also against those who for reasons of common familial ancestry are also susceptible to misuse. Testing an individual’s genome does not merely reveal information about that individual; it reveals, or renders reasonably inferable, information about the genomes of close relatives due to the commonality of genomic DNA within families. Such commonality is not merely ‘incidentally identical’: it is instead inevitable given the shared nature of genomic DNA sequences within families. ‘Incidental identity’ may appropriately describe the statistical possibility of two unrelated individuals in the human …. (shrink)

This article explores the gender dynamics of ‘causing or allowing a child to die’, contrary to the Domestic Violence, Crime and Victims Act 2004, section 5. This offence was intended to allow for prosecution where a child had been killed and it was uncertain who had killed him/her, but also to allow for prosecution of non-violent defendants who failed to protect him/her. More women than men have been charged and convicted of this offence signifying a reversal of usual (...) patterns of prosecution and conviction. This analysis interrogates how section 5 criminalises women who have experienced domestic abuse. Drawing on a case observation, reported cases and media reports of cases, I suggest this offence derives from and perpetuates patriarchal constructs of motherhood. Grounded in a feminist approach building on women’s concrete experiences of law, I conclude that section 5 should be amended so that it is only used where it cannot be ascertained which defendant actively harmed a child. (shrink)

This article is concerned with what constitutes interference with the presumption of innocence and what justifications there might be for such interference. It provides a defence of a theory of the presumption of innocence that suggests that the right is interfered with if the offence warrants conviction of defendants who are not the intended target of the offence. This thesis is defended against two alternative theories. It then considers what might justify interference with the presumption of innocence. It (...) explores the idea that interference is justified if it is necessary in a democratic society and considers the presumption in relation to the aims of the criminal trial. It is concluded that no good grounds have been provided for interference with the right, and that the right should be regarded as inviolable. (shrink)

'The arrow of time' refers to the curious asymmetry that distinguishes the future from the past. Reversing the Arrow of Time argues that there is an intimate link between the symmetries of 'time itself' and time reversal symmetry in physical theories, which has wide-ranging implications for both physics and its philosophy. This link helps to clarify how we can learn about the symmetries of our world, how to understand the relationship between symmetries and what is real, and how to overcome (...) pervasive illusions about the direction of time. Roberts explains the significance of time reversal in a way that intertwines physics and philosophy, to establish what the arrow of time means and how we can come to know it. This book is both mathematically and philosophically rigorous yet remains accessible to advanced undergraduates in physics and the philosophy of physics. This title is also available as Open Access on Cambridge Core. (shrink)

The wrongness of rape -- Rationality and the rule of law in offences against the person -- Complicity and causality -- In defence of defences -- Justifications and reasons -- The gist of excuses -- Fletcher on offences and defences -- Provocation and pluralism -- The mark of responsibility -- The functions and justifications of criminal law and punishment -- Crime : in proportion and in perspective -- Reply to critics.

We present a puzzle about deontic modals. An adequate resolution requires abandoning the standard theory. What to replace it with isn’t clear. We consider two possibilities.

Reverse mathematics is a program in mathematical logic that seeks to give precise answers to the question of which axioms are necessary in order to prove theorems of "ordinary mathematics": roughly speaking, those concerning structures that are either themselves countable, or which can be represented by countable "codes". This includes many fundamental theorems of real, complex, and functional analysis, countable algebra, countable infinitary combinatorics, descriptive set theory, and mathematical logic. This entry aims to give the reader a broad introduction (...) to the history, methodology, and results of the reverse mathematics program, with a particular focus on its connections to foundational programs such as finitism, constructivism, and predicativism. (shrink)

With recent controversies surrounding the eligibility of athletes with disorders of sex development and hyperandrogenism, as well as continued discussion of the conditions transgender athletes must meet to compete in high-performance sport, a wide array of scholars representing a diverse range of disciplines have weighed in on both the appropriateness of classifying athletes into the female and male categories and the best practices of doing so. In response to cases of high-profile athletes’ sex being called into question, the International Olympic (...) Committee, the International Association of Athletics Federations, and the National Collegiate Athletics Association, among others, published or updated policies addressing who is eligible to compete in the women’s sport category and under what conditions. This paper addresses the areas in which philosophical reasoning and ethical analysis can contribute to reopened debates about the surveillance of the women’s category in sport. Emphasis is placed on determining where the onus of responsibility should fall for ensuring the new policies are followed. (shrink)

This paper begins by raising a puzzle about what function our use of the word ‘rational’ could serve. To solve the puzzle, I introduce a view I call Epistemic Communism: we use epistemic evaluations to promote coordination among our basic belief-forming rules, and the function of this is to make the acquisition of knowledge by testimony more efficient.

This book presents reverse mathematics to a general mathematical audience for the first time. Reverse mathematics is a new field that answers some old questions. In the two thousand years that mathematicians have been deriving theorems from axioms, it has often been asked: which axioms are needed to prove a given theorem? Only in the last two hundred years have some of these questions been answered, and only in the last forty years has a systematic approach been developed. (...) In Reverse Mathematics, John Stillwell gives a representative view of this field, emphasizing basic analysis--finding the "right axioms" to prove fundamental theorems--and giving a novel approach to logic. Stillwell introduces reverse mathematics historically, describing the two developments that made reverse mathematics possible, both involving the idea of arithmetization. The first was the nineteenth-century project of arithmetizing analysis, which aimed to define all concepts of analysis in terms of natural numbers and sets of natural numbers. The second was the twentieth-century arithmetization of logic and computation. Thus arithmetic in some sense underlies analysis, logic, and computation. Reverse mathematics exploits this insight by viewing analysis as arithmetic extended by axioms about the existence of infinite sets. Remarkably, only a small number of axioms are needed for reverse mathematics, and, for each basic theorem of analysis, Stillwell finds the "right axiom" to prove it. By using a minimum of mathematical logic in a well-motivated way, Reverse Mathematics will engage advanced undergraduates and all mathematicians interested in the foundations of mathematics. (shrink)

Bayesian reverse-engineering is a research strategy for developing three-level explanations of behavior and cognition. Starting from a computational-level analysis of behavior and cognition as optimal probabilistic inference, Bayesian reverse-engineers apply numerous tweaks and heuristics to formulate testable hypotheses at the algorithmic and implementational levels. In so doing, they exploit recent technological advances in Bayesian artificial intelligence, machine learning, and statistics, but also consider established principles from cognitive psychology and neuroscience. Although these tweaks and heuristics are highly pragmatic in (...) character and are often deployed unsystematically, Bayesian reverse-engineering avoids several important worries that have been raised about the explanatory credentials of Bayesian cognitive science: the worry that the lower levels of analysis are being ignored altogether; the challenge that the mathematical models being developed are unfalsifiable; and the charge that the terms ‘optimal’ and ‘rational’ have lost their customary normative force. But while Bayesian reverse-engineering is therefore a viable and productive research strategy, it is also no fool-proof recipe for explanatory success. (shrink)

We examine changing production relations in the Mexican tequila industry to explore the ways in which large industrial firms are using “reverse leasing arrangements,” a form of contract farming, to extend their control over small agave farmers. Under these arrangements, smallholders rent their parcels to contracting companies who bring in capital, machinery, labor, and other agricultural inputs. Smallholders do not have access to their land, nor do they make any of the management decisions. We analyze the factors that have (...) led some producers to participate in reverse leasing arrangements, while allowing other producers to continue farming independently. In addition, we look at the ways in which farmers are responding to these new production relations and constraints and the strategies that they are using to regain control over the production process. (shrink)

I argue that fitting resentment tracks unacceptable ‘ecological’ imbalances in relative social strength between victims and perpetrators that arise from violations of legitimate moral expectations. It does not respond purely, or even primarily, to offenders’ attitudes, and its proper targets need not be fully developed moral agents. It characteristically involves a wish for the restoration of social equilibrium rather than a demand for moral recognition or good will. To illuminate these contentions, I focus on cases that I believe demonstrate a (...) corollary thesis, namely, that strength, broadly construed, is a necessary condition of resentment-worthiness. I argue that weakness can make resentment unfitting in two ways. First, weakness may prevent a wrongdoer from shifting the balance of social power. Second, a weak wrongdoer may do social damage but be so lowly that resentment, which would represent him as excessively strong, would be inapt. Finally, I consider how accepting the ecological view might affect our theorizing about moral responsibility and the ethics of blame. (shrink)

This chapter contains section titled: Harm, Offence, and Profound Offence Examples of Offensive Cultural Appropriation The Problem and the Key to its Solution Social Value and Offensive Art Freedom of Expression The Sacred and the Offensive Time and Place Restrictions Toleration of Offensive Art Reasonable and Unreasonable Offence.

이 글의 주제는 다문화 사회에서 생겨나는 집단문화의 갈등 중 특히 여성 관련 쟁점에 관해 살펴보는 것이다. 상이한 문화의 이해는 ‘관점의 가역성.

The legal institute of whistleblowing as a tool for detecting wrong-doing, especially in large corporations, and at the same time as an institute of whistleblower protection is a matter of modern law and its wider use has been registered only in recent decades. However, some aspects of whistleblowing, in particular the protection of the public interest and the possibility for weaker parties to report offences to an official, can already be found in older law in many different countries. Moravian provincial (...) law was the main law on the territory of the Margraviate of Moravia, although there were other legal circuits (with regard to the personality of the law) paying quite a lot of attention to the issue of reporting offences to an official authority. This issue is connected not only with the police regulations for the protection of the country, but is also strongly reflected in the set of provisions concerning the serfs. (shrink)

In his 1963 essay ‘Supererogation and Offence: A Conceptual Scheme for Ethics,’ Roderick Chisholm describes a category of human acts which he calls ‘offences’:A system of moral concepts which provides a place for what is good but not obligatory, should also provide a place for what is bad but not forbidden. For if there is such a thing as “non-obligatory well-doing” then it is plausible to suppose that there is also such a thing as “permissive ill-doing.” There is no (...) term in moral literature, so far as I know, which has been used to designate just this latter class of actions; I shall refer to them as “offences.”Some recognize the possibility of acts, commonly called acts of supererogation, which are morally good or praiseworthy but not obligatory to perform. In this passage, as well as in a later article co-authored with Ernest Sosa, Chisholm calls attention to the possibility of acts which are morally bad or blameworthy to perform, but whose performance is nevertheless not forbidden. (shrink)

The article provides an outline of the basic principles and conditions of criminalisation of interferences with others’ property rights in the context of a specific context: a liberal, social democratic state, the legitimacy of which depends primarily on its impartiality between moral doctrines and the fair distribution of liberties and resources. I begin by giving a brief outline of the conditions of political legitimacy, the place of property and the conditions of criminalisation in such a state. With that framework in (...) place, I argue that interferences with others’ property rights should be viewed as violations of political duties stemming from institutions of distribution. I then discuss three implications of this view: the bearing of social injustice on the criminal law treatment of acts of distributive injustice; the expansion of criminalisation over the violation of distribution-related duties, which are considered criminally irrelevant under moral conceptions of criminalisation; and, finally, the normative significance of the modus operandi. (shrink)

A collection of essays written by arts and humanities scholars across disciplines, this book argues that higher education has been compromised by its uncritical acceptance of our culture's standards of productivity, busyness, and speed. Inspired by the Slow Movement, contributors explain how and why university culture has come to value productivity over contemplation and rapidity over slowness. Chapter authors argue that the arts and humanities offer a cogent critique of fast culture in higher education, and reframe the discussion of the (...) value of their fields by emphasizing the dialectic between speed and slowness. (shrink)

The concept of “acculturation” is closely linked to the history of European colonialism. In spite of all efforts to endow it with a “neutral” or “positive” meaning, the term has never meant anything other than the subjection of indigenous cultures to Western civilization in all its forms.

The phenomenon of disagreement has recently been brought into focus by the debate between contextualists and relativist invariantists about epistemic expressions such as ‘might’, ‘probably’, indicative conditionals, and the deontic ‘ought’. Against the orthodox contextualist view, it has been argued that an invariantist account can better explain apparent disagreements across contexts by appeal to the incompatibility of the propositions expressed in those contexts. This paper introduces an important and underappreciated phenomenon associated with epistemic expressions — a phenomenon that we call (...) reversibility. We argue that the invariantist account of disagreement is incompatible with reversibility, and we go on to show that reversible sentences cast doubt on the putative data about disagreement, even without assuming invariantism. Our argument therefore undermines much of the motivation for invariantism, and provides a new source for constraints on the proper explanation of purported data about disagreement. (shrink)

This paper argues that the practical reach and ethical impact of the One Health paradigm is conditional on satisfactorily distinguishing between interconnected and interdependent factors among human, non-human, and environmental health. Interconnection does not entail interdependence. Offering examples of interconnections and interdependence in the context of existing One Health literature, we demonstrate that the conversations about One Health do not yet sufficiently differentiate between those concepts. They tend to either ignore such distinctions or embrace bioethically untenable positions. We conclude that (...) careful conceptual differentiation can prevent One Health stakeholders either from overreaching or under-reaching the practical and ethical boundaries of this developing paradigm. (shrink)

This article deals with the question of what time reversal means. It begins with a presentation of the standard account of time reversal, with plenty of examples, followed by a popular non-standard account. I argue that, in spite of recent commentary to the contrary, the standard approach to the meaning of time reversal is the only one that is philosophically and physically viable. The article concludes with a few open research problems about time reversal.

We show that when certain statements are provable in subsystems of constructive analysis using intuitionistic predicate calculus, related sequential statements are provable in weak classical subsystems. In particular, if a $\Pi^1_2$ sentence of a certain form is provable using E-HA ${}^\omega$ along with the axiom of choice and an independence of premise principle, the sequential form of the statement is provable in the classical system RCA. We obtain this and similar results using applications of modified realizability and the Dialectica interpretation. (...) These results allow us to use techniques of classical reverse mathematics to demonstrate the unprovability of several mathematical principles in subsystems of constructive analysis. (shrink)

Reverse analyses of three proofs of the Sylvester-Gallai theorem lead to three different and incompatible axiom systems. In particular, we show that proofs respecting the purity of the method, using only notions considered to be part of the statement of the theorem to be proved, are not always the simplest, as they may require axioms which proofs using extraneous predicates do not rely upon.

I present the first systematic account in the literature of a Husserlian response to Natorp’s critique of Husserl’s account of the pre-givenness of both the absolute stream of lived-experience and its essencesEssences to reflectionReflections. My response is presented within the broader context of what I argue is Heidegger’s misappropriation of Natorp’s critique of the phenomenological limits of reflectionReflections in Husserl’s transcendental phenomenologyTranscendental phenomenology and the misguided French attempt to address Heidegger’s critique by introducing the dialectical notion of “pre-reflectivePre-reflective” consciousness to (...) phenomenology. My Husserlian response shows that Husserl’s account of reflectionReflections in Ideas I is able to rebut Natorp’s critical claims that transcendental phenomenologyTranscendental phenomenology cannot access the streaming of the stream of lived-experience without “stilling” its flow and that a gap in Husserl’s account of the transformation of the natural phenomenonPhenomenon of reflectionReflections into transcendental reflectionReflections provides justification for Natorp’s criticism of the ambiguity of Husserl’s account in Ideas I of the givennessGivennesses of the essenceEssences of lived-experience investigated by transcendental phenomenologyTranscendental phenomenology. (shrink)

In this paper, we propose a weak regularity principle which is similar to both weak König's lemma and Ramsey's theorem. We begin by studying the computational strength of this principle in the context of reverse mathematics. We then analyze different ways of generalizing this principle.

Modal ontological arguments argue from the possible existence of a perfect being to the actual (necessary) existence of a perfect being. But modal ontological arguments have a problem of symmetry; they can be run in both directions. Reverse ontological arguments argue from the possible nonexistence of a perfect being to the actual (necessary) nonexistence of a perfect being. Some familiar points about the necessary a posteriori, however, show that the symmetry can be broken in favour of the ontological argument.

The AGM (Alchourrón-Gärdenfors-Makinson) model of belief change is extended to cover changes on sets of beliefs that are not closed under logical consequence (belief bases). Three major types of change operations, namely contraction, internal revision, and external revision are axiomatically characterized, and their interrelations are studied. In external revision, the Levi identity is reversed in the sense that one first adds the new belief to the belief base, and afterwards contracts its negation. It is argued that external revision represents an (...) intuitively plausible way of revising one's beliefs. Since it typically involves the temporary acceptance of an inconsistent set of beliefs, it can only be used in belief representations that distinguish between different inconsistent sets of belief. (shrink)

In the last decade, experimental philosophers have documented systematic asymmetries in the attributions of mental attitudes to agents who produce different types of side effects. We argue that this effect is driven not simply by the violation of a norm, but by salient-norm violation. As evidence for this hypothesis, we present two new studies in which two conflicting norms are present, and one or both of them is raised to salience. Expanding one’s view to these additional cases presents, we argue, (...) a fuller conception of the side-effect effect, which can be reversed by reversing which norm is salient. (shrink)

Perceptual learning can be defined as practice-induced improvement in the ability to perform specific perceptual tasks. We previously proposed the Reverse Hierarchy Theory as a unifying concept that links behavioral findings of visual learning with physiological and anatomical data. Essentially, it asserts that learning is a top-down guided process, which begins at high-level areas of the visual system, and when these do not suffice, progresses backwards to the input levels, which have a better signal-to-noise ratio. This simple concept has (...) proved powerful in explaining a broad range of findings, including seemingly contradicting data. We now extend this concept to describe the dynamics of skill acquisition and interpret recent behavioral and electrophysiological findings. (shrink)

Reverse inference in cognitive neuropsychology has been characterized as inference to ‘psychological processes’ from ‘patterns of activation’ revealed by functional magnetic resonance or other scanning techniques. Several arguments have been provided against the possibility. Focusing on Machery’s presentation, we attempt to clarify the issues, rebut the impossibility arguments, and propose and illustrate a strategy for reverse inference. 1 The Problem of Reverse Inference in Cognitive Neuropsychology2 The Arguments2.1 The anti-Bayesian argument3 Patterns of Activation4 Reverse Inference Practiced5 (...) Seek and Ye Shall Find, Maybe6 Conclusion. (shrink)

We investigate the reverse-mathematical status of several theorems to the effect that the natural number system is second-order categorical. One of our results is as follows. Define a system to be a triple A,i,f such that A is a set and i∈A and f:A→A. A subset X⊆A is said to be inductive if i∈X and ∀a ∈X). The system A,i,f is said to be inductive if the only inductive subset of A is A itself. Define a Peano system to (...) be an inductive system such that f is one-to-one and i∉the range of f. The standard example of a Peano system is N,0,S where N={0,1,2,…,n,…}=the set of natural numbers and S:N→N is given by S=n+1 for all n∈N. Consider the statement that all Peano systems are isomorphic to N,0,S. We prove that this statement is logically equivalent to WKL0 over RCA0⁎ source. From this and similar equivalences we draw some foundational/philosophical consequences. (shrink)