This paper develops a logical theory that unifies all three standard types of argumentative attack in AI, namely rebutting, undercutting and undermining attacks. We build on default justification logic that already represents undercutting and rebutting attacks, and we add undermining attacks. Intuitively, undermining does not target default inference, as undercutting, or default conclusion, as rebutting, but rather attacks an argument’s premise as a starting point for default reasoning. In default justification logic, reasoning starts from a set of premises, which is (...) then extended by conclusions that hold by default. We argue that modeling undermining defeaters in the view of default theories requires changing the set of premises upon receiving new information. To model changes to premises, we give a dynamic aspect to default justification logic by using the techniques from the logic of belief revision. More specifically, undermining is modeled with belief revision operations that include contracting a set of premises, that is, removing some information from it. The novel combination of default reasoning and belief revision in justification logic enriches both approaches to reasoning under uncertainty. By the end of the paper, we show some important aspects of defeasible argumentation in which our logic compares favorably to structured argumentation frameworks. (shrink)

Selinger provides a new take on what is being referred to in the computational literature as ‘structured argumentation’. In this commentary the differences and similarities with existing work are highlighted as a way of demonstrating how philosophical and computational approaches to argumentation are increasingly coming together and complementing one another.

We present a formal argumentation system for dealing with the detachment of prioritized conditional obligations and permissions. In the presence of facts and constraints, we answer the question whether an unconditional obligation or permission is detachable by considering arguments for and against its detachment. For the evaluation of arguments in favour of detachment, we use a Dung-style argumentation-theoretical semantics. We illustrate how violations and contrary-to-duty scenarios are dealt with in our framework and pay special attention to conflict-resolution via (...) priorities. (shrink)

Scientific research in the formal sciences comes in multiple degrees of formality: fully formal work; rigorous proofs that practitioners know to be formalizable in principle; and informal work like rough proof sketches and considerations about the advantages and disadvantages of various formal systems. This informal work includes informal and semi-formal debates between formal scientists, e.g. about the acceptability of foundational principles and proposed axiomatizations. In this paper, we propose to use the methodology of structured argumentation theory to produce (...) a formal model of such informal and semi-formal debates in the formal sciences. For this purpose, we propose ASPIC-END, an adaptation of the structured argumentation framework ASPIC+ which can incorporate natural deduction style arguments and explanations. We illustrate the applicability of the framework to debates in the formal sciences by presenting a simple model of some arguments about proposed solutions to the Liar paradox, and by discussing a more extensive—but still preliminary—model of parts of the debate that mathematicians had about the Axiom of Choice in the early twentieth century. (shrink)

What we usually think of as higher order skills in argumentation can be profitably viewed as systematic structures for organizing and representing information. Standard terms like “line of argument”, “synthesis”, “analysis” and “draft” can be viewed as ways of constructing, storing, and accessing data in a social context — data structures for social communication. What makes argument difficult are the multiple structures that arguers have to construct and negotiate when reading and composing. In this paper, we describe the WARRANT (...) project, a project designed to identify data structures of written argument and to design and implement computer tools to aid in the reading and design of argument. (shrink)

Structured argumentation systems, and their implementation, represent an important research subject in the area of Knowledge Representation and Reasoning. Structured argumentation advances over abstract argumentation frameworks by providing the internal construction of the arguments that are usually defined by a set of (strict and defeasible) rules. By considering the structure of arguments, it becomes possible to analyze reasons for and against a conclusion, and the warrant status of such a claim in the context of a (...) knowledge base represents the main output of a dialectical process. Computing such statuses is a costly process, and any update to the knowledge base could potentially have a huge impact if done naively. In this work, we investigate the case of updates consisting of both additions and removals of pieces of knowledge in the Defeasible Logic Programming (DeLP) framework, first analyzing the complexity of the problem and then identifying conditions under which we can avoid unnecessary computations—central to this is the development of structures (e.g. graphs) to keep track of which results can potentially be affected by a given update. We introduce a technique for the incremental computation of the warrant statuses of conclusions in DeLP knowledge bases that evolve due to the application of (sets of) updates. We present the results of a thorough experimental evaluation showing that our incremental approach yields significantly faster running times in practice, as well as overall fewer recomputations, even in the case of sets of updates performed simultaneously. (shrink)

An abstract framework for structured arguments is presented, which instantiates Dung's ('On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming, and n- Person Games', Artificial Intelligence , 77, 321-357) abstract argumentation frameworks. Arguments are defined as inference trees formed by applying two kinds of inference rules: strict and defeasible rules. This naturally leads to three ways of attacking an argument: attacking a premise, attacking a conclusion and attacking an inference. To resolve such attacks, (...) preferences may be used, which leads to three corresponding kinds of defeat: undermining, rebutting and undercutting defeats. The nature of the inference rules, the structure of the logical language on which they operate and the origin of the preferences are, apart from some basic assumptions, left unspecified. The resulting framework integrates work of Pollock, Vreeswijk and others on the structure of arguments and the nature of defeat and extends it in several respects. Various rationality postulates are proved to be satisfied by the framework, and several existing approaches are proved to be a special case of the framework, including assumption-based argumentation and DefLog. (shrink)

In abstract argumentation, each argument is regarded as atomic. There is no internal structure to an argument. Also, there is no specification of what is an argument or an attack. They are assumed to be given. This abstract perspective provides many advantages for studying the nature of argumentation, but it does not cover all our needs for understanding argumentation or for building tools for supporting or undertaking argumentation. If we want a more detailed formalization of arguments (...) than is available with abstract argumentation, we can turn to structured argumentation, which is the topic of this special issue of Argument and Computation. In structured argumentation, we assume a formal language for representing knowledge and specifying how arguments and counterarguments can be constructed from that knowledge. An argument is then said to be structured in the sense that normally, the premises and claim of the argument are made explicit, and the relationship between the premises and claim is formally defined (for instance, using logical entailment). In this introduction, we provide a brief overview of the approaches covered in this special issue on structured argumentation. (shrink)

According to David Chalmers , 'we have good reason to suppose that consciousness has a fundamental place in nature' . This, he thinks is because the world as revealed to us by fundamental physics is entirely structural -- it is a world not of things, but of relations -- yet relations can only account for more relations, and consciousness is not merely a relation . Call this the 'structural argument against physicalism.' I shall argue that there is a view about (...) the relationship between mind and body, what I call, 'Russellian physicalism' that is consistent with the premises of the structural argument yet does not imply that consciousness is fundamental. (shrink)

Carneades is a recently proposed formalism for structured argumentation with varying proof standards, inspired by legal reasoning, but more generally applicable. Its distinctive feature is that each statement can be given its own proof standard, which is claimed to allow a more natural account of reasoning under burden of proof than existing formalisms for structured argumentation, in which proof standards are defined globally. In this article, the two formalisms are formally related by translating Carneades into the (...) ASPIC+ framework for structured argumentation. Since ASPIC+ is defined to generate Dung-style abstract argumentation frameworks, this in effect translates Carneades graphs into abstract argumentation frameworks. For this translation, we prove a formal correspondence and show that certain rationality postulates hold. It is furthermore proved that Carneades always induces a unique Dung extension, which is the same in all of Dung's semantics, allowing us to generalise Carneades to cycle-containing structures. (shrink)

I examine the main anticosmopolitan Rawslian argument, the ‘basic structure argument.’ It holds that distributive justice only applies to existing basic structures, there are only state basic structures, so distributive justice only applies among compatriots. Proponents of the argument face three challenges: 1) they must explain what type of basic structure relation makes distributive justice relevant only among compatriots, 2) they must explain why distributive justice (as opposed to allocative or retributive) is the relevant regulative concept for basic structures, and (...) 3) they must put forth a plausible concept of distributive justice. I show that Rawlsians support what I will call the ‘division of labor thesis’ to answer the first two challenges. Briefly, the division of labor thesis holds that distributive justice only becomes relevant where members of a division of labor jointly produce some socioeconomic product. To meet the third challenge, Rawlsians seem to accept what Elizabeth Anderson calls the ‘modern systemic concept of distributive justice’ – the idea that distributive justice organizes entire economic systems with respect to their distributive consequences or the relationships they maintain. I argue that if Rawlsians accept the systemic concept, they should reject the anticosmopolitan basic structure argument. (shrink)

Contemporary discussions of private law theory have sought to divine the deep structure and content of private law by reference to two key distinctions. First, the distinction between private and criminal law has been utilized to flesh out the distinctively bipolar structure of private law. Second, the distinction between formal and distributive equality has served to highlight the special terms of interaction established in private law. In these pages, I take up the former distinction, arguing that its theoretical significance is (...) overdrawn. I argue that it does not succeed in identifying private law’s precise nature. (shrink)

In this article the argumentation structure of the court’s decision in the Popov v. Hayashi case is formalised in Prakken’s (Argument Comput 1:93–124; 2010) abstract framework for argument-based inference with structured arguments. In this framework, arguments are inference trees formed by applying two kinds of inference rules, strict and defeasible rules. Arguments can be attacked in three ways: attacking a premise, attacking a conclusion and attacking an inference. To resolve such conflicts, preferences may be used, which leads to (...) three corresponding kinds of defeat, after which Dung’s (Artif Intell 77:321–357; 1995) abstract acceptability semantics can be used to evaluate the arguments. In the present paper the abstract framework is instantiated with strict inference rules corresponding to first-order logic and with defeasible inference rules for defeasible modus ponens and various argument schemes. The main techniques used in the formal reconstruction of the case are rule-exception structures and arguments about rule validity. Arguments about socio-legal values and the use of precedent cases are reduced to arguments about rule validity. The tree structure of arguments, with explicit subargument relations between arguments, is used to capture the dependency relations between the elements of the court’s decision. (shrink)

Louis Painchaud | : Le traité Eugnoste conservé en copte dans les codices III et V de Nag Hammadi offre des indices clairs d’une composition suivant les règles de la rhétorique exposées dans les manuels gréco-romains. Il s’écarte toutefois de l’ordo naturalis en quatre parties, exordium, narratio, argumentatio et peroratio, défini par ces manuels, sans doute en raison des exigences de la situation de communication. En effet, au lieu d’être présentée en une seule partie suivant la narratio, consacrée à la (...) description des réalités invisibles, la preuve est disséminée au long de la narratio, sous la forme de comparaisons empruntées au domaine des réalités visibles, suivant un principe de connaissance commun selon lequel on peut connaître les réalités invisibles à partir des réalités visibles. | : The tractate Eugnostos preserved in Coptic in codices III and V from Nag Hammadi offers clear indications of a composition following the rules of Greco-Roman rhetorical handbooks. These textbooks define the ordo naturalis of the discourse in four parts, exordium, narratio, argumentatio and peroratio. Eugnostos however departs from this dispositio, most likely because of the requirements of the situation of communication. Indeed, instead of being presented in a single part following the narratio, dedicated to the description of the invisible realities, the proof appears throughout the narratio, in the shape of comparisons borrowed from the domain of the visible realities, following a common principle of knowledge according to which invisible realities can be discovered from the visible realities. (shrink)

This article critically examines a recent philosophical debate on the role of values in climate change forecasts, such as those found in assessment reports of the Intergovernmental Panel on Climate Change. On one side, several philosophers insist that the argument from inductive risk, as developed by Rudner and Douglas among others, applies to this case. AIR aims to show that ethical value judgments should influence decisions about what is sufficient evidence for accepting scientific hypotheses that have implications for policy issues. (...) Advocates of extending AIR to climate science claim that values are deeply... (shrink)

The nontechnical ability to identify or match argumentative structure seems to be an important reasoning skill. Instruments that have questions designed to measure this skill include major standardized tests for graduate school admission, for example, the United States-Canadian Law School Admission Test (LSAT), the Graduate Record Examinations (GRE), and the Graduate Management Admission Test (GMAT). Writers and reviewers of such tests need an appropriate foundation for developing such questions--they need a proper representation of phenomenological argumentative structure--for legitimacy, and because these (...) tests affect people's lives. This paper attempts to construct an adequate and appropriate representation of such structure, that is, the logical structure that an argument is perceived to have by mature reasoners, albeit ones who are untrained in logic. (shrink)

Although the controversy between Malthus and Ricardo has long been considered to be an important source for the history of economic thought, it has hardly been the object of a careful study qua controversy, i.e. as a polemical dialogical exchange. We have undertaken to fill this gap, within the framework of a more ambitious project that places controversies at the center of an account of the history of ideas, in science and elsewhere. It is our contention that the dialogical co-text (...) is essential for reconstructing the meaning and the evolution of science. In the present paper we try to substantiate this contention by means of a pragma-rhetorical study of this particular controversy. First, we reconstruct, through an analysis of a chunk of the correspondence, a micro-level of specific moves and countermoves which constitute a sequential structure within which also meta-scientific and meta-controversial considerations play a role. We then move to a macro-level of analysis, looking for recurrent patterns of argumentation. Finally, we draw epistemological conclusions on the nature of rationality and progress as manifested in actual scientific controversies. (shrink)

Alter elaborates and defends an ambitious argument advanced by Chalmers against physicalism. As Alter notes, the argument is valid. But I will argue that not all its premises are true. In particular, it is false that all physical truths are purely structural. In denying this, I focus not on the objects of pure physical theory but on the homely, macroscopic objects of our daily lives.

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)

The correct locus (or loci) of binding theory has been a matter of much discussion. Theories can be seen as varying along at least two dimensions. The rst is whether binding theory is con gurationally determined (that is, the theory exploits the geometry of a phrase marker, appealing to such purely structural notions as c-command and government) or whether the theory depends rather on examining the relations between items selected by a predicate (where by selection I am intending to cover (...) everything from semantic dependencies to syntactic subcategorization). The second is the level of grammar on which binding is de ned. Attempting to roughly equate levels across di erent theories, suggestions have included the semantics/lexical conceptual structure (Jackendo 1992), thematic structure (Jackendo 1972, Wilkins 1988), argument structure/D-structure/initial grammatical relations (Manning 1994, Belletti and Rizzi 1988, Perlmutter 1984), surface syntax/grammatical relations, logical form, linear order, pragmatics (Levinson 1991), and discourse (Iida 1992). The data is su ciently varied and complex that many theories end up as mixtures, variously employing a combination of elements along both dimensions (for instance, Chomsky (1986) relies purely on con gurational notions for the relationship between an anaphor and its antecedent, but uses concepts from selection in the de nition of the binding domain of an anaphor). LFG has always rejected a con gurational account of binding. For instancError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMape, Simpson (1991) argues that a con gurational theory of binding in Warlpiri cannot be maintained, among other reasons because nite clauses lack a VP.. (shrink)

The paper deals with an attempt to present an “abductive-transcendental” argument in favour of a particular version of structural realism (SR), dubbed Intermediate SR. In the first part of the paper the general structure of transcendental arguments is scrutinized with a close view on Kant’s original version and the prospect of their abductive variation. Then the role of symmetries in modern physics, especially symmetries without real instantiations and in particular gauge symmetries is discussed. This is combined with a presentation of (...) SR as a promising current version of scientific realism. The discussion is supported by various arguments form gauge theories in modern physics. Intermediate SR, a realist position about all and only structurally derivable entities located between the extremes of Epistemic and Ontic SR turns out as the best fit to our current fundamental gauge physics and this finally leads to an abductive-transcendental reasoning concerning this position. (shrink)

Argumentation is a dialogical attempt to bring about a desired change in the beliefs of another agent – that is, to trigger a specific belief revision process in the mind of such agent. However, so far formal models of belief revision widely neglected any systematic comparison with argumentation theories, to the point that even the simplest argumentation structures cannot be captured within such models. In this essay, we endeavour to bring together argumentation and belief revision in (...) the same formal framework, and to highlight the important role played by Toulmin’s layout of argument in fostering such integration. (shrink)

Much has been written about epistemological skepticism in the last ten or so years, but there remain some unanswered questions concerning the structure of what has become the canonical Cartesian skeptical argument. In this paper, I would like to take a closer look at this structure in order to determine just which epistemic principles are required by the argument.

Argument and explanation are distinct forms of reasoning with an underappreciated complementary relationship. In this essay I define these terms precisely, identify the mischief that results from conflating them, elucidate their complementary relationship and employ this relationship to provide a fruitful approach to analyzing the logical structure of the common editorial.

Perelman and Olbrechts-Tyteca's practical reasoning theory has attracted a great deal of interest since its publication in 1969. Their most important assertion, however, that argument is the logical basis for practical decision-making, has been under-utilized, primarily because it was not sufficiently operationalized for research purposes. This essay presents an operationalization of practical reasoning for use in analyzing argument logics that emerge through group interaction. Particular elements of discourse and argument are identified as responding to principles put forward by Perelman and (...) Olbrechts-Tyteca, and are viewed as fitting together in a kind of logical argument structure that is well suited to the study of practical arguments in decision-making. Both the content elements and the logical argument structure are illustrated using examples from two studies examining decision logics in public participation and jury decision-making. Advantages of this approach and proposed recognition of a new `filtered' type of argument structure are discussed. (shrink)

Various argumentation analysis tools permit the analyst to represent functional components of an argument (e.g., data, claim, warrant, backing), how arguments are composed of subarguments and defenses against potential counterarguments, and argumentation schemes. In order to facilitate a study of argument presentation in a biomedical corpus, we have developed a hybrid scheme that enables an analyst to encode argumentation analysis within the framework of Rhetorical Structure Theory (RST), which can be used to represent the discourse structure of (...) a text. This paper describes the hybrid representation scheme and illustrates its use for investigation of contexts that license omission of elements of an argument. The analyses given in the paper involve reconstruction of enthymemes. Defeasible argumentation schemes serve as a constraint on reconstruction. In addition, the examples illustrate several other types of contextual constraints on reconstruction of enthymemes. (shrink)

An approach to argument macrostructure -- The dialectical nature of argument -- Toulmin's problematic notion of warrant -- The linked-convergent distinction, a first approximation -- Argument structure and disciplinary perspective : the linked-convergent versus multiple-co-ordinatively compound distinctions -- The linked-convergent distinction, refining the criterion -- Argument structure and enthymemes -- From analysis to evaluation.

In lieu of an abstract, here is a brief excerpt of the content:The Argumentative Structure of Kant’s Metaphysical Foundations Of Natural ScienceEric Watkinsone of kant’s most fundamental aims is to justify Newtonian science. However, providing a detailed explanation of even the main structure of his argument (not to mention the specific arguments that fill out this structure) is not a trivial enterprise. While it is clear that Kant’s Critique of Pure Reason (1781), his Metaphysical Foundations of Natural Science (1786), and (...) his unpublished (and incomplete) Opus postumum should in some way constitute the core of this justification, it is less clear how each of these works does so in detail. In this paper I shall first argue that the standard view of the relationship between the Critique of Pure Reason and the Metaphysical Foundations of Natural Science (hereafter simply Metaphysical Foundations) is mistaken. I shall then present my own interpretation of how the Metaphysical Foundations contributes to the justification of Newtonian science. Finally, I shall conclude by considering an important interpretation of the argument of the Metaphysical Foundations developed by Michael Friedman. However, it is first necessary to present briefly Kant’s conception of science (in particular what conditions a body of knowledge must satisfy for Kant in order to be considered science proper) as well as Kant’s own understanding of the relevant differences between his projects in the first Critique, the Metaphysical Foundations, and the Opus postumum.Kant’s conception of science is rather strict if measured by contemporary standards. For in the preface to the Metaphysical Foundations Kant establishes three substantive conditions that a body of knowledge must satisfy in order to be considered science proper.1 (1) It must not consist in empirical principles, [End Page 567] but rather must be obtained solely from pure, a priori principles;2 (2) It must be apodictically certain;3 (3)4 It must be a systematically ordered whole (which means that its various propositions must be related as, for example, antecedents and consequents).5 After stating these conditions, Kant then argues that all natural science proper requires a pure part upon which its apodictic certainty is based. In other words, satisfaction of the first condition immediately implies satisfaction of the second condition as well.6 Accordingly, these three conditions (and the first one in particular) imply that natural science proper requires (or rather presupposes) a justification by something distinct from it that Kant calls a metaphysics of nature.7 But what exactly does a metaphysics of nature encompass? Kant distinguishes two different parts of the metaphysics of nature: a transcendental part and a special part. A metaphysics of nature [End Page 568] is transcendental insofar as it concerns “the laws that make the concept of nature in general possible, even without relation to any determinate object of experience, and [insofar as it is] thus indeterminate with respect to the nature of this or that thing in the sensible world,” whereas a metaphysics of nature is special to the extent that “it is concerned with a special nature of this or that kind of thing of which an empirical concept is given, but so that except for what lies in this concept no other empirical principle is used for knowledge thereof.”8 In short, a transcendental metaphysics, revealing how experience in general is possible, is not supposed to presuppose an empirical concept, whereas a special metaphysics does make such an assumption insofar as it is concerned with the special natures of things.How do the three works cited above relate to Kant’s distinction between a transcendental and a special metaphysics of nature? In the preface to the Metaphysical Foundations Kant clearly indicates that he intends the Metaphysical Foundations to constitute the special metaphysics of nature. Although he does not explicitly refer to the first Critique in the preface, it is also relatively clear that he sees it (or at least the ‘System of Pure Reason’ that Kant foresees as following upon it and as incorporating its fundamental results)9 as constituting [End Page 569] the transcendental part of a metaphysics of nature.10 The Principles of Pure Understanding (‘Grundsätze des reinen Verstandes’) in the Transcendental Analytic argue for what could naturally be described as “laws... (shrink)

The most prominent recent attack on compatibilism about determinism and moral responsibility is the so-called manipulation argument, which presents an allegedly responsibility-undermining manipulation case and then points out that the relevant facts of that case are no different from the facts that obtain in an ordinary deterministic world. In a recent article in this journal, however, Matt King presents a dilemma for proponents of this argument, according to which the argument either leads to a dialectical stalemate or else is dialectically (...) infelicitous. In this article I clarify the structure of the manipulation argument and construct a response to King’s dilemma. (shrink)

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 RECURRENT CLAIM that time is unreal has, by many, been judged as unintelligible and arguments in its favor as fallacious.

The purpose of this study is to analyse the structure of written argumentative texts produced by pupils in grades 3, 5, 7 and 11 in relation to three different tasks: Group A — subjects are assigned a topic question consisting of a single statement (open question); Group B — subjects are given a topic question consisting of both a statement and its opposite (opposite opinions); Group C — subjects are given an initial and a final sentence of a text, which (...) they have to complete, and which refers to opposite opinions (oriented task). Six different types of text organization were evidenced on the basis of the argumentative moves presented in the texts, the linguistic indexes used to express the relationships between the moves, the presence or absence of counter-arguments and the type of argumentation or reasoning used. The organization of the texts range from a simple affirmation of a position (repitition of the proposition or its opposition without any support) to a use of data or reasons to support a position, to others still in which two positions are presented in the body of a unitary structure, developed ‘in parallel’ and interconnected regularly. Our analysis found a well-defined tendency corresponding to the age levels in the types of texts produced by the subjects. The texts produced by the younger group, the pupils in elementary school, contained a fairly simple structural organization, characterized by very few argumentations or a lack of explicitness of the essential moves and a juxtaposing of arguments. The older subjects, in particular those attending secondary school, were able to produce texts which were more complex with regard to the presence and the organization of the argumentative moves, and more coherent and cohesive with respect to their articulation of opinions and use of adequate linguistic indices to analyze t topic. As regards the different types of tasks, when the subjects were presented explicitly with two opposite opinions (though in different terms), they developed both positions in their responses, contrary to the situation in which they produced one position when only one of two opinions was presented. (shrink)

Structure of English by Scott Soames & David M. Perlmutter Syntactic Argumentation and the Structure of English (SASE) presents the major theoretical ...

To analyze the argument structure, the linked vs convergent distinction is crucial. In applying this distinction, argumentation scholars test for variations of argument strength under premise revision. A relevance-based test assesses whether an argument’s premises are individually relevant to its conclusion, while a support-based test assesses whether premises support the conclusion independently. Both criteria presuppose that evaluating an argument’s strength is methodologically prior to identifying its structure. Yet, if ‘argument structure’ is a concept of analysis, then a structural analysis (...) would precede evaluating an argument’s strength. We problematize that state-of-the-art methods to identify structures fail, because they rely on evaluative judgments, and so “put the cart before the horse.”. (shrink)

Is structure a fundamental and indispensable part of the world? Is the question of ontology a question about structure? Structure is a central notion in contemporary metaphysics [Sider 2011. Writing the Book of the World. Oxford: Clarendon Press]. Realism about structure claims that the question of ontology is about the fundamental and indispensable structure of the world. In this paper, I present a criticism of the metaphysics of realism about structure based on a version of Russell’s famous regress argument against (...) nominalism [Russell 1911. “On the Relation of Universals and Particular.” In Logic & Knowledge. Reprint, London: George Allen & Unwin]. First, I argue that the three general tests for the fundamentality of structure proposed by realism about structure rely on a particular empirical test for structure, namely, the so-called ‘similarity test for structure.’ Second, I argue that the similarity test is not well-founded because it leads to a vicious regress. Third, I argue that the regress affects the whole metaphysics of realism about structure, and that no structural notion can be said to be fundamental in connection with any of the other tests. Lastly, I argue that the question of ontology as a question about structure is not substantive. (shrink)

William Baird collection in Social Sciences is the gift of the Estate of William Cameron Baird.