The need to find an intrinsic characterization of what makes a relation between events causal arises not only in local theories of causation like Salmon's process theory but also in global approaches like Lewis' counterfactual theory. According to the localist intuition, whether a process connecting two events is causal should depend only on what goes on between the events, not on conditions that hold elsewhere in the world. If such intrinsic characterizations could be found, an identification of the causal relation (...) in the actual world (though not in other possible worlds) with physical processes may be feasible (the a posteriori identification). I consider recent proposals made for intrinsic characterizations of causality and conclude that none of them is able to deliver the intended result. (shrink)

The consolidation of the informational paradigm in molecular biology research concluded on a system to convert the epistemic object into an operational technological object and a stable epistemic product. However, the acceptance of the informational properties of genetic acids failed to clarify the meaning of the concept of information. The “information”’ as a property of the genetic molecules remained as an informal notion that allows the description of the mechanism of inheritance, but it was not specified in a logic–semantic structure. (...) The metaphorical implications associated with the idea of genes as molecules with meaning, questioned the linguistics that seemed too foreign to molecular biology. A reformulation of the concept of information in molecular biology was developed upon the theory of Claude Shannon. The node for the structural coupling between biology, physics and information theory was the identification of an analog structure between the coded messages of Shannon’s theory. (shrink)

In their influential paper “Ceteris Paribus, There is No Problem of Provisos”, Earman and Roberts (Synthese 118:439–478, 1999) propose to interpret the non-strict generalizations of the special sciences as statistical generalizations about correlations. I call this view the “statistical account”. Earman and Roberts claim that statistical generalizations are not qualified by “non-lazy” ceteris paribus conditions. The statistical account is an attractive view, since it looks exactly like what everybody wants: it is a simple and intelligible theory of special science laws (...) without the need for mysterious ceteris paribus conditions. I present two challenges to the statistical account. According to the first challenge, the statistical account does not get rid of so-called “non-lazy” ceteris paribus conditions. This result undermines one of the alleged and central advantages of the statistical account. The second challenge is that the statistical account, qua general theory of special science laws, is weakened by the fact that idealized law statements resist a purely statistical interpretation. (shrink)

Is the objective passage of time compatible with relativistic physics? There are two easy routes to an affirmative answer: (1) provide a deflationary analysis of passage compatible with the block universe, or (2) argue that a privileged global present is compatible with relativity. (1) does not take passage seriously. (2) does not take relativity seriously. This paper is concerned with the viability of views that seek to take both passage and relativity seriously. The investigation proceeds by considering how traditional A-theoretic (...) conceptions of passage might be generalized to relativistic space-times without incorporating a privileged global present. I argue that the most promising position marries the idea that open possibilities for the future are settled as time passes with a ‘non-standard’ interpretation of the relevant formal models. (shrink)

The paper defends an Aristotelian notion of indeterminism, as rigorously formulated in the framework of branching space-times (BST) of Belnap (1992), against the model-theoretic characterization of indeterminism that Montague (1962) introduced into the philosophy of science. It delineates BST branching against the background provided by Earman's (2008) distinction between individual vs. ensemble branching. It describes a construction of physically-motivated BST models, in which histories are isomorphic to Minkowski spacetime. Finally it responds to criticism leveled against BST by addressing some semantical (...) questions, a topological issue, and the past/future asymmetry. (shrink)

Indeterminism, understood as a notion that an event may be continued in a few alternative ways, invokes the question what a region of chanciness looks like. We concern ourselves with its topological and spatiotemporal aspects, abstracting from the nature or mechanism of chancy processes. We first argue that the question arises in Montague-Lewis-Earman conceptualization of indeterminism as well as in the branching tradition of Prior, Thomason and Belnap. As the resources of the former school are not rich enough to study (...) topological issues, we investigate the question in the framework of branching space-times of Belnap (Synthese 92:385–434, 1992). We introduce a topology on a branching model as well as a topology on a history in a branching model. We define light-cones and assume four conditions that guarantee the light-cones so defined behave like light-cones of physical space-times. From among various topological separation properties that are relevant to our question, we investigate the Hausdorff property. We prove that each history in a branching model satisfies the Hausdorff property. As for the satisfaction of the Hausdorff property in the entire branching model, we prove that it is related to the phenomenon of passive indeterminism, which we describe in detail. (shrink)

Classical and quantum field theory provide not only realistic examples of extant notions of empirical equivalence, but also new notions of empirical equivalence, both modal and occurrent. A simple but modern gravitational case goes back to the 1890s, but there has been apparently total neglect of the simplest relativistic analog, with the result that an erroneous claim has taken root that Special Relativity could not have accommodated gravity even if there were no bending of light. The fairly recent acceptance of (...) nonzero neutrino masses shows that widely neglected possibilities for nonzero particle masses have sometimes been vindicated. In the electromagnetic case, there is permanent underdetermination at the classical and quantum levels between Maxwell's theory and the one-parameter family of Proca's electromagnetisms with massive photons, which approximate Maxwell's theory in the limit of zero photon mass. While Yang–Mills theories display similar approximate equivalence classically, quantization typically breaks this equivalence. A possible exception, including unified electroweak theory, might permit a mass term for the photons but not the Yang–Mills vector bosons. Underdetermination between massive and massless (Einstein) gravity even at the classical level is subject to contemporary controversy. (shrink)

This article defends a modest version of the Physical Church-Turing thesis (CT). Following an established recent trend, I distinguish between what I call Mathematical CT—the thesis supported by the original arguments for CT—and Physical CT. I then distinguish between bold formulations of Physical CT, according to which any physical process—anything doable by a physical system—is computable by a Turing machine, and modest formulations, according to which any function that is computable by a physical system is computable by a Turing machine. (...) I argue that Bold Physical CT is not relevant to the epistemological concerns that motivate CT and hence not suitable as a physical analog of Mathematical CT. The correct physical analog of Mathematical CT is Modest Physical CT. I propose to explicate the notion of physical computability in terms of a usability constraint, according to which for a process to count as relevant to Physical CT, it must be usable by a finite observer to obtain the desired values of a function. Finally, I suggest that proposed counterexamples to Physical CT are still far from falsifying it because they have not been shown to satisfy the usability constraint. (shrink)

It is commonly believed that there is no equivalent of the Church–Turing thesis for computation over the reals. In particular, computational models on this domain do not exhibit the convergence of formalisms that supports this thesis in the case of integer computation. In the light of recent philosophical developments on the different meanings of the Church–Turing thesis, and recent technical results on analog computation, I will show that this current belief confounds two distinct issues, namely the extension of the notion (...) of effective computation to the reals on the one hand, and the simulation of analog computers by Turing machines on the other hand. I will argue that it is possible in both cases to defend an equivalent of the Church–Turing thesis over the reals. Along the way, we will learn some methodological caveats on the comparison of different computational models, and how to make it meaningful. (shrink)

1. Characterizing randomness. Consider a physical process that, if suitably idealized, generates an indefinite sequence of independent random bits. One such process might be radioactive decay of a lump of uranium whose mass is kept at just the level needed to ensure that the probability is one-half that no alpha particle is emitted in the nth microsecond of the experiment. Let us think of the bits as drawn from {0, 1} and denote the resulting sequence by x with coordinates x0, (...) x1, . . .. Now wouldn’t it be odd if there were a computer program P with the following property? (shrink)

The inaugural title in the new, Open Access series BSPS Open, The Material Theory of Induction will initiate a new tradition in the analysis of inductive inference. The fundamental burden of a theory of inductive inference is to determine which are the good inductive inferences or relations of inductive support and why it is that they are so. The traditional approach is modeled on that taken in accounts of deductive inference. It seeks universally applicable schemas or rules or a single (...) formal device, such as the probability calculus. After millennia of halting efforts, none of these approaches has been unequivocally successful and debates between approaches persist. The Material Theory of Induction identifies the source of these enduring problems in the assumption taken at the outset: that inductive inference can be accommodated by a single formal account with universal applicability. Instead, it argues that that there is no single, universally applicable formal account. Rather, each domain has an inductive logic native to it. Which that is, and its extent, is determined by the facts prevailing in that domain. Paying close attention to how inductive inference is conducted in science and copiously illustrated with real-world examples, The Material Theory of Induction will initiate a new tradition in the analysis of inductive inference. (shrink)

Newton’s equations of motion tell us that a mass at rest at the apex of a dome with the shape specified here can spontaneously move. It has been suggested that this indeterminism should be discounted since it draws on an incomplete rendering of Newtonian physics, or it is “unphysical,” or it employs illicit idealizations. I analyze and reject each of these reasons. †To contact the author, please write to: Department of History and Philosophy of Science, University of Pittsburgh, Pittsburgh, PA (...) 15260; e‐mail: [email protected]. (shrink)

We often use symmetries to infer outcomes’ probabilities, as when we infer that each side of a fair coin is equally likely to come up on a given toss. Why are these inferences successful? I argue against answering this with an a priori indifference principle. Reasons to reject that principle are familiar, yet instructive. They point to a new, empirical explanation for the success of our probabilistic predictions. This has implications for indifference reasoning in general. I argue that a priori (...) symmetries need never constrain our probability attributions, even when it comes to our initial credences. (shrink)

This book examines the philosophical conception of abductive reasoning as developed by Charles S. Peirce, the founder of American pragmatism. It explores the historical and systematic connections of Peirce's original ideas and debates about their interpretations. Abduction is understood in a broad sense which covers the discovery and pursuit of hypotheses and inference to the best explanation. The analysis presents fresh insights into this notion of reasoning, which derives from effects to causes or from surprising observations to explanatory theories. The (...) author outlines some logical and AI approaches to abduction as well as studies various kinds of inverse problems in astronomy, physics, medicine, biology, and human sciences to provide examples of retroductions and abductions. The discussion covers also everyday examples with the implication of this notion in detective stories, one of Peirce’s own favorite themes. The author uses Bayesian probabilities to argue that explanatory abduction is a method of confirmation. He uses his own account of truth approximation to reformulate abduction as inference which leads to the truthlikeness of its conclusion. This allows a powerful abductive defense of scientific realism. This up-to-date survey and defense of the Peircean view of abduction may very well help researchers, students, and philosophers better understand the logic of truth-seeking. (shrink)

This chapter contains sections titled: Highlights of Past Literature Current Work Future Work.

In this paper, the issues of computability and constructivity in the mathematics of physics are discussed. The sorts of questions to be addressed are those which might be expressed, roughly, as: Are the mathematical foundations of our current theories unavoidably non-constructive: or, Are the laws of physics computable?

The article puts forward a branching-style framework for the analysis of determinism and indeterminism of scientific theories, starting from the core idea that an indeterministic system is one whose present allows for more than one alternative possible future. We describe how a definition of determinism stated in terms of branching models supplements and improves current treatments of determinism of theories of physics. In these treatments, we identify three main approaches: one based on the study of equations, one based on mappings (...) between temporal realizations, and one based on branching models. We first give an overview of these approaches and show that current orthodoxy advocates a combination of the mapping- and the equations-based approaches. After giving a detailed formal explication of a branching-based definition of determinism, we consider three concrete applications and end with a formal comparison of the branching- and the mapping-based approach. We conclude that the branching-based definition of determinism most usefully combines formal clarity, connection with an underlying philosophical notion of determinism, and relevance for the practical assessment of theories. 1 Introduction2 Determinism in Philosophy of Science: Three Approaches2.1 Determinism: The core idea and how to spell it out2.2 The three approaches in more detail2.3 Representing indeterminism3 Orthodoxy: DMAP, with Invocations of DEQN4 Branching-Style Determinism 4.1 Models and realizations4.2 Faithfulness4.3 Two types of branching topologies 5 Comparing the Approaches5.1 Case studies5.2 Formal comparison of the DMAP and DBRN frameworks6 Conclusions. (shrink)

The Direct Argument argues for the claim that determinism and moral responsibility are incompatible. The most controversial assumption of the argument is the thought that "not being responsible for" transfers across conditionals: if no one is (even partially) morally responsible for the fact that p is true, and no one is (even partially) morally responsible for the fact that p ⸧ q is true, then no one is (even partially) morally responsible for the fact that q is true. Here we (...) argue that the principle is true if one accepts a truth-maker account of the relationship between non-responsibility and propositions. While non-responsibility transfers across conditionals, one upshot of the truth-maker account is that it allows one to be responsible for necessary truths. (shrink)

I argue that the theory of chance proposed by David Lewis has three problems: (i) it is time asymmetric in a manner incompatible with some of the chance theories of physics, (ii) it is incompatible with statistical mechanical chances, and (iii) the content of Lewis's Principal Principle depends on how admissibility is cashed out, but there is no agreement as to what admissible evidence should be. I proposes two modifications of Lewis's theory which resolve these difficulties. I conclude by tentatively (...) proposing a third modification of Lewis's theory, one which explains many of the common features shared by the chance theories of physics. (shrink)

In a world awash in statistical patterns, should we conclude that the universe’s evolution or genesis is somehow subject to chance? I draw attention to alternatives that must be acknowledged if we are to have an adequate assessment of what chance the universe might have had.

Several authors have claimed that prediction is essentially impossible in the general theory of relativity, the case being particularly strong, it is said, when one fully considers the epistemic predicament of the observer. Each of these claims rests on the support of an underdetermination argument and a particular interpretation of the concept of prediction. I argue that these underdetermination arguments fail and depend on an implausible explication of prediction in the theory. The technical results adduced in these arguments can be (...) related to certain epistemic issues, but can only be misleadingly or mistakenly characterized as related to prediction. (shrink)

I argue that, contrary to thestandard view, the Newtonian universe containsno contingency. I do this by arguing (i) thatno contingency is introduced into the Newtonianuniverse by the initial conditions of physicalsystems in the universe, and (ii) that theclaim that the Newtonian universe as a wholehas contingent properties leads to incoherence.This result suggests that Newtonian physics iseither inconsistent or incomplete, since thelaws of Newtonian physics are too weak todetermine all the properties of the Newtonianuniverse uniquely.

We are concerned with two modes of describing the dynamics of natural systems. Global descriptions require simultaneous global coordination of all dynamical operations. Global dynamics, including mechanics, remain invariant in the absence of external perturbation. But, failing impossible global coordination, dynamical operations could actually become coordinated only locally. In local records, as in global ones, the law of the excluded middle would be strictly observed, but without global coordination it could only be fullfilled sequentially by passing causative factors forward onto (...) subsequent contiguous operations.The local dynamics of sequential operations would be indefinite with regard to how commitments will be made which will avoid violating the law of the excluded middle, but any resulting record will be as definite as if there had been global coordination. While maintaining an agential capacity for making contingent choices internally, local dynamics could be cumulated into a global record of seemingly simultaneous operations. Natural selection within a framework of local dynamics would have a capacity for making opportunistic commitments, but its effects in a posterior record can be reduced to the mechanistic neodarwinian version as if there had been a global dynamics. However, the resulting global description falsifies the actual material nature of the dynamics. (shrink)

In this article, I will argue that the argument for fatalism based on the relativity of simultaneity fails. The original proponents of the argument called the thesis in terms of ‘determinism’, but Levin refers to it as ‘relativistic fatalism’. Relativistic fatalism is a view supported by the alleged dependence of the property of being future on an arbitrary choice of some coordinate system. First I will try to explain the classic argument, attributed to it a dialectic that justified to call (...) it in the same terms as Levin did. Subsequently, I will refuse the relativistic fatalism using many strategies to deal with it. (shrink)

Laplace wondered about the minimal choice of initial variables and parameters corresponding to a well-posed initial value problem. Discussions of Laplace’s problem in the literature have focused on choosing between spatiotemporal variables relative to absolute space or merely relative to other material bodies and between absolute masses or merely mass ratios. This paper extends these discussions of Laplace’s problem, in the context of Newtonian Gravity, by asking whether mass needs to be included in the initial state at all, or whether (...) a purely spatiotemporal initial state suffices. It is argued that mass indeed needs to be included; removing mass from the initial state drastically reduces the predictive and explanatory power of Newtonian Gravity. (shrink)

Here, formal tools are used to pose and answer several philosophical questions concerning space and time. The questions involve the properties of possible worlds allowed by the general theory of relativity. In particular, attention is given to various causal properties such as “determinism” and “time travel”.

We discuss some recent work by Tim Maudlin concerning Black Hole Information Loss. We argue, contra Maudlin, that there is a paradox, in the straightforward sense that there are propositions that appear true, but which are incompatible with one another. We discuss the significance of the paradox and Maudlin's response to it.

Some have argued that chance and determinism are compatible in order to account for the objectivity of probabilities in theories that are compatible with determinism, like Classical Statistical Mechanics (CSM) and Evolutionary Theory (ET). Contrarily, some have argued that chance and determinism are incompatible, and so such probabilities are subjective. In this paper, I argue that both of these positions are unsatisfactory. I argue that the probabilities of theories like CSM and ET are not chances, but also that they are (...) not subjective probabilities either. Rather, they are a third type of probability, which I call counterfactual probability. The main distinguishing feature of counterfactual-probability is the role it plays in conveying important counterfactual information in explanations. This distinguishes counterfactual probability from chance as a second concept of objective probability. (shrink)

The Humean best systems account identifies laws of nature with the regularities in a system of truths that, as a whole, best conforms to scientific standards for theory-choice. A principled problem for the BSA is that it returns the wrong verdicts about laws in cases where multiple systems, containing different regularities, satisfy these standards equally well. This problem affects every version of the BSA because it arises regardless of which standards for theory-choice Humeans adopt. In this paper, we propose a (...) Humean response to the problem. We invoke pragmatic aspects of Humean laws to show that the BSA, despite violating some of our intuitive judgements, can capture everything that is relevant for scientific practice. (shrink)

Humean reductionism about laws of nature appears to leave a central aspect of scientific practice unmotivated: If the world’s fundamental structure is exhausted by the actual distribution of non-modal properties and the laws of nature are merely efficient summaries of this distribution, then why does science posit laws that cover a wide range of non-actual circumstances? In this paper, we develop a new version of the Humean best systems account of laws based on the idea that laws need to organize (...) information in a way that maximizes their cognitive usefulness for creature like us. We argue that this account motivates scientific practice because the laws’ applicability to non-actual circumstances falls right out of their cognitive usefulness. (shrink)

Scientists often think of the world as a dynamical system, a stochastic process, or a generalization of such a system. Prominent examples of systems are the system of planets orbiting the sun or any other classical mechanical system, a hydrogen atom or any other quantum–mechanical system, and the earth’s atmosphere or any other statistical mechanical system. We introduce a general and unified framework for describing such systems and show how it can be used to examine some familiar philosophical questions, including (...) the following: how can we define nomological possibility, necessity, determinism, and indeterminism; what are symmetries and laws; what regularities must a system display to make scientific inference possible; how might principles of parsimony such as Occam’s Razor help when we make such inferences; what is the role of space and time in a system; and might they be emergent features? Our framework is intended to serve as a toolbox for the formal analysis of systems that is applicable in several areas of philosophy. (shrink)

In Pérez Laraudogoitia (1996), I introduced a simple example of a supertask that involved the possibility of spontaneous self-excitation and, therefore, of a particularly interesting form of indeterminism in classical dynamics. Alper and Bridger (1998) criticised (among other things) this result. In the present article, I answer their criticisms. In what follows I assume familiarity both with Pérez Laraudogoitia (1996) and Alper and Bridger’s subsequent article.

There is broad consensus as to what a rigid body is in classical mechanics. The idea is that a rigid body is an undeformable body. In this paper I show that, if this identification is accepted, there are therefore rigid bodies which are unstable. Instability here means that the evolution of certain rigid bodies, even when isolated from all external influence, may be such that their identity is not preserved over time. The result is followed by analyzing supertasks that are (...) possible in infinite systems of rigid bodies. I propose that, if we wish to preserve our original intuitions regarding the necessary stability of rigid bodies, then the concept of rigid body must be clearly distinguished from that of undeformable body. I therefore put forward a new definition of rigid body. Only the concept of undeformable body is holistic and every connected part of a rigid body in this new sense is always a rigid body in this new sense. Finally, I briefly discuss the connection between this conceptual distinction and the dimensionality of space, thereby enabling it to be supported from a new and interesting perspective. (shrink)

It is common knowledge that the Aristotelian idea of an unmoved mover was abandoned definitively with the advent of modern science and, in particular, Newton’s precise formulation of mechanics. Here I show that the essential attribute of an unmoved mover is not incompatible with such mechanics; quite the contrary, it makes this possible. The unmoved mover model proposed does not involve supertasks, and leads both to an outrageous form of indeterminism and a new, accountable form of interaction. The process presents (...) a more precise characterization of the crucial going-to-the-limit operation. It has long been acknowledged in the existing literature that, theoretically, in infinite Newtonian systems, masses can move from rest to motion through supertasks. Numerous minor variations on the original schemes have already been published. Against this backdrop, this paper introduces three significant additions: 1) It formulates for the first time a limit postulate for systematically addressing infinite systems; 2) It shows that an Aristotelian unmoved mover is possible in systems of infinitely many particles that interact with each other solely by contact collision; 3) It shows how interaction at a distance can emerge in systems of infinitely many particles that interact with each other solely by contact. (shrink)

In a recent article, L. Angel ([2001]) argues that if we do not implement Newtonian physics adding to it a certain usual type of boundary condition, then this leads to the rejection of what he calls the P principle: ‘the composition of contact interactions does not create a noncontact interaction.’ Here I shall demonstrate that this conclusion does not follow. However, as will be made clear, this in no way diminishes the interest or importance of the model introduced by Angel (...) in his paper. 1 Introduction 2 The ‘impact without contact’ argument 3 Taking self-excitations seriously 4 Some interesting implications. (shrink)

This paper shows that, in Newtonian mechanics, unstable three-dimensional rigid bodies must exist. Laraudogoitia recently provided examples of one- and two-dimensional homogeneous unstable rigid bodies, conjecturing the instability would persist for three-dimensional bodies in four-dimensional space. My result proves that, if one admits non homogeneous balls or hollow spheres, then the conjecture is true without having to resort to tetra-dimensionality. Furthermore, I show that instability also holds for at least certain simple classes of elastic bodies. Altogether, the laws of classical (...) dynamics actually lead to the existence of unstable material bodies belonging to the three types of entities accepted therein: point particles, rigid bodies and continuous deformable bodies. A whole range of forms of indeterminism which, until now, has not been considered in the literature. I end with a new conjecture on the connection existing between all these forms of instability and the dimensionality of space. (shrink)

Norton’s very simple case of indeterminism in classical mechanics has given rise to a literature critical of his result. I am interested here in posing a new objection different from the ones made to date. The first section of the paper expounds the essence of Norton’s model and my criticism of it. I then propose a specific modification in the absence of gravitational interaction. The final section takes into consideration a surprising consequence for classical mechanics from the new model introduced (...) here. (shrink)

In this paper a simple model in particle dynamics of a well-known supertask is constructed (the supertask was introduced by Max Black some years ago). As a consequence, a new and simple result about creation ex nihilo of particles can be proved compatible with classical dynamics. This result cannot be avoided by imposing boundary conditions at spatial infinity, and therefore is really new in the literature. It follows that there is no reason why even a world of rigid spheres should (...) be eternal, as has been erroneously assumed, especially since the time of Newton. (shrink)

In this paper, an example is presented for a dynamic system analysable in the framework of the mechanics of rigid bodies. Interest in the model lies in three fundamental features. First, it leads to a paradox in classical mechanics which does not seem to be explainable with the conceptual resources currently available. Second, it is possible to find a solution to it by extending in a natural way the idea of global interaction in the context of what is called interaction (...) by impenetrability. Third, the solution presented throws light on a problem posed and discussed in the recent literature in connection with the mass conservation principle. (shrink)

In this paper a model in particle dynamics of a well-known supertask is constructed. As a consequence, a new and simple result about the failure of determinism of classical particle dynamics can be proved which is related to the non-existence of boundary conditions at spatial infinity. This result is much more accessible to the non-technical reader than similar ones in the scientific literature.

This paper presents three interesting consequences that follow from admitting an ontology of rigid bodies in classical mechanics. First, it shows that some of the most characteristic properties of supertasks based on binary collisions between particles, such as the possibility of indeterminism or the non-conservation of energy, persist in the presence of gravitational interaction. This makes them gravitational supertasks radically different from those that have appeared in the literature to date. Second, Sect. 6 proves that the role of gravitation in (...) supertasks of this kind may be highly non-trivial. Third,, the gravitational supertasks found in the first part enable us to show that indeterminism of classical mechanics with gravitation is much more general than has been supposed until now. This result is especially interesting from the philosophical viewpoint, as it links the scope of indeterminism in a theory like classical mechanics directly with the nature of its ontological hypotheses. (shrink)

The examples of dynamic supertasks analyzed to date in the philosophical literature, in which both determinism and the classical laws of conservation of energy and momentum are violated, all share the important limitation of requiring material systems of infinite mass. This paper demonstrates that this limitation is not necessary. This has important consequences for the scope and meaning of such violations.