The paper is a contribution to intuitionistic reverse mathematics. We introduce a formal system called Basic Intuitionistic Mathematics BIM, and then search for statements that are, over BIM, equivalent to Brouwer’s Fan Theorem or to its positive denial, Kleene’s Alternative to the Fan Theorem. The Fan Theorem is true under the intended intuitionistic interpretation and Kleene’s Alternative is true in the model of BIM consisting of the Turing-computable functions. The task of finding equivalents of Kleene’s Alternative is, intuitionistically, a nontrivial (...) extension of the task of finding equivalents of the Fan Theorem, although there is a certain symmetry in the arguments that we shall try to make transparent. We introduce closed-and-separable subsets of Baire space $${\mathcal{N}}$$ and of the set $${\mathcal{R}}$$ of the real numbers. Such sets may be compact and also positively noncompact. The Fan Theorem is the statement that Cantor space $${\mathcal{C}}$$, or, equivalently, the unit interval [0, 1], is compact and Kleene’s Alternative is the statement that $${\mathcal{C}}$$, or, equivalently, [0, 1], is positively noncompact. The class of the compact closed-and-separable sets and also the class of the closed-and-separable sets that are positively noncompact are characterized in many different ways and a host of equivalents of both the Fan Theorem and Kleene’s Alternative is found. (shrink)

Creatively operationalizing Claude Lévi-Strauss’ predicament that food is good to think with, I initiate a methodological conceptualization of food by exploring the ways in which it is apt to study Sri Lankan domestic and collective village life. Food is approached as an assemblage that is an emergent resultant of heterogeneous aspects with which it is deeply entangled and by way of which it turns into a potent agent shaping life. More specifically, I explore the vibrancy of these different components that (...) co-create the overall soundscape of food that as such becomes the conductor of Sri Lankan life. Food shapes domestic life by way of its preparation and consumption, and through its cultivation also conducts the collective rhythms at the village level. The conceptualization of food as an assemblage seeks to develop it as a methodology that opens up for a holistic integration and interdisciplinary collaboration. (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)

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)

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.

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)

Today's complex and decentralized organization gives rise to organizational needs for both loyalty and institutionalized whistle blowing. However, ethicists see a contradiction between both needs. This paper argues there is no such contradiction. It shows why earlier attempts to go beyond the dilemma are not satisfying. The solution proposed in this paper starts from an organizational perspective instead of an individual one. It does so by reframing the concept of loyalty into “rational loyalty”. This means that the object of loyalty (...) is not the physicality of an organization, but its corpus of explicit mission statement, goals, value statement and code of conduct. An implication is that organizations are – as their side of the duty of loyalty – obliged to institutionalize whistle blowing. (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.

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.

Comments on an article by Feigenson et. al.(see record 2004-18473-007). Reviewing behavioral and neural data in children, humans and animals, Feigenson and colleagues distinguish two core systems for number representation. One system represents number in an exact way but has a fixed upper limit; the other system has no size limit but represents number only approximately. Both systems are claimed to have a phylogenetic origin and to constitute the basis for ontogenetic development. As such, each system's representational principles are reflected (...) in adult human performance: subitizing is ascribed to the exact system whereas symbolic number processing is based on a mapping to the approximate system. This last assumption is motivated by the robust finding that symbolic numbers are more difficult to discriminate with increasing size (the 'size effect'). However, it remains to be shown how this mapping can reconcile the inherently exact nature of a symbolic system with signatures of approximate processing such as the size effect. (PsycINFO Database Record (c) 2005 APA, all rights reserved). (shrink)

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)

Interdisciplinary integration has fundamental limitations. This is not sufficiently realized in science and in philosophy. Concerning scientific theories there are many examples of pseudo-integration which should be unmasked by elementary philosophical analysis. For example, allegedly over-arching theories of stress which are meant to unite biology and psychology, upon analysis, turn out to represent terminological rather than substantive unity. They should be replaced by more specific, local theories. Theories of animal orientation, likewise, have been formulated in unduly general terms. A natural (...) history approach is more suitable for the study of animal orientation. The tendency to formulate overgeneral theories is also present in evolutionary biology. Philosophy of biology can only deal with these matters if it takes a normative turn. Undue emphasis on interdisciplinary integration is a modern variant of the old unity of science ideal. The replacement of the ideal by a better one is an important challenge for the philosophy of science. (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 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)

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 we discuss Adorno’s and Horkheimer’s hermeneutical interpretation of Odysseus’ encounter with Circe in their Dialectic of Enlightenment. This encounter is further interpreted – via the ecofeminist homology between women and nature – as an answer to “the siren song of nature,” in which the elements of attraction and threat to human subjectivity are deeply intertwined. Whereas his crew gives in to the siren song and experiences the pleasure of being swine, enlightened Odysseus himself resists the temptation by (...) forcing Circe to establish a contract with him, the prototypical marriage that leads to the schizophrenic mythification of housewife and prostitute. It will be argued that there exists towards nature in late-modernity a homologous stance – that of environment and wilderness.Based on these assumptions, we are able to draw a few conclusions that are relevant for the wilderness-debate in general and the plea for wilderness restoration in particular. First of all, I accept the social-constructivist argument of the inaccessibility of pristine, wild nature, as I argue there is an ontological alienation from nature that cannot be overcome. Indeed, it appears that the Marxist distinction between first nature and second nature affiliates with social-constructivist assumptions. Nevertheless, I seek to avoid the moral indifference often implied by social-constructivism by employing Adorno and Horkheimer’s eudaemonist critique of enlightenment, and argue that another, historically determined form of alienation from nature operates in the background.Although Adorno and Horkheimer do not provide us with practical measures to effect a reconciliation of humanity and nature, they do provide us with a conceptual instrument to critique certain tendencies within our society’s ecological policy. (shrink)

In this first section we start with defining the notions of inconsistency and para-consistency, we give an example of an inconsistency and clarify what according to us is the basic problem with respect to the occurrence of inconsistencies. We are then in a position to state the aim of this paper.

The condition of explicit theoretically discursive cognitive performance, as it culminates in scientific activity, is, I claim, the life world. I contrast life world and scientific world and argue that the latter arises from the first and that contrary to the prevailing views the scientific world (actually, worlds, since the classical world is substantially different from the quantum world) finds its completion in the life world and not the other way around. In other words: the closure we used to search (...) in a complete and comprehensive scientific description of all aspects of experience by referring it back to underlying atoms, genes and other scientific objects and the covering laws ruling them, should be sought in a reintegrating and occasionally dissolving of the abstract scientific model in the self-organizational fluidity and superposition-like indeterminateness and non-locality of the life world: “We have to acknowledge the indeterminate as a positive phenomenon” (Merleau-Ponty in his The Phenomenology of Perception). (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)

In this article some of the presuppositions that underly the current ideas about decision making capacity, autonomy and independence are critically examined. The focus is on chronic disorders, especially on chronic physical disorders. First, it is argued that the concepts of decision making competence and autonomy, as they are usually applied to the problem of legal (in)competence in the mentally ill, need to be modified and adapted to the situation of the chronically (physically) ill. Second, it is argued that autonomy (...) and dependence must not be considered as two mutually exclusive categories. It is suggested that decision making may take on the form of a more or less conscious decision not to be involved in making all kinds of explicit and deliberate decisions. Elaborating on Agich's distinction between ideal and actual autonomy, the concept of Socratic autonomy is introduced. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Hume Contra Spinoza? Wim Klever In Book 1 ofthe TreatiseofHumanNature1 Spinoza enjoys thehonour ofbeing the only figure from the history of philosophy and science to be explicitly and extensively discussed by Hume. This honour is, however, a dubious one as the treatment he gets is not so friendly. The passage (T 232-51) is full of insults and denunciations: Spinoza is referred to as "that famous atheist" (T 241), and (...) characterized as "universally infamous" (T 240). His doctrine contains "a true atheism" (T 240). His theory about the thinking substance is an "hideous hypothesis" (T 241); Hume does not want to enter "farther into these gloomy and obscure regions" (T 241), although he spends ten pages on the subject. Richard Popkin2 suggests on account ofthis not too well studied section: "In introducing Spinoza into the discussion of the immateriality ofthe soul, Hume follows what was common practice in his day." This statement, if true, raises the question whether Hume was sincere in writing these 'satanicverses'. Does he, after all, hide the backside of his tongue? This would bring him pretty well in line with two of his English forerunners; with Hobbes about whom Aubrey recorded: "He toldme he [Spinoza]had outthrown him [Hobbes] a bar's length, for he [Hobbes] durst not write so boldly," and with Locke, who possessedinhis privatelibraryall Spinoza's worksbutnonetheless, for one reason or another, refused to assess the theories of "those decried names," saying "I am not so well read in Hobbes or Spinoza as to be able to say what were their opinions in this matter" (namely the pre-existence ofthe soul).4 One commentator, named Gilbert Boss, wrote a two volume dissertation in order to argue for the fundamental opposition between the philosophical systems of both thinkers. In this paper I wish to propose another view and to defend their overall agreement. I will not do so with regard to their thought on religion (as this is already done byPopkin), but I shall more specificallyfocuson the theoretical (mainly epistemological) part oftheir work. Coming to Hume's text the reader of Spinoza's work who is, moreover, convinced by his geometrical demonstration of the propositions, does feel himself quite well at home chez Hume. Hume's is not another world for him. Apart from the question who is the real first modern thinker, Descartes, Hobbes, Spinoza or Hume, there is much common in their treatises on man and world, not only methodologically. Hume's rejection of "the antient philosophy," in Volume XVI Number 2 89 WIM KLEVER which he criticizes the "fictions... concerning substances, and substantial forms, and accidents, and occult qualities" (T 219), "sympathies, antipathies, and horrors ofa vacuum" (T 224) could have been written by the three other candidates as well. In fact every one of thoseitems maybe tracedoutin Spinoza's work; compare, for instance, JSp 136 ("doctrinam illam puerilem et nugatoriam de formis substantialibus, qualitatibus etc.") or 2 PPC 8s ("Quare omnia ilia figmenta de sympathie et antipathie ut falsa sunt reicienda... Nunquam dicendum erit, quod corpus aliquod movetur, ne detur vacuum; sed tantum ex alterius impulsu"). But let us go to the main theme in Book 1 ofthe Treatise, already present in Part 1, Section 1, "Ofthe Origin ofour Ideas." All our ideas result from impressions, themselves also being ideas or perceptions, though withmoreforce andliveliness. The original perceptions aresaid to be "the causes of our ideas" (T 5). We find the impressions in our mind and their effects, our ideas. Hume does not explain the cognitive status ofthe impressions by reducing them to non-cognitive processes. The "universe of the imagination" (T 68) is a world apart, irreducible to matter; we can't step out ofit, "since nothing is ever present to the mind but perceptions, and since all ideas are deriv'd from something antecedently present to the mind" (T 67). Ideas, whatever their character (about external existences or not), can only be explained by other ideas. Hume carefully avoids the category mistake of transcending the border from mental to material things and keeps consequently, at least methodologically, to the absolute caesura between mind and body. The Spinozistic reader must necessarily feel sympathy for this position. The attributes of... (shrink)

Through a careful analysis of the ethics of Philodemus, this monograph offers the first book-length study of the Epicurean sage. It explores the different aspects of the sage’s way of life and offers a reconstruction of this Epicurean role model.

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)

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.