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)

Searle's (1990) argument for the seems to rest on a confusion between ontological and epistemological claims. The potential consciousness of a mental state does not yield the same effect as does its actual consciousness, namely, the preservation of aspectual shape. Searle's distinction between the consciousness of an intentional object and that of a mental state, which is meant to counter the objection that deep unconscious rules cease to be deep once they become conscious, fails to do its appointed task.

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)

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)

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 relativistic formulation of Hide's “magnetic analogue” of Ertel's potential vorticity theorem is Dirac's “new classical theory of electrons”.

Patientenmobilität und grenzüberschreitende Gesundheitsversorgung sind alltägliche Phänomene in der Europäischen Union (EU). Im Jahr 2011 hat die EU eine Richtlinie erlassen, um in diesem Kontext Rechtssicherheit herzustellen. Bisher gibt es keine umfassenden systematischen Studien über ethische Aspekte grenzübergreifender Gesundheitsversorgung. In dieser Arbeit werden die rechtlichen Entwicklungen der grenzübergreifenden Gesundheitsversorgung dargestellt und die in der Literatur vereinzelt erwähnten ethisch relevanten Aspekte heuristisch und auf Patiententypologien aufbauend systematisch inventarisiert und diskutiert. Es zeigt sich, dass die Möglichkeit der Patientenmobilität und die damit vor (...) allem verbundenen Finanzierungsregelungen die Autonomie einiger Patienten sicherlich verbessern kann. Allerdings können wohl nicht alle Patienten Versorgungsverbesserungen erwarten. Im Gegenteil können sogar negative Konsequenzen für einige Patienten folgen, was vor allem aus gerechtigkeitstheoretischen Überlegungen kritisch zu sehen ist. (shrink)

The general theory of relativity gives an absolutely covariant formulation of Helmholtz's laws of vorticity which is valid in arbitrary reference systems. For small relative velocities ui, (with ui,u′≪ε2) these generally covariant laws deliver Helmholtz's first law for a vorticity ωi in a rigidly rotating references system $\frac{d}{{dt}}(\omega _i - \Omega _\iota ) = (\omega ^l - \Omega ^l )u_{l,i} $ with the angular velocity Ω of the rotation.

Summary Searle claims that for a machine to have intentional states it is not sufficient that a formal programme be instantiated. Various types of objections to this claim have been brought up by Searle's critics. Searle's replies to some of these objections are analysed. It turns out that it is more to these objections than Searle wants to make us believe. What is crucial, however, is that Searle's „Gedankenexperiment results in a dilemma. At the outset of the dilemma there are (...) two ways of not understanding. According to one of these ways a person (Searle's homunculus) does not understand something without knowing that s/he does not understand. While in the other mode the person knows that s/he doesn't understand. In the first case the inference from facts about the homunculus to facts about the computer is not valid whereas in the second case one would attribute mental states to the computer. Thereby Searle's claim turns out 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.

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)

Systematischer Gegenstand der klassischen Religionsphilosophie ist die Frage nach den Bedingungen der Moglichkeit, unter denen die Gottesvorstellung denkbar ist. Als so verstandene systematische Disziplin geht die Tradition der Religionsphilosophie schon auf die Theologie der antiken Naturphilosophie, vor allem aber auf die theologischen Entwurfe Platons und Aristoteles' zuruck, die fur die Wirkungsperspektive im Mittelalter und in der fruhen Neuzeit richtungweisend wurden. Als eigenstandige wissenschaftliche Disziplin entstand die Religionsphilosophie jedoch erst in der fruhen Neuzeit, und zwar mit dem Traktat des englischen Platonikers (...) Ralph Cudworth (1617-1688) The True Intellectual System of the Universe (London, 1678), der sich erstmals auch terminologisch als eine 'Philosophy of Religion' verstand. Die vorliegende historische und systematische Studie dokumentiert die Transformation der klassischen philosophischen Theologie in die neuzeitliche Religionsphilosophie unter den Bedingungen der reformatorischen Theologie, die eine Denkbarkeit der Gottesvorstellung auszuschliessen schien. (shrink)

Im Angesicht der Klimakatastrophe häufen sich die Versuche, Autor*innen der frühen Kritischen Theorie in Debatten um das sogenannte Anthropozän einzubringen. Häufig wird eine produktive Auseinandersetzung mit anderen Theorietraditionen allerdings kategorisch verweigert. In diesem Beitrag wird Theodor W. Adornos Naturbegriff in ein Gespräch mit den Arbeiten der Wissenschaftstheoretikerin Donna J. Haraway gebracht. Er zeigt, dass die gemeinsame Diskussion einen wertvollen Beitrag zu einer Kritik an gesellschaftlichen Naturverhältnissen leisten kann. Dafür werden zunächst Punkte der Überschneidung in den jeweiligen Naturbegriffen herausgearbeitet. Anschließend wird (...) die Differenz in der Frage danach, wie sich innerhalb der Logik der Naturbeherrschung dem Besonderen oder Nichtidentischen überhaupt genähert werden kann, ausgehend von dem Verhältnis von Kritik und Spekulation in beiden Ansätzen diskutiert. Es wird argumentiert, dass Adorno auch die spekulativen Momente unter die Identitätslogik der Naturbeherrschung subsumiert, während Haraway einige dieser Fallstricke vermeiden kann. Allerdings drohen ihre Spekulationen den Kontakt zum Gegenstand der Kritik zu verlieren. Zwischen den diskutierten Ansätzen lässt sich ein Verhältnis von Spekulation und Kritik anvisieren, das die Ausarbeitung eines Naturbegriffs ermöglichen kann, der auf ein herrschaftsfreies Zusammenleben aller abzielt. (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)

Theodor W. Adorno, one of the leading social thinkers of the twentieth century, long concerned himself with the problems of moral philosophy, or "whether the good life is a genuine possibility in the present." This book consists of a course of seventeen lectures given in May-July 1963. Captured by tape recorder, these lectures present a somewhat different, and more accessible, Adorno from the one who composed the faultlessly articulated and almost forbiddingly perfect prose of the works published in his lifetime. (...) Here we can follow Adorno's thought in the process of formation, endowed with the spontaneity and energy of the spoken word. The lectures focus largely on Kant, "a thinker in whose work the question of morality is most sharply contrasted with other spheres of existence." After discussing a number of the Kantian categories of moral philosophy, Adorno considers other, seemingly more immediate general problems, such as the nature of moral norms, the good life, and the relation of relativism and nihilism. In the course of the lectures, Adorno addresses a wide range of topics, including: theory and practice, ethics as bad conscience, the repressive character, the problem of freedom, dialectics in Kant and Hegel, the nature of reason, the moral law as a given, psychoanalysis, the element of the Absurd, freedom and law, the Protestant tradition of morality, _Hamlet,_ self-determination, phenomenology, the concept of the will, the idea of humanity, _The Wild Duck,_ and Nietzsche's critique of morality. (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.

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)