Answer-set programming (ASP) has emerged as a declarative programming paradigm where problems are encoded as logic programs, such that the so-called answer sets of theses programs represent the solutions of the encoded problem. The efficiency of the latest ASP solvers reached a state that makes them applicable for problems of practical importance. Consequently, problems from many different areas, including diagnosis, data integration, and graph theory, have been successfully tackled via ASP. In this work, we present such ASP-encodings for problems associated (...) to abstract argumentation frameworks (AFs) and generalisations thereof. Our encodings are formulated as fixed queries, such that the input is the only part depending on the actual AF to process. We illustrate the functioning of this approach, which is underlying a new argumentation system called ASPARTIX in detail and show its adequacy in terms of computational complexity. (shrink)

La eutanasia activa es objeto de un rechazo casi general tanto por parte de los bioéticos como del público. El problema ¿se arguye¿ que se quiere solucionar con la eutanasia se soluciona mejor y respetando la moral médica mediante los cuidados paliativos. Sin embargo, entre los bioéticos y los agentes de salud es cada vez más frecuente la opinión de que los cuidados paliativos no son una alternativa a la eutanasia y puede ser incluso una solución menos digna que ésta. (...) Este es el tema que abordamos en este trabajo. (shrink)

The paper proposes to integrate literary studies in consciousness research to develop a strong ethical and existential dimension in the field. More specifically, it considers the value of fictional narrative for developing concepts of selfhood and personal identity that cohere with the reductionist explanations of human consciousness and self in modern empirical consciousness research. My central claim is that looking to the literary representations of human consciousness and existence that reject or are free from conventional essentialist ideas of self, agency, (...) and anthropocentrism can help 'normalize' the reductionist scientific descriptions of humans and reduce their psychologically and socio-culturally disruptive impact. The paper uses Virginia Woolf's The Waves as an example, showing how the novel's non-anthropocentric and non-essentialist conceptions of self and consciousness overlap with materialist theories in neuroscience and -philosophy but present these in a distinctive narrative framework and poetic terms that bring out the inherent emancipatory potential of the materialist explanation of human existence and offer the reader the possibility of relating to these experientially and emotionally. (shrink)

We thank Leo Lam and Taylor Nichols for their response 1 to our paper ‘COVID-19 vaccine boosters for young adults: a risk–benefit assessment and ethical analysis of mandate policies at universities’. 2 In our paper, we demonstrate that the risk–benefit calculus to mandate boosters for young adults aged 18–29 is a net risk intervention. The authors assert that we have made three inappropriate comparisons of benefits versus risks of the mRNA vaccine booster dose in this age group. We provide our (...) response to each below. We erred on the side of overestimating benefits of the booster dose against severe COVID-19 in this age group and still found net harms to outweigh net benefits. The conclusion of our paper holds, and university booster mandates for young people were—and remain—unethical. COVID-19 hospitalisations prevented versus booster serious adverse events (SAEs) For the first comparison, we weighed predicted hospitalisations prevented... (shrink)

In this article I challenge the standard view that clarity and coherence in moral philosophy and ethics are always good and obscurity necessarily bad. The appraisal of clarity, I argue, entails a risk of reducing and misrepresenting the complex and multifaceted nature of good, productive and true thinking and communication. Uncertainty and obscurity do not necessarily lead to vagueness, imprecision or meaning-obstruction. There are productive forms of uncertainty and there are unproductive forms. Indeed, to be precise, lucid and truthful sometimes (...) requires respecting and linguistically and conceptually reproducing the incoherence, obscurity and uncertainty of reality. (shrink)

With the analysis of the scattering ashes in a Norwegian context as its point of departure, the article sets out to explore ash scattering and how it relates to the governance of deathscape and religion/worldview in the public space. Referring to ethnographic study, the focus is on the bereaved and the deceased in the governance process for ash scattering and on critically rethinking the governance of ash scattering from the private actors’ experiences. I argue that ash scattering is in the (...) process of establishing a spatial ritual institution, deregulated vis-à-vis organized religion/worldview, which, on the one hand, opens up the possibility for the privatization of death and provides ideals of individuality, privacy and discretion, and, on the other hand, this takes place paradoxically not in private but rather within public space. (shrink)

Health research is increasingly being conducted on a global scale, particularly in the developing world to address leading causes of morbidity and mortality. While research interest has increased, building scientific capacity in the developing world has not kept pace. This often leads to the export of human tissue (defined broadly) from the developing to the developed world for analysis. These practices raise a number of important ethical issues that require attention.

A comienzos de la década de los 80, el filósofo Gilles Deleuze aplicó la teoría de la imagen de Bergson expuesta en Materia y Memoria (1896) a la imagen cinematográfica con la intención de desarrollar nuevas herramientas conceptuales que, a través de un análisis de la historia del cine, permitieran poder delinear mejor tanto la relación cognoscitiva más allá de los presupuestos de sujeto-objeto, como una teoría de la comunicación pre-verbal no estructuralizada fonéticamente que superara definitivamente la concepción lacaniana del (...) lenguaje. Si bien dichos análisis pueden ser vistos también como el establecimiento de unos principios alternativos a las teorías del montaje tanto de Vertov como de Eizenshtéin, el interés primario de nuestro paper se centrará en la redefinición de las categorías espacio-temporales que conlleva esta nueva teoría del cine esgrimida por Deleuze. Concretamente analizaremos cómo la nueva tecnología cinematográfica, especialmente en su desarrollo europeo de la segunda postguerra (Godard, Fellini, Syberberg, Tarkovski) supone una comprensión temporal por completo ajena a cualquier comprensión de causalidad lineal, teleológica o no, de corte cronológico. En su lugar, el cine en tanto que medio de comunicación propio del mundo metropolitano contemporáneo emplea unas categorías temporales más cercanas a conceptos como “acontecimiento” o “haecceitas”, que en algunos puntos lo acercan a la concepción del tiempo desarrollada por Walter Benjamin, pero que por otro lo relacionan directamente con formas aiónicas del mismo ya estudiadas por Deleuze en la década de los 60, y aplicadas al estudio del dadaísmo en la de los 70. (shrink)

This volume contains the papers read at the conference on 'Semantics from different points of view' that took place at Konstanz University in Septem ber 1978. This interdisciplinary conference Vias organized by the':Sonderfor schungsbereich 99 - Linguistik' and sponsored by the Deutsche Forschungsge meinschaft. Li~guists, philosophers, logicians, and psychologists met to dis cuss recent developments in the study of the semantics of natural language from the point of view of their disciplines. But this is not to say that there was (...) one particular topic shared by all the participants. The conference was organized because the seven research groups that constitute the Sonderforschungsbereich wanted to discuss their results in an international context and to get advice and guidance for the work still to be done. Therefore, quite a number of topics were covered, though at different levels of precision, under the general label 'semantics'. And the selection of topics, as well as the relative importance given to them, is due to the research interests currently represented in the Sonderforschungs bereich. (shrink)

Since the spectrum of possibilities in linguistic theory construction is much broader and more variegated than students of linguistics have perhaps been led to believe, the Current Issues in Linguistic Theory series has been established in order to provide a forum for the presentation and discussion of linguistic opinions of scholars who do not necessarily accept the prevailing mode of thought in linguistic science. CILT is a theory-oriented series which welcomes contributions from scholars who have significant proposals to make towards (...) the advancement of our understanding of language, its structure, functioning, and development. Current Issues in Linguistic Theory is especially designed, by offering an alternative outlet for meaningful contributions to the current linguistic debate, to furnish the community of linguists the diversity of opinion which a healthy discipline must have. (shrink)

In this paper, we compare several cut-free sequent systems for propositional intuitionistic logic Intwith respect to polynomial simulations. Such calculi can be divided into two classes, namely single-succedent calculi (like Gentzen's LJ) and multi-succedent calculi. We show that the latter allow for more compact proofs than the former. Moreover, for some classes of formulae, the same is true if proofs in single-succedent calculi are directed acyclic graphs (dags) instead of trees. Additionally, we investigate the effect of weakening rules on the (...) structure and length of dag proofs.The second topic of this paper is the effect of different embeddings from Int to S4. We select two different embeddings from the literature and show that translated (propositional) intuitionistic formulae have sometimes exponentially shorter minimal proofs in a cut-free Gentzen system for S4than the original formula in a cut-free single-succedent Gentzen system for Int. Moreover, the length and the structure of proofs of translated formulae crucially depend on the chosen embedding. (shrink)

In this paper, we consider three different search strategies for a cut-free sequent system formalizing orthologic, and estimate the respective search spaces. Applying backward search, there are classes of formulae for which both the minimal proof length and the search space are exponential. In a combined forward and backward approach, all proofs are polynomial, but the potential search space remains exponential. Using a forward strategy, the potential search space becomes polynomial yielding a polynomial decision procedure for orthologic and the word (...) problem for free ortholattices. (shrink)

In this paper, we consider three different search strategies for a cut-free sequent system formalizing orthologic, and estimate the respective search spaces. Applying backward search, there are classes of formulae for which both the minimal proof length and the search space are exponential. In a combined forward and backward approach, all proofs are polynomial, but the potential search space remains exponential. Using a forward strategy, the potential search space becomes polynomial yielding a polynomial decision procedure for orthologic and the word (...) problem for free ortholattices. (shrink)

The papers collected in this volume shed light on the question of how linguistic expressions establish reference and anaphoric relations.

The proteins that are implicated in the basal transcription of protein coding genes have now been identified. Although little is known about their function, recent data demonstrate the ability of these proteins, previously called class II transcription factors, to participate in other reactions: TBP, the TATA‐box binding factor, is involved in class I and III transcription, while TFIIH has been shown to possess components that are involved in the DNA repair mechanism. The involvement of some if not all of the (...) TFIIH subunits in transcription and repair may explain the heterogeneity of the various and sometimes completely unrelated symptoms observed in xeroderma pigmentosum, Cockayne Syndrome and trichothiodystrophy disorders. (shrink)