This paper summarizes various interpretations of emotional arguments, with a focus on the emotional mode of argument introduced in the multi-modal argumentation model (Gilbert, 1994). From there the author shifts from a descriptive account of emotional arguments to a discussion about a normative framework. Pointing out problems with evaluative models of the emotional mode, a paradigmatic shift captured by the Amenable Argumentation Approach is explained as a way forward for the advancement of the emotional mode and (...) multi-modal argumentation. (shrink)

This paper summarizes various interpretations of emotional arguments, with a focus on the emotional mode of argument introduced in the multi-modal argumentation model (Gilbert, 1994). From there the author shifts from a descriptive account of emotional arguments to a discussion about a normative framework. Pointing out problems with evaluative models of the emotional mode, a paradigmatic shift captured by the Amenable Argumentation Approach is explained as a way forward for the advancement of the emotional mode and (...) multi-modal argumentation. (shrink)

This paper summarizes various interpretations of emotional arguments, with a focus on the emotional mode of argument introduced in the multi-modal argumentation model (Gilbert, 1994). From there the author shifts from a descriptive account of emotional arguments to a discussion about a normative framework. Pointing out problems with evaluative models of the emotional mode, a paradigmatic shift captured by the Amenable Argumentation Approach is explained as a way forward for the advancement of the emotional mode and (...) multi-modal argumentation. (shrink)

Recently, null arguments have been treated as an ellipsis phenomenon, derived by PF-deletion or LF-copy under some kind of identity requirements. Focusing on Japanese null arguments, this paper argues that they are base-generated empty nominals which are interpreted via choice functions. The functional approach is supported by cases involving intermediate scope readings, missing antecedents, and implicational bridging. A less standard case of Japanese null arguments anteceded by QPs is also discussed and shown to be amenable to the choice (...) functional analysis supplemented by a general requirement of structural parallelism. (shrink)

The concept of moral distress comes from nursing ethics, and was initially defined as ‘…when one knows the right thing to do, but institutional constraints make it nearly impossible to pursue the right course of action’. There is a large body of literature associated with moral distress, yet multiple definitions now exist, significantly limiting its usefulness. We undertook a systematic review of the argument-based bioethics literature on this topic as the basis for a critical appraisal, identifying 55 papers for analysis. (...) We found that moral distress is most frequently framed around individual experiences of distress in relation to local practices and constraints, and understood in terms of power relations and workplace hierarchies. This understanding is directly derived from, and often still seen as specific to, nursing. Frequently the perspective of the morally distressed individual is privileged. Understandings of moral distress have evolved towards an ‘occupational health approach’, with the assumption that moral distress should be measured and prevented. Counter-perspectives were identified, highlighting conceptual problems. Based on our review, we propose a redefinition of moral distress: ‘Ethical unease or disquiet resulting from a situation where a clinician believes they have contributed to avoidable patient or community harm through their involvement in an action, inaction or decision that conflicts with their own values’. This definition is specific enough for research use, anchored in clinicians’ professional responsibilities and concerns about harms to patients, framed relationally rather than hierarchically, and amenable to multiple perspectives on any given morally distressing situation. (shrink)

Infinite regress arguments are a powerful tool in Aristotle, but this style of argument has received relatively little attention. Improving our understanding of infinite regress arguments has become pressing since recent scholars have pointed out that it is not clear whether Aristotle’s infinite regress arguments are, in general, effective or indeed what the logical structure of these arguments is. One obvious approach would be to hold that Aristotle takes infinite regress arguments to be per impossibile arguments, which derive an (...) infinite sequence. Due to his finitism, Aristotle then rejects such a sequence as impossible. This paper argues that this obvious approach does not work, even for its most amenable cases. The paper argues instead that infinite regress arguments involve domain-specific infinities, and so there is not a general finitism which underpins infinite regress arguments in Aristotle, but rather domain-specific reasons that there cannot be an infinite number of entities in each domain in which Aristotle invokes an infinite regress argument. (shrink)

The contributions in the first part Re-modelling logic of this volume take account of formal logic in the theory of rational argumentation.

I present considerations surrounding pre-reflective self-consciousness, arising in work I am conducting on a new physicalist, process-based account of [phenomenal] consciousness. The account is called the meta-causal account because it identifies consciousness with a certain type of arrangement of meta-causation. Meta-causation is causation where a cause or effect is itself an instance of causation. The proposed type of arrangement involves a sort of time-spanning, internal reflexivity of the overall meta-causation. I argue that, as a result of the account, any conscious (...) process has PRSC. Hence, PRSC does not need to be taken as a stipulation or argued for on purely phenomenological grounds or as a necessary support for reflective consciousness. I also show how it is natural to the account that PRSC is not an additional, peripheral, sort of consciousness, but is intrinsic to all consciousness, thereby fitting claims about self-intimation and co-constitution by various authors, and also being amenable to an adverbial account. As part of this, consciousness of an external object is just the form that current self-consciousness takes, the meta-causal constitution of it being inextricably modulated by the causal relationship with the object. The article also discusses how MCA helps explore issues of for-me-ness, transparency of perceptual consciousness, and possible immediacy and non-relationality of self-consciousness. (shrink)

This paper examines the views of Fogelin, Woods, Johnstone, etc., concerning deep disa-greements, force-five standoffs, philosophical controversies, etc. My approach is to reconstruct their views and critiques of them as meta-arguments, and to elaborate the meta-argumentative aspects of radical disa-greements. It turns out that deep disagreements are resolvable to a greater degree than usually thought, but only by using special principles and practices, such as meta-argumentation, ad hominem argumentation, Ramsey’s principle, etc.

This paper proposes a methodological synthesis in order to study multimodal media discourse and argumentation in the context of the so-called ‘refugee crisis’ in Greece. It follows the framework of Multimodal Critical Discourse Analysis, integrating this with argumentation studies, with a particular emphasis on the analysis of inference. Our data come from the Greek newspapers Kathimerini and Ta Nea. We contend that the proposed methodological synergy enables scrutiny of (a) racist conceptualizations cultivated by the representation of migrants and (...) refugees in headlines and photographs in newspaper articles along with (b) the argumentative potential that is implicitly sustained in these multimodal representations. (shrink)

Reasoning with the maximally consistent subsets of the premises is a well-known approach for handling contradictory information. In this paper we consider several variations of this kind of reasoning, for each one we introduce two complementary computational methods that are based on logical argumentation theory. The difference between the two approaches is in their ways of making consequences: one approach is of a declarative nature and is related to Dung-style semantics for abstract argumentation, while the other (...) approach has a more proof-theoretical flavor, extending Gentzen-style sequent calculi. The outcome of this work is a new perspective on reasoning with MCS, which shows a strong link between the latter and argumentation systems, and which can be generalized to some related formalisms. As a by-product of this we obtain soundness and completeness results for the dynamic proof systems with respect to several of Dung’s semantics. In a broader context, we believe that this work helps to better understand and evaluate the role of logic-based instantiations of argumentation frameworks. (shrink)

Presupposition has been described in the literature as closely related to the listener’s knowledge and the speaker’s beliefs regarding the other’s mind. However, how is it possible to know or believe our interlocutor’s knowledge? The purpose of this paper is to find an answer to this question by showing the relationship between reasoning, presumption and language. Presupposition is analyzed as twofold reasoning process: on the one hand, the speaker by presupposing a proposition presumes that his interlocutor knows it; on the (...) other hand, the listener reconstructs the propositions taken for granted and assesses them against the shared presumptions. The possibility of reconstructing a presupposition is distinguished from its assessment, where the consistency of the presupposition with the shared or common ground is evaluated, and its reasonableness established. The analysis of presuppositions from an argumentative perspective provides an instrument for evaluating the reasonableness of a presupposition and understanding its dialogical effect. On this view, the dialogical force of a presupposition lies in its presumptive nature, which sets and shifts the burden of proving its unacceptability or unreasonableness. (shrink)

Name der Zeitschrift: Semiotica Jahrgang: 2018 Heft: 220 Seiten: 155-172.

This paper makes use of the concepts and theoretical framework developed within the field of Argumentation Theory to account for the structure and characteristics of abduction and of the comparative processes of weighing explanatory hypothesis. It elaborates an analysis of abduction based on its consideration as a meta-explanatory argumentation scheme while elucidating its relations with abductive reasoning and inference. The conceptualization of comparative processes of weighing explanatory hypothesis as complex and varied argumentative structures is presented as an alternative (...) to the idea of providing a formally rigid and supposedly universal account of ‘inference to the best explanation’. (shrink)

This paper makes use of the concepts and theoretical framework developed within the field of Argumentation Theory to account for the structure and characteristics of abduction and of the comparative processes of weighing explanatory hypothesis. It elaborates an analysis of abduction based on its consideration as a meta-explanatory argumentation scheme while elucidating its relations with abductive reasoning and inference. The conceptualization of comparative processes of weighing explanatory hypothesis as complex and varied argumentative structures is presented as an alternative (...) to the idea of providing a formally rigid and supposedly universal account of ‘inference to the best explanation’. (shrink)

Multimorbidity, the presence of multiple health conditions that must be addressed, is a particularly difficult situation in patient management raising issues such as the use of multiple drugs and drug-disease interactions. Clinical Guidelines are evidence-based statements which provide recommendations for specific health conditions but are unfit for the management of multiple co-occurring health situations. To leverage these evidence-based documents, it becomes necessary to combine them. In this paper, using a case example, we explore the use of argumentation schemes to (...) reason and combine evidence-based recommendations from clinical guidelines, expected effects, conflicts stemming from said recommendations, and preferences regarding treatment goals. We compare the results of reasoning using the schemes for practical reasoning and argument from negative consequences in the Carneades Argumentation System with those of ASPIC-G, an extension of the artificial intelligence system ASPIC+. (shrink)

The paper develops a classificatory system of basic argument types on the basis of the epis-temological approach to argumentation. This approach has provided strict rules for several kinds of argu-ments. These kinds may be brought into a system of basic irreducible types, which rely on different parts of epistemology: deductive logic, probability theory, utility theory. The system reduces a huge mass of differ-ent argument schemes to basic types and gives them an epistemological foundation.

The aim of the paper is to develop general criteria of argumentative validity and adequacy for probabilistic arguments on the basis of the epistemological approach to argumentation. In this approach, as in most other approaches to argumentation, proabilistic arguments have been neglected somewhat. Nonetheless, criteria for several special types of probabilistic arguments have been developed, in particular by Richard Feldman and Christoph Lumer. In the first part (sects. 2-5) the epistemological basis of probabilistic arguments is discussed. (...) With regard to the philosophical interpretation of probabilities a new subjectivist, epistemic interpretation is proposed, which identifies probabilities with tendencies of evidence (sect. 2). After drawing the conclusions of this interpretation with respect to the syntactic features of the probability concept, e.g. one variable referring to the data base (sect. 3), the justification of basic probabilities (priors) by judgements of relative frequency (sect. 4) and the justification of derivative probabilities by means of the probability calculus are explained (sect. 5). The core of the paper is the definition of '(argumentatively) valid derivative probabilistic arguments', which provides exact conditions for epistemically good probabilistic arguments, together with conditions for the adequate use of such arguments for the aim of rationally convincing an addressee (sect. 6). Finally, some measures for improving the applicability of probabilistic reasoning are proposed (sect. 7). (shrink)

The growing influence of the visual media in contemporary society is quite alarming; hence, learning to explicate them is inevitable. This is a paradigm shift from verbal argumentation to visual argumentation. The aim of this article is to contribute to the understanding of visual analysis and visual literacy, a part of discourse analysis. Visuals employ a number of rhetorical devices; however, understanding the effectiveness of these devices is still a challenge. Adopting Visual Argumentation Theory, the article analyzes (...) argumentation in cartoons on the post-election violence that rocked Kenya in 2007/2008. From the analyses, it is concluded that visuals can argue as simply and forcefully as their verbal counterparts. The blending of caricature and portraiture makes them even more explicit as portraiture denotes the characters so that we can recognize who they are; caricature ridicules them, analogy attributes actions to them in a satirical or sarcastic way, and cultural memory is needed to access the reference to the analogies. Visuals are designed to make the reader think not only about the event or the people being portrayed but also about the message being communicated. This means visuals have the ability to stretch the truth beyond caricature or mere amusement. (shrink)

Connie Wang ABSTRACT: Accounts of deep disagreements can generally be categorized as optimistic or pessimistic. Pessimistic interpretations insist that the depth of deep disagreements precludes the possibility of rational resolution altogether, while optimistic variations maintain the contrary. Despite both approaches’ respective positions, they nevertheless often, either explicitly or implicitly, agree on the underlying assumption that...

The Metis research project aims at supporting maritime safety and security by facilitating continuous monitoring of vessels in national coastal waters and prevention of phenomena, such as vessel collisions, environmental hazard, or detection of malicious intents, such as smuggling. Surveillance systems such as Metis typically comprise a number of heterogeneous information sources and information aggregators. Among the main problems of their deployment lies their scalability with respect to a potentially large number of monitored entities. One of the solutions to the (...) problem is continuous and timely adaptation and reconfiguration of the system according to the changing environment it operates in. At any given timepoint, the system should use only a minimal set of information sources and aggregators needed to facilitate effective and early detection of indicators of interest. Here, we describe the Metis system prototype and introduce a theoretical framework for modelling scalable information-aggregation sys.. (shrink)

In times of populist mistrust towards experts, it is important and the aim of the paper to ascertain the rationality of arguments from expert opinion and to reconstruct their rational foundations as well as to determine their limits. The foundational approach chosen is probabilistic. However, there are at least three correct probabilistic reconstructions of such argumentations: statistical inferences, Bayesian updating, and interpretive arguments. To solve this competition problem, the paper proposes a recourse to the arguments' justification strengths achievable in (...) the respective situation. (shrink)

This paper provides equational semantics for Dung's argumentation networks. The network nodes get numerical values in [0,1], and are supposed to satisfy certain equations. The solutions to these equations correspond to the ?extensions? of the network. This approach is very general and includes the Caminada labelling as a special case, as well as many other so-called network extensions, support systems, higher level attacks, Boolean networks, dependence on time, and much more. The equational approach has its conceptual roots (...) in the nineteenth century following the algebraic equational approach to logic by George Boole, Louis Couturat, and Ernst Schroeder. (shrink)

There is a generic way to add any new feature to a system. It involves identifying the basic units which build up the system and introducing the new feature to each of these basic units. In the case where the system is argumentation and the feature is probabilistic we have the following. The basic units are: the nature of the arguments involved; the membership relation in the set S of arguments; the attack relation; and the choice of extensions. Generically (...) to add a new aspect to an argumentation network \ can be done by adding this feature to each component. This is a brute-force method and may yield a non-intuitive or meaningful result. A better way is to meaningfully translate the object system into another target system which does have the aspect required and then let the target system endow the aspect on the initial system. In our case we translate argumentation into classical propositional logic and get probabilistic argumentation from the translation. Of course what we get depends on how we translate. In fact, in this paper we introduce probabilistic semantics to abstract argumentation theory based on the equational approach to argumentation networks. We then compare our semantics with existing proposals in the literature including the approaches by M. Thimm and by A. Hunter. Our methodology in general is discussed in the conclusion. (shrink)

This paper introduces the special issue on Formal Approaches to the Ontological Argument of the Journal of Applied Logics (College Publications). The issue contains the following articles: Formal Approaches to the Ontological Argument, by Ricardo Sousa Silvestre and Jean-Yves Béziau; A Brief Critical Introduction to the Ontological Argument and its Formalization: Anselm, Gaunilo, Descartes, Leibniz and Kant, by Ricardo Sousa Silvestre; A Mechanically Assisted Examination of Begging the Question in Anselm’s Ontological Argument, by John Rushby; A Tractarian Resolution to the (...) Ontological Argument, by Erik Thomsen; On Kant’s Hidden Ambivalence Toward Existential Generalization in his Critique of the Ontological Argument, by Giovanni Mion; The Totality of Predicates and the Possibility of the Most Real Being, by Srećko Kovač; An Even More Leibnizian Version of Gödel’s Ontological Argument, by Kordula Świętorzecka and Marcin Łyczak; A Case Study On Computational Hermeneutics: E. J. Lowe’s Modal Ontological Argument, by David Fuenmayor. (shrink)

In this book two of the leading figures in argumentation theory present a view of argumentation as a means of resolving differences of opinion by testing the acceptability of the disputed positions. Their model of a 'critical discussion' serves as a theoretical tool for analysing, evaluating and producing argumentative discourse. They develop a method for the reconstruction of argumentative discourse that takes into account all aspects that are relevant to a critical assessment. They also propose a practical code (...) of behaviour for discussants who want to resolve their differences in a reasonable way. This is a major contribution to the study of argumentation and will be of particular value to professionals and graduate students in speech communication, informal logic, rhetoric, critical thinking, linguistics, and philosophy. (shrink)

Social factors have a powerful influence on human health and longevity. Yet the social dimensions of health are often obscured in public discussions due to the overwhelming focus in health policy on medical care, individual-level risk factor research, and changing individual behaviours. Likewise, in philosophical approaches to health and social justice, the debates have largely focused on rationing problems in health care and on personal responsibility. However, a range of events over the past two decades such as the study of (...) modern famines, the global experience of HIV/AIDS, the international women’s health movement, and the flourishing of social epidemiological research have drawn attention to the robust relationship between health and broad social arrangements. In Health Justice, Sridhar Venkatapuram takes up the problem of identifying what claims individuals have in regard to their health in modern societies and the globalized world. Recognizing the social bases of health and longevity, Venkatapuram extends the ‘Capabilities Approach’ of Amartya Sen and Martha Nussbaum into the domain of health and health sciences. In so doing, he formulates an inter-disciplinary argument that draws on the natural and social sciences as well as debates around social justice to argue for every human being’s moral entitlement to a capability to be healthy. An ambitious integration of the health sciences and the Capabilities Approach, Health Justice aims to provide a concrete ethical grounding for the human right to health, while advancing the field of health policy and placing health at the centre of social justice theory. With a foreword by Sir Michael Marmot, chair of the WHO Commission on the Social Determinants of Health. (shrink)

Rather than the art of putting forward logically valid arguments leading to Truth, argumentation is here viewed as the use of verbal means ensuring an agreement on what can be considered reasonable by a given group, on a more or less controversial matter. What is acceptable and plausible is always coconstructed by subjects engaging in verbal interaction. It is the dynamism of this exchange, realized not only in natural language, but also in a specific cultural framework, that has to (...) be accounted for. From this perspective, it is not enough to reconstruct patterns of reasoning. As logos is by definition both Reason and Language, abstract schemata have to be examined in their verbal realization in a given situation of discourse. Such an approach to arguments allows for a “thick” description taking into account their discursive and communicational aspects, as well as argumentation’s constitutive dialogism and its inscription in a set of common representations, opinions and beliefs (a doxa). This approach, exemplified by the analysis of a short text on stock options borrowed from the French newspaper Libération, is an attempt at establishing a dialogue between disciplines like argumentation theories, rhetorical criticism and discourse analysis. (shrink)

A popular three-stage argument appraisal strategy calls for (1) identifying the parts of the argument, (2) classifYing the argument as deductive, inductive, or some other type, and (3) appraising the argument using the standards appropriate for the type. This strategy fails for a number of reasons. I propose a comprehensive alternative approach that distinguishes between inductive, deductive, and other standards; calls for the successive application of standards combined with assumption-ascription, according to policies that depend for their selection on the (...) goals of the appraiser; and provides for qualified reasoning. (shrink)

The problems that arise from the presence of self-attacking ar- guments and odd-length cycles of attack within argumentation frameworks are widely recognized in the literature on defeasible argumentation. This paper introduces two simple semantics to capture different intuitions about what kinds of arguments should become justified in such scenarios. These semantics are modeled upon two extensions of argumentation frameworks, which we call sustainable and tolerant. Each one is constructed on the common ground of the powerful concept of (...) admissibility introduced by Dung in [10]. The novelty of this approach consists in viewing the admissibility of a subset of arguments as relative to potentially challenging subsets of arguments. Both sustainable and tolerant semantics are more credulous than preferred semantics (i.e. they justify at least the same arguments, and possibly more). Given certain sufficient conditions they coincide among them as well as with other semantics introduced by Dung. (shrink)

This work introduces the Attack-Support Argumentation Framework (ASAF), an approach to abstract argumentation that allows for the representation and combination of attack and support relations. This framework extends the argumentation Framework with Recursive Attacks (AFRA) in two ways. Firstly, it adds a support relation enabling to express support for arguments; this support can also be given to attacks, and to the support relation itself. Secondly, it extends AFRA’s attack relation by allowing attacks to the aforementioned support (...) relation. Moreover, since the support relation of the ASAF has a necessity interpretation, the ASAF also extends the Argumentation Framework with Necessities (AFN). Thus, the ASAF provides a unified framework for representing attack and support for arguments, as well as attack and support for the attack and support relations at any level. (shrink)

In this paper we introduce a formalism for single-agent decision making that is based on Dynamic Argumentation Frameworks. The formalism can be used to justify a choice, which is based on the current situation the agent is involved. Taking advantage of the inference mechanism of the argumentation formalism, it is possible to consider preference relations, and conflicts among the available alternatives for that reasoning. With this formalization, given a particular set of evidence, the justified conclusions supported by warranted (...) arguments will be used by the agent’s decision rules to determine which alternatives will be selected. We also present an algorithm that implements a choice function based on our formalization. Finally, we complete our presentation by introducing formal results that relate the proposed framework with approaches of classical decision theory. (shrink)

The main rationale for adopting the epistemological approach to argumentation seems to take the form of a criticism of the consensus theory. This criticism says that some instances of clearly bad argumentation count as acceptable instances of argumentation on the consensus theory. Supposedly, the epistemological approach does not have this problem. I suggest that the kind of normativity argumentation theorists should be concerned with is the normativity associated with giving real-world advice on how to (...) partake in a critical discussion. I try to show that when we understand the normativity of argumentative standards in this way, the main criticism of the consensus theory falls short, and the epistemological approach does not really have the advantages over the consensus theory that it is purported to have. If I am right, then the main reason offered for adopting the epistemological approach fails, and we should stick with the consensus theory. (shrink)

Computer-Assisted Argument Mapping (CAAM) is a new way of understanding arguments. While still embryonic in its development and application, CAAM is being used increasingly as a training and development tool in the professions and government. Inroads are also being made in its application within education. CAAM claims to be helpful in an educational context, as a tool for students in responding to assessment tasks. However, to date there is little evidence from students that this is the case. This paper outlines (...) the use of CAAM as an educational tool within an Economics and Commerce Faculty in a major Australian research university. Evaluation results are provided from students from a CAAM pilot within an upper-level Economics subject. Results indicate promising support for the use of CAAM and its potential for transferability within the disciplines. If shown to be valuable with further studies, CAAM could be included in capstone subjects, allowing computer technology to be utilised in the service of generic skill development. (shrink)

During a dialogue, agents exchange information with each other and need thus to deal with incoming information. For that purpose, they should be able to reason effectively about trustworthiness of information sources. This paper proposes an argument-based system that allows an agent to reason about its own beliefs and information received from other sources. An agent's beliefs are of two kinds: beliefs about the environment and beliefs about trusting sources . Six basic forms of trust are discussed in the paper (...) including the most common one on sincerity. Starting with a base which contains such information, the system builds two types of arguments: arguments in favour of trusting a given source of information and arguments in favour of believing statements which may be received from other agents. We discuss how the different arguments interact and how an agent may decide to trust another source and thus to accept information coming from that source... (shrink)

This paper describes an approach to legal logic based on the formal analysis of argumentation schemes. Argumentation schemes a notion borrowed from the .eld of argumentation theory - are a kind of generalized rules of inference, in the sense that they express that given certain premises a particular conclusion can be drawn. However, argumentation schemes need not concern strict, abstract, necessarily valid patterns of reasoning, but can be defeasible, concrete and contingently valid, i.e., valid in (...) certain contexts or under certain circumstances. A method is presented to analyze argumentation schemes and it is shown how argumentation schemes can be embedded in a formal model of dialectical argumentation. (shrink)

By Maurice A. Finocchiaro Studies in Logic, Logic and Argumentation, Vol. 42. London: College Publications, 2013. Pp. vii, 1-279. ISBN 978-1-84890-097-4. UK£12 US$17.10 CDN$21.12.

The evaluation of arguments and argumentation is best understood epistemologically. Epistemic circularity is not formally defective but it may be epistemologically objectionable. Sorenson's doubts about the syntactic approach to circularity are endorsed with qualifications. One explanation of an argument's goodness is its ability to produce justified belief in its conclusion by means of justified belief in its premises, but matters are not so simple for interpersonal argumentation. Even when an argument's premises and conclusion are justified for a (...) speaker, this justifiedness may not be transmissible to every hearer. Still, an epistemic approaeh is instructive. Arguing in enthymemes can be legitimate, e.g., because enthymemes can help produce justified persuasion in an audience that supplies the missing premises. (shrink)