James Ladyman

Ladyman, Presnell, and Short proposed a model of the implementation of logical operations by physical processes in order to clarify the exact statement of Landauer's Principle, and then offered a new proof of the latter based on the construction of a thermodynamic cycle, arguing that if Landauer's Principle were false it would be possible to harness a machine that violated it to produce a violation of the second law of thermodynamics. In a recent paper in this journal, John Norton directly challenges the consistency of that proof. In the present paper we defend the proof given by Ladyman et al. against his critique. In particular, contrary to what Norton claims, we argue that the processes used in the proof cannot be used to construct a cycle that enacts erasure in a thermodynamically reversible way, and that he does not show that the processes used in the proof violate the Second Law of Thermodynamics

Realism about computation is the view that whether or not a particular physical system is performing a particular computation is at least sometimes a mindindependent feature of reality. The caveat ’at least sometimes’ is necessary here because a realist about computation need not believe that all instances of computation should be realistically construed. The computational theory of mind presupposes realism about computation. If whether or not the human nervous system implements particular computations is not a natural fact about the world that is independent of whether we represent it as doing so, then the computational theory of mind fails to naturalise the mind. Realism about computation is also presupposed by attempts to use computational principles such as Landauer’s Principle to dispel Maxwell’s Demon. Realism about computation has been challenged by Hilary Putnam and John Searle among others. Various arguments have been put forward purporting to show that any physical system of sufficient complexity trivially implements all computations. Ladyman et al. offer a precisification and general proof Landauer’s Principle. In order to do this they present an analysis of what it is for a physical process to implement a logical transformation. In this paper, their analysis is explained and its implications for realism about computation and the use of Landauer’s Principle in foundational debates is assessed.

How do we refer to chemical substances, and in particular to chemical elements? This question relates to many philosophical questions, including whether or not theories are incommensurable, the extent to which past theories are later discarded, and issues about scientific realism. This chapter considers the first explicit reference to types of colorless air in late-eighteenth-century chemical practice. Reference to a gas by one chemist was generally intended to give others epistemological, methodological, and practical access to the gas. This chapter proposes a causal-descriptive theory of reference for chemical substances. Implications for debates about incommensurability and realism are also briefly noted.

Interactions between an intelligent software agent and a human user are ubiquitous in everyday situations such as access to information, entertainment, and purchases. In such interactions, the ISA mediates the user’s access to the content, or controls some other aspect of the user experience, and is not designed to be neutral about outcomes of user choices. Like human users, ISAs are driven by goals, make autonomous decisions, and can learn from experience. Using ideas from bounded rationality, we frame these interactions as instances of an ISA whose reward depends on actions performed by the user. Such agents benefit by steering the user’s behaviour towards outcomes that maximise the ISA’s utility, which may or may not be aligned with that of the user. Video games, news recommendation aggregation engines, and fitness trackers can all be instances of this general case. Our analysis facilitates distinguishing various subcases of interaction, as well as second-order effects that might include the possibility for adaptive interfaces to induce behavioural addiction, and/or change in user belief. We present these types of interaction within a conceptual framework, and review current examples of persuasive technologies and the issues that arise from their use. We argue that the nature of the feedback commonly used by learning agents to update their models and subsequent decisions could steer the behaviour of human users away from what benefits them, and in a direction that can undermine autonomy and cause further disparity between actions and goals as exemplified by addictive and compulsive behaviour. We discuss some of the ethical, social and legal implications of this technology and argue that it can sometimes exploit and reinforce weaknesses in human beings.

The Hole Argument is primarily about the meaning of general covariance in general relativity. As such it raises many deep issues about identity in mathematics and physics, the ontology of space–time, and how scientific representation works. This paper is about the application of a new foundational programme in mathematics, namely homotopy type theory, to the Hole Argument. It is argued that the framework of HoTT provides a natural resolution of the Hole Argument. The role of the Univalence Axiom in the treatment of the Hole Argument in HoTT is clarified.

The Univalence axiom, due to Vladimir Voevodsky, is often taken to be one of the most important discoveries arising from the Homotopy Type Theory research programme. It is said by Steve Awodey that Univalence embodies mathematical structuralism, and that Univalence may be regarded as ‘expanding the notion of identity to that of equivalence’. This article explores the conceptual, foundational and philosophical status of Univalence in Homotopy Type Theory. It extends our Types-as-Concepts interpretation of HoTT to Universes, and offers an account of the Univalence axiom in such terms. We consider Awodey’s informal argument that Univalence is motivated by the principle that reasoning should be invariant under isomorphism, and we examine whether an autonomous and rigorous justification along these lines can be given. We consider two problems facing such a justification. First, there is a difference between equivalence and isomorphism and Univalence must be formulated in terms of the former. Second, the argument as presented cannot establish Univalence itself but only a weaker version of it, and must be supplemented by an additional principle. The article argues that the prospects for an autonomous justification of Univalence are promising.

According to logical positivism, so the story goes, metaphysical questions are meaningless, since they do not admit of empirical confirmation or refutation. However, the logical positivists did not in fact reject as meaningless all questions about for example, the structure of space and time. Rather, key figures such as Reichenbach and Schlick believed that scientific theories often presupposed a conceptual framework that was not itself empirically testable, but which was required for the theory as a whole to be empirically testable. For example, the theory of Special Relativity relies upon the simultaneity convention introduced by Einstein that assumes that the one-way speed of light is the same in all directions of space. Hence, the logical positivists accepted an a priori component to physical theories. However, they denied that this a priori component is necessarily true. Whereas for Kant, metaphysics is the a priori science of the necessary structure of rational thought about reality, the logical positivists were forced by the history of science to accept that the a priori structure of theories could change. Hence, they defended a notion of what Michael Friedman calls the ‘relativised’ or the ‘constitutive’ a priori. Carnap and Reichenbach held that such an a priori framework was conventional, whereas Schlick seems to have been more of a realist and held that the overall relative simplicity of different theories could count as evidence for their truth, notwithstanding the fact that some parts of them are not directly testable. All this is part of the story of how the verification principle came to be abandoned, and how logical positivism transmuted into logical empiricism.

This book argues that the only kind of metaphysics that can contribute to objective knowledge is one based specifically on contemporary science as it really is, and not on philosophers' a priori intuitions, common sense, or simplifications of science. In addition to showing how recent metaphysics has drifted away from connection with all other serious scholarly inquiry as a result of not heeding this restriction, this book demonstrates how to build a metaphysics compatible with current fundamental physics, which, when combined with metaphysics of the special sciences, can be used to unify physics with the other sciences without reducing these sciences to physics itself. Taking science metaphysically seriously, this book argues, means that metaphysicians must abandon the picture of the world as composed of self-subsistent individual objects, and the paradigm of causation as the collision of such objects. The text assesses the role of information theory and complex systems theory in attempts to explain the relationship between the special sciences and physics, treading a middle road between the grand synthesis of thermodynamics and information, and eliminativism about information. The consequences of the books' metaphysical theory for central issues in the philosophy of science are explored, including the implications for the realism versus empiricism debate, the role of causation in scientific explanations, the nature of causation and laws, the status of abstract and virtual objects, and the objective reality of natural kinds.

Social machines are systems formed by technical and human elements interacting in a structured manner. The use of digital platforms as mediators allows large numbers of human participants to join such mechanisms, creating systems where interconnected digital and human components operate as a single machine capable of highly sophisticated behaviour. Under certain conditions, such systems can be described as autonomous and goal-driven agents. Many examples of modern Artificial Intelligence (AI) can be regarded as instances of this class of mechanisms. We argue that this type of autonomous social machines has provided a new paradigm for the design of intelligent systems marking a new phase in the field of AI. The consequences of this observation range from methodological, philosophical to ethical. On the one side, it emphasises the role of Human-Computer Interaction in the design of intelligent systems, while on the other side it draws attention to both the risks for a human being and those for a society relying on mechanisms that are not necessarily controllable. The difficulty by companies in regulating the spread of misinformation, as well as those by authorities to protect task-workers managed by a software infrastructure, could be just some of the effects of this technological paradigm.

The present paper concerns how scientific realism is formulated and defended. It is argued that van Fraassen is fundamentally right that scientific realism requires metaphysics in general, and modality in particular. This is because of several relationships that raise problems for the ontology of scientific realism, namely those between: scientific realism and common sense realism; past and current theories; the sciences of different scales; and the ontologies of the special sciences and fundamental physics. These problems are related. It is argued that ontic structural realism, in the form of the real-patterns account of ontology, offers a unified solution to them all.

This is the second of a pair of papers, of which the first showed how each of the main late phlogistic theories effectively reached impasses due to internal problems or included features which made them unacceptable even to other phlogistians. This paper deals with theory comparison and theory change. It gives an unprecedentedly detailed comparison between the available theories in 1790–1791, and shows that this was overwhelmingly in favour of the new chemistry. This time period correlates well with many chemists changing to the new theory. There was a plurality of views held by individuals and there was freedom of individual choice concerning theories, yet there was also a widespread and rational change to the new chemistry.

This is the first of a pair of papers. It focuses on the development of the most notable phlogistic theories during the period 1766–1791, including the main experiments that their proponents proposed them to interpret. There was a rapid proliferation of late phlogistic theories, particularly from 1784, and the accounts of composition and important implications of the main theories are set out and their issues analysed. Each of them either reached impasses due to internal problems, or included features that made them unacceptable even to other phlogistians. The expositions and analyses of these theories are given in terms of details that were in the literature at the time or otherwise potentially understandable by the participants given contemporary practice. Some relevant methodological aspects of the history of science are discussed, and the secondary literature is briefly surveyed. The second paper deals with the contemporary development of the new chemistry, and with theory comparison and theory choice in the same period.

We examine, from the partial structures perspective, two forms of applicability of mathematics: at the “bottom” level, the applicability of theoretical structures to the “appearances”, and at the “top” level, the applicability of mathematical to physical theories. We argue that, to accommodate these two forms of applicability, the partial structures approach needs to be extended to include a notion of “partial homomorphism”. As a case study, we present London's analysis of the superfluid behavior of liquid helium in terms of Bose‐Einstein statistics. This involved both the introduction of group theory at the top level, and some modeling at the “phenomenological” level, and thus provides a nice example of the relationships we are interested in. We conclude with a discussion of the “autonomy” of London's model.

The semantic, or model-theoretic, approach to theories has recently come under criticism on two fronts: (i) it is claimed that it cannot account for the wide diversity of models employed in scientific practice—a claim which has led some to propose a “deflationary” account of models; (ii) it is further contended that the sense of “model” used by the approach differs from that given in model theory. Our aim in the present work is to articulate a possible response to these claims, drawing on recent developments within the semantic approach itself. Thus, the first is answered by utilizing the notion of a “partial structure”, first introduced in this context by da Costa and French in 1990. The second claim is undermined by consideration of van Fraassen's understanding of “model” which corresponds well with that evinced by modem mathematicians. This latter discussion, in particular, has an impact on the continuing debate regarding the relative merits of the semantic and syntactic views and the developments presented here can be taken to provide further support to the former.

Abstractvan Fraassen (The empirical stance, 2002) contrasts the empirical stance with the materialist stance. The way he describes them makes both of them attractive, and while opposed they have something in common for both stances are scientific approaches to philosophy. The difference between them reflects their differing conceptions of science itself. Empiricists emphasise fallibilism, verifiability and falsifiability, and also to some extent scepticism and tolerance of novel hypotheses. Materialists regard the theoretical picture of the world as matter in motion as a true and explanatory account and insist on not taking ‘spooky’ entities or processes seriously as potential explanations of phenomena that so far lie outside the scope of successful science. The history of science shows us that both stances have been instrumental in the achievement of progress at various times. It is therefore plausible for a naturalist to suggest that science depends for its success on the dialectic between empiricism and materialism. A truly naturalist approach to philosophy ought then to synthesise them. Call the synthesized empiricist and materialist stances ‘the scientistic stance’. This paper elaborates and defends it.

There is good reason to believe that scientific realism requires a commitment to the objective modal structure of the physical world. Causality, equilibrium, laws of nature, and probability all feature prominently in scientific theory and explanation, and each one is a modal notion. If we are committed to the content of our best scientific theories, we must accept the modal nature of the physical world. But what does the scientific realist’s commitment to physical modality require? We consider whether scientific realism is compatible with Humeanism about the laws of nature, and we conclude that it is not. We specifically identify three major problems for the best-systems account of lawhood: its central concept of strength cannot be formulated non-circularly, it cannot offer a satisfactory account of the laws of the special sciences, and it can offer no explanation of the success of inductive inference. In addition, Humeanism fails to be naturalistically motivated. For these reasons, we conclude that the scientific realist must embrace natural necessity.