I argue that there are two distinct approaches to understanding reduction: the ontology-first approach and the theory-first approach. They concern the relation between ontological reduction and inter-theoretic reduction. Further, I argue for the significance of this distinction by demonstrating that either one or the other approach has been taken as an implicit assumption in, and has in fact shaped, our understanding of what statistical mechanics is. More specifically, I argue that the Boltzmannian framework of statistical mechanics assumes and relies on (...) the ontology-first approach, whereas the Gibbsian framework should assume the theory-first approach. -/- . (shrink)

Talk of “levels” can be found throughout the sciences, from “levels of abstraction”, to “levels of organization”, to “levels of analysis”. This has led to substantial disagreement regarding the ontology of levels, and whether the various senses of levels each have genuine value and utility to scientific practice. In this paper, I propose a unified framework for thinking about levels in science which ties together the various ways in which levels are invoked in science, and which can overcome the problems (...) that different senses of levels have faced. I argue that levels can best be understood as choices scientists make regarding what sort of information to foreground in their models and theories, and what sort of information to push into the background. To change levels is to change the foregrounding and backgrounding of information for different representational and pragmatic purposes. (shrink)

On the standard analysis, a counterfactual conditional such as “If P had been the case, then Q would have been the case” is true in the actual world if, in all nearest possible worlds in which its antecedent (P) is true, its consequent (Q) is also true. Despite its elegance, this analysis faces a difficulty if the laws of nature are deterministic. Then the antecedent could not have been true, given prior conditions. So, it is unclear what the relevant “nearest (...) possible worlds” are. David Lewis suggested that they are ones in which a local breach of the laws occurred: a “small miracle”. Others have suggested that they are ones in which the initial conditions were different (“backtracking”). I propose another response. It builds on the idea that the special sciences, where counterfactual reasoning is most common, operate at a higher level of description from fundamental physics, and that the world may behave indeterministically at higher levels even if it behaves deterministically at the fundamental physical one. The challenge from determinism can then be bypassed for many special-science counterfactuals. (shrink)

Some views articulate reality's hierarchical structure using relations from the fundamental to representations of reality. Other views instead use relations from the fundamental to constituents of non-representational reality. This paper argues against the first kind of view.

There is a deeply entrenched view in philosophy and physics, the closed systems view, according to which isolated systems are conceived of as fundamental. On this view, when a system is under the influence of its environment this is described in terms of a coupling between it and a separate system which taken together are isolated. We argue against this view, and in favor of the alternative open systems view, for which systems interacting with their environment are conceived of as (...) fundamental, and the environment's influence is represented via the dynamical equations that govern the system's evolution. Taking quantum theories of closed and open systems as our case study, and considering three alternative notions of fundamentality: (i) ontic fundamentality, (ii) epistemic fundamentality, and (iii) explanatory fundamentality, we argue that the open systems view is fundamental, and that this has important implications for the philosophy of physics, the philosophy of science, and for metaphysics. (shrink)

In what sense are the special sciences autonomous of fundamental physics? Autonomy is an enduring theme in discussions of the relationship between the special sciences and fundamental physics or, more generally, between higher and lower-level facts. Discussion of ‘autonomy’ often fails to recognise that autonomy admits of degrees; consequently, autonomy is either taken to require full independence, or risk relegation to mere apparent autonomy. In addition, the definition of autonomy used by Fodor, the most famous proponent of the autonomy of (...) the special sciences, has been robustly criticised by Loewer. In this paper I develop a new account of autonomy following Woodward which I dub ‘generalised autonomy’ since it unifies dynamical, causal and nomic autonomy. Autonomy, on this account, can be partial: some lower-level details matter while others do not. To summarise: whilst the detailed lower level is unconditionally relevant, conditionalising on the higher-level facts renders some lower-level details irrelevant. The macrodependencies that the higher-level facts enter into — be they dynamical, causal or nomic — screen off the underlying microdetails. This account helps resolve an explanatory puzzle: if the lower-level facts in some way underpin the higher-level facts, why don’t the lower-level details matter more for the day-to-day practice of the special sciences? The answer will be: the facts uncovered by the special sciences are autonomous in my sense, and so practitioners of these special sciences need not study more fundamental sciences, since these underlying facts are genuinely irrelevant. (shrink)

Distinctions in fundamentality between different levels of description are central to the viability of contemporary decoherence-based Everettian quantum mechanics (EQM). This approach to quantum theory characteristically combines a determinate fundamental reality (one universal wave function) with an indeterminate emergent reality (multiple decoherent worlds). In this chapter I explore how the Everettian appeal to fundamentality and emergence can be understood within existing metaphysical frameworks, identify grounding and concept fundamentality as promising theoretical tools, and use them to characterize a system of explanatory (...) levels (with associated laws of nature) for EQM. This Everettian level structure encompasses and extends the ‘classical’ levels structure. The ‘classical’ levels of physics, chemistry, biology, etc. are recovered, but they are emergent in character and potentially variable across Everett worlds. EQM invokes an additional fundamental level, not present in the classical levels picture, and a novel potential role for self-location in interlevel metaphysics. When given a modal realist interpretation, EQM also makes trouble for supervenience-based approaches to levels. (shrink)

We argue against claims that the classical ℏ → 0 limit is “singular” in a way that frustrates an eliminative reduction of classical to quantum physics. We show one precise sense in which quantum mechanics and scaling behavior can be used to recover classical mechanics exactly, without making prior reference to the classical theory. To do so, we use the tools of strict deformation quantization, which provides a rigorous way to capture the ℏ → 0 limit. We then use the (...) tools of category theory to demonstrate one way that this reduction is explanatory: it illustrates a sense in which the structure of quantum mechanics determines that of classical mechanics. (shrink)

Several authors have argued that non-extreme probabilities used in special sciences such as chemistry and biology can be objective chances, even if the true microphysical description of the world is deterministic. This article examines an influential version of this argument and shows that it depends on a particular methodology for defining the relationship between coarse-grained and fine-grained events. An alternative methodology for coarse-graining is proposed. This alternative methodology blocks this argument for the existence of emergent chances, and makes better sense (...) of two well-known subjects of philosophical discussion: the Miners Puzzle and Simpson’s Paradox. (shrink)

The disappearing agent problem is an argument in the metaphysics of agency. Proponents of the agent-causal approach argue that the rival event-causal approach fails to account for the fact that an agent is active. This paper examines an analogy between this disappearing agent problem and the exclusion problem in the metaphysics of mind. I develop the analogy between these two problems and survey existing solutions. I suggest that some solutions that have received significant attention in response to the exclusion problem (...) have seen considerably less attention in response to the disappearing agent problem. For example, one solution to the exclusion problem is to reject the exclusion assumption. Analogously, one solution to the disappearing agent problem could be to deny the claim that the agent-causal approach and the event-causal approach are mutually exclusive. Similarly, proportionality theories of causation, a solution to the exclusion problem, can be transferred to the disappearing agent problem. After establishing the plausibility of the analogy between the two problems, I examine how this latter solution in particular can be transferred from the one problem to the other. (shrink)

This monograph discusses the question of what it is to be a reason – mainly in practical ethics – and proposes an original contribution to metaethics.It critically examines theories of metaethical realism, constructivism and error theory and identifies several misunderstandings or unclarities in contemporary debates. Based on this examination, the book suggests a distinction between a conceptual question, that can be answered by pure first-personal thinking, and a material question, that targets responses to reasons as a natural phenomenon in space (...) and time and that can be answered by help of the sciences. While this book defends a sharp distinction between these approaches, it also argues that the insights gained by the distinct approaches can be fruitfully integrated into a comprehensive picture.The comprehensive picture promoted in this book, based on both philosophical analysis and resources from psychology and cognitive science, is a picture of reasons as items in a collective archive of mind – reconfiguring the “domain of reasons” as a collectively established and socially cultivated fund of considerations with normative weight. The developed Collective Archive View combines Reasons Fundamentalism as an answer to the conceptual question, with a social ontological proposal, similar to Haslanger’s critical realism, as an answer to the material question.Thereby, it introduces central ideas from the field of social metaphysics into metaethics. At the same time, it offers a way of settling some controversies within metaethics, going on between proponents of Reasons Fundamentalism and Constitutivism, realism and constructivism, as well as proponents of mind-dependence and mind-independence of normative facts. Finally, the proposal enables us to envision and conceptualize genuine normative change within a metaethical theory. (shrink)

Just as different sciences deal with different facts—say, physics versus biology—so we may ask a similar question about normative theories. Is normative political theory concerned with the same normative facts as moral theory or different ones? By developing an analogy with the sciences, we argue that the normative facts of political theory belong to a higher— more coarse-grained—level than those of moral theory. The latter are multiply realizable by the former: competing facts at the moral level can underpin the same (...) facts at the political one. Consequently, some questions that moral theories answer are indeterminate at the political level. This proposal offers a novel interpretation of John Rawls’s idea that, in public reasoning, we should abstract away from comprehensive moral doctrines. We contrast our distinction between facts at different levels with the distinction between admissible and inadmissible evidence and discuss some implications for the practice of political theory. (shrink)

This paper sketches a new and somewhat heterodox metaphysical theory of consciousness: the “many-worlds theory”. It drops the assumption that all conscious subjects’ experiences are features of one and the same world and instead associates different subjects with different “first-personally centred worlds”. We can think of these as distinct “first-personal realizers” of a shared “third-personal world”, where the latter is supervenient, in a sense to be explained. This is combined with a form of modal realism, according to which different subjects’ (...) first-personally centred worlds are all real, though only one of them is present for each subject. The theory offers a novel way of capturing the irreducibly subjective nature of conscious experience without lapsing into solipsism. The paper also looks at some scientific theories of consciousness, such as integrated information theory, through the proposed lens and reconsiders the hard problem of consciousness. (shrink)

Non-Consequentialist moral theories posit the existence of moral constraints: prohibitions on performing particular kinds of wrongful acts, regardless of the good those acts could produce. Many believe that such theories cannot give satisfactory verdicts about what we morally ought to do when there is some probability that we will violate a moral constraint. In this article, I defend Non-Consequentialist theories from this critique. Using a general choice-theoretic framework, I identify various types of Non-Consequentialism that have otherwise been conflated in the (...) debate. I then prove a number of formal possibility and impossibility results establishing which types of Non-Consequentialism can -- and which cannot -- give us adequate guidance through through a risky world. (shrink)

While the fundamental laws of physics are time-reversal invariant, most macroscopic processes are irreversible. Given that the fundamental laws are taken to underpin all other processes, how can the fundamental time-symmetry be reconciled with the asymmetry manifest elsewhere? In statistical mechanics, progress can be made with this question. What I dub the ‘Zwanzig–Zeh–Wallace framework’ can be used to construct the irreversible equations of SM from the underlying microdynamics. Yet this framework uses coarse-graining, a procedure that has faced much criticism. I (...) focus on two objections in the literature: claims that coarse-graining makes time-asymmetry ‘illusory’ and ‘anthropocentric’. I argue that these objections arise from an unsatisfactory justification of coarse-graining prevalent in the literature, rather than from coarse-graining itself. This justification relies on the idea of measurement imprecision. By considering the role that abstraction and autonomy play, I provide an alternative justification and offer replies to the illusory and anthropocentric objections. Finally, I consider the broader consequences of this alternative justification: the connection to debates about inter-theoretic reduction and the implication that the time-asymmetry in SM is weakly emergent. 1Introduction 1.1Prospectus2The Zwanzig–Zeh–Wallace Framework3Why Does This Method Work? 3.1The special conditions account3.2When is a density forwards-compatible?4Anthropocentrism and Illusion: Two Objections 4.1The two objections in more detail4.2Against the justification by measurement imprecision5An Alternative Justification 5.1Abstraction and autonomy5.2An illustration: the Game of Life6Reply to Illusory7Reply to Anthropocentric8The Wider Landscape: Concluding Remarks 8.1Inter-theoretic relations8.2The nature of irreversibility. (shrink)

Social ontology is the study of the nature and properties of the social world. It is concerned with analyzing the various entities in the world that arise from social interaction. -/- A prominent topic in social ontology is the analysis of social groups. Do social groups exist at all? If so, what sorts of entities are they, and how are they created? Is a social group distinct from the collection of people who are its members, and if so, how is (...) it different? What sorts of properties do social groups have? Can they have beliefs or intentions? Can they perform actions? And if so, what does it take for a group to believe, intend, or act? -/- Other entities investigated in social ontology include money, corporations, institutions, property, social classes, races, genders, artifacts, artworks, language, and law. It is difficult to delineate a precise scope for the field (see section 2.1). In general, though, the entities explored in social ontology largely overlap with those that social scientists work on. A good deal of the work in social ontology takes place within the social sciences (see sections 5.1–5.8). -/- Social ontology also addresses more basic questions about the nature of the social world. One set of questions pertains to the constituents, or building blocks, of social things in general. For instance, some theories argue that social entities are built out of the psychological states of individual people, while others argue that they are built out of actions, and yet others that they are built out of practices. Still other theories deny that a distinction can even be made between the social and the non-social. -/- A different set of questions pertains to how social categories are constructed or set up. Are social categories and kinds produced by our attitudes? By our language? Are they produced by causal patterns? And is there just one way social categories are set up, or are there many varieties of social construction? -/- The term ‘social ontology’ has only come into wide currency in recent years, but the nature of the social has been a topic of inquiry since ancient Greece. As a whole, the field can be understood as a branch of metaphysics, the general inquiry into the nature of entities. (shrink)

Real human agents, even when they are rational by everyday standards, sometimes assign different credences to objectively equivalent statements, such as ‘Orwell is a writer’ and ‘E.A. Blair is a writer’, or credences less than 1 to necessarily true statements, such as not-yet-proven theorems of arithmetic. Anna Mahtani calls this the phenomenon of ‘opacity’. Opaque credences seem probabilistically incoherent, which goes against a key modelling assumption of probability theory. I sketch a modelling strategy for capturing opaque credence assignments without abandoning (...) probabilistic coherence. I draw on ideas from judgement-aggregation theory, where we face similar challenges of defining the ‘objects of judgement’. (shrink)

There are many historical concerns about freedom that have come to be deemphasized in the free will literature itself—for instance, worries around the tyranny of government or the alienation of capitalism. It is hard to see how the current free will literature respects these, or indeed how they could even find expression. This paper seeks to show how these and other concerns can be reintegrated into the debate by appealing to a levels ontology. Recently, Christian List and others have considered (...) how the notion of levels could be relevant to the free will debate. Invariably, however, the focus is on the significance of facts at lower levels. The threats come from below, from fundamental physics or neuroscience. Here, I aim to show how we can frame many interesting concerns about free will in terms of threats from above. After arguing that determination from above is no less threatening, I catalogue such concerns that might constitute threats to our freedom. Doing this not only allows us to show how these concerns relate to those standardly discussed, but it pushes us to expand our conception of freedom. (shrink)

The aim of this paper is to discuss a seemingly straightforward argument against physicalism which, despite being implicit in much of the philosophical debate about consciousness, has not received the attention it deserves (compared to other, better-known “epistemic”, “modal”, and “conceivability” arguments). This is the argument from the non-supervenience of the first-personal (and indexical) facts on the third-personal (and non-indexical) ones. This non-supervenience, together with the assumption that the physical facts (as conventionally understood) are third-personal, entails that some facts – (...) namely, first-personal, phenomenal ones – do not supervene on the physical facts. Unlike other arguments against physicalism, the first-personal argument, if successful, refutes not only physicalism but also other third-personal metaphysical pictures, including standard versions of dualism. (shrink)

We demonstrate that if consciousness is relevant for the temporal evolution of a system's states—that is, if it is dynamically relevant—then AI systems cannot be conscious. That is because AI systems run on CPUs, GPUs, TPUs or other processors which have been designed and verified to adhere to computational dynamics that systematically preclude or suppress deviations. The design and verification preclude or suppress, in particular, potential consciousness-related dynamical effects, so that if consciousness is dynamically relevant, AI systems cannot be conscious.

The concept of emergence is commonly invoked in modern physics but rarely defined. Building on recent influential work by Jeremy Butterfield, I provide precise definitions of emergence concepts as they pertain to properties represented in models, applying them to some basic examples from space-time and thermostatistical physics. The chief formal innovation I employ, similarity structure, consists in a structured set of similarity relations among those models under analysis—and their properties—and is a generalization of topological structure. Although motivated from physics, this (...) similarity-structure-based account of emergence applies to any science that represents its possibilia with models. (shrink)

In a recent paper, Christian List has argued for the compatibilism of free will and determinism. Drawing on a distinction between physical possibility and agential possibility, List constructs a formal two-level model in which the two concepts are consistent. This paper's first contribution is to show that though List's model is formally consistent, philosophically it falls short of establishing a satisfactory compatibilist position. Ensuingly, an analysis of the shortcomings of the model leads to the identification of a controversial epistemological assumption (...) implicit in the statements of both compatibilist and incompatibilist positions. Arguing that this assumption is not currently satisfied, the paper's second contribution is to show that neither the compatibilist nor the incompatibilist position is presently well-founded. (shrink)

We present a novel reductive theory of type-identity physicalism, which is inspired by the foundations of statistical mechanics as a general theory of natural kinds. We show that all the claims mounted against type-identity physicalism in the literature don’t apply to Flat Physicalism, and moreover that this reductive theory solves many of the problems faced by the various non-reductive approaches including functionalism. In particular, we show that Flat Physicalism can account for the appearance of multiple realizability in the special sciences, (...) and that it gives a novel account of the genuine autonomy of the kinds and laws in the special sciences. We further show that the thesis of genuine multiple realization, which is compatible with all forms of non-reductive approaches including functionalism, implies what we call token-dualism; namely the idea that in every token there are non-physical facts, which may either be non-physical properties or some non-physical substance. In other words, we prove that non-reductive kinds necessarily assume non-reductive tokens, i.e., token dualism. Finally, we show that all forms of non-reductive approaches including functionalism imply a literally multi-leveled structure of reality. (shrink)

I provide a formally precise account of diachronic emergence of properties as described within scientific theories, extending a recent account of synchronic emergence using similarity structure on the theories’ models. This similarity structure approach to emergent properties unifies the synchronic and diachronic types by revealing that they only differ in how they delineate the domains of application of theories. This allows it to apply also to cases where the synchronic/diachronic distinction is unclear, such as spacetime emergence from theories of quantum (...) gravity. In addition, I discuss two further case studies—finite periodicity in van der Pol oscillators and two-dimensional quasiparticles in the fractional quantum Hall effect—to facilitate comparison of this approach to others in the literature on concepts of emergence applicable to the sciences. My discussion of the fractional quantum Hall effect in particular may be of independent interest to philosophers of physics concerned with its interpretation. (shrink)

Despite its pervasiveness, the concept of ‘levels of organization’ has received relatively little attention in its own right. I propose here an emerging approach that posits ‘levels’ as a fragmentary concept situated within an interest-relative matrix of operational usage within scientific practice. To this end I propose one important component of meaning, namely the epistemic goal motivating the term’s usage, which recovers a remarkably conserved and sufficiently unifying significance attributable to ‘levels’ across different instances of usage. This epistemic goal, to (...) provide structure to scientific problems, delegates tasks whose execution generates the term’s expressed content in a given instance. This treatment of levels does not diminish the concept’s general importance to science, but rather allows for its use in, and usefulness for, scientific practice to be better contextualized to particular tasks encompassing varying breadths of activity. (shrink)

When once-successful physical theories are abandoned, common wisdom has it that their characteristic theoretical entities are abandoned with them: examples include phlogiston, light rays, Newtonian forces, Euclidean space. But sometimes a theory sees ongoing use, despite being superseded. What should scientific realists say about the characteristic entities of the theories in such cases? The standard answer is that these ‘theoretical relicts’ are merely useful fictions. In this paper we offer a different answer. We start by distinguishing horizontal reduction (in which (...) a superseded theory approximates the successor theory) from vertical reduction (in which a higher-level theory abstracts away from the lower-level theory, but nonetheless can be constructed from it); these are usually regarded as having different ontological consequences. We describe a ‘verticalization’ procedure which transforms horizontal reductions into vertical reductions. The resulting verticalized theories are abstractions rather than approximations, with restricted domains. We identify a sense in which the higher-level theory describes distinct subject matters from the lower-level theory, enabling in certain cases the higher-level theory to retain distinctive explanatory power even in the presence of reduction. We suggest that theoretical entities from superseded theories should be retained in a scientific realist worldview just when, reinterpreted as higher-level abstractions, those theories and their characteristic entities continue to perform distinctive explanatory work in providing the best explanation for less-fundamental phenomena of interest. In slogan form: a good relict is an emergent relict. (shrink)

Mechanism realists assert the existence of mechanisms as objective structures in the world, but their exact metaphysical commitments are unclear. We introduce Local Hierarchy Realism (LHR) as a substantive and plausible form of mechanism realism. The limits of LHR reveal a deep tension between two aspects of mechanists’ explanatory strategy. Functional decomposition identifies locally relevant entities and activities, while these same entities and activities are also embedded in a nested hierarchy of levels. In principle, a functional decomposition may identify entities (...) engaging in causal interactions that crosscut the hierarchical structure of composition relations, violating the mechanist’s injunction against interlevel causation. We argue that this possibility is realized in the example of ephaptic coupling, a subsidiary process of neural computation that crosscuts the hierarchy derived from synaptic transmission. These considerations undermine the plausibility of LHR as a general view, yet LHR has the advantages that (i) its metaphysical implications are precisely stateable; (ii) the structure it identifies is not reducible to mere aggregate causation; and (iii) it clearly satisfies intuitive and informal definitions of mechanism. We conclude by assessing the prospects for a form of mechanism realism weaker than LHR that nevertheless satisfies all three of these requirements. (shrink)

This article considers the following question: What is the relationship between supervenience and reduction? I investigate this formally: first, by introducing a recent argument by Christian List to the effect that one can have supervenience without reduction; then, by considering how the notion of Nagelian reduction can be related to the formal apparatus of definability and translation theory; then, by showing how, in the context of propositional theories, topological constraints on supervenience serve to enforce reducibility; and, finally, by showing how (...) constraints derived from the theory of ultraproducts can enforce reducibility in the context of first-order theories. (shrink)

One of the central problems within the free will debate lies in the apparent incompatibility of an agent's ability to do otherwise and determinism. Recently, compatibilist libertarianism was proposed as an actualist position intended to finally reconcile both. In this article, we argue that in order to maintain consistency, this position must be understood as a variant of classical compatibilism rather than a version of libertarianism. Though this seems to be an undesired consequence for proponents of compatibilist libertarianism, we think (...) that it is not that bad. We show that recent objections to this position can be avoided by embracing its compatibilist nature and argue that a modified version of compatibilist libertarianism might very well be as close to an actualist account of free will in a deterministic world as one can hope for. (shrink)

Christian List has recently defended what he refers to as a compatibilist-libertarian theory of free will. He attempts to satisfy the libertarian requirement for alternative possibilities without assuming the falsity of physical determinism. To do so, List relies on a multi-level modal theory that he developed with Marcus Pivato. In this theory, List and Pivato demonstrate the compatibility of physical determinism and agential indeterminism. The success of compatibilist-libertarianism essentially hinges upon whether or not List and Pivato’s theory is truly consistent (...) with a non-hypothetical conception of possibility. In this paper, I argue that, despite his attempt to distance himself from a standard compatibilist conception of possibility, List remains committed to such a hypothetical conception. I also argue that List’s theory of agential causation is implausible given his modal interpretation of agency. Therefore, I conclude that compatibilist-libertarianism is an implausible theory of free will. (shrink)

La psiquiatría a lo largo de su historia y fundamentalmente desde la publicación del DSM-5, enfrenta diversas críticas por la falta de confiabilidad y validez en las clasificaciones de los trastornos mentales, esto debido a su incapacidad para integrar adecuadamente el conocimiento científico y la complejidad de las experiencias individuales. Este análisis, inspirado en la filosofía de Hegel, propone una nueva perspectiva que valora cada caso clínico como una entidad única, desafiando el enfoque reduccionista y promoviendo un entendimiento más profundo (...) y respetuoso de la psicopatología, enriquecido con una integración dialéctica del conocimiento científico y el concepto del universal concreto. (shrink)

There is a general conception of levels in philosophy which says that the world is arrayed into a hierarchy of levels and that there are different modes of analysis that correspond to each level of this hierarchy, what can be labelled the ‘Hierarchical Correspondence View of Levels” (or HCL). The trouble is that despite its considerable lineage and general status in philosophy of science and metaphysics the HCL has largely escaped analysis in specific domains of inquiry. The goal of this (...) paper is to take up a recent call to domain-specificity by examining the role of the HCL in cognitive science. I argue that the HCL is, in fact, a conception of levels that has been employed in cognitive science and that cognitive scientists should avoid its use where possible. The argument is that the HCL is problematic when applied to cognitive science specifically because it fails to distinguish two important kinds of shifts used when analysing information processing systems: shifts in grain and shifts in analysis. I conclude by proposing a revised version of the HCL which accommodates the distinction. (shrink)