This article argues that the theoretical concept of meta-argumentative fallacy is useful. The authors argue for this along two lines. The first is that with the concept, the authors may clarify the concept of meta-argumentation. That is, by theorizing where meta-argument goes wrong, the authors may capture the norms of this level of argumentation. The second is that the concept of meta-argumentative fallacies provides an explanatory model for a variety of errors in argument otherwise difficult to theorize. The authors take (...) three as exemplary: the straw man, both sides, and free speech fallacies. (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)

This article presents a critical analysis of the main modern approaches to the problem of meta-argumentation and suggests a method for developing a general conception of meta-argumentation. A set of theoretical-methodological difficulties along this path is revealed. Overcoming these aporias would constitute the main steps toward developing the body of a theory of meta-argumentation.

This article shows that the Rhodian model of metatheory can be successfully applied to nonformal systems of a methodological rather than an axiological nature if the demands of the model are satisfied. This requires that we take into account the possible variations of Rhodian models of argumentation and choose the most effective of them. Plato's model of meta-argumentation is only applicable to fields of argumentation that are completely formalized and could be presented as whole general theories.

In this paper, we introduce the methodology and techniques of metaargumentation 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)

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)

Formal models of argumentation have been investigated in several areas, from multi-agent systems and artificial intelligence (AI) to decision making, philosophy and law. In artificial intelligence, logic-based models have been the standard for the representation of argumentative reasoning. More recently, the standard logic-based models have been shown equivalent to standard connectionist models. This has created a new line of research where (i) neural networks can be used as a parallel computational model for argumentation and (ii) neural (...) networks can be used to combine argumentation, quantitative reasoning and statistical learning. At the same time, non-standard logic models of argumentation started to emerge. In this paper, we propose a connectionist cognitive model of argumentation that accounts for both standard and non-standard forms of argumentation. The model is shown to be an adequate framework for dealing with standard and non-standard argumentation, including joint-attacks, argument support, ordered attacks, disjunctive attacks, meta-level attacks, self-defeating attacks, argument accrual and uncertainty. We show that the neural cognitive approach offers an adequate way of modelling all of these different aspects of argumentation. We have applied the framework to the modelling of a public prosecution charging decision as part of a real legal decision making case study containing many of the above aspects of argumentation. The results show that the model can be a useful tool in the analysis of legal decision making, including the analysis of what-if questions and the analysis of alternative conclusions. The approach opens up two new perspectives in the short-term: the use of neural networks for computing prevailing arguments efficiently through the propagation in parallel of neuronal activations, and the use of the same networks to evolve the structure of the argumentation network through learning (e.g. to learn the strength of arguments from data). (shrink)

In a recent paper in this journal, Jason Megill (2011) offers an innovative meta-argument which deploys considerations about multiple universes in an effort to block all arguments from evil. In what follows, I contend that Megill has failed to establish a key premise in his meta-argument. I also offer a rival account of the effect of multiverse models on the debate about evil.

I argue that Kotzee’s model of meta- debate succeeds in identifying illegitimate or fallacious charges of bias but has the unintended consequence of classifying some legitimate and non-fallacious charges as fallacious. This makes the model, in some important cases, counter-productive. In particular, cases where the call for a meta- debate is prompted by the participant with epistemic privilege and a charge of bias is denied by the participant with social advantage, the impasse will put the epistemically advantaged at far greater (...) risk. Therefore, I propose treating epistemic privilege as a variety of expert opinion specifically in cases where meta- debate participants come to an impasse in deliberation. My proposal exposes the problem of interpreting debate contexts as both adversarial and free from social power differentials. (shrink)

A new approach to Hume's problem of induction that justifies the optimality of induction at the level of meta-induction. Hume's problem of justifying induction has been among epistemology's greatest challenges for centuries. In this book, Gerhard Schurz proposes a new approach to Hume's problem. Acknowledging the force of Hume's arguments against the possibility of a noncircular justification of the reliability of induction, Schurz demonstrates instead the possibility of a noncircular justification of the optimality of induction, or, more precisely, of meta-induction (...) (the application of induction to competing prediction models). Drawing on discoveries in computational learning theory, Schurz demonstrates that a regret-based learning strategy, attractivity-weighted meta-induction, is predictively optimal in all possible worlds among all prediction methods accessible to the epistemic agent. Moreover, the a priori justification of meta-induction generates a noncircular a posteriori justification of object induction. Taken together, these two results provide a noncircular solution to Hume's problem. Schurz discusses the philosophical debate on the problem of induction, addressing all major attempts at a solution to Hume's problem and describing their shortcomings; presents a series of theorems, accompanied by a description of computer simulations illustrating the content of these theorems (with proofs presented in a mathematical appendix); and defends, refines, and applies core insights regarding the optimality of meta-induction, explaining applications in neighboring disciplines including forecasting sciences, cognitive science, social epistemology, and generalized evolution theory. Finally, Schurz generalizes the method of optimality-based justification to a new strategy of justification in epistemology, arguing that optimality justifications can avoid the problems of justificatory circularity and regress. (shrink)

In “Models and Reality”, H. Putnam formulated his model-theoretic argument against “metaphysical realism”. The article proposes a meta-reconstruction of Putnam’s model-theoretic argument in the light of two mutually compatible interpretations of it–elaborated by Manuel Garcia-Carpintero and Igor van Douven. A critical reflection on these interpretations and their adequacy for Putnam’s argument allows us to expose new theses coherent with Putnam’s reasoning and indicate new paths to improve this argument for our reconstruction task. In particular, we show that Putnam’s position (...) may be coherent with van Douven’s versions of Global Descriptivism under some conditions, but Putnam cannot reject realism as quickly as Carpintero suggests. We show that Suszko’s canonic axiomatic system and Sneed’s concept of theory may provide valuable support for Putnam’s argument. Finally, we critically evaluate Carpintero’s theses about the genesis of unintended interpretations of our languages, adopting the machinery of the Upward Skolem–Loewenheim Theorem and Knight’s Theorem. (shrink)

The primary aim of this paper is to critically evaluate the deductive model of ethical applications, which is based on normative ethical theories like deontology and consequentialism, and to show why a number of models have failed to furnish appropriate resolutions to practical moral problems. Here, for the deductive model, I want to call it a “Linear Mechanical Model” because the basic assumption of this model is that if a normative theory is sacrosanct, then the case is as it (...) is. The conclusion derived from the case will also be correct, true and acceptable. However, traditional ethicists used to apply their ethical theories, but they did not know which moral theory was effective on the ground level of reality. The study will show readers how ethical theories are in conflict with each other in the case of euthanasia. In more precise words, “which ethical theories are said to be applied, meta-ethical or normative, or both for the resolution of ethical problems? If normative theories are said to be applied, how the application can take place when it is contrary to our experience, that (then) in a situation of moral crises, no one really applies a theory?” For that, my argument is the linear model has failed because it is rigid, often ignores the agents’ intrinsic values, and has no space to amend it, no matter how bizarre the consequence is. Its alternative is the Inductive model. For that, the paper will take three moral principles (autonomy, beneficence including maleficence, and justice) of Beauchamp & Childress. This suggests us for resolving value-laden moral problems, we should consider some steps such as a) recognising moral issues to start with; b) developing the moral imagination; c) sharpening analytical/critical skills; d) testing out disagreements; e) effecting decisions and behavior; and f) implementation, closure, and process are of vital importance, in other words, it starts with the free and informed consensus of all interested parties, but this model also has been failed because the model could not give a systematic organization to their way of resolution. Here, my argument is that the inductive model provides resolution of the practical problem but ignores what is ethically obligatory, permissible, or wrong in that situation, and there are no appropriate suggestions in the case of a moral crisis. (shrink)

The task of data collection is becoming routine in many disciplines and this results in increased availability of data. This routinely collected data provides a valuable opportunity for analysis with a view to support evidence based decision making. In order to confidently leverage the data in support of decision making the most appropriate statistical method needs to be selected, and this can be difficult for an end user not trained in statistics. This paper outlines an application of argumentation to support (...) the analysis of clinical data, that uses Extended Argumentation Frameworks in order to reason with the meta-level arguments derived from preference contexts relevant to the data and the analysis objective of the end user. We outline a formalisation of the argument scheme for statistical model selection, its critical questions and the structure of the knowledge base required to support the instantiation of the arguments and meta-level arguments through the use of Z notation. This paper also describes the prototype implementation of argumentation for statistical model selection based on the Z specification outlined herein. (shrink)

ABSTRACT It can be summarized as the Why of Doing philosophy and the How of Doing Philosophy. For this purpose I deal with the notion of Consciousness. Not, to develop or advocate yet another idea about this notion, nor to present another speculation about how everything is conscious or that all thinI deal with a number of meta-philosophical issues and ideas. gs are physical, or any of the possible positions in between these two poles. I merely mention this issue so (...) as to illustrate what and how philosophy will deal with it. I then deal with some of the possible reasons and factors why certain individuals feel the intense need, motivation and obligation to philosophize. I focus on the Western tradition of philosophy and on original- and creative philosophers. In other words, I do not deal with those involved in academic institutions and professionals. The reason for this being that they teach, study, criticize and use the ideas of other thinkers and for academic related reasons, rather than those of original- and creative thinkers. I then deal with ideas about the nature and origins of our universe, as one possible universe, in a possible multiverse. Again, the reason for this is not to support or advocate any of the models, but to try and identify what is philosophically involved and to show how one will deal with them philosophically by questioning, argumentation and reasoning. Many people think when they talk about their every day lives, relationships and other aspects of their minute, little worlds, they are doing philosophy. Some of the fashionable issues that are favoured at the moment are: racism, gender, feminism, men and colonialism. Such people think their attitudes, beliefs and opinions about these flavour of the month topics are philosophy. Let them have their obsessions and concerns, let them turn them into academic subjects and qualifications, let them do post-doctorate research and write endless books about them, but do not involve me. How can I do philosophy as - there are things I do not know, there are things that I do notknow of and there are things that will be know and thought in future that I will never be aware of. Multi-sensory, embodied, consciousness (or mind) and minded or conscioussed, multi-sensory bodies of living organisms can said to be poles of a continuum (2 perspectives). Mind and body are often viewed in isolation, as unintegrated, dualistic phenomena, thus leading to false problems and -isms. I deal with issues concerning the origins of our universe for examplethe mediocrity principle and the anthropic principle, fine-tuning hypothesis. These three ideas, principles or hypotheses are of interest for a number of philosophical reasons, so I will mention what they are about. (shrink)

Meta-learning is learning to learn, which includes the development of capacities to transfer what people learned in one specific domain to other domains. It facilitates finetuning learning parameters and setting priors for effective and optimal learning in novel contexts and situations. Recent advances in research on artificial intelligence have reported meta-learning is essential in improving and optimizing the performance of trained models across different domains. In this paper, I suggest that meta-learning plays fundamental roles in practical wisdom and its (...) cultivation within moral domains. I support my argument with findings from studies in psychology, neuroscience, and computer science. Moreover, I suggested concrete ideas for moral education to foster wisdom cultivation along with meta-learning with evidence from studies across various fields. Particularly, I underscored that exemplars, including role models and mentors, play fundamental roles in education. Finally, I discussed the potential implications of the introduction of the concept, meta-learning, to moral education addressing concerns and issues related to socio-cultural diversity. (shrink)

Proof requires a dialogue between agents to clarify obscure inference steps, fill gaps, or reveal implicit assumptions in a purported proof. Hence, argumentation is an integral component of the discovery process for mathematical proofs. This work presents how argumentation theories can be applied to describe specific informal features in the development of proof-events. The concept of proof-event was coined by Goguen who described mathematical proof as a public social event that takes place in space and time. This new meta-methodological concept (...) is designed to cover not only “traditional” formal proofs but all kinds of proofs and inference steps, including incomplete or purported proofs. Our approach attempts to make proof-events more comprehensive to express the complete trajectory of a mathematical proof-event until the ultimate validation of the proving outcome. Thus, we advance an extended version of proof-event calculus which is built on argumentation theories designed to capture the internal and external structure of collaborative mathematical practice and highlight the relationship between proof, human reasoning, and cognitive processes. In addition, another area in which argumentation can make a significant contribution is dealing with the defeasible knowledge of the Web which is a product of its open and ubiquitous nature. This approach seems to be sufficient for the presentation of Web-based proving processes as manifested in the case of the Mini-Polymath 4 project. (shrink)

The task of data collection is becoming routine in many disciplines and this results in increased availability of data. This routinely collected data provides a valuable opportunity for analysis with a view to support evidence based decision making. In order to confidently leverage the data in support of decision making the most appropriate statistical method needs to be selected, and this can be difficult for an end user not trained in statistics. This paper outlines an application of argumentation to support (...) the analysis of clinical data, that uses Extended Argumentation Frameworks in order to reason with the meta-level arguments derived from preference contexts relevant to the data and the analysis objective of the end user. We outline a formalisation of the argument scheme for statistical model selection, its critical questions and the structure of the knowledge base required to support the instantiation of the arguments and meta-level arguments through the use of Z notation. This paper also describes the prototype implementation of argumentation for statistical model selection based on the Z specification outlined herein. (shrink)

Abstract:The main purpose of this paper is to defend traditional ethical theory (utilitarianism and deontology) for its application in business against a more recent model consisting of utility, rights, and justice. This is done in three parts: First, we provide a conceptual argument for the superiority of the traditional model; second, we demonstrate these points through an examination of three short cases; and third, we argue for the capability of the traditional model to account for universais and particulars in ethics.

Evidence-based medicine, with its evidence hierarchies and emphasis on RCTs, meta-analyses and systematic reviews, sets the model for evidence-based policy almost everywhere, policing no exception. But how closely should policing follow this model? We argue that RCTs can tell you little about what you need to know for real-world practice: will this policy work where and when you implement it? Defending that it will do so takes good theory. For RCTs to play a role in theory development, they must be (...) set into a larger body of knowledge, including local knowledge about the sites of implementation. Unfortunately the standard EBM model generally ignores the other kinds of knowledge needed. An alternative model for evidence-based policing, similar to that of the new movement for ‘EBM+’ and immanent in the practice of realist synthesis, focuses on the arguments that proposed policing policies will work where and when they are implemented and looks for the evidence needed to support those arguments. (shrink)

The paper aims at describing the discussion about the model-theorethic argument of Hilary Putnam in the past thirty years. First of all it presents the view of Timothy Bays, who through scrupulous examination of the formal side of the argument demonstrates that in fact it has very little in common with the model-theory. It is rather a simple and purely philosophical argument, which isn't more reliable and conclusive than any other argument in philosophy. Putnam tries to block the answer of (...) followers of the causal theory of reference by insisting that it is "just more theory", which could be erased by argument like any other language structure. In response meta-physical realists, like David Lewis and James Van Cleve, claim that "it is not causal language that fixes reference; it is causation itself". David Leech Anderson agrees with metaphysical realists that in principle causal theory could fix the reference, but in his opinion we do not have reliable and substantive theory of that kind, and it doesn't even seem probable that we will have such a theory in future. In conclusion, I agree with Putnam that the metaphysical realist says that "we-know-not-what fixes the reference relation we-know-not-how", and he doesn't have any chance of avoiding the demolition by the model-theorethic argument, because he still tries to separate sharply the realms of language and reality. (shrink)

Released mid-November 2022, Galactica is a set of six large language models (LLMs) of different sizes (from 125 M to 120B parameters) designed by Meta AI to achieve the ultimate ambition of “a single neural network for powering scientific tasks”, according to its accompanying whitepaper. It aims to carry out knowledge-intensive tasks, such as publication summarization, information ordering and protein annotation. However, just a few days after the release, Meta had to pull back the demo due to the strong (...) hallucinatory tendencies or underwhelming performances of the model. This article aims to study, through a critical threefold argument, the potential impacts of LLMs once deployed in the scientific value chain. Our first argument is a technical one. By examining the technicity of Galactica, it is possible to explain the descripancies between its promotional corporate discourse and abysmal outputs. Second, by going back to debates in both computer science and computational philosophy on the automation of abduction, we argue from the epistemological front that LLMs indeed cannot produce strong abductions and, therefore, claims about the automation of hypothesis generation remains chambering. Finally, our third argument is a sociological one. By conceptualizing the scientific field through Nancy Katherine Hayles’ cognitive assemblage theory, we aim to outline the potential steering of science by LLMs, mainly through information ordering. The core of our argument rests on the assertion that excessive control on information risks contravening a certain serendipitous aspect inherent to scientific discoveries. (shrink)

In this paper I investigate Putnam’s model-theoretic argument from a transcendent standpoint, in spite of Putnam’s well-known objections to such a standpoint. This transcendence, however, requires ascent to something more like a Tarskian meta-level than what Putnam regards as a “God’s eye view”. Still, it is methodologically quite powerful, leading to a significant increase in our investigative tools. The result is a shift from Putnam’s skeptical conclusion to a new understanding of realism, truth, correspondence, knowledge, and theories, or certain aspects (...) thereof, based on, among other things, a better understanding of what models are designed (and not designed) to do. (shrink)

While $$\Lambda $$ Λ CDM has emerged as the standard model of cosmology, a small group of physicists defends modified newtonian dynamics (MOND) as an alternative view on cosmology. Exponents of MOND have employed a broad, at times explicitly philosophical, conceptual perspective in arguing their case. This paper offers reasons why that MONDian defense has been ineffective. First, we argue that the defense is ineffective according to Popperian or Lakatosian views–ostensibly the preferred philosophical views on theory assessment of proponents of (...) MOND. Second, we argue that the defense of MOND can instead best be reconstructed as an instance of meta-empirical theory assessment. The formal employment of meta-empirical assessment by MONDians is unconvincing, however, because it lacks a sufficient epistemic foundation. Specifically, the MONDian No Alternatives Argument relies on falsifiability or explanation conditions that lack epistemic relevance, while the argument from Unexpected Explanatory Success fails since there is a known alternative to MOND. In the last part of the paper, we draw some lessons for applications of meta-empirical assessment more generally. (shrink)

The research described here explores the idea of using Supreme Court oral arguments as pedagogical examples in first year classes to help students learn the role of hypothetical reasoning in law. The article presents examples of patterns of reasoning with hypotheticals in appellate legal argument and in the legal classroom and a process model of hypothetical reasoning that relates them to work in cognitive science and Artificial Intelligence. The process model describes the relationships between an advocate’s proposed test for deciding (...) a case or issue, the facts of the hypothetical and of the case to be decided, and the often conflicting legal principles and policies underlying the issue. The process model of hypothetical reasoning has been partially implemented in a computerized teaching environment, LARGO (“Legal ARgument Graph Observer”) that helps students identify, analyze, and reflect on episodes of hypothetical reasoning in oral argument transcripts. Using LARGO, students reconstruct examples of hypothetical reasoning in the oral arguments by representing them in simple diagrams that focus students on the proposed test, the hypothetical challenge to the test, and the responses to the challenge. The program analyzes the diagrams and provides feedback to help students complete the diagrams and reflect on the significance of the hypothetical reasoning in the argument. The article reports the results of experiments evaluating instruction of first year law students at the University of Pittsburgh using the LARGO program as applied to Supreme Court personal jurisdiction cases. The learning results so far have been mixed. Instruction with LARGO has been shown to help law student volunteers with lower LSAT scores learn skills and knowledge regarding hypothetical reasoning better than a text-based approach, but not when the students were required to participate. On the other hand, the diagrams students produce with LARGO have been shown to have some diagnostic value, distinguishing among law students on the basis of LSAT scores, posttest performance, and years in law school. This lends support to the underlying model of hypothetical argument and suggests using LARGO as a pedagogically diagnostic tool. (shrink)

The book offers a compact but comprehensive introductory overview of the crucial components of argumentation theory. In presenting this overview, argumentation is consistently approached from a pragma-dialectical perspective by viewing it pragmatically as a goal-directed communicative activity and dialectically as part of a regulated critical exchange aimed at resolving a difference of opinion. As a result, the book also systematically explains how the constitutive parts of the pragma-dialectical theory of argumentation, which are discussed in a number of separate publications, hang (...) together. The following crucial topics are discussed: argumentation theory as a discipline; the meta-theoretical principles of pragma-dialectics; the model of a critical discussion aimed at resolving a difference of opinion; fallacies as violations of a code of conduct for reasonable argumentative discourse; descriptive research of argumentative reality; analysis as theoretically-motivated reconstruction; strategic manoeuvring aimed at combining achieving effectiveness with maintaining reasonableness; the conventionalization of argumentative practices; prototypical argumentative patterns; pragma-dialectics amidst other approaches. Argumentation Theory: A Pragma-Dialectical Perspective is clearly written and makes argumentation theory understandable to all scholars and advanced students interested in argumentation research. (shrink)

Many have expected that understanding the evolution of norms should, in some way, bear on our first-order normative outlook: How norms evolve should shape which norms we accept. But recent philosophy has not done much to shore up this expectation. Most existing discussions of evolution and norms either jump headlong into the is/ought gap or else target meta-ethical issues, such as the objectivity of norms. My aim in this paper is to sketch a different way in which evolutionary considerations can (...) feed into normative thinking—focusing on stability. I will discuss two forms of argument that utilize information about social stability drawn from evolutionary models, and employs it to assess claims in political philosophy. One such argument treats stability as feature of social states that may be taken into account alongside other features. The other uses stability as a constraint on the realization of social ideals, via a version of the ought-implies-can maxim. These forms of argument are not new; indeed they have a history going back at least to early modern philosophy. But their marriage with evolutionary information is relatively recent, has a significantly novel character, and has received little attention in recent moral and political philosophy. (shrink)

In the context of a study of meta-arguments in general, and famous meta-arguments in particular, I reconstruct chapter 1 of Mill’s Subjection of Women as the meta-argument: women’s liberation should be argued on its merits because the universality of subjection derives from the law of force and hence provides no presumption favoring its correctness. The raises the problem of the relationship among illative, dialectical, and meta-argumentative tiers.

Logical models of argument formalize commonsense reasoning while taking process and computation seriously. This survey discusses the main ideas which characterize di erent logical models of argument. It presents the formal features of a few main approaches to the modeling of argumentation. We trace the evolution of argumentationfrom the mid-80's, when argumentsystems emerged as an alternative to nonmonotonic formalisms based on classical logic, to the present, as argument is embedded in di erent complex systems for real-world applications, and (...) allows more formal work to be done in different areas, such as AI & Law, case-based reasoning and negotiation among intelligent agents. (shrink)

We present a computational model of dialectical argumentation that could serve as a basis for legal reasoning. The legal domain is an instance of a domain in which knowledge is incomplete, uncertain, and inconsistent. Argumentation is well suited for reasoning in such weak theory domains. We model argument both as information structure, i.e., argument units connecting claims with supporting data, and as dialectical process, i.e., an alternating series of moves by opposing sides. Our model includes burden of proof as a (...) key element, indicating what level of support must be achieved by one side to win the argument. Burden of proof acts as move filter, turntaking mechanism, and termination criterion, eventually determining the winner of an argument. Our model has been implemented in a computer program. We demonstrate the model by considering program output for two examples previously discussed in the artificial intelligence and legal reasoning literature. (shrink)

How children go about learning the general regularities that govern language, as well as keeping track of the exceptions to them, remains one of the challenging open questions in the cognitive science of language. Computational modeling is an important methodology in research aimed at addressing this issue. We must determine appropriate learning mechanisms that can grasp generalizations from examples of specific usages, and that exhibit patterns of behavior over the course of learning similar to those in children. Early learning of (...) verb argument structure is an area of language acquisition that provides an interesting testbed for such approaches due to the complexity of verb usages. A range of linguistic factors interact in determining the felicitous use of a verb in various constructions—associations between syntactic forms and properties of meaning that form the basis for a number of linguistic and psycholinguistic theories of language. This article presents a computational model for the representation, acquisition, and use of verbs and constructions. The Bayesian framework is founded on a novel view of constructions as a probabilistic association between syntactic and semantic features. The computational experiments reported here demonstrate the feasibility of learning general constructions, and their exceptions, from individual usages of verbs. The behavior of the model over the timecourse of acquisition mimics, in relevant aspects, the stages of learning exhibited by children. Therefore, this proposal sheds light on the possible mechanisms at work in forming linguistic generalizations and maintaining knowledge of exceptions. (shrink)

As more and more sophisticated software is created to allow the mining of arguments from natural language texts, this paper sets out to examine the suitability of the well-established and readily available methods of corpus linguistics to the study of argumentation. After brief introductions to corpus linguistics and the concept of meta-argument, I describe three pilot-studies into the use of the terms Straw man, Ad hominem, and Slippery slope, made using the open access News on the Web corpus. The presence (...) of each of these phrases on internet news sites was investigated and assessed for correspondence to the norms of use by argumentation theorists. All three pilot-studies revealed interesting facts about the usage of the terms by non-specialists, and led to numerous examples of the types of arguments mentioned. This suggests such corpora may be of use in two different ways: firstly, the wider project of improving public debate and educating the populace in the skills of critical thinking can only be helped by a better understanding of the current state of knowledge of the technical terms and concepts of argumentation. Secondly, theorists could obtain a more accurate picture of how arguments are used, by whom, and to what reception, allowing claims on such matters to be evidence, rather than intuition, based. (shrink)

_The thesis investigates metaphysical models of spin as a physical property instantiated by microphysical systems as described in non-relativistic quantum mechanics. The thesis is dived into two parts. The first part concerns foundational issues in meta-metaphysics. In particular, the author defends a naturalized approach to metaphysics, according to which metaphysical investigations have to be motivated and supported by our current best scientific theories. Furthermore, it is argued that naturalized metaphysics is in tension with (standard presentations of) scientific realism, and (...) possible ways out from the tension are outlined. In the second part, the author investigates how spin has to be metaphysically modelled. After having introduced how spin is characterised in non-relativistic quantum mechanics and which approach to the metaphysics of quantum mechanics is assumed, it is argued that scientific realists must commit to spin’s existence as a physical property. Then, the author introduces the recent debate on quantum indeterminacy, and he presents new arguments against a widely shared approach to such indeterminacy. In the last part of the thesis, the author introduces an original characterisation of spin as a property through the determinable-determinate machinery. Such metaphysical machinery is instrumental to present a taxonomy of possible metaphysical models. Finally, a new and original view about spin is introduced and it is defended as a genuine contender in the debate which deserves more attention from the literature._. (shrink)

We discuss five kinds of representations of rationales and provide a formal account of how they can alter disputation. The formal model of disputation is derived from recent work in argument. The five kinds of rationales are compilation rationales, which can be represented without assuming domain-knowledge (such as utilities) beyond that normally required for argument. The principal thesis is that such rationales can be analyzed in a framework of argument not too different from what AI already has. The result is (...) a formal understanding of rationales, a partial taxonomy, and a foundation for computer programs that represent and reason with rationales.The five kinds of rationales are as follows: (c)ompression and (s)pecialization, which yield rules, and (d)isputation, which yields a decision. These are modeled as potentially changing the focus of the dispute. Then there are (f)it, a rationale for rules, and (r)esolution, a rationale for decisions. These cannot be modeled as simply; they force disputation to a meta-level, at least temporarily. (shrink)

Although Hume’s critique of the design argument is a powerful non-inductive meta-argument, the main line of critical reasoning is not analogical but rather a complex meta-argument. It consists of two parts, one interpretive, the other evaluative. The critical meta-argument advances twelve criticisms: that the design argument is weak because two of its three premises are justified by inadequate subarguments; because its main inference embodies four flaws; and because the conclusion is in itself problematic for four reasons. Such complexity is quite (...) manageable in a meta-argumentation approach. (shrink)

Meta-arguments are arguments about one or more arguments, or argumentation in general. They contrast to ground-level arguments, which are about natural phenomena, historical events, human actions, abstract entities, etc. Although meta-arguments are common in all areas of human cognitive practice, and although implicit studies of them are found in many works, and although a few explicit scholarly contributions exist, meta-argumentation has never been examined explicitly, directly, and systematically in book-length treatment. This lacuna is especially unfortunate because such treatment can offer (...) not only an understanding of a special class of arguments, but also a promising way of doing logic and argumentation theory. This is the first book that attempts a systematic treatment of meta-arguments, providing both an illustration of the meta-argumentational approach to logical theory, and an analysis of an especially rich collection of meta-arguments. First, it elaborates an empirical methodology derived partly from a critical appreciation of Stephen Toulmin's applied-logic approach, and partly from a novel application of the author's historical-textual approach. Then it examines theoretical meta-arguments, by such scholars as Tony Blair, Robert Fogelin, Alvin Goldman, Trudy Govier, David Hitchcock, Ralph Johnson, Henry Johnstone, Erik Krabbe, Frans van Eemeren, Carl Wellman, and John Woods, on such topics as defining argument, methods of criticism, deep disagreements, and conductive or pro-and-con arguments. Thirdly, it studies famous meta-arguments by such classics as John Stuart Mill, David Hume, and Galileo Galilei, on such topics as freedom of discussion, women's liberation, the existence of God and intelligent design, and the motion of the earth. (shrink)

This chapter is an essay in a volume that examines constitutional law in the United States through the lens of H.L.A. Hart's "rule of recognition" model of a legal system. My chapter focuses on a feature of constitutional practice that has been rarely examined: how jurists and scholars argue about interpretive methods. Although a vast body of scholarship provides arguments for or against various interpretive methods -- such as textualism, originalism, "living constitutionalism," structure-and-relationship reasoning, representation reinforcement, minimalism, and so forth (...) -- very little scholarship shifts to the meta-level and asks: What are the considerations that jurists and scholars bring to bear in arguing that one or another interpretive method is legally favored? And can we "make sense" of this body of argument? Is there a model of legal discourse that both accurately describes how U.S. jurists and scholars actually argue about interpretive methods, and that vindicates this discourse (in the sense of seeing these actors as making valid arguments)? I find that Hart's rule-of-recognition model fails to describe or vindicate how U.S. jurists and scholars argue about interpretive methods. The problem, in a nutshell, is that Hart sees legal argument as asserting or presupposing the social fact of contemporary official acceptance of a rule of recognition. By contrast, jurists and scholars typically point to social facts other than contemporary official acceptance in arguing for the legal status of an interpretive method -- for example, the fact that the method is supported by Framers' intent, or by U.S. culture and tradition, or by precedent. Further, jurists and scholars very often argue that some interpretive method is legally favored even though the method is controversial. On Hart's model, such a claim is problematic -- because, on his model, the content of the rule of recognition is not controversial, but rather a matter of consensus among officials. The upshot may just be that Hart's model is a failure. However, another possibility is to adopt an "error theory" of U.S. constitutional discourse. It may perhaps be the case that U.S. jurists and scholars often make claims for the favorable legal status of some interpretive method that are inconsistent with the best understanding of the nature of law. (shrink)

Krabbe (2003, in F.H. van Eemeren, J.A. Blair, C.A. Willard and A.F. Snoeck Henkemans (eds.), Proceedings of the Fifth Conference of the International Society for the Study of Argumentation, Sic Sat, Amsterdam, pp. 641–644) defined a metadialogue as a dialogue about one or more dialogues, and a ground-level dialogue as a dialogue that is not a metadialogue. Similarly, I define a meta-argument as an argument about one or more arguments, and a ground-level argument as one which is not a meta-argument. (...) Krabbe (1995, in F.H van Eemeren, R. Grootendorst, J.A. Blair, C.A. Willard and A.F. Snoeck Henkemans (eds.), Proceedings of the Third ISSA Conference on Argumentation, Sic Sat, Amsterdam, pp. 333–344) showed that formal-fallacy criticism (and more generally, fallacy criticism) consists of metadialogues, and that such metadialogues can be profiled in ways that lead to their proper termination or resolution. I reconstruct Krabbe’s metadialogical account into monolectical, meta-argumentative terminology by describing three-types of meta-arguments corresponding to the three ways of proving formal invalidity he studied: the trivial logic-indifferent method; the method of counterexample situation; and the method of formal paraphrase. A fourth type of meta-argument corresponds to what Oliver (1967, Mind 76, 463–478), Govier (1985, Informal Logic 7, 27–33), and Copi (1986) call refutation by logical analogy. A fifth type of meta-argument represents my reconstruction of arguments by parity of reasoning studied by Woods and Hudak (1989, Informal Logic 11, 125–139). Other particular meta-arguments deserving future study are Hume’s critique of the argument from design in the Dialogues Concerning Natural Religion, and Mill’s initial argument in The Subjection of Women about the importance of established custom and general feeling vis-à-vis argumentation. (shrink)

Inspired by legal reasoning, this paper presents a formal framework for assessing conflicting arguments. Its use is illustrated with applications to realistic legal examples, and the potential for implementation is discussed. The framework has the form of a logical system for defeasible argumentation. Its language, which is of a logic-programming-like nature, has both weak and explicit negation, and conflicts between arguments are decided with the help of priorities on the rules. An important feature of the system is that these priorities (...) are not fixed, but are themselves defeasibly derived as conclusions within the system. Thus debates on the choice between conflicting arguments can also be modelled.The proof theory of the system is stated in dialectical style, where a proof takes the form of a dialogue between a proponent and an opponent of an argument. An argument is shown to be justified if the proponent can make the opponent run out of moves in whatever way the opponent attacks. Despite this dialectical form, the system reflects a declarative, or relational approach to modelling legal argument. A basic assumption of this paper is that this approach complements two other lines of research in AI and Law, investigations of precedent-based reasoning and the development of procedural, or dialectical models of legal argument. (shrink)

The analysis of how social conventions emerge and become established is rightly viewed as a significant study of great relevance to models of legal and social systems. Such conventions, however, do not operate in a monotonic fashion, i.e. the fact that a convention is recognised and complied with at some instant is no guarantee it will continue to be so indefinitely. In total rules and protocols may evolve, with or without the consent of individual members of the society, even (...) to the extent that some cease to be observed or effective. In this paper we examine a framework for examining such changes in behavioural conventions that uses a proposed “taxonomy of social conventions” as the basis of a qualitative model deriving from value-based argument systems. (shrink)

The idea that the world is made of particles — little discrete, interacting objects that compose the material bodies of everyday experience — is a durable one. Following the advent of quantum theory, the idea was revised but not abandoned. It remains manifest in the explanatory language of physics, chemistry, and molecular biology. Aside from its durability, there is good reason for the scientific realist to embrace the particle interpretation: such a view can account for the prominent epistemic fact that (...) only limited knowledge of a portion of the material universe is needed in order to make reliable predictions about that portion. Thus, particle interpretations can support an abductive argument from the epistemic facts in favor of a realist reading of physical theory. However, any particle interpretation with this property is untenable. The empirical adequacy of modern particle theories requires adoption of a postulate known as permutation invariance — the claim that interchanging the role of two particles of the same kind in a dynamical state description results in a description of the identical state. It is the central claim of this essay that PI is incompatible with any particle interpretation strong enough to account for the epistemic facts. This incompatibility extends across all physical theories. To frame and motivate the inconsistency argument, I begin by fixing the relevant notion of particle. To single out those accounts of greatest appeal to the realist, I develop the logically weakest particle ontology that entails the epistemic fact that the world is piecewise predictable, an ontology I call ‘minimal atomism’. The entire series of scientific conceptions of the particle, from Newton’s mechanically interacting corpuscles to the ‘centers of force’ in classical field theories, all comport with MA. As long as PI is left out, even quantum mechanics can be viewed this way. To assess the impact of PI on this picture, I present a framework for rigorously connecting interpretations to physical theories. In particular, I represent MA as a set of formal conditions on the models of physical theories, the mathematical structures taken to represent states of the world. I also formulate PI — originally introduced as a postulate of non-relativistic quantum mechanics — in theory independent terms. With all of these pieces in hand, I am then able to present a proof of the inconsistency of PI and MA. In the second part of the essay, I survey responses to the inconsistency result open to the scientific realist. The two most plausible approaches involve abandoning particles in one way or another. The first alternative interpretation considered takes the property bearing objects of the world to be regions of space rather than particles. In this view, the properties once attributed to particles in quantum states are attributed instead to one or more regions of space. PI no longer obtains in this case, at least not as a statement about the permutation symmetry of property bearers. Rather, the new interpretation naturally imposes an analogous constraint on quantum states. The second major approach to evading the inconsistency result is to dispense with objects altogether. This is the recommendation of so-called ‘Ontic Structural Realism’. The central OSR thesis is that structure rather than entities are the basic ontological components of the world. OSR is intended to embrace the ‘miracle’ argument in favor of scientific realism while avoiding the pessimistic meta-induction. I demonstrate that one principal motivation for OSR based on the under-determination of interpretations in QM is actually dissolved by the incompatibility result. At the same time, I suggest reasons to think that OSR fares no better with respect to the pessimistic meta-induction than traditional realism does. Thus, while PI and MA may be incompatible, object ontologies remain the best option for the realist. (shrink)

Meditation comprises a series of practices mainly developed in eastern cultures aiming at controlling emotions and enhancing attentional processes. Several authors proposed to divide meditation techniques in focused attention and open monitoring techniques. Previous studies have reported differences in brain networks underlying FA and OM. On the other hand common activations across different meditative practices have been reported. Despite differences between forms of meditation and their underlying cognitive processes, we propose that all meditative techniques could share a central process that (...) would be supported by a core network for meditation since their general common goal is to induce relaxation, regulating attention and developing an attitude of detachment from one’s own thoughts. To test this hypothesis, we conducted a quantitative meta-analysis based on activation likelihood estimation of 10 neuroimaging studies on different meditative techniques to evidence the core cortical network subserving meditation. We showed activation of basal ganglia , limbic system and medial prefrontal cortex . We discuss the functional role of these structures in meditation and we tentatively propose a neurocognitive model of meditation that could guide future research. (shrink)

In this paper we describe a method for the specification of computationalmodels of argument using dialogue games. The method, which consists ofsupplying a set of semantic definitions for the performatives making upthe game, together with a state transition diagram, is described in full.Its use is illustrated by some examples of varying complexity, includingtwo complete specifications of particular dialogue games, Mackenzie's DC,and the authors' own TDG. The latter is also illustrated by a fully workedexample illustrating all the features of the game.

In the context of a study of meta-arguments in general, and famous meta-arguments in particular, I reconstruct chapter 1 of Mill’s Subjection of Women as the meta-argument: women’s liberation should be argued on its merits because the universality of subjection derives from the law of force and hence provides no presumption favoring its correctness. The raises the problem of the relationship among illative, dialectical, and meta-argumentative tiers.

We present a novel argumentation-based method for finding and analyzing communities in social media on the Web, where a community is regarded as a set of supported opinions that might be in conflict. Based on their stance, we identify argumentative coalitions to define them; then, we apply a similarity-based evaluation method over the set of arguments in the coalition to determine the level of cohesion inherent to each community, classifying them appropriately. Introducing conflict points and attacks between coalitions based on (...) argumentative (dis)similarities to model the interaction between communities leads to considering a meta-argumentation framework where the set of coalitions plays the role of the set of arguments and where the attack relation between the coalitions is assigned a particular strength which is inherited from the arguments belonging to the coalition. Various semantics are introduced to consider attacks’ strength to particularize the effect of the new perspective. Finally, we analyze a case study where all the elements of the formal construction of the formalism are exercised. (shrink)

I analyze recent discussions about making moral decisions under normative uncertainty. I discuss whether this kind of uncertainty should have practical consequences for decisions and whether there are reliable methods of reasoning that deal with the possibility that we are wrong about some moral issues. I defend a limited use of the decision theory model of reasoning in cases of normative uncertainty.

Supervaluationism is one of the most discussed approaches to the semantics of future tense sentences in a branching time. In this paper, we consider the criticism advanced by Malpass against Supervaluationism. This criticism relies on the fact that supervaluationists must accept as supertrue disjunctions whose disjuncts are not only supertrue—which supervaluationists are ready to acknowledge—but also not satisfiable. In order to show this, Malpass proposes a formula, F F 1, which shows the existence of a satisfiable disjunction with unsatisfiable disjuncts (...) in supervaluationist models. In reply, we show that formula F F 1 cannot be expressed within a model (whether Ockhamist or supervaluationist) because it quantifies on models. It can be correctly characterised only within a meta-model that has the resources to quantify on various models. However, once that is done, F F 1 is, for the advocates of Supervaluationism, no more demanding than other disjunctions because it just generalises at the meta-theoretical level what supervaluationists already acknowledge at the theoretical level. (shrink)

It is undeniable that inductive reasoning has brought us much good. At least since Hume, however, philosophers have wondered how to justify our reliance on induction. In important recent work, Schurz points out that philosophers have been wrongly assuming that justifying induction is tantamount to showing induction to be reliable. According to him, to justify our reliance on induction, it is enough to show that induction is optimal. His optimality approach consists of two steps: an analytic argument for meta-induction (that (...) is, induction over inductive methods) and an application of meta-induction to empirical findings concerning the predictive accuracy of our actual inductive practices as compared to various non-inductive methods. The present article agrees with Schurz’s general conclusion but also argues that it leaves an important aspect of our inductive practices unaccounted for, to wit, that these practices have so far been highly successful; to satisfy the optimality requirement, induction only needs to be as successful as random guessing. To explain the success of induction, I turn to insights from social epistemology, also highlighted in Schurz’s work, and make these formally explicit in a framework that combines the Hegselmann–Krause model for opinion dynamics and Carnap’s system of λ rules. Within this framework, I use a standard evolutionary algorithm to show how communities of interacting agents may, through variation and selection, come to consist of highly successful inductive reasoners. (shrink)