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)

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)

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.

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)

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)

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)

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)

Zusammenfassung Der vorliegende Beitrag schlägt sechs religionswissenschaftliche Metakonzepte als fachliche Bausteine einer Didaktik für schulische Religionskunde vor. Exemplarisch werden das Metakonzept „Religion als essentially contested concept“ und seine Implikationen für anzustrebende Lernwege im Religionskundeunterricht ausführlich erörtert. Die Metakonzepte bieten nicht nur eine Alternative zu essenzialistischen Kanonentwürfen wie dem Weltreligionenparadigma in der Diskussion um die Inhaltsdimension von Religionskundeunterricht; sie können und sollen auch als Beitrag zum Selbstverständigungsdiskurs der Religionswissenschaft als akademische Disziplin gelesen werden.

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)

Every second-countable regular topological space X is metrizable. For a given “computable” topological space satisfying an axiom of computable regularity M. Schröder [10] has constructed a computable metric. In this article we study whether this metric space can be considered computationally as a subspace of some computable metric space [15]. While Schröder's construction is “pointless”, i. e., only sets of a countable base but no concrete points are known, for a computable metric space a concrete dense set of computable points (...) is needed. But there may be no computable points in X. By converging sequences of basis sets instead of Cauchy sequences of points we construct a metric completion of a space together with a canonical representation equation image, equation image. We show that there is a computable embedding of in with computable inverse. Finally, we construct a notation of a dense set of points in with computable mutual distances and prove that the Cauchy representation of the resulting computable metric space is equivalent to equation image. Therefore, every computably regular space has a computable homeomorphic embedding in a computable metric space, which topologically is its completion. By the way we prove a computable Urysohn lemma. (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.

With increasing flexibility of technology and a shift towards competence being the core of competitive edge in worklife, the need for new organizational concepts or models which givejoint optimization across human and technological dimensions has been acknowledged in leading, innovative enterprises. National crossdisciplinary research based productivity programmes are appearing in several countries. Due to internationalization and the general shortcomings of bureaucratic organizational forms, regional networks of enterprises in cooperation with public R&D institutions seem to provide answers to needs of regions (...) to remain competitive. The paper discusses the possible role of social science in a multilevel, participative strategy for developing new, democratic and productive organizational forms in worklife. Aspects of national productivity programmes in Scandinavia, Germany and Australia are discussed in connection with the situation in Italy as analyzed through some recent research projects. (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)

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)

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)

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)

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)

_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.

The study of natural law theories is presently one of the most fruitful areas of research in the studies of early modern intellectual history, and moral and political theory. Likewise the historical significance of the Enlightenment for the development of `modernisation' in many different forms continues to be the subject of controversy. This collection therefore offers a timely opportunity to re-examine both the coherence of the concept of an `early Enlightenment', and the specific contribution of natural law theories to its (...) formation. The works of major thinkers such as Grotius, Hobbes, Locke, Malebranche, Pufendorf and Thomasius are reassessed, and the appeal and importance of the discourse of natural jurisprudence both to those working inside conventional educational and political structures and to those outside - such as in the Huguenot diaspora - is evaluated. This volume will therefore be of importance to all those readers concerned to study the character of the debates in the period 1650-1750 surrounding moral and political agency, sovereignty and obligation, and the legitimation of religious toleration in the divergent states and patriotic contexts of Europe. (shrink)