In the context of a weak formal theory called Basic Intuitionistic Mathematics $$\textsf{BIM}$$ BIM, we study Brouwer’s Fan Theorem and a strong negation of the Fan Theorem, Kleene’s Alternative (to the Fan Theorem). We prove that the Fan Theorem is equivalent to contrapositions of a number of intuitionistically accepted axioms of countable choice and that Kleene’s Alternative is equivalent to strong negations of these statements. We discuss finite and infinite games and introduce a constructively useful notion of determinacy. We prove (...) that the Fan Theorem is equivalent to the Intuitionistic Determinacy Theorem. This theorem says that every subset of Cantor space $$2^\omega $$ 2 ω is, in our constructively meaningful sense, determinate. Kleene’s Alternative is equivalent to a strong negation of a special case of this theorem. We also consider a uniform intermediate value theorem and a compactness theorem for classical propositional logic. The Fan Theorem is equivalent to each of these theorems and Kleene’s Alternative is equivalent to strong negations of them. We end with a note on ‘stronger’ Fan Theorems. The paper is a sequel to Veldman (Arch Math Logic 53:621–693, 2014). (shrink)

We establish a completeness theorem for first-order basic predicate logic BQC, a proper subsystem of intuitionistic predicate logic IQC, using Kripke models with transitive underlying frames. We develop the notion of functional well-formed theory as the right notion of theory over BQC for which strong completeness theorems are possible. We also derive the undecidability of basic arithmetic, the basic logic equivalent of intuitionistic Heyting Arithmetic and classical Peano Arithmetic.

An arms race for an artificial general intelligence would be detrimental for and even pose an existential threat to humanity if it results in an unfriendly AGI. In this paper, an all-pay contest model is developed to derive implications for public policy to avoid such an outcome. It is established that, in a winner-takes-all race, where players must invest in R&D, only the most competitive teams will participate. Thus, given the difficulty of AGI, the number of competing teams is unlikely (...) ever to be very large. It is also established that the intention of teams competing in an AGI race, as well as the possibility of an intermediate outcome, is important. The possibility of an intermediate prize will raise the probability of finding the dominant AGI application and, hence, will make public control more urgent. It is recommended that the danger of an unfriendly AGI can be reduced by taxing AI and using public procurement. This would reduce the pay-off of contestants, raise the amount of R&D needed to compete, and coordinate and incentivize co-operation. This will help to alleviate the control and political problems in AI. Future research is needed to elaborate the design of systems of public procurement of AI innovation and for appropriately adjusting the legal frameworks underpinning high-tech innovation, in particular dealing with patenting by AI. (shrink)

This article deals with the question of how self-organization in living organisms is realized. Self-organization may be observed in open systems that are out of equilibrium. Many disequilibria-conversion phenomena exist where free energy conversion occurs by spontaneously formed engines. However, how is self-organization realized in living entities? Living cells turn out to be self-organizing disequilibria-converting systems of a special kind. Disequilibrium conversion is realized in a typical way, through employing information specifying protein complexes acting as nano engines. The genetic code (...) enables processing of information—derived from coding DNA—to produce these molecular machines. Hence, information is at the core of living systems. Two promising approaches to explaining living cells containing sequences carrying information are mentioned. Also discussed is the question of whether a second concept of self-organization—namely, the Kantian concept—applies. (shrink)

BackgroundResearch misconduct and questionable research practices have been the subject of increasing attention in the past few years. But despite the rich body of research available, few empirical works also include the perspectives of non-researcher stakeholders.MethodsWe conducted semi-structured interviews and focus groups with policy makers, funders, institution leaders, editors or publishers, research integrity office members, research integrity community members, laboratory technicians, researchers, research students, and former-researchers who changed career to inquire on the topics of success, integrity, and responsibilities in science. (...) We used the Flemish biomedical landscape as a baseline to be able to grasp the views of interacting and complementary actors in a system setting.ResultsGiven the breadth of our results, we divided our findings in a two-paper series with the current paper focusing on the problems that affect the integrity and research culture. We first found that different actors have different perspectives on the problems that affect the integrity and culture of research. Problems were either linked to personalities and attitudes, or to the climates in which researchers operate. Elements that were described as essential for success were often thought to accentuate the problems of research climates by disrupting research culture and research integrity. Even though all participants agreed that current research climates need to be addressed, participants generally did not feel responsible nor capable of initiating change. Instead, respondents revealed a circle of blame and mistrust between actor groups.ConclusionsOur findings resonate with recent debates, and extrapolate a few action points which might help advance the discussion. First, the research integrity debate must revisit and tackle the way in which researchers are assessed. Second, approaches to promote better science need to address the impact that research climates have on research integrity and research culture rather than to capitalize on individual researchers’ compliance. Finally, inter-actor dialogues and shared decision making must be given priority to ensure that the perspectives of the full research system are captured. Understanding the relations and interdependency between these perspectives is key to be able to address the problems of science.Study registrationhttps://osf.io/33v3m. (shrink)

This paper provides an early evaluation of Artificial Intelligence against COVID-19. The main areas where AI can contribute to the fight against COVID-19 are discussed. It is concluded that AI has not yet been impactful against COVID-19. Its use is hampered by a lack of data, and by too much data. Overcoming these constraints will require a careful balance between data privacy and public health, and rigorous human-AI interaction. It is unlikely that these will be addressed in time to be (...) of much help during the present pandemic. In the meantime, extensive gathering of diagnostic data on who is infectious will be essential to save lives, train AI, and limit economic damages. (shrink)

Budgetary austerity has been implemented by all levels of government in Belgium since 1982. The public attention has focussed on the achievements of the centra[ level. However, also at the local level a remarkable budgetary retrenchment has been realised. This study investigates the various aspects of decremental budgeting of the Belgian municipolities, both at the expenditures and the revenues side.

Inventing Peace' revolves around the question of how we look at the world, but do not see it when there is so much war, injustice, suffering and violence. What are the ethical and moral consequences of looking, but not seeing, and, most of all, what has become of the notion of peace in all this? In the form of a written dialogue, Wim Wenders and Mary Zournazi consider this question as one of the fundamental issues of our times as well (...) as the need to reinvent a visual and moral language for peace. Inspired by various cinematic, philosophical, literary and artistic examples, Wenders and Zournazi reflect on the need for a change of perception in the everyday as well as in the creation of images. In its unique style and method, 'Inventing Peace' demonstrates an approach to peace through sacred, ethical and spiritual means, to provide an alternative to the inhumanity of war and violence. (shrink)

This paper presents new results from a detailed study of the structure of autocatalytic sets. We show how autocatalytic sets can be decomposed into smaller autocatalytic subsets, and how these subsets can be identified and classified. We then argue how this has important consequences for the evolvability, enablement, and emergence of autocatalytic sets. We end with some speculation on how all this might lead to a generalized theory of autocatalytic sets, which could possibly be applied to entire ecologies or even (...) economies. (shrink)

Medicine does not usually consider the human body from an aesthetic point of view. This article explores the notion of the lived body as aesthetic object in anthropological medicine, concentrating on the views of Buytendijk and Straus on human uprightness and gracefulness. It is argued that their insights constitute a counter-balance to the way the human body is predominantly approached in medicine and medical ethics. In particular, (1) the relationship between anthropological, aesthetic and ethical norms, (2) the possible danger of (...) a naturalistic fallacy, (3) the implications for the care of disabled people and (4) the intrinsic aesthetic quality of the human body are dealt with. (shrink)

The participation of minors in clinical trials is essential to provide safe and effective medical care to children. Because few drugs have been tested in children, pediatricians are forced to prescribe medications off-label with uncertain efficacy and safety. In this article, we analyze how the enrollment of minors in clinical trials is negotiated within relationships of mutual trust between clinicians, minors, and their parents. After a brief description of the problems associated with involving minors in clinical research, we consider how (...) existing “relationships of trust” can be used as a place where the concerns of research subjects can be more fully discussed and addressed. Building on the tacit recognition of trust found in The European Clinical Trials Directive we make policy recommendations that allow for clearer, more ethically informed guidelines for enrolling minors in clinical research. (shrink)

This article aims to examine the problem of political representation through the work of Lefort, Gauchet and Rosanvallon. It first looks at Lefort, who argues that a democratic society is characterized by a tension between its abstract guiding principles and its concrete reality. Political representation, then, mediates between these principles and society. This theory of representation allows Lefort, Gauchet and Rosanvallon not only to examine critically both past and present discourses of their contemporaries, but also to offer an alternative history (...) of their own. Yet, since the 1980s, increasing individualization has exacerbated the tension between abstract principles and society, thus making political mediation more difficult. This article discusses the diagnosis and remedy to this predicament, as developed by Gauchet and Rosanvallon. While Gauchet offers an interesting diagnosis, but remains sceptical about possible solutions, Rosanvallon is more voluntarist and offers concrete solutions for today’s crisis of political representation. (shrink)

In this article thinking on corporate social responsibility is compared with the dominant political theory of the market: theneoclassical theory. The comparison shows that thinking on CSR fundamentally collides with that theory. For example, their respectivenormative views on man are incompatible, as are their respective views on the modus operandi of the market. Given that CSR is desirable it follows that a new political theory of the market is needed. This article suggests some initial steps toward developing that new political (...) theory of the market. For example, it defends the proposition that the neoclassical idea of the market as a harmonic sphere must be replaced by the idea of the market as a fragile system. (shrink)

Coping with stress has been primarily investigated as an individual-level phenomenon. In work settings, however, an individual’s exposure to demands is often shared with co-workers, and the process of dealing with these demands takes place in the interaction with them. Coping, therefore, may be conceptualized as a multilevel construct. This paper introduces the team coping concept and shows that including coping as a higher-level team property may help explain individual-level outcomes. Specifically, we investigated the effects of exposure to danger during (...) deployment on burnout symptoms in military service members and examined to what extent this relationship was moderated by individual-level and team-level functional coping. We hypothesized that the relationship between individuals’ exposure to danger and burnout is contingent on both. In line with our predictions, we found that service members who were highly exposed to danger, and did not engage in much functional coping, suffered most from burnout symptoms, but only when their teammates did not engage in much functional coping either. When their teammates did engage in much functional coping, the effect of exposure to danger on burnout was buffered. Hence, team members’ coping efforts functioned as a resilience resource for these service members. (shrink)

Six of today's greatest thinkers take on a plethora of issues and unanswered questions of late twentieth-century science, such as the boundaries of scientific inquiry, the possibility of conducting studies of creativity, and other topics.

For a significant number of patients, there exists no, or only little, interest in developing a treatment for their disease or condition. Especially with regard to rare diseases, the lack of commercial interest in drug development is a burning issue. Several interventions have been made in the regulatory field in order to address the commercial disinterest in these conditions. However, existing regulations mainly focus on the provision of incentives to the sponsors of clinical trials of orphan drugs, and leave unanswered (...) the overarching question about the rightful place of orphan drugs in resource allocation systems. In this article, we analyse the ethical aspects of funding research and development in the field of rare diseases. We then propose an ethical framework that can help health policy makers move forward in the difficult matter of fairly allocating resources for the prevention, diagnosis and treatment of rare diseases. (shrink)

Legal information retrieval is in need of the provision of legal knowledge for the improvement of search strategies. For this purpose, the LOIS project is concerned with the construction of a multilingual WordNet for cross-lingual information retrieval in the legal domain. In this article, we set out how a hybrid approach, featuring lexically and legally grounded conceptual representations, can fit the cross-lingual information retrieval needs of both legal professionals and laymen.

Liberalist thinking argues that moral agents have a right to pursue an ordinary life. It also insists that moral agent can be bystanders. A bystander is involved with morally bad states of affairs in the sense that they are bound by moral duty, but for a non-blameworthy reason. A common view on the morality of commercial life argues that commercial agents cannot and ought not to assume the status of bystander, when confronted with child labor, pollution, or other overwhelmingly big (...) morally bad states of affairs. According to the common view, the agent will get overdemanded. In this paper, the overdemandingness charge is interpreted as a criticism of the liberalist position. According to this charge, bystander status must be given up in the market because otherwise the right to pursue a personal life is crushed. In this paper, we demonstrate that the overdemandingness charge fails. It does not make sense if bystander status is grounded in the duty of beneficence. It would make sense if the status were grounded in the duty of rescue but that duty does not apply in relation to oMBS. The condition of ‘subjective urgency’ is not fulfilled. Hence, liberalist thinking can withstand the charge of overdemandingness and commercial agents cannot assume a right never to acknowledge bystander status. (shrink)

Autoimmune diseases such as rheumatoid arthritis and gastrointestinal disorders such as stomach ulcers are often treated with drugs. NSAIDs, a common treatment in rheumatoid arthritis, may cause stomach ulcers which call for additional medications, notably antacids in the sense of drugs that suppress acid secretion by the stomach. Infection with Helicobacter pylori also plays a role in the ulcers. The infection is typically treated with antibiotics added to antacids. Considering NSAIDs and antacids, we suspect that overmedication is common to the (...) extent that particular diets are a better option. Current research and current treatments with these drugs are also problematic since circadian rhythms are mostly disregarded. All the processes involved in the disorders treated show marked variations in the course of the day. Hence experiments conforming to the guidelines of evidence-based medicine, and treatments in line with them, have outcomes strongly depending on the time factor. This calls for reforms in medicine with fresh inputs from biology. (shrink)

Science is not value-free and ethics is not fact-free. Science and ethics should be similar, but they are not. The author indicates how research in ethics is to change in the face of this. Ethicists should accommodate empirical work in their programs and they should take heed of methodologies developed in science and philosophy of science. They should abandon the search for a single overarching theory of morality. Controversies in ethics are often spurious for lack of articulate methodological key concepts. (...) For example, disagreements over the value of general theories are misguided since disputants implicitly use different notions of generality and different notions of theory. An appropriate methodology does not suffice for the resolution of controversies but it is indispensable for consensus. The book argues these theses in a general way and applies them to the subject of egoism and altruism in ethics. Further case studies concern the environment and psychiatric disorders. (shrink)

Transparency is a crucial condition to implement a CSR policy based on the reputation mechanism. The central question of this contribution is how a transparency policy ought to be organised in order to enhance the CSR behaviour of companies. Governments endorsing CSR as a new means of governance have different strategies to foster CSR transparency. In this paper we discuss the advantages and disadvantages of two conventional policy strategies: the facilitation policy and the command and control strategy. Using three criteria (...) (efficiency, freedom and virtue) we conclude that both strategies are defective. Most attention is paid to the facilitation strategy since governments nowadays mainly use this. In evaluating this strategy we analyse the Dutch case. As an alternative we introduce a third government policy: the development of a self-regulating sub-system. By construing an analogy with the historical development of corporate financial disclosure, we point out that the vital step in the creation of a self-regulating subsystem is the creation of strong informational intermediate organisations. (shrink)

Moral purism is a commonly held view on moral worthiness and how to identify it in concrete cases. Moral purists long for a moral world in which (business) people—at least sometimes—act morally worthy, but in concrete cases they systematically discount good deeds as grounded in self-interest. Moral purism evokes moral cynicism. Moral cynicism is a problem, both in society at large and the business world. Moral cynicism can be fought by refuting moral purism. This article takes issue with moral purism. (...) The common strategy to tackle moral purism is to reject the exclusion thesis which states that self-interest and the ‘pure’ moral motive (and thus moral worthiness) exclude each other. We develop a different strategy. We argue that moral purists are mistaken in the way they judge moral worthiness in concrete cases. They employ the wrongprocedureand the wrongcriteria.We develop a proper procedure and proper criteria. We build on Kant, who we argue is unfairly regarded as the champion of moral purism. In order to see how Kant can develop a consistent (non-purist) philosophy, the exclusion thesis must be embedded in Kant’s transcendental philosophy. Properly embedded, Kant turns out to be both anti-purist and anti-cynical. (shrink)

We characterize the first-order formulas with one free variable that are preserved under bisimulation and persistence or strong persistence over the class of Kripke models with transitive frames and unary persistent predicates.

One of the essential parts within the transition towards sustainable economies, is the way how higher education prepares its students for their future role in business. In order for them to contribute to corporate social responsibility within the enterprise context, they need specific skills and competences related to sustainable development. Derived from the societal role of business schools in preparing the future business leaders and entrepreneurs, the focus of this paper is the participation in, and the contribution of business schools (...) to the issues of efficiency measures for sustainability. This topic could be wider situated within the context of higher education for sustainable development, which aims at integrating competences for sustainable development into the curriculum, and integrating sustainability measures within campus operations, research and societal role. The paper furthermore looks at a business school context as a case for institutional efficiency measures. The paper describes how business schools could implement efficiency measures and apply instruments within their own context, looking at the campus as a ‘living laboratory’ for sustainability innovation. The paper describes how tools and instruments to foster sustainability integration are applied on campus, its benefits and possible problems. The paper focuses on the application of three instruments: Assessment Instrument for Sustainability in Higher Education; Ecological Footprint Analysis; and Principles for Responsible Management Education. It builds upon the data and results from several action research projects within two Belgian business schools. As a conclusion, the paper will reflect upon the essential characteristics of these initiatives, as a way to enhance efficiency measures for sustainability both within the business school itself, as within a wider business context. (shrink)

Education in the post-truth era: Reflections on the role of learning in sustainability and democracy This paper revisits the field of (Higher) Education for Sustainable Development in a post-truth era. It reflects on the current debate regarding the role of education in sustainability from a Deweyan perspective. This approach leads towards a renewed interpretation of individual sustainability competences in societal context influenced by post-truth characteristics and super wicked problems. The Deweyan perspective with focus on personal flourishing and the role of (...) education in democracy, provides guiding principles to frame individual sustainability competences in the current post-truth context, thereby highlighting the importance of critical inquiry. The paper recommends to revisit the connection between education and sustainability from a personal and societal perspective, thereby taking into account the current context of higher education, influenced by neoliberalism, economic efficiency and managerialism. (shrink)

Ecological footprint analysis has been used worldwide in a variety of organizations educational institutions) and at different levels organizations, cities, regions, countries). Universities also calculated their ecological footprints, for various reasons: e.g. to answer the societal appeal to integrate sustainability into their core business, to perform a sustainability assessment of their operations, to use as an educational tool with students, to use for policy development. In general, performing an ecological footprint analysis is a way for higher education to ‘practice what (...) they preach’, to monitor sustainability performance and raise awareness among the university's community. This article focuses on the calculation of the ecological footprint and discusses the possibilities to use this tool for campus operations, educational purposes and policy development. (shrink)

In this tribute to the life and work of philosopher Bat-Ami Bar On, I start by describing what daring to be good looks like. I present engagement with good and evil as a dilemma, one that I believe Bar On’s work overcomes. In the experience of evil in the world, people can make good decisions with incomplete information and uncertainty, or people can experience atrocity in bold relief and remain apathetic. We should understand the causes and motivations for both. I (...) make suggestions about how we can bring these visions into the classroom with the critical, engaged pedagogies of Paolo Freire and David A. Kolb, concluding with a return to the idea of philosophy as political action. We are daring—courageous—when we endeavor to do good, especially when the outcome is uncertain and/or requires sacrifice. In the end, I summarize Bar On’s five-step method for confronting evil with meaningful political citizenship. (shrink)

With its interesting spectrum of viewpoints on some very actual and challenging themes, this book attempts to challenge the personal opinion of scholars and ...

Transparency is a crucial condition to implement a CSR policy based on the reputation mechanism. The central question of this contribution is how a transparency policy ought to be organised in order to enhance the CSR behaviour of companies. Governments endorsing CSR as a new means of governance have different strategies to foster CSR transparency. In this paper we discuss the advantages and disadvantages of two conventional policy strategies: the facilitation policy and the command and control strategy. Using three criteria (...) (efficiency, freedom and virtue) we conclude that both strategies are defective. Most attention is paid to the facilitation strategy since governments nowadays mainly use this. In evaluating this strategy we analyse the Dutch case. As an alternative we introduce a third government policy: the development of a self-regulating sub-system. By construing an analogy with the historical development of corporate financial disclosure, we point out that the vital step in the creation of a self-regulating subsys- tem is the creation of strong informational intermediate organisations. (shrink)