In this paper a dialogue game for critical discussion is developed. The dialogue game is a formalisation of the ideal discussion model that is central to the pragma-dialectical theory of argumentation. The formalisation is intended as a preparatory step to facilitate the development of computational tools to support the pragma-dialectical study of argumentation. An important dimension of the pragma-dialectical discussion model is the role played by speech acts. The central issue addressed in this paper is how the speech act perspective (...) can be accommodated in the formalisation as a dialogue game. The starting point is an existing ‘basic’ dialogue game for critical discussion, in which speech acts are not addressed. The speech act perspective is introduced into the dialogue game by changing the rules that govern the moves that can be made and the commitments that these result in, while the rules for the beginning, for the end, and for the structure of the dialogue game remain unchanged. The revision of the move rules is based on the distribution of speech acts in the pragma-dialectical discussion model. The revision of the commitment rules is based on the felicity conditions that are associated with those speech acts. (shrink)

Argument schemes are abstractions substantiating the inferential connection between premise(s) and conclusion in argumentative communication. Identifying such conventional patterns of reasoning is essential to the interpretation and evaluation of argumentation. Whether studying argumentation from a theory-driven or data-driven perspective, insight into the actual use of argumentation in communicative practice is essential. Large and reliably annotated corpora of argumentative discourse to quantitatively provide such insight are few and far between. This is all the more true for argument scheme corpora, which tend (...) to suffer from a combination of limited size, poor validation, and the use of ad hoc restricted typologies. In the current paper, we describe the annotation of schemes on the basis of two distinct classifications: Walton’s taxonomy of argument schemes, and Wagemans’ Periodic Table of Arguments. We describe the annotation procedure for each, and the quantitative characteristics of the resulting annotated text corpora. In doing so, we extend the annotation of the preexisting US2016 corpus of televised election debates, resulting in, to the best of our knowledge, the two largest consistently annotated corpora of schemes in argumentative dialogue publicly available. Based on evaluation in terms of inter-annotator agreement, we propose further improvements to the guidelines for annotating schemes: the argument scheme key, and the Argument Type Identification Procedure. (shrink)

With direct-to-consumer advertisements (DTCA), pharmaceutical companies can market their prescription drugs directly to consumers. In order to properly study the argumentative aspect of these advertisements from a pragma-dialectical perspective, it is necessary to characterize DTCA as an ‘argumentative activity type’. This characterization shows that in DTCA, the advertiser combines two genres of communicative activity: promotion and consultation. The use of promotion stems from the advertiser’s commercial objective of selling products, while the use of consultation is a result of the legal (...) obligation to present a fair balance between arguments for and against the use of a drug. (shrink)

The generalised, automated reconstruction of the reasoning structures underlying persuasive communication is an enormously challenging task. While this work in argument mining is increasingly informed by the rich tradition of argumentation studies outside the computational field, the rhetorical perspective on argumentation is thus far largely ignored. To explore the application of rhetorical insights in argument mining, we conduct a pilot study on the connection between rhetorical figures and argumentation structure. Rhetorical figures are linguistic devices that perform a variety of functions (...) in argumentative discourse. The textual form of some of these figures is easy to identify automatically, such that an established connection between the figure and a preponderance of argumentative content would improve the performance of argument mining techniques. Furthermore, the automated mining of rhetorical figures could be used as an empirical, corpus-based testing ground for the claims made about these figures in the rhetorical literature. In the pilot study, we explore the connection between eight rhetorical figures the forms of which we expect to be relatively easy to identify computationally, and argumentation structure (concretely, we consider the six schemes ‘anadiplosis’, ‘epanaphora’, ‘epistrophe’, ‘epizeuxis’, ‘eutrepismus’, and ‘polyptoton’, and the two tropes ‘antithesis’ and ‘dirimens copulatio’, and relate their occurrences to relations of inference and conflict). The data of the study is collected in the MM2012c corpus of 39,694 words of argumentatively annotated transcripts from the BBC Radio 4’s Moral Maze discussion program. We show that some of the figures indeed correspond to passages of high argumentative density, relative to the text as a whole. (shrink)

The study of fallacies is at the heart of argumentation studies. In response to Hamblin’s devastating critique of the state of the theory of fallacies in 1970, both formal dialectical and informal approaches to fallacies developed. In the current paper, we focus on an influential informal approach to fallacies, part of the pragma-dialectical theory of argumentation. Central to the pragma-dialectical method for analysing and evaluating argumentative discourse is the ideal model of a critical discussion. In this discussion model, a dialectical (...) perspective on argumentation is combined with a pragmatic take on communicative interaction. By formalising and computationally implementing the model of a critical discussion, we take a first step in the development of software to computationally model argumentative dialogue in which fallacies are prohibited along the pragmadialectical norms. We do this by defining the Critical Discussion Game, a formal dialogue game based on the pragma-dialectical discussion model, executable on an online user-interface which is part of a larger infrastructure of argumentation software. (shrink)

As the average age of the population increases, so too do the number of people living with chronic illnesses. With limited resources available, the development of dialogue-based e-health systems that provide justified general health advice offers a cost-effective solution to the management of chronic conditions. It is however imperative that such systems are responsible in their approach. We present in this paper two main challenges for the deployment of e-health systems, that have a particular relevance to dialogue and argumentation: collecting (...) and handling health data, and trust. For both challenges, we look at specific issues therein, outlining their importance in general, and describing their relevance to dialogue and argumentation. Finally, we go on to propose six recommendations for handling these issues, towards addressing the main challenges themselves, that act both as general advice for dialogue and argumentation research in the e-health domain, and as a foundation for future work on this topic. (shrink)

Online debates typically possess a large number of argumentative comments. Most readers who would like to see which comments are winning arguments often only read a part of the debate. Many platforms that host such debates allow for the comments to be sorted, say from the earliest to latest. How can argumentation theory be used to evaluate the effectiveness of such policies of sorting comments, in terms of the actually winning arguments displayed to a reader who may not have read (...) the whole debate? We devise a pipeline that captures an online debate tree as a bipolar argumentation framework (BAF), which is sorted depending on the policy, giving a sequence of induced sub-BAFs representing how and how much of the debate has been read. Each sub-BAF has its own set of winning arguments, which can be quantitatively compared to the set of winning arguments of the whole BAF. We apply this pipeline to evaluate policies on Kialo debates, where it is shown that reading comments from most to least liked, on average, displays more winners than reading comments earliest first. Therefore, in Kialo, reading comments from most to least liked is on average more effective than reading from the earliest to the most recent. (shrink)

In September 2018, the ArgDiaP association, along with colleagues from Germany and the UK, organised one of the longest and most interdisciplinary series of events ever dedicated to argumentation - Warsaw Argumentation Week, WAW 2018. The eleven-day ‘week’ featured a five day graduate school on computational and linguistic perspectives on argumentation (3rd SSA school); five workshops: on systems and algorithms for formal argumentation (2nd SAFA), argumentation in relation to society (1st ArgSoc), philosophical approaches to argumentation (1st ArgPhil), legal argumentation (2ndMET-ARG) (...) and argumentation in rhetoric (1st MET-RhET); and two conferences: on computational models of argumentation (7th COMMA conference) and on argumentation and corpus linguistics (16th ArgDiaP conference). WAW hosted twelve tutorials and eight invited talks as well as welcoming over 130 participants. All the conferences and workshops publish pre- or post-proceedings in the top journals and book series in the field. (shrink)

This book reconceives disability as a set of social relations and practices, as experienced embodiment, and as an emancipatory movement, as well as a biomedical phenomenon. The author brings new attention to complex ethical questions surrounding disability, looking at not only the biomedical understanding of impairment, but also its cultural representations and social organization.

During the twelfth and thirteenth centuries, great new trends of Jewish thought emerged whose widely varied representatives--Kabbalists, philosophers, and astrologers--each claimed that their particular understanding revealed the actual secret of the Torah. They presented their own readings in a coded fashion that has come to be regarded by many as the very essence of esotericism. Concealment and Revelation takes us on a fascinating journey to the depths of the esoteric imagination. Carefully tracing the rise of esotericism and its function in (...) medieval Jewish thought, Moshe Halbertal's richly detailed historical and cultural analysis gradually builds conceptual-philosophical force to culminate in a masterful phenomenological taxonomy of esotericism and its paradoxes. Among the questions addressed: What are the internal justifications that esoteric traditions provide for their own existence, especially in the Jewish world, in which the spread of knowledge was of great importance? How do esoteric teachings coexist with the revealed tradition, and what is the relationship between the various esoteric teachings that compete with that revealed tradition? Halbertal concludes that, through the medium of the concealed, Jewish thinkers integrated into the heart of the Jewish tradition diverse cultural influences such as Aristotelianism, Neoplatonism, and Hermeticisims. And the creation of an added concealed layer, unregulated and open-ended, became the source of the most daring and radical interpretations of the tradition. (shrink)

St. Stephen's Society, Hang Fook Camp, Kowloon, Hong Kong was formally registered in 1981, but its origins go back to 1966. It is a member of the Hong Kong Council of Social Services and the central Registry of Drug Abuse. The Society works in cooperation with the courts, doctors and social workers to provide a spiritual, physical, emotional, educational and social rehabilitation programme. St. Stephen's houses about 300 people on any given day. It meets in Hang Fook Camp which is (...) leased to them by the Hong Kong Government where a regular meeting is held for Christian Fellowship, the Hang Fook Christian Fellowship. (shrink)

The pandemic years have taught bioethicists a lot about the experience of working on an issue at the same time as being directly affected by it. Under normal circumstances, if we can remember what those were, we are very often thinking and writing about a situation of moral difficulty that we know, and can only know, as outsiders. We...

This paper studies a propositional logic which is obtained by interpreting implication as formal provability. It is also the logic of finite irreflexive Kripke Models.A Kripke Model completeness theorem is given and several completeness theorems for interpretations into Provability Logic and Peano Arithmetic.

Atmospheres are affective, sensory realms, where mood is palpable. Memory landscapes intensify affectivity, amplifying emotion. The senses, especially smell and taste, trigger and heighten memory. There is therefore a potent intersection between landscape, atmospheres, memory, and the senses. These connections present the compelling prospect that atmospheres could be designed, with the intention of enhancing memory landscapes through sensory means. This paper is written from the perspective of landscape architecture, a discipline which designs and shapes landscapes. Landscape architects work within the (...) spatially and temporally fluid context of the landscape, and aligned with this is the prospect of generating and tuning atmospheres. Past traumatic events, losses of people and places, float in atmospheres of melancholy. Two projects are explored here to probe the possibilities of intentionally invoking atmospheres, exploring how the landscape could be sensorially tonalised. The memorial landscape of Pike River where 29 men died in a mine explosion, and Laura Daly’s augmented reality artwork, The Storm Cone, offer insights into the possibilities of atmospheric design. (shrink)

In this paper I give a characterization of the closed fragment of the provability logic of $I \triangle_0 + \mathrm{EXP}$ with a propositional constant for $\mathrm{EXP}$. In three appendices many details on arithmetization are provided.

ABSTRACT The part played by time in ethics is often taken for granted, yet time is essential to moral decision making. This paper looks at time in ethical decisions about having a genetic test. We use a patient‐centred approach, combining empirical research methods with normative ethical analysis to investigate the patients' experience of time in (i) prenatal testing of a foetus for a genetic condition, (ii) predictive or diagnostic testing for breast and colon cancer, or (iii) testing for Huntington's disease (...) (HD). We found that participants often manipulated their experience of time, either using a stepwise process of microdecisions to extend it or, under the time pressure of pregnancy, changing their temporal ‘depth of field’. We discuss the implications of these strategies for normative concepts of moral agency, and for clinical ethics. (shrink)

La maladie de l'ame... la belle expression platonicienne n'a de cesse d'etre d'actualite. Non seulement elle est prompte a revenir d'epoque en epoque, mais elle semble particulierement friande de la notre. Que cette maladie designe une vague tristesse, un taedium vitae, ou, plus grave, une depression, elle implique tout a la fois la souffrance morale et la souffrance physique. L'ame et le corps sont divises mais se retrouvent dans la douleur si bien que la maladie de l'ame vient de ce (...) que nous avons un corps. De ce constat paradoxal Jackie Pigeaud tire une histoire, celle du triomphe du dualisme, du fardeau de l'ame et du corps contraints a etre separes et ensemble a perpetuite. Cette histoire trouve son origine dans le monde grec, et plus exactement dans sa philosophie. La division entre maladies de l'ame et autres maladies, c'est-a-dire maladies du corps, appartient a la philosophie. La medecine aurait ete bien soulagee de cette partition. Est-ce a dire qu'elle n'entendait pas etre philosophique? Sans doute: Hippocrate en offre un bon exemple. L'accord, tacite, est le suivant: l'ame appartient au philosophe et le corps au medecin. Ciceron s'occupe des passions et Galien suspend son jugement des qu'il approche la psyche. Chacun y trouve son compte mais les consequences sont importantes: la partition du champ des maladies, la place du malade dans la societe, les traitements a apporter, notamment a la folie, dependent de ce dualisme initial. Si le legs de la medecine greco-romaine est riche, il est aussi fort lourd et trouve des developpements tout au long de l'histoire de la medecine, jusqu'a la constitution au XVIIIe siecle de la psychiatrie. D'une ecriture et d'une pensee personnelles et profondes, ce livre est un essai sur l'histoire de la pensee medicale, depuis l'Antiquite jusqu'a nos jours. La Maladie de l'ame a ete un succes des sa parution, et ce succes n'a pas ete dementi depuis. L'ouvrage n'etait malheureusement plus disponible: les livres ont leur destin commentait l'auteur. Avec cette edition revue et augmentee, accompagnee d'une preface nouvelle, le livre connait enfin le sort qu'il merite.Jackie Pigeaud est professeur emerite de litterature latine a l'Universite de Nantes et membre de l'Institut universitaire de France. On lui doit egalement, aux Belles Lettres, Folie et cures de la folie chez les medecins de l'Antiquite greco-romaine. La manie. (shrink)

Efforts to combat the COVID-19 crisis brought mountains of legislation and guidance to coerce or encourage people to stay at home and reduce the spread of the virus. During peak lockdown in the United Kingdom regulations defined when people could or could not leave their homes. Meanwhile guidance on social distancing advised people to stay within ‘households’. This paper explores the legislation under lockdowns in the UK from March to October 2020 and the implications for women’s gendered caring roles. The (...) regulations and guidance assumed that households were separate units and ignored the interdependencies which exist between households and between individuals and wider society. The continuing focus in the lockdown regulations has been on households as autonomous, safe, adequate and secure. This overlooks the interdependency of human life, gendered aspects of caring and the inequalities of housing and living conditions, highlighted by feminist scholarship. (shrink)

"First edition published 2009"--T.p. verso.

This narrative symposium examines the relationship of bioethics practice to personal experiences of illness. A call for stories was developed by Tod Chambers, the symposium editor, and editorial staff and was sent to several commonly used bioethics listservs and posted on the Narrative Inquiry in Bioethics website. The call asked authors to relate a personal story of being ill or caring for a person who is ill, and to describe how this affected how they think about bioethical questions and the (...) practice of medicine. Eighteen individuals were invited to submit full stories based on review of their proposals. Twelve stories are published in this symposium, and six supplemental stories are published online only through Project MUSE. Authors explore themes of vulnerability, suffering, communication, voluntariness, cultural barriers, and flaws in local healthcare systems through stories about their own illnesses or about caring for children, partners, parents and grandparents. Commentary articles by Arthur Frank, Bradley Lewis, and Carol Taylor follow the collection of personal narratives. (shrink)

The last half of the twentieth century saw an explosion in our understanding of genetics and molecular biology; the questions now are in what form that genetic understanding will be put to use; and how and by whom it will be controlled. It's about science and spirituality, and how the two are connected.

In this paper we study local induction w.r.t. Σ1‐formulas over the weak arithmetic. The local induction scheme, which was introduced in, says roughly this: for any virtual class that is progressive, i.e., is closed under zero and successor, and for any non‐empty virtual class that is definable by a Σ1‐formula without parameters, the intersection of and is non‐empty. In other words, we have, for all Σ1‐sentences S, that S implies, whenever is progressive. Since, in the weak context, we have (at (...) least) two definitions of Σ1, we obtain two minimal theories of local induction w.r.t. Σ1‐formulas, which we call Peano Corto and Peano Basso.In the paper we give careful definitions of Peano Corto and Peano Basso. We establish their naturalness both by giving a model theoretic characterization and by providing an equivalent formulation in terms of a sentential reflection scheme.The theories Peano Corto and Peano Basso occupy a salient place among the sequential theories on the boundary between weak and strong theories. They bring together a powerful collection of principles that is locally interpretable in. Moreover, they have an important role as examples of various phenomena in the metamathematics of arithmetical (and, more generally, sequential) theories. We illustrate this by studying their behavior w.r.t. interpretability, model interpretability and local interpretability. In many ways the theories are more like Peano arithmetic or Zermelo Fraenkel set theory, than like finitely axiomatized theories as Elementary Arithmetic, and. On the one hand, Peano Corto and Peano Basso are very weak: they are locally cut‐interpretable in. On the other hand, they behave as if they were strong: they are not contained in any consistent finitely axiomatized arithmetical theory, however strong. Moreover, they extend, the theory of parameter‐free Π1‐induction. (shrink)

In this paper we study 1. the frame-theory of certain bimodal provability logics involving the reflection principle and we study2. certain specific bimodal logics with a provability predicate for a subtheory of Peano arithmetic axiomatized by a non-standardly finite number of axioms.

This paper is concerned with the logical structure of arithmetical theories. We survey results concerning logics and admissible rules of constructive arithmetical theories. We prove a new theorem: the admissible propositional rules of Heyting Arithmetic are the same as the admissible propositional rules of Intuitionistic Propositional Logic. We provide some further insights concerning predicate logical admissible rules for arithmetical theories.