Drawing on Earman’s definition of determinism and Lewis’ best systems account of laws, in What Makes Time Special? Craig Callender develops an account of time as ‘the strongest thing’. The characterisation of this account apparently assumes no action at a temporal distance, an assumption that also underlies Earman’s account of determinism. In this paper I show that there is a way to define determinism that allows worlds with action at a temporal distance to count as deterministic, that action at a (...) temporal distance is possible on a best systems account of laws, and hence that Callender need not make this assumption. (shrink)

I apply homotopy type theory to the hole argument as formulated by Earman and Norton. I argue that HoTT gives a precise sense in which diffeomorphism-related Lorentzian manifolds represent the same spacetime, undermining Earman and Norton’s verificationist dilemma and common formulations of the hole argument. However, adopting this account does not alleviate worries about determinism: general relativity formulated on Lorentzian manifolds is indeterministic using this standard of sameness and the natural formalization of determinism in HoTT. Fixing this indeterminism results in (...) a more faithful mathematical representation of general relativity as used by physicists. It also gives a substantive notion of general covariance. (shrink)

I discuss candidates for definitions of determinism in the context of general relativistic spacetimes, and argue that a definition which does not make recourse to any particular region of spacetime should be preferred over alternatives; one such notion is discussed in detail in the light of various physical examples. The emerging picture of determinism is a pluralist one: sometimes there is no unique way of making our intuitive concept of determinism precise. Instead, what is crucial for assessment of determinism of (...) the theory are auxiliary conditions under which it counts as deterministic or indeterministic, and justification for using them in a given situation. (shrink)

Stapp's attempt to derive Bell's Inequality from a weak locality condition while retaining indeterminism, requires careful scrutiny to ensure unambiguous definitions and valid reasoning. Such scrutiny reveals that the argument is fallacious. This result is obtained without commitment to any particular formal analysis of truth conditions for counterfactuals nor to conditions for world similarity.

Presentists believe that only present things exist. Their theories, at first glance, seem to offer many admirable features: a simple ontology, and a meaningful, objective status for key temporal phenomena, such as the present moment and the passage of time. So intuitive is this theory that, as John Bigelow puts it, presentism was “believed by everyone...until at least the nineteenth century”. Yet, in the last 200 years presentism has been beset by criticisms from both physicists and metaphysicians. One of the (...) most significant criticisms is that presentists cannot provide an acceptable system of truthmaking. If there is no past, how can there still be truths about the past? In this paper, I introduce a new theory of presentism, which addresses this problem in a novel way: by simply denying that there are any truths about the past. While prima facie an unintuitive position, I will argue that a sensible presentist philosophy of this kind can be described, so long as it is accompanied by an appropriate system of physics. I will also indicate at certain points that adopting presentism could allow us to understand fundamental physics in new, more intuitive ways. By the end of the paper, I hope to not only show that hard presentism is a defensible theory of time, but also that it could offer a number of advantages to the physicist and the philosopher alike. (shrink)

I argue that, contrary to the recent claims of physicists and philosophers of physics, general relativity requires no interpretation in any substantive sense of the term. I canvass the common reasons given in favor of the alleged need for an interpretation, including the difficulty in coming to grips with the physical significance of diffeomorphism invariance and of singular structure, and the problems faced in the search for a theory of quantum gravity. I find that none of them shows any defect (...) in our comprehension of general relativity as a physical theory. I conclude by comparing general relativity with quantum mechanics, a theory that manifestly does stand in need of an interpretation in an important sense. Although many aspects of the conceptual structure of general relativity remain poorly understood, it suffers no incoherence in its formulation as a physical theory that only an ‘interpretation’ could resolve. *Received November 2007; revised February 2009. †To contact the author, please write to: Center for Philosophy of Science, University of Pittsburgh, 817 Cathedral of Learning, Pittsburgh, PA 15260; e‐mail: [email protected] . When science starts to be interpretive it is more unscientific even than mysticism. (D. H. Lawrence, “Self‐Protection”). (shrink)

One can (for the most part) formulate a model of a classical system in either the Lagrangian or the Hamiltonian framework. Though it is often thought that those two formulations are equivalent in all important ways, this is not true: the underlying geometrical structures one uses to formulate each theory are not isomorphic. This raises the question of whether one of the two is a more natural framework for the representation of classical systems. In the event, the answer is yes: (...) I state and sketch proofs of two technical results—inspired by simple physical arguments about the generic properties of classical systems—to the effect that, in a precise sense, classical systems evince exactly the geometric structure Lagrangian mechanics provides for the representation of systems, and none provided by Hamiltonian. The argument not only clarifies the conceptual structure of the two systems of mechanics, but also their relations to each other and their respective mechanisms for representing physical systems. It also shows why naïvely structural approaches to the representational content of physical theories cannot work. [Lagrange] grasped that he had gained a method of stating dynamical truths in a way, which is perfectly indifferent to the particular methods of measurement employed in fixing the positions of the various parts of the system. Accordingly, he went on to deduce equations of motion, which are equally applicable whatever quantitative measurements have been made, provided that they are adequate to fix positions. The beauty and almost divine simplicity of these equations is such that these formulae are worthy to rank with those mysterious symbols which in ancient times were held directly to indicate the Supreme Reason at the base of all things. (Whitehead [1948], p. 63)1. Introduction2.Classical Systems3. The Possible Interactions of a Classical System and the Structure of Its Space of States4. Classical Systems Are Lagrangian5. Classical Systems Are Not Hamiltonian6. How Lagrangian and Hamiltonian Mechanics Represent Classical Systems7. The Conceptual Structure of Classical Mechanics. (shrink)

The objective of this article is to provide a discussion that counters the infinite particle disappearance conclusion argued by Shackel, 417–433, 2018). In order to do this, clear criteria to disprove the results of the applications of his continuity principles are provided, in addition to the consideration of the fundamental Classical Mechanical principle of mass conservation as an independent and clear basis for this disproof.

What are the limits of physical computation? In his ‘Church’s Thesis and Principles for Mechanisms’, Turing’s student Robin Gandy proved that any machine satisfying four idealised physical ‘principles’ is equivalent to some Turing machine. Gandy’s four principles in effect define a class of computing machines (‘Gandy machines’). Our question is: What is the relationship of this class to the class of all (ideal) physical computing machines? Gandy himself suggests that the relationship is identity. We do not share this view. We (...) will point to interesting examples of (ideal) physical machines that fall outside the class of Gandy machines and compute functions that are not Turing-machine computable. (shrink)

Accelerating Turing machines are Turing machines of a sort able to perform tasks that are commonly regarded as impossible for Turing machines. For example, they can determine whether or not the decimal representation of contains n consecutive 7s, for any n; solve the Turing-machine halting problem; and decide the predicate calculus. Are accelerating Turing machines, then, logically impossible devices? I argue that they are not. There are implications concerning the nature of effective procedures and the theoretical limits of computability. Contrary (...) to a recent paper by Bringsjord, Bello and Ferrucci, however, the concept of an accelerating Turing machine cannot be used to shove up Searle's Chinese room argument. (shrink)

An important obstacle to lawhood in the special sciences is the worry that such laws would require metaphysically extravagant conspiracies among fundamental particles. How, short of conspiracy, is this possible? In this paper we'll review a number of strategies that allow for the projectibility of special science generalizations without positing outlandish conspiracies: non-Humean pluralism, classical MRL theories of laws, and Albert and Loewer's theory. After arguing that none of the above fully succeed, we consider the conspiracy problem through the lens (...) of our preferred view of laws, an elaboration of the MRL view that we call the Better Best System (BBS) theory. BBS offers a picture on which, although all events supervene on a fundamental level, there is no one unique locus of projectibility; rather there are a large number of loci corresponding to the different areas (ecology, economics, solid-state chemistry, etc.) in which there are simple and strong generalizations to be made. While we expect that some amount of conspiracy-fear-inducing special science projectibility is inevitable given BBS, we'll argue that this is unobjectionable. It follows from BBS that the laws of any particular special or fundamental science amount to a proper subset of the laws. From this vantage point, the existence of projectible special science generalizations not guaranteed by the fundamental laws is not an occasion for conspiracy fantasies, but a predictable fact of life in a complex world. (shrink)

Perhaps the most significant contemporary theory of lawhood is the Best System (/MRL) view on which laws are true generalizations that best systematize knowledge. Our question in this paper will be how best to formulate a theory of this kind. We’ll argue that an acceptable MRL should (i) avoid inter-system comparisons of simplicity, strength, and balance, (ii) make lawhood epistemically accessible, and (iii) allow for laws in the special sciences. Attention to these problems will bring into focus a useful menu (...) of novel MRL theories, some of which solve problems the original MRL theory could not. Hence we conceive of the paper as moving toward a better Best System theory of laws. (shrink)

Fritjof Capra's The Tao of Physics, one of several popularizations paralleling Eastern mysticism and modern physics, is critiqued, demonstrating that Capra gives little attention to the differing philosophies of physics he employs, utilizing whatever interpretation suits his purposes, without prior justification. The same critique is applied and similar conclusions drawn, about some recent attempts at relating theology and physics. In contrast, we propose the possibility of maintaining a cogent relationship between these disciplines by employing theological hypotheses to account for aspects (...) of physics that are free from interpretive difficulties, such as the ability to create mathematical structures with extraordinary predictive success. (shrink)

The corpus of physical theory is a paradigm of knowledge. The evolution of modern physical theory constitutes the clearest exemplar of the growth of knowledge. If the development of physical theory does not constitute an example of progress and growth in what we know about the Universe nothing does. So anyone interested in the theory of knowledge must be interested consequently in the evolution and content of physical theory. Crucial to the conception of physics as a paradigm of knowledge is (...) the way in which physical theory provides explanations of a vast diversity of natural phenomena on the basis of a very few fundamental principles. A central problem for the epistemologist is therefore what is theoretical explanation in physics? Here we can get good insight from what Redhead has said. Indeed one could agree with almost everything Redhead says and simply endorse much of his careful and extensive defence of the covering law account of explanation in the physical sciences at least as an ideal. However I shall, I fear, try the reader's patience by extending some of the considerations he introduced and raising those issues where we disagree, especially in the important area of statistical explanation. (shrink)

This essay examines recent work on abilities to act. Different kinds of ability are distinguished, and a recently proposed conditional analysis of ability ascriptions is evaluated. It is considered whether abilities are causal powers. Finally, several compatibility questions concerning abilities, as well as the relation between free will and abilities of various kinds, are examined.

It is argued that psychological explanations involve psychological generalizations that exhibit the same features as laws of physics. On the basis of the “systematic theory of lawhood”, characteristic features of laws of nature are elaborated. Investigating some examples of explanations taken from cognitive psychology shows that these features can also be identified in psychological generalizations. Particular attention is devoted to the notion of “ccteris‐paribus laws”. It is argued that laws of psychology are indeed ceteris‐paribus laws. However, this feature does not (...) distinguish them from the laws of physics, because such laws are found in physics as well. Moreover, the laws invoked in psychological explanations are genuine laws of psychology; they are not laws of other disciplines that are brought to bear on psychological problems. The conclusion is that if there are laws of physics then laws of psychology exist as well. (shrink)

We reconstruct genetic determinism as a reductionist thesis to the effect that the molecular properties of cells can be accounted for to a great extent by their genetic outfit. The non-reductionist arguments offered at this molecular level often use the relationship between structure and function as their point of departure. By contrast, we develop a non-reductionist argument that is confined to the structural characteristics of biomolecules; no appeal to functions is made. We raise two kinds of objections against the reducibility (...) claim underlying genetic determinism. First, some conceptual distinctions at the protein level cannot be captured on a genetic basis. A one-to-many relationship between DNA sequences and proteins emerges from them. Second, the relationship between genes and proteins is characterized by explanatory loops or reciprocal explanatory dependence. The presence of proteins is explained by the transcription from corresponding DNA sequences, and the latter is in turn accounted for by the action of proteins. By contrast, a reductive account requires a unidirectional explanatory dependence. (shrink)

I discuss the idea of relativistic causality, i.e., the requirement that causal processes or signals can propagate only within the light-cone. After briefly locating this requirement in the philosophy of causation, my main aim is to draw philosophers' attention to the fact that it is subtle, indeed problematic, in relativistic quantum physics: there are scenarios in which it seems to fail. I set aside two such scenarios, which are familiar to philosophers of physics: the pilot-wave approach, and the Newton-Wigner representation. (...) I instead stress two unfamiliar scenarios: the Drummond-Hathrell and Scharnhorst effects. These effects also illustrate a general moral in the philosophy of geometry: that the mathematical structures, especially the metric tensor, that represent geometry get their geometric significance by dint of detailed physical arguments. (shrink)

Is it true that if zombies---creatures who are behaviorally indistinguishable from us, but no more conscious than a rock-are logically possible, the computational conception of mind is false? Are zombies logically possible? Are they physically possible? This paper is a careful, sustained argument for affirmative answers to these three questions.

I illustrate a challenge to a view that is a response to the Hole Argument. The view, sophisticated substantivalism, has been claimed to be the received view. While sophisticated substantivalism has many defenders, there is a fundamental tension in the view that has not received the attention it deserves. Anyone who defends or endorses sophisticated substantivalism, should acknowledge this challenge, and should either show why it is not serious or explain how to respond to it.

Alan Turing devised his famous test (TT) through a slight modificationof the parlor game in which a judge tries to ascertain the gender of twopeople who are only linguistically accessible. Stevan Harnad hasintroduced the Total TT, in which the judge can look at thecontestants in an attempt to determine which is a robot and which aperson. But what if we confront the judge with an animal, and arobot striving to pass for one, and then challenge him to peg which iswhich? (...) Now we can index TTT to a particular animal and its syntheticcorrelate. We might therefore have TTTrat, TTTcat,TTTdog, and so on. These tests, as we explain herein, are abetter barometer of artificial intelligence (AI) than Turing's originalTT, because AI seems to have ammunition sufficient only to reach thelevel of artificial animal, not artificial person. (shrink)

I articulate a novel modal argument for P=NP.

It is shown that for an inside observer it is impossible to distinguish all states in which a system was at some past time. This holds for classical and quantum systems, but an assumption of determinism is essential in the proof.

We address a recent proposal concerning ‘surplus structure’ due to Nguyen et al.. We argue that the sense of ‘surplus structure’ captured by their formal criterion is importantly different from—and in a sense, opposite to—another sense of ‘surplus structure’ used by philosophers. We argue that minimizing structure in one sense is generally incompatible with minimizing structure in the other sense. We then show how these distinctions bear on Nguyen et al.’s arguments about Yang-Mills theory and on the hole argument.

We argue that a fashionable interpretation of the theory of natural selection as a claim exclusively about populations is mistaken. The interpretation rests on adopting an analysis of fitness as a probabilistic propensity which cannot be substantiated, draws parallels with thermodynamics which are without foundations, and fails to do justice to the fundamental distinction between drift and selection. This distinction requires a notion of fitness as a pairwise comparison between individuals taken two at a time, and so vitiates the interpretation (...) of the theory as one about populations exclusively. (shrink)

Recent developments in nonlinear dynamics have found wide application in many areas of science from physics to neuroscience. Nonlinear phenomena such as feedback loops, inter-level relations, wholes constraining and modifying the behavior of their parts, and memory effects are interesting candidates for emergence and downward causation. Rayleigh–Bénard convection is an example of a nonlinear system that, I suggest, yields important insights for metaphysics and philosophy of science. In this paper I propose convection as a model for downward causation in classical (...) mechanics, far more robust and less speculative than the examples typically provided in the philosophy of mind literature. Although the physics of Rayleigh–Bénard convection is quite complicated, this model provides a much more realistic and concrete example for examining various assumptions and arguments found in emergence and philosophy of mind debates. After reviewing some key concepts of nonlinear dynamics, complex systems and the basic physics of Rayleigh–Bénard convection, I begin that examination here by (1) assessing a recently proposed definition for emergence and downward causation, (2) discussing some typical objections to downward causation and (3) comparing this model with Sperry’s examples. (shrink)

Kellert (In the Wake of Chars, University of Chicago press, Chicago, 1993) has argued that Laplacean determinism in classical physics is actually a layered concept, where various properties or layers composing this form of determinism can be peeled away. Here, I argue that a layered conception of determinism is inappropriate and that we should think in terms of different deterministic models applicable to different kinds of systems. The upshot of this analysis is that the notion of state is more closely (...) tied to the kind of system being investigated than is usually considered in discussions of determinism. So when investigating determinism corresponding changes to the appropriate notion of state – and, perhaps, the state space itself – also need to be considered. (shrink)

The ArgumentIn this paper I argue that Kuhn's and Hanson's notion of incommensurable paradigms is rooted in the rhetoric of finality of the Copenhagen dogma — the orthodox philosophical interpretation of quantum physics. I also argue that arguments for holism of a paradigm, on which the notion of the impossibility of its gradual modification is based, misinterpret the Duhem-Quine thesis. The history of science (Copernican, Chemical, and Quantum Revolutions) demonstrates fruitful selective appropriation of ideas from seemingly “incommensurable” paradigms (rather than (...) the impossibility of communication between their representatives). I argue in conclusion that such openness underlies scientific creativity, and that dialogue between different alternatives is indispensable for the growth of knowledge. (shrink)

Branching space-time is a simple blend of relativity and indeterminism. Postulates and definitions rigorously describe the causal order relation between possible point events. The key postulate is a version of everything has a causal origin; key defined terms include history and choice point. Some elementary but helpful facts are proved. Application is made to the status of causal contemporaries of indeterministic events, to how splitting of histories happens, to indeterminism without choice, and to Einstein-Podolsky-Rosen distant correlations.

If cosmology is to obtain knowledge about the whole universe, it faces an underdetermination problem: Alternative space-time models are compatible with our evidence. The problem can be avoided though, if there are good reasons to adopt the Cosmological Principle (CP), because, assuming the principle, one can confine oneself to the small class of homogeneous and isotropic space-time models. The aim of this paper is to ask whether there are good reasons to adopt the Cosmological Principle in order to avoid underdetermination (...) in cosmology. Various strategies to justify the CP are examined. For instance, arguments to the effect that the truth of the CP follows generically from a large set of initial conditions; an inference to the best explanation; and an inductive strategy are assessed. I conclude that a convincing justification of the CP has not yet been established, but this claim is contingent on a number of results that may have to be revised in the future. (shrink)

The paper highlights the import of the paraconsistent movement, list some motivations for its origin, and distinguishes some stands with respect to para-consistency. It then discusses some sources of inconsistency that are specific for worldviews, and the import of the paraconsistent turn for the worldviews enterprise.

An actual infinity of colliding balls can be in a configuration in which the laws of mechanics lead to logical inconsistency. It is argued that one should therefore limit the domain of these laws to a finite, or only a potentially infinite number of elements. With this restriction indeterminism, energy nonconservation and creatio ex nihilo no longer occur. A numerical analysis of finite systems of colliding balls is given, and the asymptotic behaviour that corresponds to the potentially infinite system is (...) inferred. (shrink)

A Zenonian supertask involving an infinite number of colliding balls is considered, under the restriction that the total mass of all the balls is finite. Classical mechanics leads to the conclusion that momentum, but not necessarily energy, must be conserved. Relativistic mechanics, on the other hand, implies that energy and momentum conservation are always violated. Quantum mechanics, however, seems to rule out the Zeno configuration as an inconsistent system.

I show that for any quantum dynamics and any choice of observables as hidden variables an adequate hidden variable theory always exists. I argue that hidden variable theories have no more problems in reconciling non-locality with relativity than no-hidden-variable theories.

Zeno argued that since at any instant an arrow does not change its location, the arrow does not move at any time, and hence motion is impossible. I discuss the following three views that one could take in view of Zeno's argument:(i) the "at-at" theory, according to which there is no such thing as instantaneous velocity, while motion in the sense of the occupation of different locations at different times is possible,(ii) the "impetus" theory, according to which instantaneous velocities do (...) exist but these are only contingently and causally related to the temporal developments of positions,(iii) the "no instants" theory, according to which instants in time do not exist, and hence instantaneous velocities do not exist, while motion, in the sense of different areas occupied during different time intervals, is possible.I argue that, despite the fact that there have been interesting and relevant developments in mathematics and physics since the time of Zeno, each of these views still has serious drawbacks. (shrink)

Can Brownian motion arise from a deterministic system of particles? This paper addresses this question by analysing the derivation of Brownian motion as the limit of a deterministic hard-spheres gas with Lanford’s theorem. In particular, we examine the role of the Boltzmann-Grad limit in the loss of memory of the deterministic system and compare this derivation and the derivation of Brownian motion with the Langevin equation.

A model of a new version of Zeno's arrow paradox is presented in a plausible extension of Newtonian collision mechanics. In exploring various avenues for resolution of the paradox, it becomes evident that a prerelativistic classical physical topology which is locally deterministic can mechanically generate nonclassical ontological properties such as the appearance of a particle in many places at once. It can also mimic some properties of quantum physics, including unprepared spatially-separated correlations. 1 Zeno's arrow paradox 2 Newtonian collision mechanics (...) and extensions of it 3 Our initial condition (IC) 4 Demonstrating the model paradox 5 Resolving the paradox 6 Unprepared correlations in spatially-separated events 7 Lessons. (shrink)

can prevent non-contact interactions in Newtonian collision mechanics. The proposal is weakened by the apparent arbitrariness of what will be shown as the requirement of only an odd number of sets of some ex nihilo-created self-exciting particles. There is, however, an initial condition such that, without the ex nihilo self-exciting particles, either there is a contradictory outcome, or there is a non-contact configuration law, or there are odds versus evens indeterminacies. With the various odds versus evens arbitrarinesses and other such (...) difficulties, there seems to be an ontological unsatisfactoriness in the speed-unbounded Newtonian collision system. Introduction Taking self-excitations very seriously A problematic initial condition Another alternative. (shrink)

In this note, we consider constraints on the physical possibility of transfinite Turing machines that arise from how one models the continuous structure of space and time in one's best physical theories. We conclude by suggesting a version of Church's thesis appropriate as an upper bound for physical computation given how space and time are modeled on our current physical theories.

It is a common idea, and an element in many legal systems, that people can deserve punishment when they commit criminal (or immoral) actions. A standard philosophical objection to this retributivist idea about punishment is that if human choices and actions are determined by previous events and the laws of nature, then we are not free in the sense required to be morally responsible for our actions, and therefore cannot deserve blame or punishment. It has recently been suggested that this (...) argument can be backed up by neuroscience, since neuroscientific explanations of human behavior leave no room for non-determined free actions. In this thesis, an argument of this sort is discussed. According to this argument, that I call “the Revision Argument”, we should revise the legal system so that any retributivist justification of punishment is removed. I examine some objections to the Revision Argument according to which compatibilism about free will and responsibility is a morally acceptable basis of retributive punishment. I argue that these objections have difficulties in providing a plausible account of the relevant difference between people who deserve punishment for their actions and people who do not. Therefore, I argue that they fail to refute the conclusion of the Revision Argument. (shrink)

Determinism and chance seem to be irreconcilable opposites: either something is chancy or it is deterministic but not both. Yet there are processes which appear to square the circle by being chancy and deterministic at once, and the appearance is backed by well-confirmed scientific theories such as statistical mechanics which also seem to provide us with chances for deterministic processes. Is this possible, and if so how? In this essay I discuss this question for probabilities as they occur in the (...) empirical sciences, setting aside metaphysical questions in connection with free will, divine intervention and determinism in history. (shrink)

Timelines is an inquiry into the nature of time, both as an apparent feature of the external physical world and as a fundamental feature of our experience of ourselves in the world. The principal argument of Timelines is that our coventional ideas about time are largely mistaken and that what we think of as independent physical time is actually our calibration of a certain relation between events. Namely, the relation between time-keeping events and the causal sequential differences of physical processes (...) which are real and independent of us. (shrink)

The aim of this doctoral dissertation is to closely explore the nature of Einstein’s block universe and to tease out its implications for the nature of time and human freedom. Four questions, in particular, are central to this dissertation, and set out the four dimensions of this philosophical investigation: (1) Does the block universe view of time follow inevitably from the theory of special relativity? (2) Is there room for the passage of time in the block universe? (3) Can we (...) distinguish past from future in the block universe? (4) Is there room for human freedom in the block universe? Although the answer of most philosophers would be yes, triple no, my own answer, controversially, is no, triple yes. -/- I thereby challenge the status quo with respect to each of these metaphysical questions, and argue that none of these questions can be answered from looking at physics alone. Physics may constrain our metaphysics, but it certainly does not settle it. What is needed in order to answer these questions, are additional metaphysical assumptions that fall outside the scope of modern physics. My primary goal in this dissertation, therefore, is not to settle the debates on the nature of time and human freedom, but to clarify them by expliciting the metaphysical assumptions that are otherwise left implicit. (shrink)

In this paper a symmetry argument against quantity absolutism is amended. Rather than arguing against the fundamentality of intrinsic quantities on the basis of transformations of basic quantities, a class of symmetries defined by the Π-theorem is used. This theorem is a fundamental result of dimensional analysis and shows that all unit-invariant equations which adequately represent physical systems can be put into the form of a function of dimensionless quantities. Quantity transformations that leave those dimensionless quantities invariant are empirical and (...) dynamical symmetries. The proposed symmetries of the original argument fail to be both dynamical and empirical symmetries and are open to counterexamples. The amendment of the original argument requires consideration of the relationships between quantity dimensions. The discussion raises a pertinent issue: what is the modal status of the constants of nature which figure in the laws? Two positions, constant necessitism and constant contingentism, are introduced and their relationships to absolutism and comparativism undergo preliminary investigation. It is argued that the absolutist can only reject the amended symmetry argument by accepting constant necessitism. I argue that the truth of an epistemically open empirical hypothesis would make the acceptance of constant necessitism costly: together they entail that the facts are nomically necessary. (shrink)

Sometimes you make a choice. Whether or not you made it was up to you. The choice was free. But how can this be? A scientific view of the world may leave no room for free choice. Free will literature continually explodes. Yet experts still focus on control or on a power to do otherwise. Sadly, they neglect another intuitive feature of free will: being an underived source or ultimate originator. When acting freely, one is a self-determined, self-directed, sole author (...) of change. Surprisingly, though the literature is replete with this pre-theoretic feature of free will, virtually no one makes rigorous use of it when constructing arguments. Equipped with fresh research, this book contends that agent-causation—currently an unpopular theory—deserves serious reconsideration. Only agent-causation accounts for ultimate origination, and popular objections fail under rigorous scrutiny. This book is tightly argued. It challenges and deepens recent advances in free will scholarship made by Peter van Inwagen, Robert Kane, Carl Ginet, Randy Clarke, Stewart Goetz, Tim O’Connor, and others. (shrink)

This paper reviews the hole argument as an argument against spacetime substantivalism. After a careful presentation of the argument itself, I critically review possible responses.

In this paper we apply the popular Best System Account of laws to typical eternal worlds – both classical eternal worlds and eternal worlds of the kind posited by popular contemporary cosmological theories. We show that, according to the Best System Account, such worlds will have no laws that meaningfully constrain boundary conditions. It’s generally thought that lawful constraints on boundary conditions are required to avoid skeptical arguments. Thus the lack of such laws given the Best System Account may seem (...) like a severe problem for the view. We show, however, that at eternal worlds, lawful constraints on boundary conditions do little to help fend off skeptical worries. So with respect to handling these skeptical worries, the proponent of the Best System Account is no worse off than their competitors. (shrink)

There are arguments for determinism. Admittedly, this is opposed by the fact of everyday experience of autonomy. In the following, it is argued for the compatibility of determinism and autonomy. Taking up considerations of Donald MacKay, a fatalistic attitude can be refuted as false. Repeatedly, attempts have been made to defend the possibility of autonomy with reference to quantum physical indeterminacy. But its statistical randomness clearly misses the meaning of autonomy. What is decisive, on the other hand, is the possibility (...) of knowledge, which opens up opportunities for planning, freedom of choice and ultimately 'self-choice'. Results of neurobiological research, especially Benjamin Libet's and more recently John-Dylan Haynes', seem to refute this: Actions are unconsciously initiated before conscious decision. But, as Libet has also shown, consciousness always has the possibility of a veto – and thus also of knowledge-driven action control. Ultimately, the idea of possible self-choice can thus become the determining condition. Only such a form of rational self-determination establishes a spiritual identity and at the same time represents the maximum of autonomy possible for human beings. (shrink)