The ANGELIC methodology was developed to encapsulate knowledge of particular legal domains. In this paper we describe its use to build a full scale practical application intended to be used internally by Weightmans, a large firm of legal practitioners with branches throughout the UK. We describe the domain, Noise Induced Hearing Loss (NIHL), the intended task, the sources used, the stages in development and the resulting application. An assessment of the project and its potential for further development is discussed. The (...) project shows that current academic research using computational models of argument can prove useful to legal practitioners confronted by real legal tasks. (shrink)

In this paper we describe an approach to practical reasoning, reasoning about what it is best for a particular agent to do in a given situation, based on presumptive justifications of action through the instantiation of an argument scheme, which is then subject to examination through a series of critical questions. We identify three particular aspects of practical reasoning which distinguish it from theoretical reasoning. We next provide an argument scheme and an associated set of critical questions which is able (...) to capture these features. In order that both the argument scheme and the critical questions can be given precise interpretations we use the semantic structure of an Action-Based Alternating Transition System as the basis for their definition. We then work through a detailed example to show how this approach to practical reasoning can be applied to a problem solving situation, and briefly describe some other previous applications of the general approach. In a second example we relate our account to the social laws paradigm for co-ordinating multi-agent systems. The contribution of the paper is to provide firm foundations for an approach to practical reasoning based on presumptive argument in terms of a well-known model for representing the effects of actions of a group of agents. (shrink)

In this paper we describe the impact that Walton’s conception of argumentation schemes had on AI and Law research. We will discuss developments in argumentation in AI and Law before Walton’s schemes became known in that community, and the issues that were current in that work. We will then show how Walton’s schemes provided a means of addressing all of those issues, and so supplied a unifying perspective from which to view argumentation in AI and Law.

In this paper we consider persuasion in the context of practical reasoning, and discuss the problems associated with construing reasoning about actions in a manner similar to reasoning about beliefs. We propose a perspective on practical reasoning as presumptive justification of a course of action, along with critical questions of this justification, building on the account of Walton. From this perspective, we articulate an interaction protocol, which we call PARMA, for dialogues over proposed actions based on this theory. We outline (...) an axiomatic semantics for the PARMA Protocol, and discuss two implementations which use this protocol to mediate a discussion between humans. We then show how our proposal can be made computational within the framework of agents based on the Belief-Desire-Intention model, and illustrate this proposal with an example debate within a multi agent system. (shrink)

In this paper, I discuss whether different interpretations of the ‘aim’ of belief—both the teleological and normative interpretations—have the resources to explain certain descriptive and normative features of suspended belief (suspension). I argue that, despite the recent efforts of theorists to extend these theories to account for suspension, they ultimately fail. The implication is that we must either develop alternative theories of belief that can account for suspension, or we must abandon the assumption that these theories ought to be able (...) to account for suspension. To close, I briefly consider some of the reasons we have in favour of pursing each of these options, and I suggest that it is worth exploring the possibility that suspension is best understood as its own attitude, independently of theories of belief’s ‘aim’. (shrink)

The distinction between action persuasion dialogues and deliberation dialogues is not always obvious at first sight. In this paper, we provide a characterisation of both types of dialogues that draws out the distinctive features of each. It is important to recognise the distinctions since participants in both types of dialogues will have different aims, which in turn affects whether a successful outcome can be reached. Such dialogues are typically conducted by exchanging arguments for and against certain options. The moves of (...) the dialogue are designed to facilitate such exchanges. In particular, we show how the pre- and post-conditions for the use of particular moves in the dialogues are very different depending upon whether they are used as part of a persuasion over action or a deliberation dialogue. We draw out the distinctions with reference to a running example that we also present as a logic program in order to give a clear characterisation of the two types of dialogues, which is intended to enable them to be used more effectively within systems requiring automated communication. (shrink)

What makes us conscious? Many theories that attempt to answer this question have appeared recently in the context of widespread interest about consciousness in the cognitive neurosciences. Most of these proposals are formulated in terms of the information processing conducted by the brain. In this overview, we survey and contrast these models. We first delineate several notions of consciousness, addressing what it is that the various models are attempting to explain. Next, we describe a conceptual landscape that addresses how the (...) theories attempt to explain consciousness. We then situate each of several representative models in this landscape and indicate which aspect of consciousness they try to explain. We conclude that the search for the neural correlates of consciousness should be usefully complemented by a search for the computational correlates of consciousness. (shrink)

This article has two aims. The first is to open up a line of inquiry into whether epistemic and aesthetic values interact, at the most general level. Does an overall increase in epistemic or aesthetic value in the world have an effect on the alternative value? The second, and more specific, aim is to argue that yes, it does. In particular, I argue that an increase in epistemic value would result in a decrease in aesthetic value, across two important dimensions. (...) First, I argue that, if beliefs universally aligned with a commonly accepted epistemic principle—namely, doxastic correctness—then there would be less aesthetic diversity in the world. And second, I argue that, if beliefs universally aligned with doxastic correctness, then there would also be less overall aesthetic value in the world, at least in some important respects. (shrink)

Doug Walton, who died in January 2020, was a prolific author whose work in informal logic and argumentation had a profound influence on Artificial Intelligence, including Artificial Intelligence and Law. He was also very interested in interdisciplinary work, and a frequent and generous collaborator. In this paper seven leading researchers in AI and Law, all past programme chairs of the International Conference on AI and Law who have worked with him, describe his influence on their work.

So far no known measure of confirmation of a hypothesis by evidence has satisfied a minimal requirement concerning thresholds of acceptance. In contrast, Shogenji’s new measure of justification (Shogenji, Synthese, this number 2009) does the trick. As we show, it is ordinally equivalent to the most general measure which satisfies this requirement. We further demonstrate that this general measure resolves the problem of the irrelevant conjunction. Finally, we spell out some implications of the general measure for the Conjunction Effect; in (...) particular we give an example in which the effect occurs in a larger domain, according to Shogenji justification, than Carnap’s measure of confirmation would have led one to expect. (shrink)

An infinite number of elastically colliding balls is considered in a classical, and then in a relativistic setting. Energy and momentum are not necessarily conserved globally, even though each collision does separately conserve them. This result holds in particular when the total mass of all the balls is finite, and even when the spatial extent and temporal duration of the process are also finite. Further, the process is shown to be indeterministic: there is an arbitrary parameter in the general solution (...) that corresponds to the injection of an arbitrary amount of energy (classically), or energy-momentum (relativistically), into the system at the point of accumulation of the locations of the balls. Specific examples are given that illustrate these counter-intuitive results, including one in which all the balls move with the same velocity after every collision has taken place. (shrink)

Reputation monitoring and the punishment of cheats are thought to be crucial to the viability and maintenance of human cooperation in large groups of non-kin. However, since the cost of policing moral norms must fall to those in the group, policing is itself a public good subject to exploitation by free riders. Recently, it has been suggested that belief in supernatural monitoring and punishment may discourage individuals from violating established moral norms and so facilitate human cooperation. Here we use cross-cultural (...) survey data from a global sample of 87 countries to show that beliefs about two related sources of supernatural monitoring and punishment — God and the afterlife —independently predict respondents' assessment of the justifiability of a range of moral transgressions. This relationship holds even after controlling for frequency of religious participation, country of origin, religious denomination and level of education. As well as corroborating experimental work, our findings suggest that, across cultural and religious backgrounds, beliefs about the permissibility of moral transgressions are tied to beliefs about supernatural monitoring and punishment, supporting arguments that these beliefs may be important promoters of cooperation in human groups. (shrink)

As befits an emerging field of enquiry, there is on-going discussion about the scope, role and future of the medical humanities. One relatively recent contribution to this debate proposes a differentiation of the field into two distinct terrains, ‘medical humanities’ and ‘health humanities,’ and calls for a supersession of the former by the latter. In this paper, we revisit the conceptual underpinnings for a distinction between ‘the medical’ and ‘health’ by looking at the history of an analogous debate between ‘medical (...) geography’ and ‘the geographies of health’ that has, over the last few years, witnessed a re-blurring of the distinction. Highlighting the value of this debate within the social sciences for the future development of the medical humanities, we call for scholars to take seriously the challenges of critical and cultural theory, community-based arts and health, and the counter-cultural creative practices and strategies of activist movements in order to meet the new research challenges and fulfill the radical potential of a critical medical humanities. (shrink)

Galileo claimed inconsistency in the Aristotelian dogma concerning falling bodies and stated that all bodies must fall at the same rate. However, there is an empirical situation where the speeds of falling bodies are proportional to their weights; and even in vacuo all bodies do not fall at the same rate under terrestrial conditions. The reason for the deficiency of Galileo’s reasoning is analyzed, and various physical scenarios are described in which Aristotle’s claim is closer to the truth than is (...) Galileo’s. The purpose is not to reinstate Aristotelian physics at the expense of Galileo and Newton, but rather to provide evidence in support of the verdict that empirical knowledge does not come from prior philosophy.Author Keywords: Author Keywords: Aristotle; Galileo; Thought experiments; Falling bodies. (shrink)

In this paper, I defend teleological theories of belief against the exclusivity objection. I argue that despite the exclusive influence of truth in doxastic deliberation, multiple epistemic aims interact when we consider what to believe. This is apparent when we focus on the processes involved in specific instances (or concrete cases) of doxastic deliberation, such that the propositions under consideration are specified. First, I out- line a general schema for weighing aims. Second, I discuss recent attempts to defend the teleological (...) position in relation to this schema. And third, I develop and defend my proposal that multiple epistemic aims interact in doxastic deliberation—a possibility which, as of yet, has received no serious attention in the literature. (shrink)

Today it is generally assumed that epistemic justification comes in degrees. The consequences, however, have not been adequately appreciated. In this paper we show that the assumption invalidates some venerable attacks on infinitism: once we accept that epistemic justification is gradual, an infinitist stance makes perfect sense. It is only without the assumption that infinitism runs into difficulties.

In this paper we apply a general account of practical reasoning to arguing about legal cases. In particular, we provide a reconstruction of the reasoning of the majority and dissenting opinions for a particular well-known case from property law. This is done through the use of Belief-Desire-Intention (BDI) agents to replicate the contrasting views involved in the actual decision. This reconstruction suggests that the reasoning involved can be separated into three distinct levels: factual and normative levels and a level connecting (...) the two, with conclusions at one level forming premises at the next. We begin by summarising our general approach, which uses instantiations of an argumentation scheme to provide presumptive justifications for actions, and critical questions to identify arguments which attack these justifications. These arguments and attacks are organised into argumentation frameworks to identify the status of individual arguments. We then discuss the levels of reasoning that occur in this reconstruction and the properties and significance of each of these levels. We illustrate the different levels with short examples and also include a discussion of the role of precedents within these levels of reasoning. (shrink)

The digital humanities have developed in concert with online systems that increase the accessibility and speed of learning. Whereas previously students were immersed in the fluidity of campus life, they have become suspended and drawn-into various streams and currents of digital pedagogy, which articulate new forms of epistemological movement, often operating at speeds outside the lived time and rhythm of human thought. When assessing learning technologies, we have to consider the degree to which they complement the rhythms immanent to human (...) thought, knowledge, investigation, and experimentation.In this paper, we examine learning from a humanities perspective, arguing that reading, writing, and thinking are ways of learning underscored by various genres of movement that segue with or diverge from the movements inherent to digital technologies, especially those deployed in learning systems. Using the work of thinkers such as John Dewey and Michel Serres, we examine the importance of movement in dialogue, where to truly learn involves embedding oneself in the flow of thought, accepting the flexibility of concepts, and aligning oneself with a community of thinkers. (shrink)

In Big Gods, Norenzayan (2013) presents the most comprehensive treatment yet of the Big Gods question. The book is a commendable attempt to synthesize the rapidly growing body of survey and experimental research on prosocial effects of religious primes together with cross-cultural data on the distribution of Big Gods. There are, however, a number of problems with the current cross-cultural evidence that weaken support for a causal link between big societies and certain types of Big Gods. Here we attempt to (...) clarify these problems and, in so doing, correct any potential misinterpretation of the cross-cultural findings, provide new insight into the processes generating the patterns observed, and flag directions for future research. (shrink)

A Zenonian supertask involving an infinite number of colliding balls is considered, under the restriction that the total mass of all the balls is finite. Classical mechanics leads to the conclusion that momentum, but not necessarily energy, must be conserved. Relativistic mechanics, on the other hand, implies that energy and momentum conservation are always violated. Quantum mechanics, however, seems to rule out the Zeno configuration as an inconsistent system.

Eells and Sober proved in 1983 that screening off is a sufficient condition for the transitivity of probabilistic causality, and in 2003 Shogenji noted that the same goes for probabilistic support. We start this paper by conjecturing that Hans Reichenbach may have been aware of this fact. Then we consider the work of Suppes and Roche, who demonstrated in 1986 and 2012 respectively that screening off can be generalized, while still being sufficient for transitivity. We point out an interesting difference (...) between Reichenbach’s screening off and the generalized version, which we illustrate with an example about haemophilia among the descendants of Queen Victoria. Finally, we embark on a further generalization: we develop a still weaker condition, one that can be made as weak as one wishes. (shrink)

Prominent evolutionary psychologists have argued that our innate psychological endowment consists of numerous domainspecific cognitive resources, rather than a few domaingeneral ones. In the light of some conceptual clarification, we examine the central inprinciple arguments that evolutionary psychologists mount against domaingeneral cognition. We conclude (a) that the fundamental logic of Darwinism, as advanced within evolutionary psychology, does not entail that the innate mind consists exclusively, or even massively, of domainspecific features, and (b) that a mixed innate cognitive economy of domainspecific (...) and domaingeneral resources remains a genuine conceptual possibility. However, an examination of evolutionary psychology's 'grain problem' reveals that there is no way of establishing a principled and robust distinction between domainspecific and domaingeneral features. Nevertheless, we show that evolutionary psychologists can and do live with this grain problem without their whole enterprise being undermined. (shrink)

Pierre Bourdieu was the most influential sociologist of the later 20th Century. The framework he developed continues to inspire countless researchers across the globe and provokes intense debates long after his death. Novel concepts, innovative applications and countless elaborations spring up every day, bulking out and shaping a distinct, if not always entirely consistent, body of work that might be characterised as a recognisable tradition. For those coming to Bourdieu for the first time, therefore, and interested in using his ideas (...) in their own research, it no longer makes sense to confine oneself to the ideas of the man himself. An overview of the varied ways his concepts and arguments have been deepened and updated to make sense of new times or to fill certain gaps, and how insights on seemingly disconnected topics weave together into a bigger picture, is not just desirable but essential. Bourdieu and After aims to provide exactly this overview. Working closely with Bourdieu's own writings, but also covering a wide range of research and literature inspired by him, it aims to guide the reader through the key principles, the major and minor concepts and the concrete findings of Bourdieusian sociology as clearly and comprehensively as possible. It explains the difficult and often overlooked philosophical foundations, walks through the logic of famous terms like 'field', 'habitus' and 'capital' and demonstrates how they have been or can be used to provide powerful accounts of colonialism, the emergence of nation states and the rise of global social relations. It covers topics that Bourdieu was famous for analysing, like class and educational inequality, yet also traverses subjects that he said little on but which others influenced by him have tackled in depth, such as ethnicity, sexuality and family. Along the way Atkinson seeks to undermine some of the common criticisms levelled at Bourdieu while identifying remaining gaps and limitations. Rather than simply recognise the problems, however, Atkinson proposes possible solutions too - solutions that are facilitated, he argues, by characterising Bourdieusian sociology as what he calls 'relational phenomenology'. (shrink)

Can some evidence confirm a conjunction of two hypotheses more than it confirms either of the hypotheses separately? We show that it can, moreover under conditions that are the same for ten different measures of confirmation. Further we demonstrate that it is even possible for the conjunction of two disconfirmed hypotheses to be confirmed by the same evidence.

In this paper, we present a particular role for abductive reasoning in law by applying it in the context of an argumentation scheme for practical reasoning. We present a particular scheme, based on an established scheme for practical reasoning, that can be used to reason abductively about how an agent might have acted to reach a particular scenario, and the motivations for doing so. Plausibility here depends on a satisfactory explanation of why this particular agent followed these motivations in the (...) particular situation. The scheme is given a formal grounding in terms of action-based alternating transition systems and we illustrate the approach with a running legal example. Keywords Argumentation schemes - Abductive reasoning - Practical reasoning. (shrink)

In this paper 1 1 This is a version of a paper originally presented at ArgMAS 2014. we address some limitations with proposals concerning an argumentation scheme for practical reasoning grounded on action-based alternating transition systems augmented with values. In particular, we extend the machinery to enable the proper representation of, and ability to reason with, goals. This allows the more satisfactory representation of certain critical questions, and the means to explicitly record differences between agents as to what will count (...) as the fulfillment of goals and the promotion of values. It also allows us to express desires in terms of values, and to make plain the relation between a change in circumstances and the promotion and demotion of values. Three detailed examples are used to illustrate the additional kinds of problem the extensions allow us to consider. (shrink)

This paper engages with the theme of disgrace from a Bourdieusian point of view. Starting out from a specific definition of ‘grace’ in terms of misrecognition, it goes on to consider some of the ways in which disgrace can be generated and some of the ways it can be handled by the disgraced party. While there are certainly many intra-field modalities of the genesis of disgrace, including violation of the rules of the game, the paper also emphasizes that disgrace can (...) be generated by cross-field events, necessitating a switch of perspective from individuals in one field to individuals in multiple fields. This is also true of strategies for coping with disgrace. (shrink)

Like many discussions on the pros and cons of epistemic foundationalism, the debate between C. I. Lewis and H. Reichenbach dealt with three concerns: the existence of basic beliefs, their nature, and the way in which beliefs are related. In this paper we concentrate on the third matter, especially on Lewis’s assertion that a probability relation must depend on something that is certain, and Reichenbach’s claim that certainty is never needed. We note that Lewis’s assertion is prima facie ambiguous, but (...) argue that this ambiguity is only apparent if probability theory is viewed within a modal logic. Although there are empirical situations where Reichenbach is right, and others where Lewis’s reasoning seems to be more appropriate, it will become clear that Reichenbach’s stance is the generic one. We conclude that this constitutes a threat to epistemic foundationalism.Keywords: Epistemic foundationalism; Probability; Clarence Irving Lewis; Hans Reichenbach. (shrink)

We have earlier shown by construction that a proposition can have a welldefined nonzero probability, even if it is justified by an infinite probabilistic regress. We thought this to be an adequate rebuttal of foundationalist claims that probabilistic regresses must lead either to an indeterminate, or to a determinate but zero probability. In a comment, Frederik Herzberg has argued that our counterexamples are of a special kind, being what he calls ‘solvable’. In the present reaction we investigate what Herzberg means (...) by solvability. We discuss the advantages and disadvantages of making solvability a sine qua non , and we ventilate our misgivings about Herzberg’s suggestion that the notion of solvability might help the foundationalist. (shrink)

Quantum electrodynamics is a time-symmetric theory that is part of the electroweak interaction, which is invariant under a generalized form of this symmetry, the PCT transformation. The thesis is defended that the arrow of time in electrodynamics is a consequence of the assumption of an initial state of high order, together with the quantum version of the equiprobability postulate.

Languages spoken in larger populations are relatively simple. A possible explanation for this is that languages with a greater number of speakers tend to also be those with higher proportions of non‐native speakers, who may simplify language during learning. We assess this explanation for the negative correlation between population size and linguistic complexity in three experiments, using artificial language learning techniques to investigate both the simplifications made by individual adult learners and the potential for such simplifications to influence group‐level language (...) characteristics. In Experiment 1, we show that individual adult learners trained on a morphologically complex miniature language simplify its morphology. In Experiment 2, we explore how these simplifications may then propagate through subsequent learning. We use the languages produced by the participants of Experiment 1 as the input for a second set of learners, manipulating (a) the proportion of their input which is simplified and (b) the number of speakers they receive their input from. We find, contrary to expectations, that mixing the input from multiple speakers nullifies the simplifications introduced by individuals in Experiment 1; simplifications at the individual level do not result in simplification of the population's language. In Experiment 3, we focus on language use as a mechanism for simplification, exploring the consequences of the interaction between individuals differing in their linguistic competence (as native and non‐native speakers might). We find that speakers who acquire a more complex language than their partner simplify their language during interaction. We ultimately conclude that adult learning can result in languages spoken by more people having simpler morphology, but that idiosyncratic simplifications by non‐natives do not offer a complete explanation in themselves; accommodation—by comparatively competent non‐natives to less competent speakers, or by native speakers to non‐natives—may be a key linking mechanism. (shrink)

My theme is thought experiment in natural science, and its relation to real experiment. I shall defend the thesis that thought experiments that do not lead to theorizing and to a real experiment are generally of much less value that those that do so. To illustrate this thesis I refer to three examples, from three very different periods, and with three very different kinds of status. The first is the classic thought experiment in which Galileo imagined that he had, by (...) pure thought, demolished Aristoteles' dogma that heavier bodies fall more quickly than light ones. I will show that he was mistaken. The second is the Einstein-Podolsky-Rosen paper purporting to show that quantum mechanics must be incomplete in its domain of application. This thought experiment is a very good one, not because its conclusions are correct, but precisely because it was fruitful, leading to theory and, above all, to a real experiment. Finally I discuss the modern string theory of everything, which, while it is regarded as a physical theory by its instigators, shares some properties of the least successful sort of thought experiment. (shrink)

The notion of probabilistic support is beset by well-known problems. In this paper we add a new one to the list: the problem of transitivity. Tomoji Shogenji has shown that positive probabilistic support, or confirmation, is transitive under the condition of screening off. However, under that same condition negative probabilistic support, or disconfirmation, is intransitive. Since there are many situations in which disconfirmation is transitive, this illustrates, but now in a different way, that the screening-off condition is too restrictive. We (...) therefore weaken this condition to what we call ‘partial’ screening off. We show that the domain defined by partial screening off comprises two mutually exclusive subdomains. In one subdomain disconfirmation is indeed transitive, but confirmation is then intransitive. In the other, confirmation is transitive, but here disconfirmation is once more intransitive. (shrink)

Despite multiple axes of variation in defining wellbeing, the paper argues for the dominance of a ‘components approach’ in current research and practice. This approach builds on a well-established tradition within the social sciences of attending to categories whether for their identification, their value or their meanings and political resonance. The paper critiques the components approach and explores how to move beyond it towards conceptually integrating the various categories and dimensions through a relational and situated account of wellbeing. Drawing on (...) more fluid social sciences, wellbeing is framed as an effect, dependent on the mobilisation of resources from everyday encounters with complex assemblages of people, things and places. Through such a framing, wellbeing can be conceived of as stable and amenable to change, as individual and collective and as subjective and objective. Policy interventions then need to attend to the relationalities of particular social and spatial contexts. (shrink)