We introduce a generalization of MV algebras motivated by the investigations into the structure of quantum logical gates. After laying down the foundations of the structure theory for such quasi-MV algebras, we show that every quasi-MV algebra is embeddable into the direct product of an MV algebra and a “flat” quasi-MV algebra, and prove a completeness result w.r.t. a standard quasi-MV algebra over the complex numbers.

Various theorems for the preservation of set-theoretic axioms under forcing are proved, regarding both forcing axioms and axioms true in the Lévy collapse. These show in particular that certain applications of forcing axioms require to add generic countable sequences high up in the set-theoretic hierarchy even before collapsing everything down to ‮א‬₁. Later we give applications, among them the consistency of MM with ‮א‬ω not being Jónsson which answers a question raised in the set theory meeting at Oberwolfach in 2005.

Schlusslogische Letztbegründung is a collection of essays in honor of Kurt Walter Zeidler. Mr. Zeidler is a distinguished Kant- and Neo-Kantian-scholar who has reconstructed Kant's concept of transcendental logic in connection with the logic of the concept of Hegel and the logic of symbolization of Peirce. (cf. Zeidler: Grundriss der transzendentalen Logik, 3rd ed., Wien 2017) He has most notably inquired intensively into the relation of transcendental logic to philosophy of science (cf. Zeidler: Prolegomena zur Wissenschaftstheorie, Wien 2000) and to (...) phenomenology (cf. Zeidler: Vermittlungen. Zum antiken und neueren Idealismus, Wien 2016). He has also published several studies on Neo-Kantianism (cf. Zeidler: Provokationen. Zu Problemen des Neukantianismus, Wien 2018). This is refelected in the collection of essays by distinguished scholars who discuss and critically examine Zeidler's work. It includes contributions by Steinar Mathisen (Oslo), Wolfdietrich Schmied-Kowarzik (Vienna), Werner Flach (Lichtenau), Thomas Knoppe (Straberg), Geert Edel (Wyk/Föhr), Martin Bunte (Münster), Reinhard Hiltscher (Dresden), Walter Tydecks (Bensheim), Christian Krijnen (Amsterdam), Hartwig Wiedebach (Zürich), Max Gottschlich (Linz), Thomas Sören Hoffmann (Hagen), Rudolf Meer (Kaliningrad), Hans-Jürgen Müller (Frankfurt am Main), Robert König (Vienna), Ulrich Blau (Marburg), Karen Gloy (Luzern/Munich), Reinhold Breil (Aachen), Erhard Oeser (Vienna), Hans-Dieter Klein (Vienna), Hans Martin Dober (Tübingen), Kurt Walter Zeidler (Vienna) and Lois Marie Rendl (Vienna). (shrink)

In the current paper we re-examine the concepts of attack semantics and collective attacks in abstract argumentation, and examine how these concepts interact with each other. For this, we systematically map the space of possibilities. Starting with standard argumentation frameworks (which consist of a directed graph with nodes and arrows) we briefly state both node semantics and arrow semantics (the latter a.k.a. attack semantics) in both their extensions-based form and labellings-based form. We then proceed with SETAFs (which consist of a (...) directed hypergraph of nodes and arrows, to take into account the notion of collective attacks) and state both node semantics and arrow semantics, in both their extensions-based and labellings-based form. We then show equivalence between the extensions-based and labellings-based form, for node semantics and arrow semantics of AFs, as well as for node semantics and arrow semantics of SETAFs. Moreover, we show equivalence between node semantics and arrow semantics for AFs, and equivalence between node semantics and arrow semantics for SETAFs (with the notable exception of semi-stable). We also provide a novel way of converting a SETAF to an AF such that semantics are preserved, without the use of any “meta arguments”. Although the main part of our work is on the level of abstract argumentation, we do provide an application of our theory on the instantiated level. More specifically, we show that the classical characterisation of Assumption-Based Argumentation (ABA) can be seen as an instantiation based on a SETAF, whereas the contemporary characterisation of ABA can be seen as an instantiation based on a standard AF. Our theory of how to convert a SETAF to an AF can then be used to account for both the similarities and the differences between the classical and contemporary characterisations of ABA. Most prominently, our theory is able to explain the semantic mismatch for semi-stable semantics that arises in the ABA instantiation process. (shrink)

Ontologies are the prime way of organizing data in the Semantic Web. Often, it is necessary to combine several, independently developed ontologies to obtain a complete representation of a domain of interest. The complementarity of existing ontologies can be leveraged by merging them. Existing approaches for ontology merging mostly implement a binary merge. However, with the growing number and size of relevant ontologies across domains, scalability becomes a central challenge. A multi-ontology merging technique offers a potential solution to this problem. (...) We present Co Merger, a scalable multiple ontologies merging method. It takes as input a set of source ontologies and existing mappings across them and generates a merged ontology. For efficient processing, rather than successively merging complete ontologies pairwise, we group related concepts across ontologies into partitions and merge first within and then across those partitions. In both steps, user-specified subsets of generic merge requirements (GMRs) are taken into account and used to optimize outputs. The experimental results on well-known datasets confirm the feasibility of our approach and demonstrate its superiority over binary strategies. A prototypical implementation is freely accessible through a live web portal. (shrink)

We show that large fragments of MM, e. g. the tree property and stationary reflection, are preserved by strongly -game-closed forcings. PFA can be destroyed by a strongly -game-closed forcing but not by an ω2-closed.

This paper examines women’s experiences with decision-making about non-invasive prenatal testing (NIPT). Such tests offer knowledge about chromosomal disorders early in pregnancy, without the risk of miscarriage associated with invasive procedures such as amniocentesis. Based on qualitative interviews with women in Germany who used, or declined, NIPT, we show how some women, who would not consider amniocentesis due to the risk of miscarriage, welcome the knowledge provided by, and the additional agency resulting from, NIPT. For others, declining the offer to (...) “know more” becomes increasingly difficult to articulate. The absence of risk strips women of a “good reason” to justify their decision not to test, thus implicitly challenging their “right not to know.” Moreover, NIPT heightens moral dilemmas within relationships with partners, existing children, and sometimes other close relatives. While clinically “non-invasive,” we argue that NIPT changes decision-making in an ethically and socially highly significant way. (shrink)

Recent decades have witnessed tremendous progress in artificial intelligence and in the development of autonomous systems that rely on artificial intelligence. Critics, however, have pointed to the difficulty of allocating responsibility for the actions of an autonomous system, especially when the autonomous system causes harm or damage. The highly autonomous behavior of such systems, for which neither the programmer, the manufacturer, nor the operator seems to be responsible, has been suspected to generate responsibility gaps. This has been the cause of (...) much concern. In this article, I propose a more optimistic view on artificial intelligence, raising two challenges for responsibility gap pessimists. First, proponents of responsibility gaps must say more about when responsibility gaps occur. Once we accept a difficult-to-reject plausibility constraint on the emergence of such gaps, it becomes apparent that the situations in which responsibility gaps occur are unclear. Second, assuming that responsibility gaps occur, more must be said about why we should be concerned about such gaps in the first place. I proceed by defusing what I take to be the two most important concerns about responsibility gaps, one relating to the consequences of responsibility gaps and the other relating to violations of jus in bello. (shrink)

A layoff is a threatening yet common event which employees might face at some point in their working lives. In two scenario-based experiments, we investigated which actions of a layoff agent during a dismissal notification meeting may contribute to laid-off employees’ fairness judgments and negative attitudes toward the employer. In general, the extent to which layoff victims were treated with respect was consistently found to increase perceptions of interpersonal and procedural fairness and to mitigate negative attitudes toward the employer. Further (...) results showed that layoff victims preferred to be given an adequate explanation of the reasons for the layoff and to receive notice from the direct supervisor. Relationships between the layoff agent’s actions and layoff victims’ negative attitudes toward the employer were mediated by perceptions of procedural fairness. In addition, delegating the layoff agent’s task to an external consultant increased perceived psychological contract breach. Our findings have important implications for organizational justice research and for the managerial practice of implementing fair layoffs. In particular, small actions, such as treating employees with respect, might be of benefit both to humans and organizations. (shrink)

English summary: The Medieval controversies that opposed the defenders of laicism to the papacy have been well-studied by historians of political thought. However, these discussions so far have neglected the question of the relationship between laicism and philosophy in the Middle Ages. To integrate this dimension into the history of philosophy, this volume closely examines the modes of instruction used by churchmen to teach lay persons and, inversely, the appropriation of philosophy by laicists. French description: Les querelles medievales qui opposerent (...) les defenseurs du pouvoir laique a la Papaute ont ete bien etudiees par les historiens de la pensee politique. Ces debats n'epuisent cependant pas la question du rapport entre laicite et philosophie au Moyen Age. A l'age scolastique, l'importance sociale et politique de l'Eglise implique aussi un monopole culturel. Pour integrer cette donnee a l'histoire de la philosophie, il vaut la peine d'examiner de plus pres l'instruction des laics par les clercs et, inversement, l'appropriation de la philosophie par les laics: les politiques culturelles et les productions des clercs a destination des laics, ainsi que les attentes, les receptions, les elaborations et les pretentions laiques a l'egard des savoirs philosophiques. Une telle enquete acquiert aussitot une dimension reflexive. Elle questionne la specificite de la philosophie comme discipline et comme contenu. En ses contenus, en ses fins et en ses formes, la philosophie varie en fonction de ses auteurs, de ses destinataires supposes et de ses lecteurs reels. (shrink)

Hegels Philosophie eröffnet einen tiefen Blick auf das Phänomen von Religion – ein Blick, der dem Feuer der aufklärerischen Kritik standhält. Die Religion vergegenwärtigt den Lebenssinn in seiner Totalität. Welche bleibende Relevanz hat dies? Hegel's philosophy offers a deep insight into the phenomenon of religion—one that withstands the fire of Enlightenment criticism. Religion reveals the meaning of life in its totality. What lasting relevance does this have?

One of the great challenges in word learning is that words are typically uttered in a context with many potential referents. Children's tendency to associate novel words with novel referents, which is taken to reflect a mutual exclusivity (ME) bias, forms a useful disambiguation mechanism. We study semantic learning in pragmatic agents—combining the Rational Speech Act model with gradient‐based learning—and explore the conditions under which such agents show an ME bias. This approach provides a framework for investigating a pragmatic account (...) of the ME bias in humans but also for building artificial agents that display an ME bias. A series of analyses demonstrates striking parallels between our model and human word learning regarding several aspects relevant to the ME bias phenomenon: online inference, long‐term learning, and developmental effects. By testing different implementations, we find that two components, pragmatic online inference and incremental collection of evidence for one‐to‐one correspondences between words and referents, play an important role in modeling the developmental trajectory of the ME bias. Finally, we outline an extension of our model to a deep neural network architecture that can process more naturalistic visual and linguistic input. Until now, in contrast to children, deep neural networks have needed indirect access to (supposed to be novel) test inputs during training to display an ME bias. Our model is the first one to do so without using this manipulation. (shrink)

This paper gives a simple method for providing categorial brands of feature-based unification grammars with a model-theoretic semantics. The key idea is to apply the paradigm of fibred semantics (or layered logics, see Gabbay (1990)) in order to combine the two components of a feature-based grammar logic. We demonstrate the method for the augmentation of Lambek categorial grammar with Kasper/Rounds-style feature logic. These are combined by replacing (or annotating) atomic formulas of the first logic, i.e. the basic syntactic types, by (...) formulas of the second. Modelling such a combined logic is less trivial than one might expect. The direct application of the fibred semantics method where a combined atomic formula like np (num: sg & pers: 3rd) denotes those strings which have the indicated property and the categorial operators denote the usual left- and right-residuals of these string sets, does not match the intuitive, unification-based proof theory. Unification implements a global bookkeeping with respect to a proof whereas the direct fibring method restricts its view to the atoms of the grammar logic. The solution is to interpret the (embedded) feature terms as global feature constraints while maintaining the same kind of fibred structures. For this adjusted semantics, the anticipated proof system is sound and complete. (shrink)

This study explored in what way and to what extent people's occupational position corresponds with the consumption of news and the exposure to political content offered by the traditional mass media TV, radio, and newspaper, using survey data. The influence of occupational position in general and perceived amount of public social capital on especially consumption of news as well as the exposure to political media content, was evident. Findings are in line with the central assumptions on ‘audience activity’ of audience-centered (...) models in communication research in general and the ‘media use as social action’ approach especially. The subjectively perceived social context, indicated by occupational position as well as the subjectively held structure of relevancies is a central predictor of media use. (shrink)