In this paper, we study conditional preferences in abstract argumentation by introducing a new generalization of Dung-style argumentation frameworks (AFs) called Conditional Preference-based AFs (CPAFs). Each subset of arguments in a CPAF can be associated with its own preference relation. This generalizes existing approaches for preference-handling in abstract argumentation, and allows us to reason about conditional preferences in a general way. We conduct a principle-based analysis of CPAFs and compare them to related generalizations of AFs. Specifically, we highlight similarities and (...) differences to Modgil’s Extended AFs and show that our formalism can capture Value-based AFs. Moreover, we show that in some cases the introduction of conditional preferences leads to an increase in computational complexity. (shrink)

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)

dialectical frameworks constitute a recent and powerful generalisation of Dung's argumentation frameworks, where the relationship between the arguments can be specified via Boolean formulas. Recent results have shown that this enhancement comes with the price of higher complexity compared to AFs. In fact, acceptance problems in the world of ADFs can be hard even for the third level of the polynomial hierarchy. In order to implement reasoning problems on ADFs, systems for quantified Boolean formulas thus are suitable engines to be (...) employed. In this paper we give complexity sensitive QBF encodings of ADF problems generalising recent work on QBFs for AF labellings. Our encodings provide a uniform and modular way of translating reasoning in ADFs to QBFs, that can be used as the basis for novel systems for ADF reasoning. (shrink)

Many proposals for logic-based formalisations of argumentation consider an argument as a pair (Φ,α), where the support Φ is understood as a minimal consistent subset of a given knowledge base which has to entail the claim α. In case the arguments are given in the full language of classical propositional logic reasoning in such frameworks becomes a computationally costly task. For instance, the problem of deciding whether there exists a support for a given claim has been shown to be -complete. (...) In order to better understand the sources of complexity (and to identify tractable fragments), we focus on arguments given over formulæ in which the allowed connectives are taken from certain sets of Boolean functions. We provide a complexity classification for four different decision problems (existence of a support, checking the validity of an argument, relevance and dispensability) with respect to all possible sets of Boolean functions. Moreover, we make use of a general schema to enumerate all arguments to show that certain restricted fragments permit polynomial delay. Finally, we give a classification also in terms of counting complexity. (shrink)

As is well known, answer-set programs do not satisfy the replacement property in general, i.e., programs and that are equivalent may cease to be so when they are put in the context of some other program, i.e., and may have different answer sets. Lifschitz, Pearce, and Valverde thus introduced strong equivalence for context-independent equivalence, and proved that such equivalence holds between given programs and iff and are equivalent theories in the monotonic logic of here-and-there. In this article, we consider a (...) related question: given a program, does there exist some program from a certain class of programs such that and are equivalent under a given notion of equivalence? Furthermore, if the answer to this question is positive, how can we recast as an equivalent program from? In particular, we consider classes of programs that emerge by allowing disjunction and/or negation, and as equivalence notions we consider strong, uniform, and ordinary equivalence. Based on general model-theoretic properties and a novel form of canonical programs, we develop semantic characterisations for the existence of such a program, determine the computational complexity of checking existence, and provide rewriting rules for recasting. (shrink)

Die Frage nach der Technik ist eine Art der Heideggerschen Frage nach dem Sein, die die Fragen nach dem Menschen in der Moderne und nach der Zivilisation überhaupt impliziert. Im Rahmen der sogenannten "Seinsgeschichte" bildet sie eine Kreuzungsstelle, die von verschiedenen Linien gebildet wird, welche wiederum in ihrer Verschiedenheit zu berücksichtigen sind und nicht einfach textuell hermetisiert werden dürfen. Heidegger besorgt nicht zuletzt mit Hilfe der seinsgeschichtlichen Konstellation des Gestells seine Selbstinterpretation hinsichtlich der Haltung zum Nationalsozialismus. Verweigert wird die falsche (...) Alternative eines platt-realistischen oder biographischen Reduktionismus zum einen und des Jüngerschar-Minimalismus oder kalauernden dekonstruktivistischen Textdesigns zum andern. Genauso einseitig wie der absicherungsstrategische Jargon der Orthodoxie ist die positivistische Abschiebung Heideggers in die Ecke der "Begriffsdichtung". Tatsächlich besteht ein arbeitsteiliger Konsens zwischen beiden Seiten. Gegen diesen Konsens im Dissens opponiert vorliegender Text. (shrink)

Stefan Collini challenges the common claim that universities need to show that they help to make money in order to justify getting more money.

Artificial Intelligence (AI) is increasingly adopted in society, creating numerous opportunities but at the same time posing ethical challenges. Many of these are familiar, such as issues of fairness, responsibility and privacy, but are presented in a new and challenging guise due to our limited ability to steer and predict the outputs of AI systems. This chapter first introduces these ethical challenges, stressing that overviews of values are a good starting point but frequently fail to suffice due to the context (...) sensitivity of ethical challenges. Frequently, additional (ethical) values emerge for specific applications, as e.g. challenges with fraud detection are very different from those around language technologies. Second, methods to tackle these challenges are discussed. Main ethical theories (virtue ethics, consequentialism, and deontology) are shown to provide a starting point, but often lack the details needed for actionable AI Ethics. Instead, mid-level philosophical theories coupled to design-approaches such as Design for Values, together with interdisciplinary working methods, offer the best way forwards. The chapter aims to show how these approaches can lead to an ethics of AI that is actionable and that can be proactively integrated in the design of AI systems. (shrink)

What are the fittingness conditions of gratitude? One assumption seems unquestioned in the literature: that whenever it’s fitting for you to be grateful to me, that’s because I’ve benefitted or tried to benefit you. In this paper, I argue that that’s false. You may sometimes fittingly be grateful precisely because I refrained from benefitting you. Or you may be grateful because I omitted to instrumentalise you, or treated you justly – where this isn’t reducible to benefits. Morality isn’t all about (...) benefits, so gratitude isn’t either. Instead, gratitude is the proper response to being shown more positive moral regard than you’re owed – where such regard might consist in beneficence, or respect, or in whatever kind of positive moral attitude. (shrink)

An intro. to Didaktic (the heart of thinking about teaching/teacher educ in Germany) for English-speaking readers, drawing on a range of writings assoc. w/ this tradition. Throws light on assumptions, characteristics, & weaknesses of curriculum thought.

This imaginative and unusual book explores the moral sensibilities and cultural assumptions that were at the heart of political debate in Victorian and early twentieth-century Britain. It focuses on the role of intellectuals as public moralists and suggests ways in which their more formal political theory rested upon habits of response and evaluation that were deeply embedded in wider social attitudes and aesthetic judgments. Collini examines the characteristic idioms and strategies of argument employed in periodical and polemical writing, and reconstructs (...) the sense of identity and of relation to an audience exhibited by social critics from John Stuart Mill and Matthew Arnold to J.M. Keynes and F.R. Leavis. (shrink)

ABSTRACT:The notion of “democracy” has become a much-debated concept in scholarship on business ethics, management, and organization studies. The strategy of this paper is to distinguish between a principle of organization that fosters participation (type I democracy) and a principle of legitimation that draws on consent (type II democracy). Based on this distinction, we highlight conceptual shortcomings of the literature on stakeholder democracy. We demonstrate that parts of the literature tend to confound ends with means. Many approaches employ type I (...) democracy notions of participation and often take for granted that this also improves type II democratic legitimation. We hold this to be a mistake. We provide examples of the ambiguity of organizational procedures and show that under some circumstances a decrease in the degree of participation may actually increase legitimation because a governance structure that results in higher productivity can provide higher benefits for all parties involved, serve their interests and therefore meet their agreement. Less type I democracy may mean more type II democracy. We believe this to be an important insight for judging (and further improving) the legitimacy of both capitalistic firms and competitive markets. (shrink)

Explainable artificial intelligence (XAI) aims to help people understand black box algorithms, particularly of their outputs. But what are these explanations and when is one explanation better than another? The manipulationist definition of explanation from the philosophy of science offers good answers to these questions, holding that an explanation consists of a generalization that shows what happens in counterfactual cases. Furthermore, when it comes to explanatory depth this account holds that a generalization that has more abstract variables, is broader in (...) scope and/or more accurate is better. By applying these definitions and contrasting them with alternative definitions in the XAI literature I hope to help clarify what a good explanation is for AI. (shrink)

Topic of the paper is Q-logic – a logic of agency in its temporal and modal context. Q-logic may be considered as a basal logic of agency since the most important stit-operators discussed in the literature can be defined or axiomatized easily within its semantical and syntactical framework. Its basic agent dependent operator, the Q-operator (also known as Δ- or cstit-operator), which has been discussed independently by F. v. Kutschera and B. F. Chellas, is investigated here in respect of its (...) relation to other temporal and modal operators. The main result of the paper, then, is a completeness result for a calculus of Q-logic with respect to a semantics defined on the tree-approach to agency as introduced and developed by, among others, F. v. Kutschera and N. D. Belnap. (shrink)

One of the important discussions in the philosophy of mathematics, is that centered on Benacerraf’s Dilemma. Benacerraf’s dilemma challenges theorists to provide an epistemology and semantics for mathematics, based on their favourite ontology. This challenge is the point on which all philosophies of mathematics are judged, and clarifying how we might acquire mathematical knowledge is one of the main occupations of philosophers of mathematics. In this thesis I argue that this discussion has overlooked an important part of mathematics, namely mathematics (...) as it is exercised by ordinary people. I do so by looking at the different theories that have been put forward in the recent debate, and showing for each of these that they are unable to account for the mathematical practices of ordinary people. In order to show that these practices do need to be accounted for, I also argue that ordinary people are doing mathematics, i.e. that they engage in properly mathematical practices. Because these practices are properly mathematical, they should be accounted for by any philosophy of mathematics. The conclusion of my thesis, then, is that current theories fail to do something that they should do, while remaining neutral on how well they perform when it comes to accounting for the practices of professional mathematicians. (shrink)

How do we get out knowledge of the natural numbers? Various philosophical accounts exist, but there has been comparatively little attention to psychological data on how the learning process actually takes place. I work through the psychological literature on number acquisition with the aim of characterising the acquisition stages in formal terms. In doing so, I argue that we need a combination of current neologicist accounts and accounts such as that of Parsons. In particular, I argue that we learn the (...) initial segment of the natural numbers on the basis of the Fregean definitions, but do not learn the natural number structure as a whole on the basis of Hume's principle. Therefore, we need to account for some of the consistency of our number concepts with the Dedekind-Peano axioms in other terms. (shrink)

A vernacular fifteenth-century sermon tells us, in order to warn of the threats to spiritual welfare posed by dance, that cyclic motion and centering of sensory impressions – amongst them intimate conversation – are essential elements of dance. When blending out the parenesis, implicit poetics of medieval dance can be distilled from that sermon. The way how these essential elements of dance are used for generating disruptions within literary plots will be demonstrated in three literary texts dating from the thirteenth (...) to the fifteenth century: Disruptions in connection with dance occur when contrary concepts of motion clash with each other, for example the linearity of the chivalrous way through the Other World with the cyclicity of round dances. ‚Der Württemberger‘, however, collides two contrary concepts of time which can be paraphrased as spatial metaphors, namely the linearity of earthly life which collides with the cyclicity of eternal damnation, a collision symbolized by the expulsion of life out of the dance of the death. Finally in ‚Ritter Sociabilis‘, dance generates a virtual space which subverts the courtly society. The protagonists of all these texts differently manage to resolve disruptions, namely by redemption, by repentance, or by continuing disruptions which they have caused themselves. (shrink)

In the past few decades, a growth in ethical consumerism has led brands to increasingly develop conscientiousness and depict ethical image at a corporate level. However, most of the research studying business ethics in the field of corporate brand management is either conceptual or has been empirically conducted in relation to goods/products contexts. This is surprising because corporate brands are more relevant in services contexts, because of the distinct nature of services and the key role that employees have in the (...) services sector. Accordingly, this article aims at empirically examining the effects of customer perceived ethicality in the context of corporate services brands. Based on data collected for eight service categories using a panel of 2179 customers, the hypothesized structural model is tested using path analysis. The results show that, in addition to a direct effect, customer perceived ethicality has a positive and indirect effect on customer loyalty, through the mediators of customer affective commitment and customer perceived quality. Further, employee empathy positively influences the impact of customer perceived ethicality on customer affective commitment, and customer loyalty positively impacts customer positive word-of-mouth. The first implication of these results is that corporate brand strategy needs to be aligned with human resources policies and practices if brands want to turn ethical strategies into employee behavior. Second, corporate brands should build more authentic communications grounded in their ethical beliefs and supported by evidence from actual employees. (shrink)

This article develops an objection to Kant’s proof of freedom from the Critique of Practical Reason. In his proof — the fact of reason argument — Kant deduces the reality of freedom, understood as the ability to act independently of all inclinations, from our consciousness of the unconditional validity of morality. He calls this consciousness the "fact of reason". After a systematic reconstruction of the argument, I develop an objection that relies on three points: (i) the cultural embeddedness of human (...) beings ("fact of culture"), (ii) an "external" perspective on human deliberative processes, and (iii) an alternative interpretation of the unconditional validity of morality that appears in practical deliberation. Contrary to Kant’s claims, I argue that the reality of freedom cannot be deductively derived from the fact of reason. I then discuss two objections to my argument. The first objection claims that my considerations regarding the "external" perspective misunderstand Kant's methodology. The second objection states that, based on my considerations, the fact of reason ultimately turns out to be an illusion. I discuss both objections and refute them. My ultimate conclusion is that Kant's fact of reason argument is not convincing. (shrink)

Recently several educational theorists have argued for the incorporation of a scepticism of a postmodern kind into educational theory and into educational research more specifically. Their understanding of postmodernism in terms of scepticism harbours much potential, but to avoid confusion and misunderstanding it is of importance that the ‘scepticism’ associated with postmodernism is distinguished from traditional philosophical scepticism, be it as part of the very process of theoretical scrutiny or as a challenge towards its results. In this paper it will (...) be argued that the interest of postmodernist ‘scepticism’ lies not in a quest for ever more certainty but rather in the way it moves beyond both foundationalism and philosophical scepticism. This will be elaborated from the point of view of a Wittgensteinian understanding of theoretical scrutiny (as found in On Certainty). This opens up the possibility of shedding light on postmodernist ‘scepticism’ in educational theory in terms of an aesthetic distance towards what is reflected upon. (shrink)

The Approximate Number System (ANS) is a system that allows us to distinguish between collections based on the number of items, though only if the ratio between numbers is high enough. One of the questions that has been raised is what the representations involved in this system represent. I point to two important constraints for any account: (a) it doesn’t involve numbers, and (b) it can account for the approximate nature of the ANS. Furthermore, I argue that representations of pure (...) magnitude with vehicles that have an imprecision in the value of the unit of measurement (further clarified through a formal model from measurement theory) fit both these requirements. (shrink)

In much educational theory there is concern about claims that the concept of truth has no place anymore in educational thinking. These claims are generally identified as ‘postmodernist’ or ‘poststructuralist’. The fear is that when abandoning the quest for truth we enter the domain of mere belief, and in this way leave education without firm grounds. In this article I examine some examples of what is often crudely lumped together as ‘postmodernist’ educational research. What is at stake here, I argue, (...) is not so much a rejection of the quest for truth as rather a shift of focus to a different set of questions and interests: for example, existential questions. Against the contemporary, dominant focus on evidence-based practice, which conceals the person behind the method (textbook, rules, techniques), here the embodied person with her individual investment in education is brought into the light again. (shrink)