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)

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.

Should we conceive of corporations as entities to which moral responsibility can be attributed? This contribution presents what we will call a political account of corporate moral responsibility. We argue that in modern, liberal democratic societies, there is an underlying political need to attribute greater levels of moral responsibility to corporations. Corporate moral responsibility is essential to the maintenance of social coordination that both advances social welfare and protects citizens' moral entitlements. This political account posits a special capacity of self-governance (...) that corporations can intelligibly be said to possess. Corporations can be said to be "administrators of duty" in that they can voluntarily incorporate moral principles into their decision-making processes about how to conduct business. This account supplements and partly transforms earlier pragmatic accounts of corporate moral responsibility by disentangling responsibility from its conventional linkages with accountability, blame and punishment. It thereby represents a distinctive way to defend corporate moral responsibility and shows how Kantian thinking can be helpful in disentangling the problems surrounding the concept. (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.

Through a proof of concept in SWI-Prolog, this paper demonstrates a business transaction model by which the trading partners can derive their own, personal perspective from shared data. The demonst...

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)

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)

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 lieu of an abstract, here is a brief excerpt of the content:A Vindication Wim Klever Comparing Hume with Spinoza I am accused ofhaving misread both, at least in certain respects; I would have gone too far in considering Spinoza as an influential root of Hume's thought. On occasion of Dr. Leavitt's criticism I would like to stress the following points: 1. In spite ofWolfson'sendeavourtoreduceSpinozatoAristotelian, scholastic and Jewish sources ofthe Middle Ages, many texts—in fact all texts in which Aristotle ismentioned—constitute (...) aconvincingproof that Spinoza not only rejected,just like Hume, all sorts ofAristotelian and scholastic speculation, buteven showedmuch contemptfor them.1 In the same way there cannot be any doubt that he rejected Maimonides' Jewish Aristotelianism.2 In the TTP he defines his position in sharp contrast to Maimonides. 2.Nominalism means that names may be used for the indication of many items whereas ideas are essentially ideas of particulars. According to Spinoza everything is reflected in its own specific idea,3 whereas names like 'ens', 'aliquid', 'man', etc. may be the sign, sometimes ambiguously but often also without confusion, of more things, which are vaguely conceived. This confused idea, then, is nevertheless the properideaofaparticularblurredimageinthebrains. Some eminent scholars like Stuart Hampshire and Martial Gueroult (I confess: not all ofthem) pretend that Spinoza is a true nominalist. I think the texts (and the whole structure of the system) enforce us to confess that they are right. 3.In the case of common things, that is, (elementary) things common to all beings, the human body included, the ideas of these things are, though particular, common too.4 In spite ofand in line with Hume's agreement with Spinoza's nominalism he does not deny, as Leavitt pretends, the existence of common notions. In "Of the Passions," part 1, section 10, he writes that "according to common notions a man has no power, where very considerable motives Ue betwixt him and the satisfaction of his desires, and determine him to forbearwhathe wishes toperform."5Thispassageis notatallinconflict with Treatise 1.1.7 in which the real existence ofabstract ideas in our mind is refuted. The ideas of things we have in common with other natural beings, may not be called abstract for that reason. This section (T 17-25) is perfectly congruous with Spinoza's position. 4.I keep to my claim that there is a striking parallel between Spinoza's famous distinction between three kinds of knowledge Volume XVII Number 2 209 WIM KLEVER (2 Ethics 40s2) and some statements ofHume. Additional evidence for this claim (compared with what I gave already) is to find in Treatise 1.3.11, where Hume marks "several degrees of evidence,... distinguishing] human reason into three kinds, viz. that from knowledge, from proofs, and from probabilities" (T 124, first emphasis added); and in the Enquiry, where all objects of human reason are dividedinto three (!)kinds as well, namely"Relations ofIdeas... either intuitively or demonstratively certain" and "Matters ofFact."6 Put into a diagram the resemblance becomes even more apparent: Spinoza Ethics opinio/imaginatio ratio intuitio Hume TreatiseEnquiry probabilityMatters of Fact proofdemonstratively knowledgeintuitively Careful comparison ofthe texts shows that the functions attributed to the various kinds ofknowledge are exactly the same in Spinoza as in Hume, contrary to what is suggested by Leavitt. I only need to remind him ofthe 'Spinozistic' opening ofTreatise 1.3.3: "Tis a general maxim in philosophy, that whatever begins to exist, must have a cause of existence... Tis suppos'd to be founded on intuition,... All certainty arises from the comparison of ideas, and from the discovery of such relations as are unalterable" (T 78-79). Both philosophers locate the highest kind of knowledge in the evidence of mathematics and the common properties of nature, explained in physics. Let us not forget that both are fully naturalists, for whom the understanding of things "sub specie aeternitatis" (Spinoza's description of the third kind of knowledge) means in fact the intuition of the particular essence of things in a scientific way. 5.In the TractatusTheologico-Politicus itiscertainly not Spinoza's intention to show that the third kind of knowledge is identical with prophecy. On the contrary, in the first two chapters he clearly demonstrates, in his scientific hermeneutics, that prophecy is... (shrink)

Influential work on reasoning and decision-making has popularised the idea that sound reasoning requires correction of fast, intuitive thought processes by slower and more demanding deliberation. We present seven studies that question this corrective view of human thinking. We focused on the very problem that has been widely featured as the paradigmatic illustration of the corrective view, the well-known bat-and-ball problem. A two-response paradigm in which people were required to give an initial response under time pressure and cognitive load allowed (...) us to identify the presumed intuitive response that preceded the final response given after deliberation. Across our studies, we observe that correct final responses are often non-corrective in nature. Many reasoners who manage to answer the bat-and-ball problem correctly after deliberation already solved it correctly when they reasoned under conditions that minimised deliberation in the initial response phase. This suggests that sound bat-and-ball reasoners do not necessarily need to deliberate to correct their intuitions; their intuitions are often already correct. Pace the corrective view, findings suggest that in these cases, they deliberate to verify correct intuitive insights. (shrink)

This volume contributes to the debate on the distinction between public and private spheres with regard to the role of religion in modern societies. This issue which is inherent to many conceptions regarding social order, modernity, freedom of conscience, and the changing role and function of religion is discussed not only from a social scientific but also from a historical and philosophical point of view.

Silent gestures consist of complex multi‐articulatory movements but are now primarily studied through categorical coding of the referential gesture content. The relation of categorical linguistic content with continuous kinematics is therefore poorly understood. Here, we reanalyzed the video data from a gestural evolution experiment (Motamedi, Schouwstra, Smith, Culbertson, & Kirby, 2019), which showed increases in the systematicity of gesture content over time. We applied computer vision techniques to quantify the kinematics of the original data. Our kinematic analyses demonstrated that gestures (...) become more efficient and less complex in their kinematics over generations of learners. We further detect the systematicity of gesture form on the level of thegesture kinematic interrelations, which directly scales with the systematicity obtained on semantic coding of the gestures. Thus, from continuous kinematics alone, we can tap into linguistic aspects that were previously only approachable through categorical coding of meaning. Finally, going beyond issues of systematicity, we show how unique gesture kinematic dialects emerged over generations as isolated chains of participants gradually diverged over iterations from other chains. We, thereby, conclude that gestures can come to embody the linguistic system at the level of interrelationships between communicative tokens, which should calibrate our theories about form and linguistic content. (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)

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.

This year we celebrated Stuart Kauffman’s 80th birthday. Kauffman has contributed many original ideas to science. One of them is that of autocatalytic sets in the context of the origin of life. An autocatalytic set is a self-sustaining chemical reaction network in which all the molecules mutually catalyze each other’s formation from a basic food source. This notion is often seen as a “counterargument” against the dominant genetics-first view of the origin of life, focusing more on metabolism instead. The original (...) notion was introduced back in 1971, but it has taken several decades for this idea to really catch on. Thanks to theoretical as well as experimental progress in more recent research on autocatalytic sets, especially over the past 15 years, the idea now seems to be gaining significant interest and support. In this tribute to Kauffman’s work and ideas, a brief history of research on autocatalytic sets is presented. (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 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)

In lieu of an abstract, here is a brief excerpt of the content:More About Hume's Debt to Spinoza Wim Klever In a recent contribution to the question of Hume's relationship to SpinozaIadvocatedamoreorlessSpinozisticinterpretationofthefirst bookofA Treatise ofHumanNature.1 Ofthe Understanding, sowasmy claim, is not only very close to De natura et origine mentis (Ethica, second part) as far as its main affirmations are concerned; the convergence ofexternal and internal evidence makes it also probable that there is a remarkable influence from the one's work (...) on the other and, accordingly, that Hume's defamation of Spinoza's system might well have been disingenuous. This last point was previously also suggested by Richard Popkin in an article in which he compared Hume's philosophy ofreligion with Spinoza's.2 What motivated me to continue my research in this field? To say itinone word: the unintendeddiscoveryofmanystrikingresemblances betweenHume's secondbook, OfthePassions,andSpinoza'sthirdpart, De origine et natura affectuum. I happened to become a member of a group ofinterested people who concentrate on reading Hume, and, on the other hand, I had acquired some expertise as a Spinoza scholar for quite a number of years, so that I could not avoid seeing the commonaUties between the two philosophers. It seems to be fully impossible to explain the resemblances—which I, ofcourse, will show below—by referring to the Spinoza-article in Bayle's Dictionaire historique et critique (a source once mentioned by Hume in a letter to a London friend), since Bayle does not spend a word to the human passions. It is further a hard fact that there do not exist other written sourcesfrom which Humemighthave drawnhisSpinozisticinspiration in his French period apart from the Ethics; all available literature of the time turned around the questions theism versus atheism and free will versus determinism, without entering into the details ofhuman emotions.3 Only one conclusion was possible for me: Hume musthave been familiar with Spinoza's own text. Either the Chevaher Ramsay, whose intimate he was for some time,4 or anotherintermediaryfigure5 must have raised his interest. The best entrance into the material is constituted by Hume's closing remark in his A Dissertation on the Passions (1757), in which he elucidates what he in fact has been doing in hie analysis of the passions: Volume XDI Number 1 55 WIM KLEVER I pretend not to have here exhausted this subject. It is sufficient formy purpose, ifI have made it appear, that, in the production and conduct of the passions, there is a certain regular mechanism, which is susceptible of as accurate a disquisition, as the laws ofmotion, optics, hydrostatics, or any part ofnatural philosophy.6 In spite ofthe words "a certain," this fragment maynot be interpreted as a metaphorical assessment. The origin and the processes ofhuman passions are purely mechanical. If this is not what Hume intends to declare, he never could have added the phrase that passions are susceptible of exactly the same kind of accurate descriptions as other natural phenomena. This theory of the mechanism of the passions is certainly not Cartesian. Although Descartes, as a physical scientist, was a great promoter of the explanation of things by means of mechanical causality, he in fact did not extend this method to the life ofthe passions. In his dualistic philosophy he ascribes to the human mind (with its free will) the capability to interfere with the passions and even to dominate them.7 In this field it is Spinoza who paves the way for Hume by sharply criticizing Descartes' non-mechanistic explanation ofthe passions. His far-fetched solution ofthe mind-body interactivity by means of the pineal gland and the animal spirits pushing against it, is called "a hypothesis more occult than any occult quality." 8 Spinoza acknowledged that Descartes had good intentions in trying to explain the human affections by their direct causes, but he was inconsistent insofar as he at the same time attempted to demonstrate man's absolute dominion over them. He, Spinoza, on the contrary, "will consider human actions and appetites just as ifit were a question ofUnes, planes and bodies." 9 The analysis of passions is a piece of natural science comparable with geometry, optics10 and hydrostatics, to mention some other fields of Spinoza's research. Hume's statement... (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)

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.

After presenting Apostel’s views on scientific realism, I present definitions of the concepts of ontology and metaphysics. I then proceed to develop Apostel’s basic ontology and his metaphysics. Apostel proposed a particular understanding of existence based on his views on causation. He also developed a view of the universe as a causal self-explaining system. I discuss and illustrate three kinds of what he calls “metaphysical deductions” that aim to deliver such a view of the universe. The most important one is (...) the Leibnizian variational method, that should allow us to deduce the existing universe as the ‘best’ of all possible worlds. (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.

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.

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.

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.

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)

This is a book review of Postcritical Management Studies, by Ghislain Deslandes, published in 2023 by Springer.