This book is an account of the important influence on the development of mathematical logic of Charles S. Peirce and his student O.H. Mitchell, through the work of Ernst Schroder, Leopold Lowenheim, and Thoralf Skolem. As far as we know, this book is the first work delineating this line of influence on modern mathematical logic.

We generalize ∇(A), which was introduced in [Sch∞], to larger cardinals. For a regular cardinal κ>ℵ0 we denote by ∇ κ (A) the statement that and for all regular θ>κ, is stationary in It was shown in [Sch∞] that can hold in a set-generic extension of L. We here prove that can hold in a set-generic extension of L as well. In both cases we in fact get equiconsistency theorems. This strengthens results of [Rä00] and [Rä01]. is equivalent with the (...) existence of 0#. (shrink)

One of several problems concerning the possibility of mental causation is that the causal potential of a supervenient property seems to be absorbed by its supervenience base if that base and the supervenient property are not identical. If the causal powers of the supervenient property are a proper subset of the causal powers of the supervenience base then, according to the causal individuation of properties, the supervenience base seems to do all the causal work and the supervenient property appears to (...) be futile. Against this consequence it is possible to argue, first, that the relevant properties of causes must be in some sense proportional to the relevant properties of their effects and, second, that the principle of causal closure serving as a premise in the supervenience argument is probably false. The constraint that the relevant properties of causes should be proportional to the relevant properties of their effects together with the falsity of the closure principle leads to a restoration of the causal efficacy of supervenient properties. (shrink)

The present study, for the first time, provides a comparative analysis of the objections raised against Christianity by late antique pagan philosophers (esp. Celsus in Alethes logos, Porphyry in Contra Christianos, and Julian the Apostate in Contra Gali-laeos) and Enlightenment philosophers and freethinkers and examines the impact of pagan thinking on the critique of Christianity in the 16th to 18th centuries - in particular, on discussions concerning the authority of the Bible, biblical exegesis, the Christian concept of faith, religious coercion (...) and the uniformity of faith, the belief in miracles, and the Christ-ian understanding of morality. (shrink)

The aim of this paper is to determine the plausibility of Robert Kirk’s strict implication thesis as an explication of physicalism and its relation to Jackson and Chalmer’s notion of application conditionals, to the notion of global supervenience and to a posteriori identities. It is argued that the strict implication thesis is subject to the same objection that affects the notion of global supervenience. Furthermore, reference to an idealised physics in the formulation of strict implication threatens to make the thesis (...) vacuous. Third, Kirk’s claim that the strict implication thesis does not entail reduction of the mental to the physical (excluding phenomenal properties) is untenable if a functional model of reduction is preferred over Nagel’s classical model. Finally, Kirk’s claim that the physical facts entail in an a priori way the fact that certain brain states feel somehow seems to be unfounded. (shrink)

This paper tries to show that Kim's strategy of preventing the problem of generalization of mental causation is not successful and that his original supervenience argument can be applied to cases of nonmental macrolevel causation, with the effect that nonmental macroproperties which only supervene on, but are not identical with, configurations of microproperties turn out to be epiphenomenal after all.

Martin Davies' criterion for the knowledge of implicit rules, viz. the causal systematicity of cognitive processes, is first exposed. Then the inference from causal systematicity of a process to syntactic properties of the input states is examined. It is argued that Davies' notion of a syntactic property is too weak to bear the conclusion that causal systematicity implies a language of thought as far as the input states are concerned. Next, it is shown that Davies' criterion leads to a counterintuitive (...) consequence: it groups together distributed connectionist systems with look-up tables. To avoid this consequence, a modified construal of causal systematicity is proposed and Davies' argument for the causal systematicity of thought is shown to be question-begging. It is briefly sketched how the modified construal links up with multiple dispositions of the same categorical base. Finally, the question of the causal efficacy of single rules is distinguished from the question of their psychological reality: implicit rules might be psychologically real without being causally efficacious. (shrink)

Millikan's proposal of a common structure of substance concepts does not explain certain conspicuous findings in the psychological literature such as typicality effects, the context sensitivity of these effects, and slips of the tongue. Moreover, it is unclear how antidescriptionism could be relevant to psychological theorizing. Finally, it does not seem to be true that concepts of individuals, stuff, and real kinds have a common structure in older children and in adults.

Definition of the problem This article critically addresses the conceptualization of trust in the ethical discussion on artificial intelligence (AI) in the specific context of social robots in care. First, we attempt to define in which respect we can speak of ‘social’ robots and how their ‘social affordances’ affect the human propensity to trust in human–robot interaction. Against this background, we examine the use of the concept of ‘trust’ and ‘trustworthiness’ with respect to the guidelines and recommendations of the High-Level (...) Expert Group on AI of the European Union. Arguments Trust is analyzed as a multidimensional concept and phenomenon that must be primarily understood as departing from trusting as a human functioning and capability. To trust is an essential part of the human basic capability to form relations with others. We further want to discuss the concept of _responsivity _which has been established in phenomenological research as a foundational structure of the relation between the self and the other. We argue that trust and trusting as a capability is fundamentally _responsive_ and needs responsive others to be realized. An understanding of _responsivity_ is thus crucial to conceptualize trusting in the ethical framework of human flourishing. We apply a phenomenological–anthropological analysis to explore the link between certain qualities of social robots that construct responsiveness and thereby simulate responsivity and the human propensity to trust. Conclusion Against this background, we want to critically ask whether the concept of trustworthiness in social human–robot interaction could be misguided because of the limited ethical demands that the constructed responsiveness of social robots is able to answer to. (shrink)

We propose a unified theory of intentions as neural processes that integrate representations of states of affairs, actions, and emotional evaluation. We show how this theory provides answers to philosophical questions about the concept of intention, psychological questions about human behavior, computational questions about the relations between belief and action, and neuroscientific questions about how the brain produces actions. Our theory of intention ties together biologically plausible mechanisms for belief, planning, and motor control. The computational feasibility of these mechanisms is (...) shown by a model that simulates psychologically important cases of intention. (shrink)

New forms of artificial intelligence on the one hand and the ubiquitous networking of “everything with everything” on the other hand characterize the fourth industrial revolution. This results in a changed understanding of human–machine interaction, in new models for production, in which man and machine together with virtual agents form hybrid teams. The empirical study “Socializing with robots” aims to gain insight especially into conditions of development and processes of hybrid human–machine teams. In the experiment, human–robot actions and interactions were (...) closely observed in a virtual environment. Robots as partners differed in shape and behavior. Participants were instructed to achieve an objective that could only be achieved via close teamwork. This paper unites different aspects from core disciplines of social robotics and psychology contributing to anthropomorphization with the empirical insights of the experiment. It focuses on the psychological effects on anthropomorphization and mechanization, taking the inter- and transdisciplinary field of social robotics as a starting point. (shrink)

Developments in Non-Invasive Prenatal Testing (NIPT) and cell-free fetal DNA analysis raise the possibility that antenatal services may soon be able to support couples in non-invasively testing for, and diagnosing, an unprecedented range of genetic disorders and traits coded within their unborn child’s genome. Inevitably, this has prompted debate within the bioethics literature about what screening options should be offered to couples for the purpose of reproductive choice. In relation to this problem, the European Society of Human Genetics (ESHG) and (...) American Society of Human Genetics (ASHG) tentatively recommend that any expansion of this type of screening, as facilitated by NIPT, should be limited to serious congenital and childhood disorders. In support of this recommendation, the ESHG and ASHG cite considerations of distribution justice. Notably, however, an account of justice in the organization and provision of this type of screening which might substantiate this recommendation has yet to be developed. This paper attempts to redress this oversight through an investigation of Norman Daniels’ theory of Just health: meeting health needs fairly. In line with this aim, the paper examines what special moral importance (for Just health) screening for the purpose of reproductive choice might have where concerning serious congenital and childhood disorders in particular. The paper concludes that screening for reproductive choice where concerning serious congenital and childhood disorders may be important for providing women with fair opportunity to protect their health (by either having or not having an affected child). (shrink)

In recent years, scholars have come to understand emotions as dynamic and socially constructed—the product of interdependent cultural, relational, situational, and biological influences. While researchers have called for a multilevel theory of emotion construction, any progress toward such a theory must overcome the fragmentation of relevant research across various disciplines and theoretical frameworks. We present affect control theory as a launching point for cross-disciplinary collaboration because of its empirically grounded conceptualization of social mechanisms operating at the interaction, relationship, and cultural (...) levels, and its specification of processes linking social and individual aspects of emotion. After introducing the theory, we illustrate its correspondence with major theories of emotion construction framed at each of four analytical levels: cultural, interactional, individual, and neural. (shrink)

Vorlesungen über die Algebra der Logik ist ein unveränderter, hochwertiger Nachdruck der Originalausgabe aus dem Jahr 1890. Hansebooks ist Herausgeber von Literatur zu unterschiedlichen Themengebieten wie Forschung und Wissenschaft, Reisen und Expeditionen, Kochen und Ernährung, Medizin und weiteren Genres. Der Schwerpunkt des Verlages liegt auf dem Erhalt historischer Literatur. Viele Werke historischer Schriftsteller und Wissenschaftler sind heute nur noch als Antiquitäten erhältlich. Hansebooks verlegt diese Bücher neu und trägt damit zum Erhalt selten gewordener Literatur und historischem Wissen auch für die (...) Zukunft bei. (shrink)

Teaching ethics in public health programmes is not routine everywhere – at least not in most schools of public health in the European region. Yet empirical evidence shows that schools of public health are more and more interested in the integration of ethics in their curricula, since public health professionals often have to face difficult ethical decisions.

Frames are a concept in knowledge representation that explains how the receiver, using background information, completes the information conveyed by the sender. This concept is used in different disciplines, most notably in cognitive linguistics and artificial intelligence. This paper argues that frames can serve as the basis for describing mathematical proofs. The usefulness of the concept is illustrated by giving a partial formalisation of proof frames, specifically focusing on induction proofs, and relevant parts of the mathematical theory within which the (...) proofs are conducted; for the latter, we look at natural numbers and trees specifically. (shrink)

_The Dutch Legacy_ investigates the political philosophy and philosophy of religion of Franciscus van den Enden, Lodewijk Meyer, the brothers De la Court, and Adriaan Koerbagh in order to assess their contributions to the development of radical movements in the Enlightenment.

In this article we investigate whether long-term radioactive waste management by means of geological disposal can be understood as a social experiment. Geological disposal is a rather particular technology in the way it deals with the analytical and ethical complexities implied by the idea of technological innovation as social experimentation, because it is presented as a technology that ultimately functions without human involvement. We argue that, even when the long term function of the ‘social’ is foreseen to be restricted to (...) safeguarding the functioning of the ‘technical’, geological disposal is still a social experiment. In order to better understand this argument and explore how it could be addressed, we elaborate the idea of social experimentation with the notion of co-production and the analytical tools of delegation, prescription and network as developed by actor-network theory. In doing so we emphasize that geological disposal inherently involves relations between surface and subsurface, between humans and nonhumans, between the social, material and natural realm, and that these relations require recognition and further elaboration. In other words, we argue that geological disposal concurrently is a social and a technical experiment, or better, a long-term socio-technical experiment. We end with proposing the idea of ‘actor-networking’ as a sensitizing concept for future research into what geological disposal as a socio-technical experiment could look like. (shrink)

This study examines the specificvalues held by consumers towards organic andconventionally produced meat, with particularreference to moral issues surrounding foodanimal production. A quota sample of 30 femalesfrom both a rural and an urban area of Scotland, were interviewed. Overall, there was lowcommitment towards the purchase of organicmeats and little concern for ethical issues.Price and product appearance were the primarymeat selection criteria, the latter being usedas a predictor of eating quality. Manyattitude-behavior anomalies were identified,mainly as a result of respondents' cognitivedissonance and (...) lack of understanding regardingmeat production criteria underpinning meatquality marks, e.g., Soil Association label.Responsibilities for ethical issues appeared tobe delegated by the consumer to the meatretailer or government. This raises issuesabout educating consumers and bringingconsumers closer to understanding meatproduction systems. A conceptual framework isproposed that illustrates the significance ofconsumer involvement in how meat-purchasingdecisions are approached in terms of theevaluation of tangible and or intangiblequality attributes. The results also point tothe need for further research into thoseaspects of quality that individuals tend toaddress at the level of the citizen,rather than at the point of purchase. (shrink)

We discuss conceptual change and progress within mathematics, in particular how tools, structural concepts and representations are transferred between fields that appear to be unconnected or remote from each other. The theoretical background is provided by the frame concept, which is used in linguistics, cognitive science and artificial intelligence to model how explicitly given information is combined with expectations deriving from background knowledge. In mathematical proofs, we distinguish two kinds of frames, namely structural frames and ontological frames. The interaction between (...) both kinds of frames can drive mathematical interpretation. We first discuss two examples where structural frames (formulaic notation) drive ontological development (the discovery or exploration of mathematical objects). The development of Boole’s Boolean algebra may at first appear as a metaphorical treatment of the (then) new area of logic. In the analysis, we discuss how different (aspects of) certain algebraic frames change in the transfer, how arising difficulties are solved and overall argue that Boole uses the numerical algebra frame as a research template for the discovery of a system for calculations in logic. Following Ifrah, we analyse the discovery of zero as an extension to the number ontology as driven by the development of notation. Both structural and ontological frames are extended and simplified as notation progresses. Finally, we discuss two examples from infinite combinatorics, viz. topological graph theory, and one foundational issue. In both examples, the two simultaneous frames about one object are maintained independently. They motivate different research questions, but may also fruitfully interact: shifting between multiple synchronously maintained perspectives acts as a motor of innovation. The analysis shows how a frame-based approach allows to model how different perspectives drive mathematical innovation because they highlight different aspects, questions and heuristics. (shrink)

A ética do discurso justifica o conteúdo de uma moralidade que salienta a simetria entre os sujeitos e a solidariedade entre todos. Para Habermas “a solidariedade é a outra face da justiça” (1999, p. 42), ou seja, são duas faces da mesma moeda. Esta é uma afirmação chave em relação ao conteúdo cognitivo do âmbito moral. A validade das normas pressupõe uma fundamentação normativa estruturada linguisticamente, de forma a vincular a justiça com a solidariedade. A ênfase está em uma razão (...) prática capaz de fundamentar princípios igualitários e universalistas da moral e do direito (2009, p. 63). A legitimação do estado de direito deve preservar sua neutralidade ideológica, alicerçada em uma moral racional, isto é, laica (ou secular). Com isso, as exigências normativas devem ser aceitas por todos em uma sociedade pluralista, formada por cidadãos de diferentes credos e, inclusive, por não crentes (HABERMAS, 2009, p. 69). (shrink)

Frames are a concept in knowledge representation that explains how the receiver, using background information, completes the information conveyed by the sender. This concept is used in different disciplines, most notably in cognitive linguistics and artificial intelligence. This paper argues that frames can serve as the basis for describing mathematical proofs. The usefulness of the concept is illustrated by giving a partial formalisation of proof frames, specifically focusing on induction proofs, and relevant parts of the mathematical theory within which the (...) proofs are conducted; for the latter, we look at natural numbers and trees specifically. (shrink)