In this event-related potential study a masking technique that prevents conscious perception of words and non-words through attentional distraction was used to reveal the temporal dynamics of word processing under non-conscious and conscious conditions. In the non-conscious condition, ERP responses differed between masked words and non-words from 112 to 160 ms after stimulus-onset over posterior brain areas. The early onset of the word–non-word differences was compatible with previous studies that reported non-conscious access to orthographic information within this time period. Moreover, (...) source localisations provided evidence for automatic activation of prelexical phonological information, whereas no evidence for non-conscious semantic processing was found. When subjects were informed about the masking technique, lexical differences occurred at later time intervals, suggesting conscious access to additional word related information. These results indicate that early visual word processing does not depend entirely on attentional resources, but that non-conscious processing probably is restricted to rather lower-level linguistic information. (shrink)

Existing proposals concerning the ontology of quantum mechanics either involve speculation that goes beyond the scientific evidence or abandon realism about large parts of QM. This paper proposes a way out of this dilemma, by showing that QM as it is formulated in standard textbooks allows for a much more substantive ontological commitment than is usually acknowledged. For this purpose, I defend a non-fundamentalist approach to ontology, which is then applied to various aspects of QM. In particular, I will defend (...) realism about spin, which has been viewed as a particularly hard case for the ontology of QM. (shrink)

Making good decisions in extremely complex and difficult processes and situations has always been both a key task as well as a challenge in the clinic and has led to a large amount of clinical, legal and ethical routines, protocols and reflections in order to guarantee fair, participatory and up-to-date pathways for clinical decision-making. Nevertheless, the complexity of processes and physical phenomena, time as well as economic constraints and not least further endeavours as well as achievements in medicine and healthcare (...) continuously raise the need to evaluate and to improve clinical decision-making. This article scrutinises if and how clinical decision-making processes are challenged by the rise of so-called artificial intelligence-driven decision support systems (AI-DSS). In a first step, this article analyses how the rise of AI-DSS will affect and transform the modes of interaction between different agents in the clinic. In a second step, we point out how these changing modes of interaction also imply shifts in the conditions of trustworthiness, epistemic challenges regarding transparency, the underlying normative concepts of agency and its embedding into concrete contexts of deployment and, finally, the consequences for (possible) ascriptions of responsibility. Third, we draw first conclusions for further steps regarding a ‘meaningful human control’ of clinical AI-DSS. (shrink)

Can there be a global demos? The current debate about this topic is divided between two opposing camps: the “pessimist” or “impossibilist” camp, which holds that the emergence of a global demos is either conceptually or empirically impossible, and the “optimist” or “possibilist” camp, which holds that the emergence of a global demos is conceptually as well as empirically possible and an embryonic version of it already exists. However, the two camps agree neither on a common working definition of a (...) global demos, nor on the relevant empirical facts, so it is difficult to reconcile their conflicting outlooks. We seek to move the debate beyond this stalemate. We argue that existing conceptions of a demos are ill-suited for capturing what kind of a global demos is needed to facilitate good global governance, and we propose a new conception of a demos that is better suited for this purpose. We suggest that some of the most prominent conceptions of a demos have focused too much on who the members of a demos are and too little on what functional characteristics the demos must have in order to perform its role in facilitating governance within the relevant domain. Our new proposal shifts the emphasis from the first, “compositional” question to the second, “performative” one, and provides a more “agency-based” account of a global demos. The key criterion that a collection of individuals must meet in order to qualify as a demos is that it is not merely demarcated by an appropriate membership criterion, but that it can be organized, democratically, so as to function as a state-like agent. Compared to the existing, predominantly “compositional” approaches to thinking about the demos, this agency-based approach puts us into a much better position to assess the empirical prospects for the emergence of a global demos that can facilitate good global governance. (shrink)

A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information.

Simulations are used in very different contexts and for very different purposes. An emerging development is the possibility of using simulations to obtain a more or less representative reproduction of organs or even entire persons. Such simulations are framed and discussed using the term ‘digital twin’. This paper unpacks and scrutinises the current use of such digital twins in medicine and the ideas embedded in this practice. First, the paper maps the different types of digital twins. A special focus is (...) put on the concrete challenges inherent in the interactions between persons and their digital twin. Second, the paper addresses the questions of how far a digital twin can represent a person and what the consequences of this may be. Against the background of these two analytical steps, the paper defines first conditions for digital twins to take on an ethically justifiable form of representation. (shrink)

I argue that scientific realism, insofar as it is only committed to those scientific posits of which we have causal knowledge, is immune to Kyle Stanford’s argument from unconceived alternatives. This causal strategy is shown not to repeat the shortcomings of previous realist responses to Stanford’s argument. Furthermore, I show that the notion of causal knowledge underlying it can be made sufficiently precise by means of conceptual tools recently introduced into the debate on scientific realism. Finally, I apply this strategy (...) to the case of Jean Perrin’s experimental work on the atomic hypothesis, disputing Stanford’s claim that the problem of unconceived alternatives invalidates a realist interpretation of this historical episode. 1 Stanford’s Argument from Unconceived Alternatives2 Previous Attempts to Undermine the Problem of Unconceived Alternatives2.1 The plausibility of unconceived alternatives2.2 The distinctness of unconceived alternatives2.3 The induction from past to present3 Causal Knowledge as a Criterion for the Realist3.1 How Chakravartty’s proposal differs from earlier causal strategies3.2 Causal realism and the detection/auxiliary distinction4 Causal Realism, Unconceived Alternatives, and the Atomic Hypothesis4.1 Perrin and the philosophers: some initial observations4.2 Roush and Stanford on Perrin4.3 From Brownian motion to the reality of atoms4.4 What we know about atoms5 Conclusion. (shrink)

Trust is one of the big buzzwords in debates about the shaping of society, democracy, and emerging technologies. For example, one prominent idea put forward by the High‐Level Expert Group on Artificial Intelligence appointed by the European Commission is that artificial intelligence should be trustworthy. In this essay, we explore the notion of trust and argue that both proponents and critics of trustworthy AI have flawed pictures of the nature of trust. We develop an approach to understanding trust in AI (...) that does not conceive of trust merely as an accelerator for societal acceptance of AI technologies. Instead, we argue, trust is granted through leaps of faith. For this reason, trust remains precarious, fragile, and resistant to promotion through formulaic approaches. We also highlight the significance of distrust in societal deliberation, as it is relevant to trust in various and intricate ways. Among the fruitful aspects of distrust is that it enables individuals to forgo technology if desired, to constrain its power, and to exercise meaningful human control. (shrink)

This paper surveys the status of scientific realism in relation to quantum physics, focusing on the problem of underdetermination.

Many philosophers have claimed that relying on the testimony of others in normative questions is in some way problematic. In this paper, I consider whether we should be troubled by deference in democratic politics. I argue that deference is less problematic in impure cases of political deference, and most non-ideal cases of political deference are impure. To establish the second point, I rely on empirical research from political psychology. I also outline two principled reasons why we should expect political deference (...) to be untroubling: political problems are difficult and require a division of epistemic labour; furthermore, there is value in exercising epistemic solidarity with those one shares an identity or interests with. (shrink)

The aim of this paper is to emphasize the fact that for all finitely-many-valued logics there is a completely systematic relation between sequent calculi and tableau systems. More importantly, we show that for both of these systems there are al- ways two dual proof sytems (not just only two ways to interpret the calculi). This phenomenon may easily escape one’s attention since in the classical (two-valued) case the two systems coincide. (In two-valued logic the assignment of a truth value and (...) the exclusion of the opposite truth value describe the same situation.). (shrink)

This paper critically assesses the proposal that scientific realists do not need to search for a solution of the measurement problem in quantum mechanics, but should instead dismiss the problem as ill-posed. James Ladyman and Don Ross have sought to support this proposal with arguments drawn from their naturalized metaphysics and from a Bohr-inspired approach to quantum mechanics. I show that the first class of arguments is unsuccessful, because formulating the measurement problem does not depend on the metaphysical commitments which (...) are undermined by ontic structural realism, rainforest realism, or naturalism in general. The second class of arguments is problematic due to its refusal to provide an analysis of the term "measurement". It turns out that the proposed dissolution of the measurement problem is in conflict not only with traditional forms of scientific realism but even with the rather minimal realism that Ladyman and Ross themselves defend. (shrink)

The paper takes a fresh look at two essays that Adam Smith wrote at the very beginning of his career. In these essays, Smith explains his philosophy of science, which is social constructivist. A social constructivist reading of Smith strengthens the scholarly consensus that The Wealth of Nations needs to be interpreted in light of the general moral theory he explicates in The Theory of Moral Sentiments, as the two essays and TMS stress the importance of the same concepts: e.g., (...) moral imagination, the socially embedded individual, and humility. The connecting tissue between all three works is made up of sentiments and values. Smith regards the socially embedded human as the agent in all three realms, and humans are always driven by values. Smith not only conceives of economics as an applied moral philosophy, but also bases both research areas on a view of knowledge creation that stresses specific epistemic values. If mainstream economic theory wants to have any claim to Adam Smith, it would have to change not only what it argues but also how it argues. Economists would have to replace the language of mathematics with the language and logic of moral philosophy and give values centre stage. (shrink)

In both the public and the business world, in academe as well as in practice, the ideas of Adam Smith are regarded as the bedrock of modern economics. When present economic conditions and management practices are criticised, Adam Smith is referred to by defenders and detractors of the current status quo alike. Smith, it is believed, defined the essential terms of reference of these debates, such as the rational pursuit of self-interest on part of the individual and the resultant optimal (...) allocation of goods in free markets thanks to the workings of an “invisible hand.” In this article, we question whether this standard view of Smith, the economist, is tenable. We provide an extensive review of the extant secondary literature from economists, business ethicists, and philosophers, comparing their assessments to crucial elements of Smith’s theoretical system. As a result, we show that Smith, far from being an advocate of a value-free or even value-averse conception of economic transactions, stood for a virtue-based and values-oriented model of business. Accordingly, we argue current management education and the pedagogy of business ethics ought to be changed, and certain strategic conclusions drawn for business practice. (shrink)

As we look to the future in a world with porous borders and boundaries transgressed by technologies, an inevitable question is:Can there be a single, global bioethics? Intimately intertwined with this question is a second one: How might a global bioethics account for profound - and constantly transforming - sources of cultural difference? Can a uniform, global bioethics be relevant cross-culturally? These are not simple questions, rather, a multi-dimensional answer is required. It is important to distinguish between two meanings of (...) bioethics: the academic discipline of bioethics as opposed to bioethics as a set of practices governing clinical care and scientific research. There is growing evidence to support the notion of a shared global understanding of bioethics as a field of inquiry focused on the moral dimensions of science and biomedicine. (shrink)

Entailment in propositional Gödel logics can be defined in a natural way. While all infinite sets of truth values yield the same sets of tautologies, the entailment relations differ. It is shown that there is a rich structure of infinite-valued Gödel logics, only one of which is compact. It is also shown that the compact infinite-valued Gödel logic is the only one which interpolates, and the only one with an r.e. entailment relation.

This paper argues that data-driven medicine gives rise to a particular normative challenge. Against the backdrop of a distinction between the good and the right, harnessing personal health data towards the development and refinement of data-driven medicine is to be welcomed from the perspective of the good. Enacting solidarity drives progress in research and clinical practice. At the same time, such acts of sharing could—especially considering current developments in big data and artificial intelligence—compromise the right by leading to injustices and (...) affecting concrete modes of individual self-determination. In order to address this potential tension, two key elements for ethical reflection on data-driven medicine are proposed: the controllability of information flows, including technical infrastructures that are conducive towards controllability, and a paradigm shift towards output-orientation in governance and policy. (shrink)

Takeuti and Titani have introduced and investigated a logic they called intuitionistic fuzzy logic. This logic is characterized as the first-order Gödel logic based on the truth value set [0,1]. The logic is known to be axiomatizable, but no deduction system amenable to proof-theoretic, and hence, computational treatment, has been known. Such a system is presented here, based on previous work on hypersequent calculi for propositional Gödel logics by Avron. It is shown that the system is sound and complete, and (...) allows cut-elimination. A question by Takano regarding the eliminability of the Takeuti-Titani density rule is answered affirmatively. (shrink)

We critically review the recent debate between Doreen Fraser and David Wallace on the interpretation of quantum field theory, with the aim of identifying where the core of the disagreement lies. We show that, despite appearances, their conflict does not concern the existence of particles or the occurrence of unitarily inequivalent representations. Instead, the dispute ultimately turns on the very definition of what a quantum field theory is. We further illustrate the fundamental differences between the two approaches by comparing them (...) both to the Bohmian program in quantum field theory. (shrink)

In the leadership literature of the past 100 years or so, rhetoric has been a topic for a long time and ethics was introduced some 30 years ago. However, the three topics, leadership, rhetoric, and ethics, have not been connected. This is astonishing because when ethical leadership made its comeback, scholars acknowledged the debt that ethical leadership owes to Aristotelian ideas. For Aristotle, leadership, ethics, and rhetoric were inseparable: without ethics, there could neither be good leadership nor rhetoric, and rhetoric (...) was the bridge from leader to follower and back. Aristotle is known as the practical philosopher and we argue that closing this major lacuna in leadership theory, would be beneficial for practice too and would help prevent Theranos-like scandals. The lacuna lies in what some call a Machiavellian view of leadership and rhetoric: both are regarded as amoral tools to achieve given ends. Aristotle would bristle at that idea. Both, leadership and rhetoric, to be good, must aim at the noble. The noble is not dictated by a heroic despot nor by a selfless saint but is understood by a leader because s/he is a socially embedded individual. We argue that leadership should be understood as personal development, that organisational rules must not inhibit virtue, that leadership is more about listening than talking, that synthesising that which is heard is central, and finally, that the common, not the collective, good is the goal of leadership. (shrink)

Some authors have argued that legitimacy without authority is possible, though their work has not found much uptake in mainstream political philosophy. I provide an improved model how legitimate political institutions without authority are possible, the Transmission Model, which I couple with a thin substantive position, the Moral Value View. I defend the model against three common objections.

Delayed-choice experiments in quantum mechanics are often taken to undermine a realistic interpretation of the quantum state. More specifically, Healey has recently argued that the phenomenon of delayed-choice entanglement swapping is incompatible with the view that entanglement is a physical relation between quantum systems. This paper argues against these claims. It first reviews two paradigmatic delayed-choice experiments and analyzes their metaphysical implications. It then applies the results of this analysis to the case of entanglement swapping, showing that such experiments pose (...) no threat to realism about entanglement. (shrink)

This paper argues that economics, over the past 200 years, has become steadily more anti-philosophical and that there are three stages in the development of economic thought. Adam Smith intended economics to be a descriptive social science, rooted in an understanding of the moral and psychological processes of an individual’s decision-making and its connection to society in general. Yet, immediately after Smith’s death, economists made a clean cut and invented a totally new discipline: they switched towards a physicalist understanding of (...) human nature. Humans, like atoms, follow a natural law: they are driven by an emotion (defined as a non-emotion, rationality), namely selfishness. Thus economics became a ‘natural’ science. In the 20th century, the second reinterpretation removed all traces of humanity from the study of economics and declared economics to be a formal science like mathematics and logics. The actor in Phase 3 economics is homo economicus syntheticus, a postulate whose only connection to real humanity is the word homo. The paper asks what the results of this dramatic relocation are and why Phase 3 economics still claims descent from Smithian economics, despite the massive differences. (shrink)

Adam Smith’s is often falsely portrayed as having argued that radical selfishness is a force for the good and that this “invisible hand’ is his market mechanism. This paper argues that Smith’s real market mechanism, the sympathy manoeuvre, is a viable alternative to Schumpeterian and mainstream models of innovation in economics and also could help build a firmer theoretical basis for other approaches such as Responsible Innovation. To Smith all human activity was social and must be understood and explained in (...) terms of the sentiments involved. Discovery, for instance, is driven by three sentiments (wonder, surprise, admiration), economic activities by sympathetic imagination, the need for exchange, the need to better one’s position in life, and the need for gratitude. Through sympathetic imagination, his famous model of the impartial spectator, Smith elegantly connects the individual and society. Smith’s innovation process is thus an exercise in social construction and not a destructive process based on radical selfishness. The paper argues that this social innovation process is a viable alternative to the extant approaches that are essentially asocial and amoral (economism) or ideologically normative (Responsible Innovation). (shrink)

It is very timely and highly important to think the relationship between theological and philosophical ethics. In this issue, Michael McCarthy et al. make a plea for a stronger dialogue...

CST is widely disregarded in the academic and public discourse. This essay argues that this is the case for two related reasons. Firstly, CST is based on the pre-Enlightenment approach to moral philosophy, virtue ethics, while the mainstream in business ethics favours the rule-based approaches consequentialism and deontology and their variants. Secondly, mainstream approaches also have adopted a positivist epistemology where theories represent the Truth that must not be questioned: they have become ideologies. This paper argues that CST, mainly through (...) the virtue ethical doctrine of the mean, is saved from having become an ideology and is much closer to the ideal of science as a self-questioning system than the mainstream in business ethics. This essay explains this counter-intuitive conclusion by tracing the history of CST and embedding it in an epistemic discussion and then suggesting what business ethics could take from CST to regain the all-important discursiveness it once had. (shrink)

It is shown that Gqp↑, the quantified propositional Gödel logic based on the truth-value set V↑ = {1 - 1/n : n≥1}∪{1}, is decidable. This result is obtained by reduction to Büchi's theory S1S. An alternative proof based on elimination of quantifiers is also given, which yields both an axiomatization and a characterization of Gqp↑ as the intersection of all finite-valued quantified propositional Gödel logics.

One of the most common arguments in favour of the state's authority is that without the coordinating hand of political institutions, we could not achieve important moral benefits. I argue that if we understand authority correctly, then coordination cannot even in principle establish that coordinators have political authority.

The biggest research programme within business ethics is arguably Corporate Social Responsibility and all its related streams (Corporate Citizenship, Social Justice, etc.) While there seems to be widespread agreement that business ethics is situated between the amoral or even immoral view of Milton Friedman as explicated in his 1970 New York Times paper, and the moral view expounded by R. Edward Freeman, this essay challenges that view. Friedman, maybe owed to his flamboyant writing style and crude and purely rhetorical oversimplifications (...) has been misinterpreted to advocate for managers to be completely amoral maximisers of profitability. This misinterpretation has become common wisdom, despite him clearly stating that the law and the moral standards of surrounding society must limit profit-seeking behaviour. Freeman's stakeholder theory, on the other hand, is seen as being on the other end of the continuum, arguing for selflessness—another misinterpretation, as I argue with Ed Freeman's help. Instead, I suggest that both Friedman and Freeman represent the virtuous mean of the business ethics continuum and not its extremes because they both base their theories on the idea of the free and socially embedded individual. The two vicious ends of the continuum are inhabited by the unreal, atomised, completely a-social and selfish individual on the one end, and by the equally unreal collectivised self-less individual on the other. The mainstream in business ethics has declared the collective and selfless end to be the ideal that must guide practice and research. The selfish and the selfless strawmen have prevented a proper debate in business ethics for too long. (shrink)

Political instrumentalism claims that the right to rule should be distributed such that justice is promoted best. Building on a distinction made by consequentialists in moral philosophy, I argue that instrumentalists should distinguish two levels of normative thinking about legitimacy, the critical and applied level. An indirect instrumentalism which acknowledges this distinction has significant advantages over simpler forms of instrumentalism that do not.

Argues for a closer connection between memories of injustice and promises of justice as a means to overcome violence.

The first-order temporal logics with □ and ○ of time structures isomorphic to ω (discrete linear time) and trees of ω-segments (linear time with branching gaps) and some of its fragments are compared: the first is not recursively axiomatizable. For the second, a cut-free complete sequent calculus is given, and from this, a resolution system is derived by the method of Maslov.

In the article ‘Represent Me: Please! Towards an Ethics of Digital Twins in Medicine’, I analysed and tried to better understand the main ethical challenges associated with Digital Twins. For those who are just entering the debate with this article: DT is a metaphor for a bundle of artificial intelligence driven simulation technologies that constantly, in real time and ad personam simulate single or multiple parts of the body and make predictions about future health states based on these simulations. My (...) argument addresses the need to look at the breadth of challenges through a perspective of representation. From such a take, key consequences can be drawn for the further development of such technologies, the required means of control and not least the way to think about the interaction between humans and ‘their’ simulations. I am very grateful for the subsequent suggestions, criticisms and further arguments, which have helped me to elaborate my arguments more clearly and have led to a substantial advancement of the debate and the discussion about ethical questions in dealing with DT. Jenny Blumenthal-Barby,1 Deborah Lupton,2 Jenny Krutzinna,3 Janina Loh,4 Brent Mittelstadt,5 Sven Nyholm,6 Daniel Tigard7 and Max Tretter8 have made excellent points, which, in the following, I will not be able to reply to individually and in detail. In this response, I will try to bundle the open points and questions along the comments and considerations mentioned above and attempt to outline their significance for an ethics of DT. Four challenges seem to be central. A first point addresses anthropological issues. It is concerned …. (shrink)

Propositional logics in general, considered as a set of sentences, can be undecidable even if they have “nice” representations, e.g., are given by a calculus. Even decidable propositional logics can be computationally complex (e.g., already intuitionistic logic is PSPACE-complete). On the other hand, finite-valued logics are computationally relatively simple—at worst NP. Moreover, finite-valued semantics are simple, and general methods for theorem proving exist. This raises the question to what extent and under what circumstances propositional logics represented in various ways can (...) be approximated by finite-valued logics. It is shown that the minimal m-valued logic for which a given calculus is strongly sound can be calculated. It is also investigated under which conditions propositional logics can be characterized as the intersection of (effectively given) sequences of finite-valued logics. (shrink)

The problem of algorithmic structuring of proofs in the sequent calculi LK and LKB ( LK where blocks of quantifiers can be introduced in one step) is investigated, where a distinction is made between linear proofs and proofs in tree form. In this framework, structuring coincides with the introduction of cuts into a proof. The algorithmic solvability of this problem can be reduced to the question of k-l-compressibility: "Given a proof of length k , and l ≤ k : Is (...) there is a proof of length ≤ l ?" When restricted to proofs with universal or existential cuts, this problem is shown to be (1) undecidable for linear or tree-like LK-proofs (corresponds to the undecidability of second order unification), (2) undecidable for linear LKB-proofs (corresponds to the undecidability of semi-unification), and (3) decidable for tree-like LKB -proofs (corresponds to a decidable subprob- lem of semi-unification). (shrink)

All first-order Gödel logics G_V with globalization operator based on truth value sets V C [0,1] where 0 and 1 lie in the perfect kernel of V are axiomatized by Ciabattoni’s hypersequent calculus HGIF.

It is shown how the schema of equivalence can be used to obtain short proofs of tautologies A , where the depth of proofs is linear in the number of variables in A .

It is shown that the infinite-valued first-order Gödel logic G° based on the set of truth values {1/k: k ε w {0}} U {0} is not r.e. The logic G° is the same as that obtained from the Kripke semantics for first-order intuitionistic logic with constant domains and where the order structure of the model is linear. From this, the unaxiomatizability of Kröger's temporal logic of programs (even of the fragment without the nexttime operator O) and of the authors' temporal (...) logic of linear discrete time with gaps follows. (shrink)

Corporate/collective moral responsibility is a thorny topic in business ethics and this paper argues that this is due a number of unacknowledged and connected epistemic issues. Firstly, CSR, Corporate Citizenship and many other research streams that are based on the assumption of collective and/or corporate moral responsibility are not compatible with Kantian ethics, consequentialism, or virtue ethics because corporate/collective responsibility violates the axioms and central hypotheses of these research programmes. Secondly, in the absence of a sound theoretical moral philosophical foundation, (...) business ethicists have based their ideas on legal and political epistemologies, yet still claim to be ethics-based. Thirdly, research is often driven by an intention to prove that a specific social goal is right, not by open and critical inquiry. Finally, today, corporate/collective moral responsibility is widely accepted as the Truth as most researchers are unaware of any issues because they are untrained in philosophy. The paper identifies the confusion about the epistemic basis as a major impediment for delivering a thick concept of the role of corporations as moral agents. Thus, the paper does not argue against corporate or collective agency as such, but points out an obvious but forgotten paradox: corporate and collective personhood cannot, at the moment at least, be epistemologically grounded in the field in which business ethics claims to operate: moral philosophy. (shrink)

The problem of approximating a propositional calculus is to find many-valued logics which are sound for the calculus (i.e., all theorems of the calculus are tautologies) with as few tautologies as possible. This has potential applications for representing (computationally complex) logics used in AI by (computationally easy) many-valued logics. It is investigated how far this method can be carried using (1) one or (2) an infinite sequence of many-valued logics. It is shown that the optimal candidate matrices for (1) can (...) be computed from the calculus. (shrink)

I defend the idea that objects and events in three-dimensional space are part of the derivative ontology of quantum mechanics, rather than its fundamental ontology. The main objection to this idea stems from the question of how it can endow local beables with physical salience, as opposed to mere mathematical definability. I show that the responses to this objection in the previous literature are insufficient, and I provide the necessary arguments to render them successful. This includes demonstrating the legitimacy of (...) dynamical considerations in the derivation of local beables and responding to the threat stemming from the availability of different sets of local beables in the context of the GRW theory. (shrink)

With this introduction we aim to illuminate Western Europe's place on the map of Cold War science and, specifically, to draw attention to the differences in and the diversity of Western European Cold War science in comparison to the United States. By discussing narratives of Cold War science in small states and asking how they fit into the European condition, we suggest that the fact of being a small state affects the conditions for and the scope of Cold War science. (...) As a whole, this special issue also emphasizes the importance of the spatial dimension; that is, the significant dependence of Cold War science on geographical relations and geopolitical interests. (shrink)