In this paper, it is explained that a dialogical approach to complex argumentation can be fruitful for solving two important problems concerning the analysis of the argumentation structure. First, such an approach makes it possible to clarify the distinction between coordinative and multiple argumentation structures, and to identify clues in the presentation for each of these structures. Second, a dialogical approach can provide a basis for dealing more adequately with refutations of counterarguments.

Snoeck, A. F. (1997) Analysing Complex Argumentation. The reconstruction of Multiple and Coordinatively Argumentation in a Critical Discussion.

This paper addresses several issues in argumentation theory. The over-arching goal is to discuss how a theory of analogical argument schemes fits the pragma-dialectical theory of argument schemes and argument structures, and how one should properly reconstruct both single and complex argumentation by analogy. I also propose a unified model that explains how formal valid deductive argumentation relates to argument schemes in general and to analogical argument schemes in particular. The model suggests “scheme-specific-validity” i.e. that there (...) are contrasting species of validity for each type of argument scheme that derive from one generic conception of validity. (shrink)

This article seeks to extend existing models of argumentation by considering an important dimension of real-life argumentative discourse: how complex argumentative discussions evolve over time. We define a complex argumentative discussion as a multi-issue discussion, in which the different issues are interrelated in the form of a hierarchy. We claim that justified reframing might be used to transform a single-issue argumentative discussion into a complex argumentative discussion. To illustrate this, we examine the Facebook discourse of the (...) Rhodes Must Fall movement in South Africa. We analyse how reframing is justified by means of arguments, allowing the protagonists to claim as legitimate their reframing of a single issue into a complex argumentative discussion. Our findings complement existing sociological research on social movements by highlighting how their goals are achieved by means of argumentative discourse. (shrink)

A pervasive aspect of human communication and sociality is argumentation: the practice of making and criticizing reasons in the context of doubt and disagreement. Argumentation underpins and shapes the decision-making, problem-solving, and conflict management which are fundamental to human relationships. However, argumentation is predominantly conceptualized as two parties arguing pro and con positions with each other in one place. This dyadic bias undermines the capacity to engage argumentation in complex communication in contemporary, digital society. This (...) book offers an ambitious alternative course of inquiry for the analysis, evaluation, and design of argumentation as polylogue: various actors arguing over many positions across multiple places. Taking up key aspects of the twentieth-century revival of argumentation as a communicative, situated practice, the polylogue framework engages a wider range of discourses, messages, interactions, technologies, and institutions necessary for adequately engaging the contemporary entanglement of argumentation and complex communication in human activities. (shrink)

Technology is not only an object of philosophical reflection but also something that can change this reflection. This paper discusses the potential of computer-supported argument visualization tools for coping with the complexity of philosophical arguments. I will show, in particular, how the interactive and web-based argument mapping software “AGORA-net” can change the practice of philosophical reflection, communication, and collaboration. AGORA-net allows the graphical representation of complex argumentations in logical form and the synchronous and asynchronous collaboration on those “argument maps” (...) on the internet. Web-based argument mapping can overcome limits of space, time, and access, and it can empower users from all over the world to clarify their reasoning and to participate in deliberation and debate. Collaborative and web-based argument mapping tools such as AGORA-net can change the practice of arguing in two dimensions. First, arguing on web-based argument maps in both collaborative and adversarial form can lead to a fundamental shift in the way arguments are produced and debated. It can provide an alternative to the traditional four-step process of writing, publishing, debating, and responding in new writing with its clear distinction between individual and social activities by a process in which these four steps happen virtually simultaneously, and individual and social activities become more closely intertwined. Second, by replacing the linear form of arguments through graphical representations of networks of inferential relations which can grow over time in an infinite space, these tools do not only allow a clear visualization of structures and relations, but also forms of collaboration in which, for example, participants work on different “construction zones” of larger argument maps, or debates are performed at specific points of disagreement on those maps. I introduce the term synergetic logosymphysis to describe a practice that combines these two dimensions of collaborative- and web-based argument mapping. (shrink)

Many proposals for logic-based formalisations of argumentation consider an argument as a pair (Φ,α), where the support Φ is understood as a minimal consistent subset of a given knowledge base which has to entail the claim α. In case the arguments are given in the full language of classical propositional logic reasoning in such frameworks becomes a computationally costly task. For instance, the problem of deciding whether there exists a support for a given claim has been shown to be (...) -complete. In order to better understand the sources of complexity (and to identify tractable fragments), we focus on arguments given over formulæ in which the allowed connectives are taken from certain sets of Boolean functions. We provide a complexity classification for four different decision problems (existence of a support, checking the validity of an argument, relevance and dispensability) with respect to all possible sets of Boolean functions. Moreover, we make use of a general schema to enumerate all arguments to show that certain restricted fragments permit polynomial delay. Finally, we give a classification also in terms of counting complexity. (shrink)

This theoretical expose explores the complex notion of argumentative style, which has so far been largely neglected in argumentation theory. After an introduction of the problems involved, the theoretical tools for identifying the properties of the discourse in which an argumentative style manifests itself are explained from a pragma-dialectical perspective and a theoretical definition of argumentative style is provided that does full justice to its role in argumentative discourse. The article concludes with a short reflection upon the next (...) steps that need to be taken in argumentation theory in further substantiating the notion of argumentative style. (shrink)

Empirical research in the field of legal interpretation shows that, in many cases, analogy argumentation is complex rather than simple. Traditional analytical approaches to analogy argumentation do not explore that complexity. In most cases analogy argumentation is reconstructed as a simple form of argumentation that consists of two premises and a conclusion. This article focuses on the question of how to analyze and evaluate complex analogy argumentation. It is shown how the pragma-dialectical approach (...) provides clues for analyzing complex analogy argumentation and how the criteria for evaluating analogy argumentation can be used to reconstruct these types of complex analogy argumentation in Dutch case law. The critical questions in the argumentation scheme do not only serve as a tool for analyzing arguments justifying analogy argumentation, but are also helpful in analyzing arguments against a specific analogy argumentation. (shrink)

Wellman identified three types of conductive arguments, the third of which contains both pro and counter-considerations in the same piece of reasoning. This paper provides a pragma-dialectical analysis of this type of argumentation, with special focus on argumentation reconstruction. It argues that the account of pro/con argumentation in the framework of argument-as-product has problems solvable by a pragma-dialectical approach. The paper asserts that pro/con argumentation should be analyzed as a dialectical strategy of a protagonist, where acknowledgement (...) of counter-considerations shows that the antagonist’s reasons have been taken into consideration, although the pro-considerations override them. Thus, the pro-considerations of pro/con argumentation should be interpreted as the protagonist’s overriding defeaters of the antagonist’s counter-arguments, the protagonist incorporating the latter as counter-considerations. The paper further argues that the pragma-dialectical framework needs an additional conceptual tool to properly reconstruct complex forms of pro/con argumentation. Finally, the pragma-dialectical approach to reconstruct pro/con argumentation has several advantages, especially to a more logical-structural approach to complex pro/con argumentation. (shrink)

Ned Block’s Overflow Argument purports to establish that the neural basis of phenomenal consciousness is independent of the neural basis of access consciousness. In a recent paper, Block’s argument has been challenged by Peter Carruthers. Carruthers concedes the truth of one of the argument’s key steps, namely, that phenomenal consciousness overflows what is in working memory. At the same time, he rejects the conclusion of the argument by developing an account of this overflow that is alternative to Block’s. In this (...) paper, I argue that Carruthers’s account does not pose a real threat to the Overflow Argument. The overall plausibility of Carruthers’s account rests on the empirical plausibility of a claim concerning global broadcasting which, albeit intuitively plausible in light of a lightly-sketched picture of the impact of attention upon neural matters, he offers no sufficient empirical evidence for. Drawing on some important imaging studies that reveal striking facts about neural responses to visual stimuli, I argue for two intimately related claims: first, that the intuitive plausibility of claims like Carruthers’s is not a guarantee of empirical plausibility; second, that as concerns the same claims, strong empirical evidence is needed before confident judgments of empirical plausibility can reasonably be formulated. (shrink)

It is argued that the source of complexity in language is twofold: repetition, and syntactic embedding. The former enables us to return again and again to the same subject across many sentences, and to maintain the coherence of an argument. The latter is governed by two forms of complexification: the functor-argument structure of all languages and the operator-bound-variable mechanism of familiar formal languages. The former is most transparently represented by categorial grammar, and an extension of this can adequately describe the (...) syntax of variable binders. Both developments have roots within the work of the Lvov-Warsaw School. (shrink)

La question de ce petit livre est simple : peut-on aller au-delà du constat de crise et d'impuissance dont le philosophe se fait le prophète depuis plus d'un siècle? Peut-on parler de la science sans complexe d'infériorité, de Dieu sans obscurantisme, d'existence sans tomber dans la banalité du café du commerce, de politique sans consacrer le cynisme, de morale sans faire dans le sermon? Bref, la philosophie peut-elle aider à faire comprendre et à dépasser les apories du temps présent qu'elle (...) a fait siennes, comme un malade ressasse sa propre maladie pour se donner le sentiment qu'ainsi il peut la mettre à distance à défaut de la vaincre? Toutes ces questions sont aujourd'hui les nôtres, et il ne faut pas avoir peur de parler des grands problèmes qui agitent les hommes depuis l'aube des temps, car si la philosophie a un sens, c'est bien en ce qu'elle envisage les questions ultimes dans une plus ou moins grande systématicité selon les époques. (shrink)

Standard semantic theories predict that non-deictic readings for complex demonstratives should be much more widely available than they in fact are. If such readings are the result of a lexical ambiguity, as Kaplan (in: Almog, Perry, Wettstein (eds) Themes from Kaplan, Oxford University Press, Oxford, 1977) and others suggest, we should expect them to be available wherever a definite description can be used. The same prediction follows from ‘hidden argument’ theories like the ones described by King (Complex Demonstratives: (...) a Quantificational Account, MIT Press, Cambridge, 2001) and Elbourne (Situations and Individuals, MIT Press, Cambridge, 2005). Wolter (That’s That; the Semantics and Pragmatics of Demonstrative Noun Phrases. Ph.D. thesis, University of California at Santa Cruz, 2006), however, has shown that complex demonstratives admit non-deictic interpretations only when a precise set of structural constrains are met. In this paper, I argue that Wolter’s results, properly understood, upend the philosophical status quo. They fatally undermine the ambiguity theory and demand a fundamental rethinking of the hidden argument approach. (shrink)

This theoretical expose explores the complex notion of argumentative style, which has so far been largely neglected in argumentation theory. After an introduction of the problems involved, the theoretical tools for identifying the properties of the discourse in which an argumentative style manifests itself are explained from a pragma-dialectical perspective and a theoretical definition of argumentative style is provided that does full justice to its role in argumentative discourse. The article concludes with a short reflection upon the next (...) steps that need to be taken in argumentation theory in further substantiating the notion of argumentative style. (shrink)

Slippery slope‐, taboo‐breaking‐ or Nazi‐analogy‐arguments are common, but not uncontroversial examples of the complex relationship between bioethics and the various ways of using historical arguments in these debates. In our analysis we examine first the relationship between bioethics and medical history both as separate disciplines and as argumentative practices. Secondly, we then analyse six common types of historical arguments in bioethics (slippery slope‐, analogy‐, continuity‐, knockout/taboo‐, ethical progress‐ and accomplice‐arguments), some as arguments within the academic debate of bioethics, others (...) as arguments within political and public debates over bioethical issues. We conclude by suggesting to bioethicists to better understand historical arguments as socially and culturally embedded practices of critical reflection of power, medical and government paternalism and possible future scenarios. More interdisciplinarity between ethicists and medical historians is needed to appropriately rationalize and understand the different legacies. (shrink)

This chapter examines the scope and limits of the tractability argument. It argues for two claims. First, that when explored with appropriate care and attention, it becomes clear that the argument provides no good reason to prefer massive modularity to the more traditional rationalist alternative. Second, while it is denied that tractability considerations support massive modularity per se, this does not mean that they show nothing whatsoever. Careful analysis of tractability considerations suggests a range of characteristics that any plausible version (...) of psychological rationalism is likely to possess. The chapter proceeds as follows: Section 1 outlines and clarifies the general form of the tractability argument. Section 2 explains how massive modularity is supposed to resolve intractability worries. Sections 3 to 7 highlight the deficiencies of the main extant arguments for claiming that nonmodular mechanisms are intractable. Section 8 concludes by sketching some of the general characteristics that a plausible rationalist alternative to massive modularity — one capable of subserving tractable cognitive processes — is likely to possess. (shrink)

To illustrate the development of argumentation theory, the paper traces the journey of the pragma-dialectical theory as it widened its scope, step by step, from an abstract model of critical discussion to the complexities of actual argumentative discourse. It describes how, having contextualized, empiricalized and formalized their approach, pragma-dialecticians are now putting the theory’s analytical instruments to good use in identifying prototypical argumentative patterns in specific communicative activity types in the various communicative domains. This means that they can now (...) start answering the crucial question about the typical characteristics of their discourse asked by interested lawyers, politicians, academics and other practitioners of argumentation. (shrink)

argumentation, as originally defined by Dung, is a model that allows the description of certain information about arguments and relationships between them: in an abstract argumentation framework, the agent knows for sure whether a given argument or attack exists. It means that the absence of an attack between two arguments can be interpreted as “we know that the first argument does not attack the second one”. But the question of uncertainty in abstract argumentation has received much attention (...) in the last years. In this paper, we survey approaches that allow to express information like “There may be an attack between these arguments”. We describe the main models that incorporate qualitative uncertainty in abstract argumentation, as well as some applications of these models. We also highlight some open questions that deserve some attention in the future. (shrink)

A committee has to address a complex question, the answer to which requires answering several sub-questions. Two different voting procedures can be used. On one procedure, the committee members vote on each sub-question and the voting results then are used as premises for the committee’s conclusion on the main issue. This premise-based procedure can be contrasted with the conclusion-based procedure. On that procedure, the members directly vote on the conclusion, with the vote of each member being guided by her (...) views on the relevant sub-questions. These procedures are by no means equivalent, which has been pointed out in legal theory in connection with jury votes. There may be a majority of voters supporting each premise, but if these majorities do not significantly overlap, there will be a majority against the conclusion. Pettit connects the choice between the two procedures with general political theory, in particular, with the discussion of deliberative democracy. However, the problem we want to examine concerns the relative advantages and disadvantages of the two procedures from the epistemic point of view. In some cases one can assume that the question before the committee has the right answer. In cases like this, is one of the two procedures better when it comes to tracking the truth? As it turns out, the answer to this query is not univocal. On the basis of Condorcet’s jury theorem, we show that the premise-based procedure is clearly superior if the objective is reach truth for the right reasons, i.e. without making any mistakes on the way. However, if the goal instead is to reach truth for whatever reasons, right or wrong, there will be cases in which using the conclusion-based procedure turns out to be more reliable, even though, for the most part, the premise-based procedure will retain its superiority. Our results partly confirm and partly disconfirm the tentative conjectures that have been put forward in Pettit and Rabinowicz. (shrink)

This paper foregrounds one argument in Rawls’s work that is crucial to his case for one, determinate, form of political economy: a property-owning democracy. Section one traces the evolution of this idea from the seminal work of Cambridge economist James Meade; section two demonstrates how a commitment to a property-owning democracy flows from Rawls’s own principles; section three focuses on Rawls’s striking critique of orthodox welfare state capitalism. This all sets the stage for an argument, presented in section four, from (...) the complexity of economic interactions to the strategy of making markets fair in the only feasible way that they can be made fair, namely, by “patterning” their effects. Section five concludes by asking whether any scheme of this general type is a realistic form of utopianism for a society such as ours. (shrink)

ABSTRACT What are the obstacles to believing that narratives can argue? How can we be assured that narratives argue well? This article will explore major objections to accounts of narrative argument and literary truth, and explore a theory of narrative reasoning that emphasizes identification as a vital part of argument. In exploring the account of narrative offered by Walter Fisher in light of concerns with narrative in rhetorical studies and philosophy, I explicate a renewed sense of identification and narrative reasoning (...) that can meet many of these objections to giving narrative a role in human communication and argument. Of particular interest are the resources available in narratives for active identification by an auditor or reader as good reasons for action or belief in their own extratextual activities. (shrink)

Suppose a committee has to take a stand on a complex issue, where the decision presupposes answering a number of sub-questions. There is an agreement within the committee which sub-questions should be posed. All questions are of the ”yes or no?”-type and the main question is to be given the yes-answer if and only if each sub-question is answered with “yes”. Two different voting procedures can be used. On one procedure, the committee members vote on each sub-question and the (...) voting results then determine the committee’s conclusion on the main issue. This premise-based procedure (or pbp, for short) can be contrasted with the conclusion-based procedure (cbp), on which the members directly vote on the conclusion, with the vote of each member being guided by her views on the relevant sub-questions. The problem we want to examine concerns the relative advantages and disadvantages of the two procedures from the epistemic point of view. In some cases one can assume that the question before the committee has a right answer, which the committee is trying to reach. Is one of the two procedures better when it comes to tracking the truth? As it turns out, the answer to this query is not univocal: On the basis of Condorcet’s jury theorem we shall show that the premise-based procedure is clearly superior if we want to reach truth for the right reasons, i.e. without making any mistakes on the road to the conclusion. However, if the goal instead is to reach truth for whatever reasons, right or wrong, there will be special cases in which using the conclusion-based procedure turns out to be more reliable. But for the most part, the premise-based procedure will still retain its superiority. In this respect, our results disconfirm the tentative conjectures that have been put forward in Pettit and Rabinowicz (2001). (shrink)

This paper explores consequences of the claim that phenomenal experiences are physical events of great descriptive complexity. This claim is attractive both because it can explain our most perplexing intuitions about the quality of consciousness and also because it is suggestive of very productive research opportunities. I illustrate the former by showing that two of the most compelling anti-physicalist arguments about phenomenal experience – the modal argument of Kripke and the conceivability argument of Chalmers – are not sound if this (...) claim is true. I illustrate the latter by showing that significant empirical predictions are a consequence of this claim. (shrink)

Traditional logical reconstruction of arguments aims at assessing the validity of ordinary language arguments. It involves several tasks: extracting argumentations from texts, breaking up complex argumentations into individual arguments, framing arguments in standard form, as well as formalizing arguments and showing their validity with the help of a logical formalism. These tasks are guided by a multitude of partly antagonistic goals, they interact in various feedback loops, and they are intertwined with the development of theories of valid inference and (...) adequate formalization. This paper explores how the method of reflective equilibrium can be used for modelling the complexity of such reconstructions and for justifying the various steps involved. The proposed approach is illustrated and tested in a detailed reconstruction of the beginning of Anselm’s De casu diaboli. (shrink)

This chapter focuses on one of the common fallacies in Western philosophy called 'complex question (CQ)'. The fallacy of the CQ appears in two varieties. The implicit form distracts an interlocutor by assuming the truth of an unproven premise and shifting the focus of the argument in an unfounded direction. While the explicit form collapses two distinct questions into a single question such that a single answer would appear to satisfy both inquiries. The possibility that an undetected CQ might (...) lead a speaker to affirm additional, unspoken premises unintentionally makes this a popular tactic in police interrogations and debate cross‐examinations. Avoiding this rhetorical trap is only possible either by rejecting the question as posed and extemporaneously clarifying the situation on one's own terms or by remaining silent. (shrink)

This paper analyzes William A. Dembski’s theory of intelligent design. According to Dembski, it is possible to empirically detect signs of intelligence in the world by examining properties of observed events. In order to detect design, Dembski has developed the criterion of specified complexity, by means of which he claims to be able to distinguish events that are designed from those that are caused by necessity or chance. Five problems regarding Dembski’s theory are identified and discussed. It is revealed that (...) Dembski’s theory is not rigorously enough defined to be deemed to be a scientific theory. (shrink)

Arguments have always played a central role within logic and philosophy. But little attention has been paid to arguments as a distinctive kind of discourse, with its own semantics and pragmatics. The goal of this essay is to study the mechanisms by means of which we make arguments in discourse, starting from the semantics of argument connectives such as `therefore'. While some proposals have been made in the literature, they fail to account for the distinctive anaphoric behavior of `therefore', as (...) well as uses of argument connectives in complex arguments, suppositional arguments, arguments with non-declarative conclusions, as well as arguments with parenthetical remarks. A comprehensive account of arguments requires imposing a distinctive tree-like structure on contexts. We show how to extend our account to accommodate modal subordination and and di fferent flavors of `therefore'. (shrink)

This article explores the place of complexity science within education and educational research. The discussion begins with the suggestion that educational research has a history of adopting interpretive frames from other domains with little adaptation. Complexity science is argued to compel a different sort of positioning, one that requires accommodation and participation rather than unproblematized assimilation and application. The argument is developed by considering the following simultaneities in education (and) research: knower and knowledge; transphenomenality; transdisciplinarity; interdiscursivity; descriptive and pragmatic insights; (...) representation and presentation; affect and effect; and education and research. (shrink)

In Darwin’s Black Box, Michael J. Behe argues that, because certain biochemical systems are both irreducibly complex and very complex, it is extremely unlikely that they evolved gradually by Darwinian mechanisms, and so extremely likely that they were intelligently designed. I begin this paper by explaining Behe’s argument and defending it against the very common but clearly mistaken charge that it is just a rehash of William Paley’s design argument. Then I critically discuss a number of more serious (...) objections to the argument. I conclude that, while Behe successfully rules out some Darwinian paths to the biochemical systems he discusses, others remain open. Thus, his argument against Darwinian gradualism (and ipso facto his argument for intelligent design) is at best incomplete. (shrink)

In this paper a new use case for legal argumentation support tools is considered: supporting discussions about analyses of complex criminal cases with the help of Bayesian probability theory. By way of a case study, two actual discussions between experts in court cases are analysed on their argumentation structure. In this study the usefulness of several recognised argument schemes is confirmed, a new argument scheme for arguments from statistics are proposed, and an analysis is given of debates (...) between experts about the validity of their arguments. From a practical point of view the case study yields insights into the design of support software for discussions about Bayesian analyses of complex criminal cases. (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)

Argumentations are at the heart of the deductive and the hypothetico-deductive methods, which are involved in attempts to reduce currently open problems to problems already solved. These two methods span the entire spectrum of problem-oriented reasoning from the simplest and most practical to the most complex and most theoretical, thereby uniting all objective thought whether ancient or contemporary, whether humanistic or scientific, whether normative or descriptive, whether concrete or abstract. Analysis, synthesis, evaluation, and function of argumentations are described. Perennial (...) philosophic problems, epistemic and ontic, related to argumentations are put in perspective. So much of what has been regarded as logic is seen to be involved in the study of argumentations that logic may be usefully defined as the systematic study of argumentations, which is virtually identical to the quest of objective understanding of objectivity. (shrink)

This paper is a critique of Richard Dawkins’ “argument from improbability” against the existence of God. This argument, which forms the core of Dawkins’ book The God Delusion, provides an interesting example of the use of scientific ideas in arguments about religion. Here I raise three objections: (1) The argument is inapplicable to philosophical conceptions of God that reduce most of God’s complexity to that of the physical universe. (2) The argument depends on a way of estimating probabilities that fails (...) for the probability of an entity that creates natural laws. (3) The argument supposes that complexity arises from past physical causes; however, some forms of complexity known to mathematics and logic do not arise in this way. After stating these three criticisms, I show that some of these same considerations undermine Dawkins’ critique of agnosticism. I close the paper with some remarks on Dawkins’ conception of God. (shrink)

Arguments about the evolutionary function of phenomenal consciousness are beset by the problem of epiphenomenalism. For if it is not clear whether phenomenal consciousness has a causal role, then it is difficult to begin an argument for the evolutionary role of phenomenal consciousness. We argue that complexity arguments offer a way around this problem. According to evolutionary biology, the structural complexity of a given organ can provide evidence that the organ is an adaptation, even if nothing is known about the (...) causal role of the organ. Evidence from cognitive neuropsychology suggests that phenomenal consciousness is structurally complex in the relevant way, and this provides prima facie evidence that phenomenal consciousness is an adaptation. Furthermore, we argue that the complexity of phenomenal consciousness might also provide clues about the causal role of phenomenal consciousness. (shrink)

Bruce Russell has classified evidential arguments from evil into four types, one of which is the type-4 argument. Rather than begin with observations of evils that appear to be gratuitous, type-4 arguments simply begin with observations of evils. The next step, and the heart of a type-4 argument, is an abductive inference (inference to the best explanation) from those observations, to the conclusion that there is gratuitous evil. Reflection upon the consequential complexity of history, however, reveals that we have no (...) objective grounds for making the key, abductive inference, thus, all type-4 arguments from evil fail. (shrink)