Contingent negative existentials give rise to a notorious paradox. I formulate a version in terms of metaphysical grounding: nonexistence can't be fundamental, but nothing can ground it. I then argue for a new kind of solution, expanding on work by Kit Fine. The key idea is that negative existentials are contingently zero-grounded – that is to say, they are grounded, but not by anything, and only in the right conditions. If this is correct, it follows that grounding cannot be an (...) internal relation, and that no complete account of reality can be purely fundamental. (shrink)

The problem of truthmakers for negative propositions was introduced by Bertrand Russell in 1918. Since then the debate has mostly been concerned with whether to accept or reject their existence, and little has been said about what it is that makes a negative proposition negative. This is a problem as it is obvious that you cannot just read it off from the grammar of a sentence. The aim of this paper is to demonstrate that propositions may be negative or positive (...) in many ways: it offers a typology, and shows how the question of the existence of negative facts will receive a different answer depending on its relationship to that typology. (shrink)

I shall argue in this article that, if we need to admit of negative facts in our ontology as falsemakers of false propositions, then it is plausible to accept that there are also negative properties conceived of as modes. After having briefly recalled the falsemaker argument, I shall explore five different alternative interpretations of negative facts and I shall demonstrate that each alternative – except for the one involving negative properties – is affected by some problems. Later on, I shall (...) deal with a number of objections against negative properties and I shall demonstrate that they can be overcome without much difficulty. Eventually, I shall tackle Nick Zangwill's argument against the thesis that negative properties are as real as positive ones. Among other things, I shall argue that Zangwill's argument is at least limited in its scope, since it only works with negative and positive determinates within some common determinable. (shrink)

In this note I present a solution to Kripkenstein’s paradox, based on a very simple argument: (1) natural language and rule-following are empirical phenomena; (2) no case has been described, in real life, of a person who behaves as Wittgenstein’s or Kripke’s fictional character; (3) therefore, the discussion of such a case is completely devoid of interest. I lay out the example of a ‘Kripkensteinian apple’, which has a normal weight on even days and is weightless on odd days, in (...) order to highlight the contrast between a genuinely empirical perspective, such as that of physics, and the logical-analytical perspective, under which Kripkenstein’s paradox has attracted so much attention. (shrink)

This introductory chapter provides a summary of the contributions to the volume, as well as some critical remarks.

Languages involving modalities and languages involving vagueness have each been thoroughly studied. On the other hand, virtually nothing has been said about the interaction of modality and vagueness. This paper aims to start filling that gap. Section 1 is a discussion of various possible sources of vague modality. Section 2 puts forward a model theory for a quantified language with operators for modality and vagueness. The model theory is followed by a discussion of the resulting logic. In Section 3, the (...) framework will permit us to address a puzzle raised by Elizabeth Barnes and Robert Williams. (shrink)

The starting point of this paper is the idea that linguistic representation is the result of a global process: a process of interaction of a community of cognitive-linguistic agents, with one another and with the environment. I maintain that the study of truth, meaning and related notions should be addressed without losing perspective of this process, and I oppose the ‘static’ or ‘analytic’ approach, which is fundamentally based on our own knowledge of the conventional meaning of words and sentences, and (...) the ability of using them that we have as competent speakers. I argue that the analytic perspective is responsible for five recurring difficulties in truthmaker theory: (1) the lack of attention to the difference of explanatory role between the distinct notions proposed as primary truthbearer; (2) the adscription of purely extra-linguistic truthmakers to ‘synthetic truths’, ignoring the contribution of the linguistic factor; (3) the adscription of purely linguistic truthmakers to ‘logical’ and ‘analytic truths’, ignoring the contribution of the worldly factor; (4) the difficulties in the search for minimal truthmakers; (5) the problems in the treatment of ‘negative facts’ and of other ‘logically complex facts’. I do not provide an account of how to solve these difficulties, but I do show how the ‘process model’ helps to clear up confusion regarding them. (shrink)

In the first part ("Determination"), I consider different notions of determination, contrast and compare modal with non-modal accounts and then defend two a-modality theses concerning essence and supervenience. I argue, first, that essence is a a-modal notion, i.e. not usefully analysed in terms of metaphysical modality, and then, contra Kit Fine, that essential properties can be exemplified contingently. I argue, second, that supervenience is also an a-modal notion, and that it should be analysed in terms of constitution relations between properties. (...) In the second part ("A Theory of Truthmaking"), I first review the literature on ontological commitment, and argue that the notion of truthmaking is better suited to play its explanatory rôle. I then argue that we should take truthmaker theory seriously, and that we should provide actual truthmakers for all truths there are. In the last chapter of this part, I review Armstrong's truthmaker theories and argue that they are unsatisfactory. I generalise my criticism to an argument against truthmaker necessitarianism, the view that truthmakers necessarily make true the truths they are truthmakers of. In the third part ("Properties and their Kind(s)"), I discuss qualitative determination. I present and endorse the truthmaker argument for universals, and defend universalism against friends of tropes, states of affairs and facts. I then give a novel characterisation of the important class of intrinsic properties, building on Lewis' work. With a workable notion of intrinsicness at hand, I argue that relations are ontologically – but not "ideologically" – dispensable: qualitative determination in general is a matter of intrinsic structure. In the future, I plan to add two parts and to publish my thesis as a book: In the fourth part ("Exemplification"), I argue for the existence of an exemplification relation tying universals and particulars together. I derive theoretical benefits from this relation by providing adverbialist theories of modality and tense and identify exemplification with a type of parthood. In the fifth part ("Qua qua qua"), I investigate the curious and interesting ontological category of so-called "qua-objects" (Picasso-as-a-painter, for example) and argue that they exist, are not identical with transworld indidivuals or modal parts and that they provide (contingent) truthmakers for all true predications. (shrink)

The purpose of this thesis is to demonstrate that metaphysics is a necessary discipline -- necessary in the sense that all areas of philosophy, all areas of science, and in fact any type of rational activity at all would be impossible without a metaphysical background or metaphysical presuppositions. Because of the extremely strong nature of this claim, it is not possible to put forward a very simple argument, although I will attempt to construct one. A crucial issue here is what (...) metaphysics in fact is -- the nature of metaphysics. The conception of metaphysics which I support could be called Aristotelian, as opposed to Kantian: metaphysics is the first philosophy and the basis of all other philosophical and scientific inquiry. I will argue that this is indeed the most plausible conception of metaphysics. (shrink)

Often when one omits to do a certain thing, there's no action that is one's omission; one's omission, it seems, is an absence of any action of some type. This paper advances the view that an absence of an action--and, in general, any absence--is nothing at all: there is nothing that is an absence. Nevertheless, it can result from prior events that one omits to do a certain thing, and there can be results of the fact that one omits to (...) do something. This is so even if absences cannot be causes or causal effects. (shrink)

Negative facts get a bad press. One reason for this is that it is not clear what negative facts are. We provide a theory of negative facts on which they are no stranger than positive atomic facts. We show that none of the usual arguments hold water against this account. Negative facts exist in the usual sense of existence and conform to an acceptable Eleatic principle. Furthermore, there are good reasons to want them around, including their roles in causation, chance-making (...) and truth-making, and in constituting holes and edges. (shrink)

A dialetheia is a sentence, A, such that both it and its negation, ¬A, are true (we shall talk of sentences throughout this entry; but one could run the definition in terms of propositions, statements, or whatever one takes as her favourite truth-bearer: this would make little difference in the context). Assuming the fairly uncontroversial view that falsity just is the truth of negation, it can equally be claimed that a dialetheia is a sentence which is both true and false.

Here, I defend the view that there is no sensible way to pin a truth-maker objection on presentism. First, I suggest that if we adopt truth-maker maximalism then the presentist can requisition appropriate ontological resources with impunity. Second, if we deny maximalism, then the presentist can sensibly restrict the truth-maker principle in order to avoid the demand for truth-makers for talk about the non-present.

The goals of this paper are two-fold: I wish to clarify the Aristotelian conception of the law of non-contradiction as a metaphysical rather than a semantic or logical principle, and to defend the truth of the principle in this sense. First I will explain what it in fact means that the law of non-contradiction is a metaphysical principle. The core idea is that the law of non-contradiction is a general principle derived from how things are in the world. For example, (...) there are certain constraints as to what kind of properties an object can have, and especially: some of these properties are mutually exclusive. Given this characterisation, I will advance to examine what kind of challenges the law of non-contradiction faces; the main opponent here is Graham Priest. I will consider these challenges and conclude that they do not threaten the truth of the law of non-contradiction understood as a metaphysical principle. (shrink)

The purpose of this paper is to examine the status of logic from a metaphysical point of view – what is logic grounded in and what is its relationship with metaphysics. There are three general lines that we can take. 1) Logic and metaphysics are not continuous, neither discipline has no bearing on the other one. This seems to be a rather popular approach, at least implicitly, as philosophers often skip the question altogether and go about their business, be it (...) logic or metaphysics. However, it is not a particularly plausible view and it is very hard to maintain consistently, as we will see. 2) Logic is prior to metaphysics and has metaphysical implications. The extreme example of this kind of approach is the Dummettian one, according to which metaphysical questions are reducible to the question of which logic to adopt. 3) Metaphysics is prior to logic, and your logic should be compatible with your metaphysics. This approach suggests an answer to the question of what logic is grounded in, namely, metaphysics. Here I will defend the third option. (shrink)

Truth is one of the central subjects in philosophy. It is also one of the largest. Truth has been a topic of discussion in its own right for thousands of years. Moreover, a huge variety of issues in philosophy relate to truth, either by relying on theses about truth, or implying theses about truth.

Philosophical dialetheism, whose main exponent is Graham Priest, claims that some contradictions hold, are true, and it is rational to accept and assert them. Such a position is naturally portrayed as a challenge to the Law of Non-Contradiction (LNC). But all the classic formulations of the LNC are, in a sense, not questioned by a typical dialetheist, since she is (cheerfully) required to accept them by her own theory. The goal of this paper is to develop a formulation of the (...) Law which appears to be unquestionable, in the sense that the Priestian dialetheist is committed to accept it without also accepting something inconsistent with it, on pain of trivialism—that is to say, on pain of lapsing into the position according to which everything is the case. This will be achieved via (a) a discussion of Priest's dialetheic treatment of the notions of rejection and denial; and (b) the characterization of a negation via the primitive intuition of content exclusion. Such a result will not constitute a cheap victory for the friends of consistency. We may just learn that different things have been historically conflated under the label of 'Law of Non-Contradiction'; that dialetheists rightly attack some formulations of the Law, and orthodox logicians and philosophers have been mistaken in assimilating them to the indisputable one. (shrink)

Substantial metaphysical theory has long struggled with the question of negative facts, facts capable of making it true that Valerie isn’t vigorous. This paper argues that there is an elegant solution to these problems available to anyone who thinks that there are positive facts. Bradley’s regress and considerations of ontological parsimony show that an object’s having a property is an affair internal to the object and the property, just as numerical identity and distinctness are internal to the entities that are (...) numerically identical or distinct. For the same reasons, an object’s lacking a property must be an affair internal to the object and the property. Negative facts will thus be part of any ontology of positive facts. (shrink)

In this paper, I make a contribution to a naturalistically-minded theory of truthmakers by proposing a solution to the nasty problem of truthmakers for negative truths. After formulating the difficulty, I consider and reject a number of solutions to the problem, including Armstrong's states of affairs of totality, incompatibility accounts, and JC Beall 's polarity view. I then defend the position that absences of truthmakers are real and are responsible for making negative truths true. According to the positive account of (...) absences I offer, absences of contingent states of affairs are causally relevant mind-independent features of the physical world, located within space and time, and capable of being discovered by scientific inquiry. Recognition of the reality of absences strengthens truthmaker theory as a naturalistic metaphysics, as truth and falsity of each and every contingent proposition finds an ontological grounding in some region of the physical universe. (shrink)

In his famous work on vagueness, Russell named “fallacy of verbalism” the fallacy that consists in mistaking the properties of words for the properties of things. In this paper, I examine two (clusters of) mainstream paraconsistent logical theories – the non-adjunctive and relevant approaches –, and show that, if they are given a strongly paraconsistent or dialetheic reading, the charge of committing the Russellian Fallacy can be raised against them in a sophisticated way, by appealing to the intuitive reading of (...) their underlying semantics. The meaning of “intuitive reading” is clarified by exploiting a well-established distinction between pure and applied semantics. If the proposed arguments go through, the dialetheist or strong paraconsistentist faces the following Dilemma: either she must withdraw her claim to have exhibited true contradictions in a metaphysically robust sense – therefore, inconsistent objects and/or states of affairs that make those contradictions true; or she has to give up realism on truth, and embrace some form of anti-realistic (idealistic, or broadly constructivist) metaphysics. Sticking to the second horn of the Dilemma, though, appears to be promising: it could lead to a collapse of the very distinction, commonly held in the literature, between a weak and a strong form of paraconsistency – and this could be a welcome result for a dialetheist. (shrink)

Consequence is at the heart of logic; an account of consequence, of what follows from what, offers a vital tool in the evaluation of arguments. Since philosophy itself proceeds by way of argument and inference, a clear view of what logical consequence amounts to is of central importance to the whole discipline. In this book JC Beall and Greg Restall present and defend what thay call logical pluralism, the view that there is more than one genuine deductive consequence relation, a (...) position which has profound implications for many linguists as well as for philosophers. We should not search for one true logic, since there are many. (shrink)

The view that contradictions cannot be true has been part of accepted philosophical theory since at least the time of Aristotle. In this regard, it is almost unique in the history of philosophy. Only in the last forty years has the view been systematically challenged with the advent of dialetheism. Since Graham Priest introduced dialetheism as a solution to certain self-referential paradoxes, the possibility of true contradictions has been a live issue in the philosophy of logic. Yet, despite the arguments (...) advanced by dialetheists, many logicians and philosophers still hold the opinion that contradictions cannot be true. -/- Rather than advocating the truth of certain contradictions, this thesis offers a different challenge to the classical logician. By showing that it can be philosophically coherent to propose that true contradictions are metaphysically possible, the thesis suggests that the classical logician must do more than she currently has to justify her confidence in the impossibility of true contradictions. Simply fighting off the dialetheist’s putative examples of true contradictions at the actual world isn’t enough to justify the classical logician’s conclusion that true contradictions are impossible. -/- To aid the thesis dialectically, we introduce a new position, absolutism, which hypothesises that it’s metaphysically possible for at least one contradiction to be true, contrasting with the dialetheic hypothesis that some contradictions are true in the actual world. We demonstrate that absolutism can be given a philosophically coherent interpretation, an appropriate logic, and that certain criticisms are completely toothless against absolutism. The challenge put to the classical logician is then: On what logical or philosophical grounds can we rule out the metaphysical possibility of true contradictions? (shrink)

Can the neo-Aristotelian uphold a pluralist substance ontology while taking seriously the recent arguments in favour of monism based on quantum holism and other arguments from quantum mechanics? In this article, Jonathan Schaffer’s priority monism will be the main target. It will be argued that the case from quantum mechanics in favour of priority monism does face some challenges. Moreover, if the neo-Aristotelian is willing to consider alternative ways to understand ‘substance’, there may yet be hope for a pluralist substance (...) ontology. A speculative case for such an ontology will be constructed based on primitive incompatibility. (shrink)

In this paper, I argue that sentences that contain ‘omission’ tokens that appear to function as singular terms are meaningful while maintaining the view that omissions are nothing at all or mere absences. I take omissions to be fictional entities and claim that the way in which sentences about fictional characters are true parallels the way in which sentences about omissions are true. I develop a pragmatic account of fictional reference and argue that my fictionalist account of omissions implies a (...) plausible account of the metaphysics of omissions. (shrink)

A dialetheia is a sentence, A, such that both it and its negation, A, are true (we shall talk of sentences throughout this entry; but one could run the definition in terms of propositions, statements, or whatever one takes as her favourite truth bearer: this would make little difference in the context). Assuming the fairly uncontroversial view that falsity just is the truth of negation, it can equally be claimed that a dialetheia is a sentence which is both true and (...) false. (shrink)

The central thesis of JC Beall’s paraconsistent Christology is that Christ, being human and divine, is a contradictory being, and a rational Christology can accept it, since logic nowadays does not exclude the possibility of true contradictions. In this paper, I move from Beall’s theory and I present an alternative view. I quote seven statements of the so-called ‘Athanasian Creed’ which synthesizes the results of conciliar Christology. The aim of the Creed is to combat monophysitism by stressing the duplicity and (...) unity of Christ: two (incompatible) natures inseparably joined in only one person. I note that the two-in-one principle, so intended, may be seen as an ancestor of what has been called ‘conjunctive paraconsistency’, whereby there could be true contradictions but contradictories cannot be separately true. I specifically oppose this view to Beall’s idea of Christ’s human divinity (or divine humanity) as a glut, showing that in the conjunctive account, true contradictions do not require any overlapping or joint ascription of truth and falsity. (shrink)

Armstrong famously argued in favour of introducing totality facts in our ontology. Contrary to fully negative (absence) facts, totality facts yield a theory of “moderate” or “partial” negativity, which allegedly provides an elegant solution to the truthmaking problem of negative claims and, at the same time, avoids postulating (many) first-order absences. Friends of totality facts argue that partial negativity is (i) tolerable vis-à-vis the Eleatic principle qua mark of the real, and (ii) achieves a significant advantage in terms of ontological (...) parsimony. But are totality facts, which are partially negative, really more ontologically acceptable than fully negative facts? In this paper, we argue that, comparatively, the case for totality facts is weaker than commonly assumed and that, ultimately, the answer is negative. (shrink)

What makes it true when we say that something is not the case? Truthmaker maximalists think that every truth has a truthmaker—some fact in the world—that makes it true. No such facts can be found for the socalled negative truths. If a proposition is true when it has a truthmaker, then it would be false when it has no truthmaker. I therefore argue that negative truths, such as t<p>, are best understood as falsehoods, f<p>.

Truthmaker theorists claim that for every truth, there is something in virtue of which it is true—or, more cautiously, that for every truth in some specified class of truths, there is something in virtue of which it is true. I argue that it is hard to see how the thought that truth is grounded in reality lends any support to truthmaker theory.

This paper defends a new version of truthmaker non-maximalism. The central feature of the view is the notion of a default truth-value. I offer a novel explanation for default truth-values and use it to motivate a general approach to the relation between truth-value and ontology, which I call truth-value-maker theory. According to this view, some propositions are false unless made true, whereas others are true unless made false. A consequence of the theory is that negative existential truths need no truthmakers (...) and that positive existential falsehoods need no falsemakers. (shrink)

This thesis will survey several prominent approaches to analysing causation, discuss their differences and similarities, and look at a number of problems which are common to all of them. I will be arguing for the following claims about how we should approach the process of analysing causation. Firstly, I will be arguing that a reductive analysis is desirable, since if we can reductively analyse causation in terms of something empirically accessible, we can explain how it is possible to know anything (...) about causation. I will argue that to reductively analyse causation is to find out what kind of facts ground causal facts. Secondly, I will argue, following Hall and Strevens, that there are two kinds of causation, causal difference making and causal influence. This two-tiered approach explains the cases where we are tempted to ascribe conflicting characteristics to our concept of causation. Thirdly, I will argue that causal influence grounds causal difference making and that it does so necessarily. That the grounding relation holds necessarily is important for defending the two-tiered approach against the objection that it would yield a disjunctive account. (shrink)

This paper argues that a consideration of the problem of providing truthmakers for negative truths undermines truthmaker theory. Truthmaker theorists are presented with an uncomfortable dilemma. Either they must take up the challenge of providing truthmakers for negative truths, or else they must explain why negative truths are exceptions to the principle that every truth must have a truthmaker. The first horn is unattractive since the prospects of providing truthmakers for negative truths do not look good neither absences, nor totality (...) states of affairs, nor Graham Priest and J.C. Beall’s ‘polarities’ (Beall, 2000; Priest, 2000) are up to the job. The second horn, meanwhile, is problematic because restricting the truthmaker principle to atomic truths, or weakening it to the thesis that truth supervenes on being, undercuts truthmaker theory’s original motivation. The paper ends by arguing that truthmaker theory is, in any case, an under-motivated doctrine because the groundedness of truth can be explained without appeal to the truthmaker principle. This leaves us free to give the ommonsensical and deflationary explanation of negative truths that common-sense suggests. (shrink)

Suppose nothing exists. Then it is true that nothing exists. What makes that true? Nothing! So it seems that if nothing existed, then the principle that every truth is made true by something (the truthmaker principle) would be false. So if it is possible that nothing exists, a claim often called 'metaphysical nihilism', then the truthmaker principle is not necessary. This paper explores various ways to resolve this conflict without restricting metaphysical nihilism in such a way that it would become (...) trivial and uninteresting. (shrink)

Identifying plausible truthmakers for negative truths has been a serious and perennial problem for truthmaker theory. I argue here that negative truths are indeed made true but not in the way that positive truths are. I rely on a distinction between “existence-independence” and “variation-independence” drawn by Hoffman and Horvath to characterize the unique form of dependence negative truths exhibit on reality. The notion of variation-independence is then used to motivate a principle of truthmaking for contingent negative truths.

Truthmaker maximalism is the claim that every truth has a truthmaker. The case of negative truths leads some philosophers to postulate negative states of affairs or to give up on truthmaker maximalism. This paper defends a version of the incompatibility view of negative truths. Negative truths can be made true by positive facts, and thus, truthmaker maximalism can be maintained without postulating negative states of affairs.

The debate around “strong” paraconsistency or dialetheism (the view that there are true contradictions) has – apart from metaphysical concerns - centred on the questions whether dialetheism itself can be definitely asserted or has a unique truth value, and what it should mean, if it is possible at all, to believe a contradiction one knows to be contradictory (i.e. an explicit contradiction). And what should it mean, if it is possible at all, to assert a sentence one knows to be (...) contradictory? (shrink)

Substantial facts are not well-understood entities. Many philosophers object to their existence on this basis. Yet facts, if they can be understood, promise to do a lot of philosophical work: they can be used to construct theories of property possession and truthmaking, for example. Here, I give a formal theory of facts, including negative and logically complex facts. I provide a theory of reduction similar to that of the typed λ -calculus and use it to provide identity conditions for facts. (...) This theory validates truthmaker maximalism : it provides truthmakers for all truths. I then show how the usual truth-in-a-model relation can be replaced by two relations: one between models and facts, saying that a given fact obtains relative to the model, and the other between facts and propositions: the truthmaking relation. (shrink)

The present paper addresses Molnar’s problem :72–86, 2000): that of finding positive truthmakers for negative truths. The proposed solution, called, is to hold truth and falsity to be primitive and positive features of propositions and to take every literal negative truth to be made true by the falsity of the atomic proposition that it embeds. The solution is shown to be compatible with Maximalism, Necessitarianism and with the Entailment Thesis, as well as with most if not all possible variants of (...) truthmaking theory. Other advantages of are noted: it doesn’t require the inclusion of exotic objects in one’s ontology; it doesn’t require any revision of one’s logic or of one’s theory of modality. The solution also allows one to eschew negative facts, tropes and properties while providing a definition of negativity for certain literal propositions. The paper ends by rebutting several objections that may be levelled against. (shrink)

Minimalists, following Horwich, claim that all that can be said about truth is comprised by all and only the nonparadoxical instances of (E) p is true iff p. It is, accordingly, standard in the literature on truth and paradox to ask how the minimalist will restrict (E) so as to rule out paradox-inducing sentences (alternatively: propositions). In this paper, we consider a prior question: On what grounds does the minimalist restrict (E) so as to rule out paradox-inducing sentences and, thereby, (...) avoid contradictions? We argue that there is no good reason for thinking that the minimalist can furnish such grounds. Accordingly, while we are tempted to conclude from this that the minimalist should acknowledge the contradictoriness of truth, instead, we end with a challenge: Provide grounds, compatible with minimalism, for banning the paradoxical instances of (E), or embrace dialetheism. (shrink)

A common and much-explored thought is Łukasiewicz's idea that the future is ‘indeterminate’—i.e., ‘gappy’ with respect to some claims—and that such indeterminacy bleeds back into the present in the form of gappy ‘future contingent’ claims. What is uncommon, and to my knowledge unexplored, is the dual idea of an overdeterminate future—one which is ‘glutty’ with respect to some claims. While the direct dual, with future gluts bleeding back into the present, is worth noting, my central aim is simply to sketch (...) and briefly explore an alternative glutty-future view, one that is conservative—indeed, entirely classical—with respect to the present. The structure of the paper runs as follows. §1 briefly sketches the target gap picture of an indeterminate future yielding gappy claims at the present. §2 presents the direct dual idea—a glut picture of an overdeterminate future yielding glutty claims at present. §3 sketches the central idea, a more interesting glut picture in which the future contains contradictory states but the present remains entirely classical. §4 contains a general defence of the idea, leaving it open as to whether the gappy-future view enjoys substantive virtues over the proposed glutty-future view of §3. (shrink)