In Western Europe, cities grew fast between 1000 and 1300. This article looks at how the migrants moving to these emerging cities melded into communities and defended their collective rights in violent and hostile environments. It discusses a number of trust networks that were developed to meet the successive collective needs of particular social layers in rapidly changing urban societies. When a trust network became well-established and too large to allow face-to-face relations among all its members, institutions were created that (...) operated under different rules. (shrink)

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)

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)

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)

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)

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.

In classical propositional calculus for each proposition A(p) the following holds: $\vdash A(p) \leftrightarrow A^3(p)$ . In this paper we consider what remains of this in the intuitionistic case. It turns out that for each proposition A(p) the following holds: there is an n ∈ N such that $\vdash A^n(p) \leftrightarrow A^{n + 2}(p)$ . As a byproduct of the proof we give some theorems which may be useful elsewhere in propositional calculus.

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)

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.

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)

This article analyses the first 20 years of the journal Philosophyof Management to provide insight into how the journal has developed and delineated the field of philosophy of management. Our content analysis uses an inductively developed combination of thematic and frequency analysis. We present our findings in a descriptive tone, inviting scholars to reflect upon how the journal has shaped the field over the past two decades, and to trigger a discussion on a more deliberately inclusive future shaping of the (...) field. (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.

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)

In this article two questions are discussed with regard to semiosis in protein biosynthesis for nano engines. (1) What kind of semiosis is involved in the construction of these proteins? and (2) How can we explain the semiotic process observed? With regard to the first issue we draw attention to comparisons between semiosis in protein biosynthesis and human natural language. The notion of normativity appears to be of great importance for both. A comparison also demonstrates differences. Nevertheless, because of the (...) normative symbolic information processing in it, we suggest to employ the term symbolic reference (employed in linguistics as a distinguishing feature of human language) to indicate the semiotic processes in protein biosynthesis. With regard to explaining semiosis in protein synthesis we compare different approaches. We conclude that a Kantian approach should be preferred. In such an approach strengths of the mechanistic and organicist approaches can be combined, and the observed symbolic information processing acknowledged. (shrink)

Rips et al.'s arguments for rejecting basic number representations as a precursor of the natural number system are exclusively based on analog number coding. We argue that these arguments do not apply to place coding, a type of basic number representation that is not considered by Rips et al.

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)

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)

El artículo trata de las huellas que el agustinismo del siglo XVI dejó en la exégesis bíblica de la facultad de teología de Lovaina. Como un ejemplo de esto, se abordan las obras de Cornelio Jansenio de Gante, subrayando su doble propósito académico y pastoral-litúrgico. Se estudian también las obras de Thomas Stapleton, Promptuaria y Antidota, señalando su intención de contrarrestar las interpretaciones bíblicas de Calvino, Beza y otros reformadores.

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)

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)

Calvin's Doctrine of the Lord's Supper In order to pinpoint its proprium, it is necessary to understand John Calvin’s Eucharistic theology within the wider context of the intra-Protestant debates of his time. As a second- generation Reformer, Calvin developed his ideas explicitly in reaction to and as a middle way between the Lutheran and Swiss Reformed discussions of the 1520’s. To that end this essay first focuses on the main developments from the Middle Ages onwards, and then presents Calvin from (...) the perspective of the positions taken up by some of his contemporaries, in particular Philipp Melanchthon. Next, some representative texts written by Calvin himself are analysed. Although Calvin’s Eucharistic views were not from the beginning a coherent and unified doctrine but developed only gradually, they may be described in a systematic-synthetic way. With respect to the matter of closed, open, and frequent communion, it is observed that for Calvin a regular celebration is essential to the deepening of the believer’s union with Christ. (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)

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.

In this brief commentary I compare and contrast two different views of evolution: one of limited (convergent) evolution and mathematical predictability, and one of unbounded diversity and no entailing laws. Clearly these opposing views cannot both be true at the same time. Their disagreement seems to rest on different underlying assumptions, and the challenge is to see if they can be reconciled.

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)