-/- Although much of its history has been neglected or misunderstood, a structuralist ‘tendency’ has re-emerged within the philosophy of science. Broadly speaking, it consists of two fundamental strands: on the one hand, there is the identification of structural commonalities between theories; on the other, there is the metaphysical decomposition of objects in structural terms. Both have been pressed into service for the realist cause: the former has been identified primarily with Worrall's ‘epistemic’ structural realism; the latter with Ladyman's ‘ontic’ (...) form. And both raise important issues of general interest within the philosophy of science and metaphysics, respectively. The former invites questions regarding the identification and appropriate representation of these commonalities; the latter touches on different views regarding the nature of objects, the constitutive role of properties and the seat of causal powers. Both strands have recently come under critical fire. It is my intention to present a unified account of the 'structuralist tendency’ which emphasizes the dual roles of structure as representational and constitutive, and to indicate how the more acute critical remarks can be dealt with. (shrink)

Scientific realism is the optimistic view that modern science is on the right track: that the world really is the way our best scientific theories describe it. In his book, Stathis Psillos gives us a detailed and comprehensive study which restores the intuitive plausibility of scientific realism. We see that throughout the twentieth century, scientific realism has been challenged by philosophical positions from all angles: from reductive empiricism, to instrumentalism and to modern sceptical empiricism. _Scientific Realism_ explains that the history (...) of science does not undermine the arguments for scientific realism, but instead makes it reasonable to accept scientific realism as the best philosophical account of science, its empirical success, its progress and its practice. Anyone wishing to gain a deeper understanding of the state of modern science and why scientific realism is plausible, should read this book. (shrink)

Metagenomics is an emerging microbial systems science that is based on the large-scale analysis of the DNA of microbial communities in their natural environments. Studies of metagenomes are revealing the vast scope of biodiversity in a wide range of environments, as well as new functional capacities of individual cells and communities, and the complex evolutionary relationships between them. Our examination of this science focuses on the ontological implications of these studies of metagenomes and metaorganisms, and what they mean for common (...) sense and philosophical understandings of multicellularity, individuality and organism. We show how metagenomics requires us to think in different ways about what human beings are and what their relation to the microbial world is. Metagenomics could also transform the way in which evolutionary processes are understood, with the most basic relationship between cells from both similar and different organisms being far more cooperative and less antagonistic than is widely assumed. In addition to raising fundamental questions about biological ontology, metagenomics generates possibilities for powerful technologies addressed to issues of climate, health and conservation. We conclude with reflections about process-oriented versus entity-oriented analysis in light of current trends towards systems approaches. (shrink)

We call for a new philosophical conception of models in physics. Some standard conceptions take models to be useful approximations to theorems, that are the chief means to test theories. Hence the heuristics of model building is dictated by the requirements and practice of theory-testing. In this paper we argue that a theory-driven view of models can not account for common procedures used by scientists to model phenomena. We illustrate this thesis with a case study: the construction of one of (...) the first comprehensive model of superconductivity by London brothers in 1934. Instead of theory-driven view of models, we suggest a phenomenologically-driven one. (shrink)

Individuals are a prominent part of the biological world. Although biologists and philosophers of biology draw freely on the concept of an individual in articulating both widely accepted and more controversial claims, there has been little explicit work devoted to the biological notion of an individual itself. How should we think about biological individuals? What are the roles that biological individuals play in processes such as natural selection (are genes and groups also units of selection?), speciation (are species individuals?), and (...) organismic development (do genomes code for organisms)? Much of our discussion here will focus on organisms as a central kind of biological individual, and that discussion will raise broader questions about the nature of the biological world, for example, about its complexity, its organization, and its relation to human thought. (shrink)

Physics matters less than we once thought to the making of Mendel. But it matters more than we tend to recognize to the making of Mendelism. This paper charts the variety of ways in which diverse kinds of physics impinged upon the Galtonian tradition which formed Mendelism’s matrix. The work of three Galtonians in particular is considered: Francis Galton himself, W. F. R. Weldon and William Bateson. One aim is to suggest that tracking influence from physics can bring into focus (...) important but now little-remembered flexibilities in the Galtonian tradition. Another is to show by example why generalizations about what happens when ‘physics’ meets ‘biology’ require caution. Even for a single research tradition in Britain in the decades around 1900, these categories were large, containing multitudes. (shrink)

This paper is a critical discussion of John Dupré's recent defence of promiscuous realism in Part 1 of his The Disorder of Things: Metaphysical Foundations of the Disunity of Science. It also discusses some more general issues in the philosophy of biology and science. Dupré's chief strategy of argumentation appeals to debates within the philosophy of biology, all of which concern the nature of species. While the strategy is well motivated, I argue that Dupré's challenge to essentialist and unificationist views (...) about natural kinds is not successful. One conclusion is that an integrative conception of species is a real alternative to Dupré's pluralism. (shrink)

We address three fundamental questions: What does it mean for an entity to be living? What is the role of inter-organismic collaboration in evolution? What is a biological individual? Our central argument is that life arises when lineage-forming entities collaborate in metabolism. By conceiving of metabolism as a collaborative process performed by functional wholes, which are associations of a variety of lineage-forming entities, we avoid the standard tension between reproduction and metabolism in discussions of life – a tension particularly evident (...) in discussions of whether viruses are alive. Our perspective assumes no sharp distinction between life and non-life, and does not equate life exclusively with cellular or organismal status. We reach this conclusion through an analysis of the capabilities of a spectrum of biological entities, in which we include the pivotal case of viruses as well as prions, plasmids, organelles, intracellular and extracellular symbionts, unicellular and multicellular life-forms. The usual criterion for classifying many of the entities of our continuum as non-living is autonomy. This emphasis on autonomy is problematic, however, because even paradigmatic biological individuals, such as large animals, are dependent on symbiotic associations with many other organisms. These composite individuals constitute the metabolic wholes on which selection acts. Finally, our account treats cooperation and competition not as polar opposites but as points on a continuum of collaboration. We suggest that competitive relations are a transitional state, with multi-lineage metabolic wholes eventually outcompeting selfish competitors, and that this process sometimes leads to the emergence of new types or levels of wholes. Our view of life as a continuum of variably structured collaborative systems leaves open the possibility that a variety of forms of organized matter – from chemical systems to ecosystems – might be usefully understood as living entities. (shrink)

The no-miracles argument for realism and the pessimistic meta-induction for anti-realism pull in opposite directions. Structural Realism---the position that the mathematical structure of mature science reflects reality---relieves this tension.

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. (shrink)

Model theoretic considerations purportedly show that a certain version of structural realism, one which articulates the nvtion of structure via Ramsey sentences, is in fact trivially true. In this paper we argue that the structural realist is by no means forced to Ramseyfy in the manner assumed in the formal proof. However, the structural realist's reprise is short-lived. For, as we show, there are related versions of the model theoretic argument which cannot be so easily blocked by the structural realist. (...) We examine various ways in which the structural realist may respond, and conclude that the best way of blocking the model theoretic argument involves formulating his Ramseyfied theories using intensional operators. Introduction The model theoretic arguments On Ramseyfying away predicates The model theoretic argument bites back Restricting the second order quantifiers 5.1 Naturalness 5.2 Intrinsic 5.3 Qualitative 5.4 Contingent and causal Intensional operators and relations between properties Conclusion. (shrink)

I argue that four of the fundamental claims of those calling themselves `genic pluralists'Philip Kitcher, Kim Sterelny, and Ken Watersare defective. First, they claim that once genic selectionism is recognized, the units of selection problems will be dissolved. Second, Sterelny and Kitcher claim that there are no targets of selection. Third, Sterelny, Kitcher, and Waters claim that they have a concept of genic causation that allows them to give independent genic causal accounts of all selection processes. I argue that each (...) one of these claims is either false or misleading. Moreover, the challenge that arises from the availability of genic causal accounts, namely, the inability to choose on rational grounds among genic and higher-level accounts, is unsupported. (shrink)

This paper sets out a moderate version of metaphysical structural realism that stands in contrast to both the epistemic structural realism of Worrall and the—radical—ontic structural realism of French and Ladyman. According to moderate structural realism, objects and relations (structure) are on the same ontological footing, with the objects being characterized only by the relations in which they stand. We show how this position fares well as regards philosophical arguments, avoiding the objections against the other two versions of structural realism. (...) In particular, we set out how this position can be applied to space-time, providing for a convincing understanding of space-time points in the standard tensor formulation of general relativity as well as in the fibre bundle formulation. (shrink)

This paper consists of four parts. Part 1 is an introduction. Part 2 evaluates arguments for the claim that there are no strict empirical laws in biology. I argue that there are two types of arguments for this claim and they are as follows: (1) Biological properties are multiply realized and they require complex processes. For this reason, it is almost impossible to formulate strict empirical laws in biology. (2) Generalizations in biology hold contingently but laws go beyond describing contingencies, (...) so there cannot be strict laws in biology. I argue that both types of arguments fail. Part 3 considers some examples of biological laws in recent biological research and argues that they exemplify strict laws in biology. Part 4 considers the objection that the examples in part 3 may be strict laws but they are not distinctively biological laws. I argue that given a plausible account of what distinctively biological means, such laws are distinctively biological. (shrink)

Gene regulatory networks are intensively studied in biology. One of the main aims of these studies is to gain an understanding of how the structure of genetic networks relates to specific functions such as chemotaxis and the circadian clock. Scientists have examined this question by using model organisms such as Drosophila and mathematical models. In the last years, synthetic models—engineered genetic networks—have become more and more important in the exploration of gene regulation. What is the potential of this new approach (...) in the investigation of gene network structures? How do synthetic models relate to model organisms and mathematical models? (shrink)

In Making Sense of Life , Keller emphasizes several differences between biology and physics. Her analysis focuses on significant ways in which modelling practices in some areas of biology, especially developmental biology, differ from those of the physical sciences. She suggests that natural models and modelling by homology play a central role in the former but not the latter. In this paper, I focus instead on those practices that are importantly similar, from the point of view of epistemology and cognitive (...) science. I argue that concrete and abstract models are significant in both disciplines, that there are shared selection criteria for models in physics and biology, e.g. familiarity, and that modelling often occurs in a similar fashion. (shrink)

The theory of evolution by natural selection is, perhaps, the crowning intellectual achievement of the biological sciences. There is, however, considerable debate about which entity or entities are selected and what it is that fits them for that role. This article aims to clarify what is at issue in these debates by identifying four distinct, though often confused, concerns and then identifying how the debates on what constitute the units of selection depend to a significant degree on which of these (...) four questions a thinker regards as central. (shrink)

Recent semantic approaches to scientific structuralism, aiming to make precise the concept of shared structure between models, formally frame a model as a type of set-structure. This framework is then used to provide a semantic account of (a) the structure of a scientific theory, (b) the applicability of a mathematical theory to a physical theory, and (c) the structural realist’s appeal to the structural continuity between successive physical theories. In this paper, I challenge the idea that, to be so used, (...) the concept of a model and so the concept of shared structure between models must be formally framed within a single unified framework, set-theoretic or other. I first investigate the Bourbaki-inspired assumption that structures are types of set-structured systems and next consider the extent to which this problematic assumption underpins both Suppes’ and recent semantic views of the structure of a scientific theory. I then use this investigation to show that, when it comes to using the concept of shared structure, there is no need to agree with French that “without a formal framework for explicating this concept of ‘structure-similarity’ it remains vague, just as Giere’s concept of similarity between models does ...” (French, 2000, Synthese, 125, pp. 103–120, p. 114). Neither concept is vague; either can be made precise by appealing to the concept of a morphism, but it is the context (and not any set-theoretic type) that determines the appropriate kind of morphism. I make use of French’s (1999, From physics to philosophy (pp. 187–207). Cambridge: Cambridge University Press) own example from the development of quantum theory to show that, for both Weyl and Wigner’s programmes, it was the context of considering the ‘relevant symmetries’ that determined that the appropriate kind of morphism was the one that preserved the shared Lie-group structure of both the theoretical and phenomenological models. (shrink)

Wigner famously referred to the `unreasonable effectiveness' of mathematics in its application to science. Using Wigner's own application of group theory to nuclear physics, I hope to indicate that this effectiveness can be seen to be not so unreasonable if attention is paid to the various idealising moves undertaken. The overall framework for analysing this relationship between mathematics and physics is that of da Costa's partial structures programme.

Cartwright and her collaborators have elaborated a provocative view of science which emphasises the independence from theory &unknown;in methods and aims&unknown; of phenomenological model building. This thesis has been supported in a recent paper by an analysis of the London and London model of superconductivity. In the present work we begin with a critique of Cartwright's account of the relationship between theoretical and phenomenological models before elaborating an alternative picture within the framework of the partial structures version of the semantic (...) approach to theories. Drawing on the recent histories of superconductivity by Dahl and Gavroglu, together with the original works by London and London and by F. London separately, and taking due consideration of the heuristic aspects, we argue that the historical details fail to support Cartwright et al.'s claims but that they fit comfortably within the partial structures framework. (shrink)

This paper presents a brief response to Robert A. Wilson's critical discussion of Promiscuous Realism [1996]. I argue that, although convergence on a unique conception of species cannot be ruled out, the evidence against such an outcome is stronger than Wilson allows. In addition, given the failure of biological science to come up with a unique and privileged set of biological kinds, the relevance of the various overlapping kinds of ordinary language to the metaphysics of biological kinds is greater than (...) Wilson admits. (shrink)

In recent years, there has much attention given by philosophers to the ubiquitous role of models and modeling in the biological sciences. Philosophical debates has focused on several areas of discussion. First, what are models in the biological sciences? The term ‘model’ is applied to mathematical structures, graphical displays, computer simulations, and even concrete organisms. Is there an account which unifies these disparate structures? Second, scientists routinely distinguish between theories and models; however, this distinction is more difficult to draw in (...) the biological sciences since biologists often only have a variety of models and rarely have something like a fundamental theory. What then is a theory in biology? Third, how are models related to empirical or “target” systems? (shrink)

This paper explores varieties of scientific structuralism. Central to our investigation is the notion of `shared structure'. We begin with a description of mathematical structuralism and use this to point out analogies and disanalogies with scientific structuralism. Our particular focus is the semantic structuralist's attempt to use the notion of shared structure to account for the theory-world connection, this use being crucially important to both the contemporary structural empiricist and realist. We show why minimal scientific structuralism is, at the very (...) least, a powerful methodological standpoint. Our investigation also makes explicit what more must be added to this minimal structuralist position in order to address the theory-world connection, namely, an account of representation. (shrink)

Although much of its history has been neglected or misunderstood, a structuralist 'tendency' has re-emerged within the philosophy of science. Broadly speaking, it consists of two fundamental strands: on the one hand, there is the identification of structural commonalities between theories; on the other, there is the metaphysical decomposition of objects in structural terms. Both have been pressed into service for the realist cause: the former has been identified primarily with Worrall's 'epistemic' structural realism; the latter with Ladyman's 'ontic' form. (...) And both raise important issues of general interest within the philosophy of science and metaphysics, respectively. The former invites questions regarding the identification and appropriate representation of these commonalities; the latter touches on different views regarding the nature of objects, the constitutive role of properties and the seat of causal powers. Both strands have recently come under critical fire. It is my intention to present a unified account of the 'structuralist tendency' which emphasizes the dual roles of structure as representational and constitutive, and to indicate how the more acute critical remarks can be dealt with. (shrink)

Propositions alone are not constitutive of science. But is the "non-propositional" side of science theoretically superfluous: must philosophy of science consider it in order to adequately account for science? I explore the boundary between the propositional and non-propositional sides of biological theory, drawing on three cases: Grinnell's remnant models of faunas, Wright's path analysis, and Weismannism's role in the generalization of evolutionary theory. I propose a picture of material model-building in biology in which manipulated systems of material objects function as (...) theoretical models. In each of the cases, material systems such as diagrams play important generative as well as presentational roles. (shrink)

This paper explores the consequences of the two most prominent forms of contemporary structural realism for the notion of objecthood. Epistemic structuralists hold that we can know structural aspects of reality, but nothing about the natures of unobservable relata whose relations define structures. Ontic structuralists hold that we can know structural aspects of reality, and that there is nothing else to know—objects are useful heuristic posits, but are ultimately ontologically dispensable. I argue that structuralism does not succeed in ridding a (...) structuralist ontology of objects. (shrink)

We are used to talking about the “structure” posited by a given theory of physics, such as the spacetime structure of relativity. What is “structure”? What does the mathematical structure used to formulate a theory tell us about the physical world according to the theory? What if there are different mathematical formulations of a given theory? Do different formulations posit different structures, or are they merely notational variants? I consider the case of Lagrangian and Hamiltonian classical mechanics. I argue that, (...) contrary to standard wisdom, these are not genuinely equivalent theories: they differ in statespace structure. I suggest that we should be realists about statespace structure. (shrink)

Although Eddington's philosophy of physics has been subjected to critical re-evaluation in recent years, neither the exact nature of his structuralist views nor his response to criticism by the likes of Braithwaite have been made clear. In this paper I trace, in particular, the incorporation into Eddington's structuralism of the non-classical indistinguishability of quantum objects. His metaphysical view of such objects as the product of group-theoretical analysis is crucial for understanding his response to Braithwaite's criticisms of the whole structuralist endeavor. (...) These criticisms closely resemble more recent attacks on structural realism in the philosophy of science. I conclude with a brief comparison between these more modern forms of structuralism and Eddington's. (shrink)

We outline Ladyman's 'metaphysical' or 'ontic' form of structuralrealism and defend it against various objections. Cao, in particular, has questioned theview of ontology presupposed by this approach and we argue that by reconceptualisingobjects in structural terms it offers the best hope for the realist in thecontext of modern physics.

The first part of this essay outlines Cassirer’s philosophy of biology in the context of philosophy of science in the 20th century, giving an overview of Cassirer’s different writings on the philosophy of biology. The second part outlines his treatment of what he took to be the chief philosophical problem in the philosophy of biology: the conflict between mechanism and vitalism. Cassirer interpreted this conflict as a methodological debate, not a metaphysical problem. In Cassirer’s eyes, each point of view is (...) justified within specifics limits. The third part explicates Cassirer’s critique of Darwinism. Although Cassirer was critical of particular conceptions of Darwinian evolution, he did not reject evolution and, in fact, asserted that the concept of emergence was also of far-reaching importance in other fields besides biology. Part four offers concluding remarks about the importance of the philosophy of biology for Cassirer’s general philosophical orientation and for his conception of the tasks of philosophical theory. (shrink)

In this paper, I argue against John Beatty’s position in his paper “The Evolutionary Contingency Thesis” by counterexample. Beatty argues that there are no distinctly biological laws because the outcomes of the evolutionary processes are contingent. I argue that the heart of the Caspar–Klug theory of virus structure—that spherical virus capsids consist of 60T subunits (where T = k 2 + hk + h 2 and h and k are integers)—is a distinctly biological law even if the existence of spherical (...) viruses is evolutionarily contingent. (shrink)

I. Introduction. Philosophical discussions of models and modeling in the biological sciences have exploded in the last few decades. Given that there are three-dimensional models of DNA in molecular genetics, individual-based computer simulations in population ecology, statistical models in paleontology, diffusion models in population genetics, and remnant models in taxonomy, we clearly should have a philosophical account of such models and their relation to the world. In this essay, I provide a critical survey of the accounts of models provided by (...) philosophers of science and philosophers of biology including models as analogies, relational structures, partially independent representations, and material objects. However, there is much, much more work to be done. (shrink)

Structural realism as developed by John Worrall and others can claim philosophical roots as far back as the late 19th century, though the discussion at that time does not unambiguously favor the contemporary form, or even its realism. After a critical examination of some aspects of the historical background some severe critical challenges to both Worrall's and Ladyman's versions are highlighted, and an alternative empiricist structuralism proposed. Support for this empiricist version is provided in part by the different way in (...) which we can do justice to Worrall's original demands and in part by the viewpoint it provides (in contrast to e.g. Michael Friedman's) on the stability maintained through scientific theory change. Planck against the heretics 1.1 Poincaré on the meaning of Maxwell's equations 1.2 Two responses: reification and structuralism On the road to structuralism 2.1 The microscope 2.2 Mathematization of the world picture 2.3 The 18th–20th century The new structural realism 3.1 From scientific realism to structuralism 3.2 The Ladyman variant: objectivity and invariance 3.3 How is structural realism supported? An empiricist structuralism 4.1 Royal succession in science 4.2 Defence of the empiricist version 4.3 Structure: an empiricist view. (shrink)

This paper is structured around the three elements of the title. Section 2 claims that (a) structures need objects and (b) scientific structuralism should focus on in re structures. Therefore, pure structuralism is undermined. Section 3 discusses whether the world has `excess structure' over the structure of appearances. The main point is that the claim that only structure can be known is false. Finally, Section 4 argues directly against ontic structural realism that it lacks the resources to accommodate causation within (...) its structuralist slogan. (shrink)

We have now celebrated the centenary of J. J. Thomson’s famous paper (1897) on the electron and have examined one hundred years of the history of our first fundamental particle. What should philosophers of science learn from this history? To some, the fundamental moral is already suggested by the rapid pace of this history. Thomson’s concern in 1897 was to demonstrate that cathode rays are electrified particles and not aetherial vibrations, the latter being the “almost unanimous opinion of German physicists” (...) (p. 293) But were these German physicists so easily vanquished? De Broglie proposed in 1923 that electrons are a wave phenomenon after all and his proposal was soon multiply vindicated, even by the detection of the diffraction of the electron waves. Should we not learn from such a reversal? Should we not dispense with the simple-minded idea that Thomson discovered our first fundamental particle and admit that the very notion of discovery might well be ill-suited to science? (shrink)

This paper considers whether, and how, the mind can be incorporated into structural realism. Section 1 begins with some definitions, and briefly reviews the main problems which beset structural realism. The existence of the mind is proffered as an additional problem, to which the rest of the paper is devoted. Three different philosophies of the mind are analysed, beginning with eliminative materialism, which is briefly reviewed in Section 2. The identity theory of the mind-brain relationship is critically analysed in Section (...) 3, and the notions of supervenience and emergentism are defined. In Section 4, the functionalist approach to the mind-brain relationship is introduced, and two specific functionalist approaches---the representational theory of the mind, and connectionism---are defined and appraised. It is argued that these approaches enable structural realism to be extended to include the mind. It is also argued that structural realism can be applied to the unconscious mind, and the paper concludes with the proposal that the distinction between epistemic structural realism and ontic structural realism is also valid in the case of the mind. (shrink)

In this paper, I distinguish scientific models in three kinds on the basis of their ontological status—material models, mathematical models and fictional models, and develop and defend an account of fictional models as fictional objects—i.e. abstract objects that stand for possible concrete objects.

Both Popper and van Fraassen have used evolutionary analogies to defend their views on the aim of science, although these are diametrically opposed. By employing Price's equation in an illustrative capacity, this paper considers which view is better supported. It shows that even if our observations and experimental results are reliable, an evolutionary analogy fails to demonstrate why conjecture and refutation should result in: (1) the isolation of true theories; (2) successive generations of theories of increasing truth-likeness; (3) empirically adequate (...) theories; or (4) successive generations of theories of increasing proximity to empirical adequacy. Furthermore, it illustrates that appeals to induction do not appear to help. It concludes that an evolutionary analogy is only sufficient to defend the notion that the aim of science is to isolate a particular class of false theories, namely those that are empirically inadequate. (shrink)

In this paper I begin by examining a particularly disturbing eliminativist argument from Evelyn Fox Keller against the continued use of the very concept of the gene. If Fox Keller’s argument were to work, then any attempt to continue with or attempt to revise behavioral genetics would be doomed. In the course of replying to Fox Keller’s argument a revised, functional concept of the gene is presented and defending. Using this revised conception of the gene I then consider how appeal (...) to a functional approach to the gene can itself lead to a more general functionalist revision of the basic behavioral genetics project. In the third part of the paper I then turn to examining the advantages with respect to scientific explanation that such a functionalist account can provide. And, I end by considering how such an account might provide some help in dealing with additional ethical worries, including additional ethical arguments from Fox Keller against the continued use of the concept of the gene as well as ethical concerns that have been raised regarding behaviorally designed babies. (shrink)