Over the last decade, several extensions of Dung’s Abstract Argumentation Frameworks (AFs) have been introduced in the literature. Some of these extensions concern the nature of the attack relation, such as the consideration of recursive attacks, whereas others incorporate additional interactions, such as a support relation. Recently, the Attack–Support Argumentation Framework (ASAF) was proposed, which accounts for recursive attacks and supports, attacks to supports and supports to attacks, at any level, where the support relation is interpreted as necessity. Currently, to (...) determine the accepted elements of an ASAF (which may be arguments, attacks, and supports) it is required to translate such an ASAF into a Dung’s AF. In this work, we provide a formal characterization of acceptability semantics directly on the ASAF, without requiring such a translation. We prove that our characterization is sound since it satisfies different results from Dung’s argumentation theory; moreover, we formally show that the approach proposed here for addressing acceptability is equivalent to the preexisting one, in which the ASAF was translated into an AF. Also, we formalize the relationship between the ASAF and other frameworks on which it is inspired: the Argumentation Framework with Recursive Attacks (AFRA) and the Argumentation Framework with Necessities (AFN). (shrink)

This paper is focused on the practice of unsolicited, reflective diary writing as an act of externalizing internal dialogue. I suggest that it should be analyzed as an argumentative practice from the point of view of pragma-dialectics. In the first part of the paper, I demonstrate that internal communication can be examined from the perspective of pragma-dialectics because it is in line with its meta-theoretical principles (especially socialization and externalization). In the second part, I suggest that reflective diary writing (...) should be conceived of as an argumentative activity type. I show that this practice is a conventionalized activity type that is preconditioned by implicit norms governing the conduct of argumentation. (shrink)

This paper is focused on the practice of unsolicited, reflective diary writing as an act of externalizing internal dialogue. I suggest that it should be analyzed as an argumentative practice from the point of view of pragma-dialectics. In the first part of the paper, I demonstrate that internal communication can be examined from the perspective of pragma-dialectics because it is in line with its meta-theoretical principles (especially socialization and externalization). In the second part, I suggest that reflective diary writing (...) should be conceived of as an argumentative activity type. I show that this practice is a conventionalized activity type that is preconditioned by implicit norms governing the conduct of argumentation. (shrink)

This paper serves as an introduction to the special issue on argumentative patterns in discourse, more in particular on argumentative patterns with pragmatic argumentation as a main argument that are prototypical of argumentative discourse in certain communicative activity types in the political, the legal, the medical, and the academic domain. It situates the studies of argumentative patterns reported in these papers in the pragma-dialectical research program. In order to be able to do so, it is first (...) explained in which consecutive stages the pragma-dialectical theorizing has developed, what the study of argumentative patterns involves, and why the identification of argumentative patterns represents a vital stage in the development of pragma-dialectics. The description of the theoretical innovations that are introduced and the exposition of their relationship with the standard and extended pragma-dialectical theory create a conceptual and terminological framework for understanding the background and the rationale of the current research projects. (shrink)

Following and extending Searle’s speech act theory, both Pragma-Dialectics and the Linguistic Normative Model of Argumentation characterize argumentation as an illocutionary act. In these models, the successful performance of an illocutionary act of arguing depends on the securing of uptake, an illocutionary effect that, according to the Searlean account, characterizes the successful performance of any illocutionary act. However, in my view, there is another kind of illocutionary effect involved in the successful performance of an illocutionary act of arguing, which affects (...) both the speaker’s and the hearer’s set of rights, obligations, and entitlements. In order to give an account of this second type of effect, I will argue that it is necessary to distinguish two levels in the analysis of the illocutionary act of arguing. The first one is related to the illocutionary effect of securing of uptake and thus to the speech act performed by the speaker, while the second one allows us to account for the changes produced by the performance of the illocutionary act of arguing in the deontic modal competence of both the speaker and the hearer. (shrink)

Argumentation mining is an application of natural language processing (NLP) that emerged a few years ago and has recently enjoyed considerable popularity, as demonstrated by a series of international workshops and by a rising number of publications at the major conferences and journals of the field. Its goals are to identify argumentation in text or dialogue; to construct representations of the constellation of claims, supporting and attacking moves (in different levels of detail); and to characterize the patterns of reasoning that (...) appear to license the argumentation. Furthermore, recent work also addresses the difficult tasks of evaluating the persuasiveness and quality of arguments. Some of the linguistic genres that are being studied include legal text, student essays, political discourse and debate, newspaper editorials, scientific writing, and others. The book starts with a discussion of the linguistic perspective, characteristics of argumentative language, and their relationship to certain other notions such as subjectivity. Besides the connection to linguistics, argumentation has for a long time been a topic in Artificial Intelligence, where the focus is on devising adequate representations and reasoning formalisms that capture the properties of argumentative exchange. It is generally very difficult to connect the two realms of reasoning and text analysis, but we are convinced that it should be attempted in the long term, and therefore we also touch upon some fundamentals of reasoning approaches. Then the book turns to its focus, the computational side of mining argumentation in text. We first introduce a number of annotated corpora that have been used in the research. From the NLP perspective, argumentation mining shares subtasks with research fields such as subjectivity and sentiment analysis, semantic relation extraction, and discourse parsing. Therefore, many technical approaches are being borrowed from those (and other) fields. We break argumentation mining into a series of subtasks, starting with the preparatory steps of classifying text as argumentative (or not) and segmenting it into elementary units. Then, central steps are the automatic identification of claims, and finding statements that support or oppose the claim. For certain applications, it is also of interest to compute a full structure of an argumentative constellation of statements. Next, we discuss a few steps that try to 'dig deeper': to infer the underlying reasoning pattern for a textual argument, to reconstruct unstated premises (so-called 'enthymemes'), and to evaluate the quality of the argumentation. We also take a brief look at 'the other side' of mining, i.e., the generation or synthesis of argumentative text. The book finishes with a summary of the argumentation mining tasks, a sketch of potential applications, and a—necessarily subjective—outlook for the field. Table of Contents: Preface / Acknowledgments / Introduction / Argumentative Language / Modeling Arguments / Corpus Annotation / Finding Claims / Finding Supporting and Objecting Statements / Deriving the Structure of Argumentation / Assessing Argumentation / Generating Argumentative Text / Summary and Perspectives / Bibliography / Authors' Biographies / Index. (shrink)

This paper explores an idea of Stoic descent that is largely neglected nowadays, the idea that an argument is valid when the conditional formed by the conjunction of its premises as antecedent and its conclusion as consequent is true. As it will be argued, once some basic features of our naıve understanding of validity are properly spelled out, and a suitable account of conditionals is adopted, the equivalence between valid arguments and true conditionals makes perfect sense. The account of validity (...) outlined here, which displays one coherent way to articulate the Stoic intuition, accords with standard formal treatments of deductive validity and encompasses an independently grounded characterization of inductive validity. (shrink)

Do the cognitive origins of our theistic beliefs debunk them or explain them away? This paper develops an empirically-motivated debunking argument and defends it against objections. First, we introduce the empirical and epistemological background. Second, we develop and defend the main argument, the debunking argument from false god beliefs. Third, we characterize and evaluate the most prominent religious debunking argument to date, the debunking argument from insensitivity. It is found that insensitivity-based arguments are problematic, which makes them less promising than (...) the debunking argument from false god beliefs. (shrink)

The Pyrrhonist’s argumentative practice is characterized by at least four features. First, he makes a therapeutic use of arguments: he employs arguments that differ in their persuasiveness in order to cure his dogmatic patients of the distinct degrees of conceit and rashness that afflict them. Secondly, his arguments are for the most part dialectical: when offering an argument to oppose it to another argument advanced by a given dogmatist, he accepts in propria persona neither the truth of its premises (...) and conclusion nor the validity of its logical form. Thirdly, he avails himself of arguments in his own open-minded inquiry into the truth about a wide range of topics. Fourthly, Pyrrhonian argumentation is oppositional inasmuch as it typically works by producing oppositions among arguments that appear to the Pyrrhonist to be equipollent. In this article, I focus on the first three features with the aim of both shedding some light on them and determining whether they are in tension or coherently relate to each other. (shrink)

The concept of strong admissibility plays an important role in dialectical proof procedures for grounded semantics allowing, as it does, concise proofs that an argument belongs to the grounded extension without having necessarily to construct this extension in full. One consequence of this property is that strong admissibility ceases to be a unique status semantics. In fact it is straightforward to construct examples for which the number of distinct strongly admissible sets is exponential in the number of arguments. We are (...) interested in characterizing properties of collections of strongly admissible sets in the sense that any system describing the strongly admissible sets of an argument framework must satisfy particular criteria. In terms of previous studies, our concern is the signature and with conditions ensuring realizability. The principal result is to demonstrate that a system of sets describes the strongly admissible sets of some framework if and only if that system has the property of being decomposable. (shrink)

Argument by analogy has long been regarded as the characteristic way of arguing in ancient Chinese culture. Classic Chinese philosophers not only prefer to use analogy to argue for their own views, but also take efforts to theorize it in a systematic way. This paper aims to provide a careful study on the relevant ideas in ancient China in order to reconstruct the ancient Chinese theory of argument by analogy, and then to reveal some of its distinctive features through a (...) comparison with the Western counterpart account as developed by Aristotle. It is indicated that in ancient China analogical argument was conceived primarily as a way of arguing based on classification, with a unique mechanism of taking and giving according to kind. On that basis, it is argued that although such a characterization captures the logical structure of analogical argument in a similar way to Aristotle, the ancient Chinese theory stresses the foundational role of a particular notion of kind, thus makes the construction and application of analogical arguments become highly flexible and context-sensitive. Moreover, it is also contended that in ancient China the rationale of analogical arguments is explained from a general perspective of kind, relying upon the universal knowledge pertaining to the forming of kinds. Then it is further revealed that, unlike Aristotle who emphasizes the causal links between attributes in the physical world, ancient Chinese thinkers justify analogical argument by appealing to some normative metaphysical and epistemological principles. (shrink)

ABSTRACT: In this essay I characterize arguments by analogy, which have an impor- tant role both in philosophical and everyday reasoning. Arguments by analogy are dif- ferent from ordinary inductive or deductive arguments and have their own distinct features. I try to characterize the structure and function of these arguments. It is further discussed that some arguments, which are not explicit arguments by analogy, nevertheless should be interpreted as such and not as inductive or deductive arguments. The result is that (...) a presumed outcome of a philosophical dispute will have to be reconsidered. (shrink)

Although the last decade has seen a proliferation of ontological approaches to arguments, many of them employ ad hoc solutions to representing arguments, lack interoperability with other ontologies, or cover arguments only as part of a broader approach to evidence. To provide a better ontological representation of arguments, we present the Arguments Ontology (ArgO), a small ontology for arguments that is designed to be imported and easily extended by researchers who work in different upper-level ontology frameworks, different logics, and different (...) approaches to argument evaluation. Unlike most ontological approaches to arguments, ArgO utilizes Basic Formal Ontology (BFO) as an upper-level ontology, and may be used alongside other commonly used ontologies in the BFO framework, including boththe Information Artifact Ontology (IAO), and the Information Entity Ontology (INFO). Critically, our proposal is principled, based on rigorous definitions and formal axioms out of which characterizations of arguments naturally fall. It is our hope that ArgO may assist researchers in many projects, including: integrating heterogeneous sources of evidence, structuring the content of semantic wikis, and enhancing semantic reasoning. (shrink)

My purpose here is to describe a type of argument characterized by the fact that one of its premises is a directive—i.e. what is expressed by a directive sentence: a general instruction how to proceed or act. This directive premise brings an ostensive mechanism for the inclusion of visual or multimodal elements in an argument. If an argument is an invitation to inference, by using such a directive utterance the addresser is inviting the addressee to make an inference from an (...) image, not from a proposition. Hence I will call them arguments from ostension or from deixis. (shrink)

Despite Vision Zero’s moral appeal and its expansion throughout the world, it has been criticized on different grounds. This chapter is based on an extensive literature search for criticism of Vision Zero, using the bibliographic databases Philosopher’s Index, Web of Science, Science Direct, Scopus, Google Scholar, PubMed, and Phil Papers, and by following the references in the collected documents. Even if the primary emphasis was on Vision Zero in road traffic, our search also included documents criticizing Vision Zero policies in (...) other safety areas, such as public health, the construction and mining industries, and workplaces in general. Based on the findings, we identify and systematically characterize and classify the major arguments that have been put forward against Vision Zero. The most important arguments against Vision Zero can be divided into three major categories: moral arguments, arguments concerning the rationality of Vision Zero, and arguments aimed at the practical implementation of the goals. We also assess the arguments. Of the 13 identified main arguments, 6 were found to be useful for a constructive discussion on safety improvements. (shrink)

This is a short introduction to ontological arguments. It begins with a brief characterization of ontological arguments that proceeds mainly by way of example. The rest of the discussion is given over to consideration of what looks like a very simple ontological argument. This consideration turns up many of the issues that arise when more complex ontological arguments are examined.

This paper investigates the relationship between characterization frames and argumentation in activists’ discourse about the public controversy surrounding fashion sustainability. While previous studies proposing an argumentative approach to frames have acknowledged that frames are related to underlying implicit premises, how frames select certain implicit premises still needs to be systematically explained. Therefore, drawing on a theoretical framework combining Pragma dialectics (van Eemeren 2010 ) with the Argumentum Model of Topics an empirical analysis of a social media corpus has (...) been performed in order to examine the connection between characterization frames and underlying implicit premises. This paper offers both a methodological and a theoretical contribution. From a methodological point of view, it offers linguistic-discursive tools for the analysis of characterization frames. From a theoretical perspective, it shows how characterization frames contribute to construct _endoxa_, i.e. underlying implicit premises, through argumentative patterns. (shrink)

This study analyses how online participants of celebrity gossip position themselves in relation to their audience through forms of moral argumentation and thereby contribute to social hierarchies. In this study, forms of moral argumentation are seen as enthymemes, that is, claim-reason units based on moral norms as premises. The material consists of a total of 900 asynchronous online comments in English and 900 in Finnish. In addition to rhetorical argumentation analysis, the study investigates the dependency of moral argumentation on three (...) contextual variables: gendered violence as the topic of discussion, as the shared culture of participants and a media institution as the moderator of online discourse. Four forms of moral argumentation were found in the material: 1) theoretical, 2) practical, 3) categorical and 4) digital enthymeme. Theoretical, practical and categorical enthymemes are rhetorical in a traditional sense because they include the hierarchical idea of moral norms as the shared, more or less authoritarian, basis of a community. Digital enthymemes, conversely, are texts without clear borders or any notion of moral norms. Such arguments characterized especially user-generated, English-language discussions concerning female celebrities’ fights. This indicates that the digital enthymeme is particularly prevalent where there is a lack of obvious hierarchies in the context of argumentation. As this study argues, however, the seemingly non-hierarchical and individualistic participation through digital enthymemes is a mere illusion, for these enthymemes are based on crowd behaviour supportive of sexist and class-bound domination. (shrink)

In this paper we reply to arguments of Kroon (“Characterization and Existence in Modal Meinongianism”. Grazer Philosophische Studien 86, 23–34) to the effect that Modal Meinongianism cannot do justice to Meinongian claims such as that the golden mountain is golden, and that it does not exist.

Following the death on April 19, 2015 of Freddie Gray from injuries sustained while unarmed and in police custody, many citizens of Baltimore took to the streets and the National Guard was called into the city. A 2017 article published in the American Journal of Public Health measured the effect of this civil unrest on maternal and child health. I argue that this research does not acknowledge the full range of motivations, behaviors, aims and values that may have been inherent (...) in this unrest. I first describe the article’s characterization of Baltimore’s unrest as community violence. I then provide a negative argument against employing this characterization alone, before providing positive arguments for two alternative characterizations—as protest and apt anger. Finally, I discuss upshots of considering these alternatives. Broadly, while viewing civil unrest as community violence focuses exclusive attention on victims of unrest, these alternatives direct attention to unrest participants, with implications for public health research and practice. While I focus on Baltimore’s 2015 unrest, the proposals raised here apply wherever civil unrest occurs. (shrink)

In this contribution the prototypical argumentative patterns are discussed in which pragmatic argumentation is used in the context of legal justification in hard cases. First, the function and implementation of pragmatic argumentation in prototypical argumentative patterns in legal justification are addressed. The dialectical function of the different parts of the complex argumentation are explained by characterizing them as argumentative moves that are put forward in reaction to certain forms of critique. Then, on the basis of an exemplary (...) case, the famous Holy Trinity case, the way in which the U.S. Supreme Court uses pragmatic argumentation in this case is discussed by showing how the court instantiates general prototypical argumentative patterns in light of the institutional preconditions of the justification in the context of the specific case. (shrink)

In this paper we attempt to identify which peer collaboration characteristics may be accountable for conceptual change through interaction. We focus on different socio‐cognitive aspects of the peer dialog and relate these with learning gains on the dyadic as well as the individual level. The scientific topic that was used for this study concerns natural selection, a topic for which students’ intuitive conceptions have been shown to be particularly robust. Learning tasks were designed according to the socio‐cognitive conflict instructional paradigm. (...) After receiving a short instructional intervention on natural selection, paired students were asked to collaboratively construct explanations for certain evolutionary phenomena while engaging in dialectical argumentation. Two quantitative coding schemes were developed, each with a different granularity. The first assessed discrete dialog moves that pertained to dialectical argumentation and to consensual explanation development. The second scheme characterized the dialog as a whole on a number of socio‐cognitive dimensions. Results from analyses on the dyadic as well as the individual level revealed that the engagement in dialectical argumentation predicted conceptual learning gains, whereas consensual explanation development did not. These findings open up new venues for research on the mechanisms of learning in and from peer collaboration. (shrink)

This paper examines arguments that take counter- considerations into account, and it does so from a dialogical point of view. According to my account, a counterconsideration is part of a critical reaction from a real or imagined opponent, and an arguer may take it into account in his argument in at least six fully responsive ways. Conductive arguments will be characterized as one of these types. In this manner, the paper aims to show how conducive, and related kinds of argument (...) can be understood dialogically. (shrink)

We study computable PAC (CPAC) learning as introduced by Agarwal et al. (2020). First, we consider the main open question of finding characterizations of proper and improper CPAC learning. We give a characterization of a closely related notion of strong CPAC learning, and provide a negative answer to the COLT open problem posed by Agarwal et al. (2021) whether all decidably representable VC classes are improperly CPAC learnable. Second, we consider undecidability of (computable) PAC learnability. We give a simple (...) general argument to exhibit such ndecidability, and initiate a study of the arithmetical complexity of learnability. We briefly discuss the relation to the undecidability result of Ben-David et al. (2019), that motivated the work of Agarwal et al. (shrink)

Identification of programs for computable functions from their graphs and identification of grammars for recursively enumerable languages from positive data are two extensively studied problems in the recursion theoretic framework of inductive inference.In the context of function identification, Freivalds et al. have shown that only those collections of functions, , are identifiable in the limit for which there exists a 1-1 computable numbering ψ and a discrimination function d such that1. for each , the number of indices i such that (...) ψi = ƒ is exactly one and2. for each , there are only finitely many indices i such that ƒ and ψi agree on the first d arguments.A similar characterization for language identification in the limit has turned out to be difficult. A partial answer is provided in this paper. Several new techniques are introduced which have found use in other investigations on language identification. (shrink)

Although I have little sympathy for Nagel's instrumentalism, his "dictum" on the debates over scientific realism (as Boyd refers to it) is disconcertingly accurate; it does seem as if "the already long controversy...can be prolonged indefinitely." The reason for this, however, is not that realists and instrumentalists are divided by merely terminological differences in their "preferred mode[s] of speech", indeed, this analysis appeals only if you are already convinced that realism of any robust sort is mistaken. The debates persist, instead, (...) because the most sophisticated positions on either side now incorporate self-justifying conceptions of the aim of philosophy and of the standards of adequacy appropriate for judging philosophical theories of science. Realism and anti realism thus confront one another as preferred and essentially incommensurable modes of philosophical practice; it is in this sense that they have "dialectical resources for maintaining [their positions] in face of [virtually any] criticism." In what follows I first give an analysis of the central forms of argument for realism and anti realist responses to them that shows how the locus of debate has shifted to metaphilosophical issues. This is the basis for characterizing and assessing the forms of philosophical practice that are now emerging; my thesis is that there are strong grounds for preferring realism if the competing positions are judged as comprehensive research programs. (shrink)

This paper discusses a common contemporary characterization of skepticism and skeptical arguments-that their real importance is instrumental, that they “drive progress in philosophy.“ I explore two possible contrasts to the idea that skepticism's significance is thus wholly methodological. First, I recall for the reader a range of views that can be understood as `truth in skepticism' views. These concessive views are those most clearly at odds with the idea that skepticism is false, but instrumentally valuable. Considering the contributions of (...) such `truth in skepticism' theorists, I argue, shows that the good of furthering philosophical progress is partly achieved by the work of those who would reject the `merely methodological' view of skepticism's import. While this shows such a view of skepticism's import to be partially self-effacing, it is not therefore incoherent. Rather, the characterization is revealed to be wedded to particular diagnoses of skepticism, and not independently innocuous or neutral. Second, I discuss the idea that the `merely methodological' characterization of skepticism's import draws a contrast with philosophical positions or theses that are supposed to have practical teeth. Here, I think the danger of acquiescing too readily to this view is that the normative import of skeptical arguments is obscured. At a time when discussions of the value of knowledge are in ascendency, this in particular seems a loss-a route from consideration of skeptical arguments to broader normative questions worth keeping open is rather more obscured than opened up. Any radically revisionary outcome of an encounter with skepticism is less likely, led by such an understanding, just when there is opportunity instead to connect up with broad questions of epistemic value. For these reasons I argue the characterization is not one to too readily, unthinkingly, endorse. (shrink)

The present paper has two, interrelated objectives. The first is to analyze the different senses in which arguments are characterized as persuasive in the extant writings of Sextus Empiricus. The second is to examine the Pyrrhonist’s therapeutic use of arguments in the discussion with his Dogmatic rivals – more precisely, to determine the sense and basis of Sextus’ distinction between therapeutic arguments that appear weighty and therapeutic arguments that appear weak in their persuasiveness.

The purpose of this paper is to analyze the structure and the defeasibility conditions of argument from analogy, addressing the issues of determining the nature of the comparison underlying the analogy and the types of inferences justifying the conclusion. In the dialectical tradition, different forms of similarity were distinguished and related to the possible inferences that can be drawn from them. The kinds of similarity can be divided into four categories, depending on whether they represent fundamental semantic features of the (...) terms of the comparison or non-semantic ones, indicating possible characteristics of the referents. Such distinct types of similarity characterize different kinds of analogical arguments, all based on a similar general structure, in which a common genus is abstracted. Depending on the nature of the abstracted common feature, different rules of inference will apply, guaranteeing the attribution of the analogical predicate to the genus and to the primary subject. This analysis of similarity and the relationship thereof with the rules of inference allows a deeper investigation of the defeasibility conditions. (shrink)

The analysis of multimodal argumentation in advertising is a crucial and problematic area of research. While its importance is growing in a time characterized by images and pictorial messages, the methods used for interpreting and reconstructing the structure of arguments expressed through verbal and visual means capture only isolated dimensions of this complex phenomenon. This paper intends to propose and illustrate a methodology for the reconstruction and analysis of “double-mode” arguments in advertisements, combining the instruments developed in social semiotics, pragmatics, (...) and argumentation theory. An advertisement is processed through a five-step path. The analysis of its context, text genre, and images leads to a first representation of the messages that it encodes both pictorially and verbally (step 1). These first semantic representations are further enriched by including their polyphonic articulations and presuppositions (step 2), their explicatures (step 3), and their dialogical functions and illocutionary forces (step 4). These pragmatic steps retrieve the commitment structure of the ad, which allows a further argument analysis conducted through argumentation schemes (step 5). (shrink)

This paper uses the language of formal dialectics to explore how argumentation schemes and their critical questions can be characterized as an extension to traditional dialectical systems. The aim is to construct a dialectical system in which the set of locutions is extended to include scheme-based moves the set of structural rules describes the roles that critical questioning can play; and the set of commitment rules distinguishes between exceptions and assumptions.

Pascal‘s wager is expounded as a paradigm case of a practical,decision-theoretical argument for acting as if a proposition is true when wehave no theoretical reasons to accept or reject it (1.1.–1.2.). Thoughthe paradigm is fallacious in various respects there are valid and adequatearguments for acting as if certain propositions are true: that theoreticalentities exist, that there are material perceptual objects, that the worldis uniform across time (1.3). After this analysis of examples the author‘sgeneral approach for developing criteria for the validity (...) and adequacy oftypes of argument (2.1.) is applied: Having discussed some problems(2.2.–2.3.), a general epistemic principle for such ’pascal arguments‘is developed, which characterizes their premisses and, if introduced as anadditional premiss, can make them deductively valid (2.4). (shrink)

Many of our concepts are introduced to us via, and seem only to be constrained by, roughand-ready explanations and some sample paradigm positive and negative applications. This happens even in informal logic and mathematics. Yet in some cases, the concepts in question – although only informally and vaguely characterized – in fact have, or appear to have, entirely determinate extensions. Here’s one familiar example. When we start learning computability theory, we are introduced to the idea of an algorithmically computable function (...) (from numbers to numbers) – i.e. one whose value for any given input can be determined by a step-by-step calculating procedure, where each step is fully determined by some antecedently given finite set of calculating rules. We are told that we are to abstract from practical considerations of how many steps will be needed and how much ink will be spilt in the process, so long as everything remains finite. We are also told that each step is to be ‘small’ and the rules governing it must be ‘simple’, available to a cognitively limited calculating agent: for we want an algorithmic procedure, step-by-minimal-step, to be idiot-proof. For a classic elucidation of this kind, see e.g. Rogers (1967, pp. 1–5). Church’s Thesis, in one form, then claims this informally explicated concept in fact has a perfectly precise extension, the set of recursive functions. Church’s Thesis can be supported in a quasi-empirical way, by the failure of our searches for counterexamples. It can be supported too in a more principled way, by the observation that different appealing ways of sharpening up the informal chararacterization of algorithmic computability end up specifying the same set of recursive functions. But such considerations fall short of a demonstration of the Thesis. So is there a different argumentative strategy we could use, one that could lead to a proof? Sometimes it is claimed that there just can’t be, because you can never really prove results involving an informal concept like algorithmic computability.. (shrink)

Many in the informal logic tradition distinguish convergent from linked argument structure. The pragma-dialectical tradition distinguishes multiple from co-ordinatively compound argumentation. Although these two distinctions may appear to coincide, constituting only a terminological difference, we argue that they are distinct, indeed expressing different disciplinary perspectives on argumentation. From a logical point of view, where the primary evaluative issue concerns sufficient strength of support, the unit of analysis is the individual argument, the particular premises put forward to support a given conclusion. (...) Structure is internal to this unit. From a dialectical point of view, where the focus concerns how well a critical discussion comes to a reasoned conclusion of some disputed question, the argumentation need not constitute a single unit of argument. The unit of dialectical analysis will be the entire argumentation made up of these several arguments. The multiple/co-ordinatively compound distinction is dialectical, while the linked/convergent distinction is logical. Keeping these two pairs of distinctions separate allows us to see certain attempts to characterize convergent versus linked arguments as rather characterizing multiple versus co-ordinatively compound arguments, in particular attempts of Thomas, Nolt, and Yanal, and to resolve straightforwardly conflicts, tensions, or anomalies in their accounts. Walton's preferred Suspension/Insufficient Proof test to identify linked argument structure correctly identifies co-ordinatively compound structure. His objection to using the concept of relevance to explicate the distinction between linked and convergent structure within co-ordinatively compound argumentation can be met through explicating relevance in terms of inference licenses. His counterexample to the Suspension/No Support test for identifying linked structure which this approach supports can itself be straightforwardly dealt with when the test is explicated through inference licenses. (shrink)

Arguments figure prominently in our practices of reason-giving. For example, we use them to advance reasons for their conclusions in order to justify believing something, to explain why we believe something, and to persuade others to believe something. Intuitively, using arguments in these ways requires a certain degree of self-reflection. In this paper, I ask: what cognitive requirements are there for using an argument to advance reasons for its conclusion? Towards a partial response, the paper’s central thesis is that in (...) order to so use an argument one must believe the associated inference claim to the effect that the premises collectively are reasons that support the conclusion. I then argue against making it a further cognitive requirement that one be aware of one’s justification for believing such an inference claim. This thesis provides a rationale for the typical informal-logic textbook characterization of argument and motivates a constraint on adequate accounts of what are referred to as inference claims in the informal logic and argumentation literatures. (shrink)

Several philosophers of science and metaphysicians claim that the dispositional properties of fundamental particles, such as the mass, charge, and spin of electrons, are ungrounded in any further properties. It is assumed by those making this argument that such properties are intrinsic, and thus if they are grounded at all they must be grounded intrinsically. However, this paper advances an argument, with one empirical premise and one metaphysical premise, for the claim that mass is extrinsically grounded and is thus an (...) extrinsic disposition. Although the argument concerns mass characterized as a disposition, it applies equally well whether mass is a categorical or dispositional property; however, the dispositional nature of mass is relevant to some important objections and implications discussed. (shrink)

In this essay, I defend a view I call “Robust Realism” about normativity. According to this view, there are irreducibly, perfectly objective, normative truths, that when successful in our normative inquiries we discover rather than create or construct. My argument in support of Robust Realism is modeled after arguments from explanatory indispensability common in the philosophy of science and the philosophy of mathematics. I argue that irreducibly normative truths, though not explanatorily indispensable, are nevertheless deliberatively indispensable, and that this kind (...) of indispensability is just as respectable as the more familiar explanatory kind. Deliberative indispensability, I argue, justifies belief in normative facts, just like the explanatory indispensability of, say, theoretical entities like electrons justifies belief in electrons. In the introduction I characterize the view I will be arguing for and sketch the main argument of this essay. In chapter 1 I draw the analogy between explanatory and deliberative indispensability, and argue that there is no non-question-begging reason to take the former but not the latter seriously. Here I also present the master-argument of the thesis, and clarify the argumentative work that needs to be done by each of the following chapters. In chapter 2 I address the worries of the antirealist who is willing to reject arguments from explanatory indispensability as well. In other words, in this chapter I try to justify the move from indispensability (of whatever kind) to belief. In chapter 3 I develop an account of deliberation that supports the premises about deliberation needed for my master-argument to go through. In chapter 4 I reject some alternative views, showing that none of them can allow for sincere deliberation. In this chapter, in other words, I support the indispensability premise: I argue that it really is impossible to deliberate sincerely without believing in irreducibly normative truths.. (shrink)

Transcendental arguments have been described as undogmatic or non-dogmatic arguments. This paper examines this contention critically and addresses the question of what is required from an argument for which the characterization is valid. I shall argue that although transcendental arguments do in certain respects meet what one should require from non-dogmatic arguments, they - or more specifically, what I shall call 'general transcendental arguments' - involve an assumption about conceptual unity that constitutes a reason for not attributing to them (...) the status of non-dogmatic arguments. As a solution to this problem I distinguish general transcendental arguments from what I shall call 'specific transcendental arguments' and seek to explain how by limiting the use of transcendental arguments to the latter type it would be possible to avoid dogmatism. This methodological adjustment also opens up a possibility of re-interpreting transcendental arguments from the past in a novel non-dogmatic fashion. (shrink)

A macroscope is proposed and tested here for the discovery of the unique argumentative footprint that characterizes how a collective manages differences and pursues disagreement through argument in a polylogue. The macroscope addresses broader analytic problems posed by various conceptualizations of large-scale argument, such as fields, spheres, communities, and institutions. The design incorporates a two-tier methodology for detecting argument patterns of the arguments performed in arguing by an interactive collective that produces views, or topographies, of the ways that issues (...) are generated in the making and defending of standpoints. The design premises for the macroscope build on insights about argument patterns from pragma-dialectical theory by incorporating research and theory on disagreement management and the Argumentum Model of Topics. The design reconceptualizes prototypical and stereotypical argument patterns for characterizing large-scale argumentation. A prototype of the macroscope is tested on data drawn from six threads about oil-drilling and fracking from the subreddit Changemyview. The implementation suggests the efficacy of the macroscope’s design and potential for identifying what communities make controversial and how the disagreement space in a polylogue is managed through stereotypical argument patterns in terms of claims/premises, inferential relations, and presentational devices. (shrink)

ABSTRACT The logic of humor has been acknowledged as an essential dimension of every joke. However, what is the logic of jokes, exactly? The modern theories of humor maintain that jokes are characterized by their own logic, dubbed “pseudo,” “playful,” or “local,” which has been the object of frequent criticisms. This article intends to address the limitations of the current perspectives on the logic of jokes by proposing a rhetorical approach to humorous texts. Building on the traditional development of Aristotle’s (...) almost neglected view of jokes as surprising enthymemes, the former are analyzed as rhetorical arguments. Like enthymemes, jokes are characterized by natural inferences that can be represented as topics, and quasi-formalized in argumentation theory as argumentation schemes. Like rhetorical arguments, jokes express a reason in support of different types of conclusions and proceed from distinct kinds of reasoning and semantic relations. (shrink)

A Kantian transcendental argument is an argument which purports to show that the existence of physical objects of a certain general character is a condition for the possibility of self-conscious experience. Both the Transcendental Deduction and the Refutation of Idealism satisfy this characterization. But we have seen that even a successful Kantian transcendental argument would be somewhat disappointing. Even though such an argument would refute the extreme Cartesian skepticism about the very existence of physical objects, it would not certify (...) any of one's claims to know facts about particular physical objects: it would not refute the weaker skeptical position I have sketched.5 How- ever, it would clearly be of great interest if one could show that the existence of physical objects is a condition for the possibility of self- conscious experience. Accordingly, I would like to investigate some problems surrounding the construction of Kantian transcendental arguments. (shrink)

This paper examines some Indian philosophical arguments that are understandable as transcendental arguments—i.e., arguments whose conclusions cannot be denied without self-contradiction, insofar as the truth of the claim in question is a condition of the possibility even of any such denial. This raises the question of what kind of self-contradiction is involved—e.g., pragmatic self-contradiction, or the kind that goes with logical necessity. It is suggested that these arguments involve something like practical reason—indeed, that they just are arguments against the primacy (...) of “theoretical reason.” This characterization illuminates a characteristically Indic appeal to ordinary language. (shrink)

We present an argument for revising the theory of alternatives for Scalar Implicatures and for Association with Focus. We argue that in both cases the alternatives are determined in the same way, as a contextual restriction of the focus value of the sentence, which, in turn, is defined in structure-sensitive terms. We provide evidence that contextual restriction is subject to a constraint that prevents it from discriminating between alternatives when they stand in a particular logical relationship with the assertion or (...) the prejacent, a relationship that we refer to as symmetry. Due to this constraint on contextual restriction, discriminating between alternatives in cases of symmetry becomes the task of focus values. This conclusion is incompatible with standard type-theoretic definitions of focus values, motivating our structure-sensitive definition instead. (shrink)

The prodigious development of argumentation theory over the last three decades has raised many issues that challenge some of the long held assumptions that characterize the traditional study of argument. One of these issues is the role of emotion in argument and argument analysis. While rhetoric has, with its emphasis on persuasion, always recognized that emotions play some role determining which arguments we accept and reject, a long tradition sees appeals to emotion as fallacies that violate the standards of rationality (...) and objectivity reason and argument require. (shrink)

Let T be Gödel's system of primitive recursive functionals of finite type in a combinatory logic formulation. Let $T^{\star}$ be the subsystem of T in which the iterator and recursor constants are permitted only when immediately applied to type 0 arguments. By a Howard-Schütte-style argument the $T^{\star}$ -derivation lengths are classified in terms of an iterated exponential function. As a consequence a constructive strong normalization proof for $T^{\star}$ is obtained. Another consequence is that every $T^{\star}$ -representable number-theoretic function is elementary (...) recursive. Furthermore, it is shown that, conversely, every elementary recursive function is representable in $T^{\star}$ .The expressive weakness of $T^{\star}$ compared to the full system T can be explained as follows: In contrast to $T$ , computation steps in $T^{\star}$ never increase the nesting-depth of ${\mathcal I}_\rho$ and ${\mathcal R}_\rho$ at recursion positions. (shrink)

In this paper, we introduce the methodology and techniques of meta-argumentation to model argumentation. The methodology of meta-argumentation instantiates Dung’s abstract argumentation theory with an extended argumentation theory, and is thus based on a combination of the methodology of instantiating abstract arguments, and the methodology of extending Dung’s basic argumentation frameworks with other relations among abstract arguments. The technique of meta-argumentation applies Dung’s theory of abstract argumentation to itself, by instantiating Dung’s abstract arguments with meta-arguments using a technique called flattening. (...) We characterize the domain of instantiation using a representation technique based on soundness and completeness. Finally, we distinguish among various instantiations using the technique of specification languages. (shrink)