In der Geschichte des Wiener Kreises lässt sich eine private und eine öffentliche Phase unterscheiden. Die private Phase ist 1929 zu Ende. Im Sommer dieses Jahres beschliessen die Mitglieder mit ihrer Philosophie der wissenschaftlichen Weltauffassung vor die Öffentlichkeit zu treten.

A closed λ-term E is called an enumerator if M ε /gL/dg /gTn ε N E/drn/dl = β M. Here Λ° is the set of closed λ-terms, N is the set of natural numbers and the /drn/dl are the Church numerals λfx./tfnx. Such an E is called reducing if moreover M ε /gL/dg /gTn ε N E/drn/dl /a/gb M. In 1983 I conjectured that every enumerator is reducing. An ingenious recursion theoretic proof of this conjecture by Statman is presented in (...) Barendregt . The proof is not intuitionistically valid, however. Dirk van Dalen has encouraged me to find intuitionistic proofs whenever possible. In the lambda calculus this is usually not difficult. In this paper an intuitionistic version of Statmans proof will be given. It took me somewhat longer to find it than in other cases. (shrink)

Global society is facing formidable current and future problems that threaten the prospects for justice and peace, sustainability, and the well-being of humanity both now and in the future. Many of these problems are related to science and technology and to how they function in the world. If the social responsibility of scientists and engineers implies a duty to safeguard or promote a peaceful, just and sustainable world society, then science and engineering education should empower students to fulfil this responsibility. (...) The contributions to this special issue present European examples of teaching social responsibility to students in science and engineering, and provide examples and discussion of how this teaching can be promoted, and of obstacles that are encountered. Speaking generally, education aimed at preparing future scientists and engineers for social responsibility is presently very limited and seemingly insufficient in view of the enormous ethical and social problems that are associated with current science and technology. Although many social, political and professional organisations have expressed the need for the provision of teaching for social responsibility, important and persistent barriers stand in the way of its sustained development. What is needed are both bottom-up teaching initiatives from individuals or groups of academic teachers, and top-down support to secure appropriate embedding in the university. Often the latter is lacking or inadequate. Educational policies at the national or international level, such as the Bologna agreements in Europe, can be an opportunity for introducing teaching for social responsibility. However, frequently no or only limited positive effect of such policies can be discerned. Existing accreditation and evaluation mechanisms do not guarantee appropriate attention to teaching for social responsibility, because, in their current form, they provide no guarantee that the curricula pay sufficient attention to teaching goals that are desirable for society as a whole. (shrink)

The articles by Henk Bodewitz collected in this volume, published between 1969 and 2013, deal with Vedic cosmology and ethics on basis of a systematic philological study of early Vedic texts, from the Ṛgveda to various Brāhmaṇas, Āraṇyakas and Upaniṣads.

Three experiments examined whether the mere priming of potential action effects enhances people’s feeling of causing these effects when they occur. In a computer task, participants and the computer independently moved a rapidly moving square on a display. Participants had to press a key, thereby stopping the movement. However, the participant or the computer could have caused the square to stop on the observed position, and accordingly, the stopped position of the square could be conceived of as the potential effect (...) resulting from participants’ action of pressing the stop key. The location of this position was primed or not just before participants had to stop the movement. Results showed that priming of the position enhanced experienced authorship of stopping the square. Additional experimentation demonstrated that this priming of agency was not mediated by the goal or intention to produce the effect. (shrink)

The rise of the mechanistic worldview in the seventeenth century had a major impact on views of biological generation. Many seventeenth century naturalists rejected the old animist thesis. However, the alternative view of gradual mechanistic formation in embryology didn’t convince either. How to articulate the peculiarity of life? Researchers in the seventeenth century proposed both “animist” and mechanistic theories of life. In the eighteenth century again a controversy in biology arose regarding the explanation of generation. Some adhered to the view (...) that life is a physical property of matter (e.g. Buffon), others saw living entities as the result of the development of pre-existing germs (e.g. Bonnet). Naturalists, lacked a convincing account that could guide their research. In interaction with leading naturalists of his time Immanuel Kant articulated an approach to explaining generation. Kant’s account, delineated in his Kritik der Urteilskraft (Critique of the power of judgment) (1790), is a combination of Newtonian non-reductionist mechanism in explanation, and a concept of natural end comparable to Stahl’s formal conception of organic bodies. It consists of two claims: a) in biology only mechanical explanation is explanatory, and b) living entities contain some original organisation, which is mechanically unexplainable. In the nineteenth century this approach influenced naturalists as Müller, Virchow, and Von Baer, in their physiological research. Dissatisfied with a sheer mechanistic or, on the other hand, a sheer teleological approach, they appreciated the Kantian account of mechanical explanation of natural ends. In Germany, in the second halve of the nineteenth century, Ernst Haeckel reopened the debate about abiogenesis, which still continuous. (shrink)

This paper discusses two possible formal approaches to the semantic/pragmatic characterisation of a subclass of the modal particles. It may well be that the approaches can be applied to other particles or that they can be applied to certain intonational patterns (e.g. contrastive stress), to morphemes (past tense, agreement) or to words (pronouns), constructions (some uses of definite descriptions, clefts), but I will not try to to show that here. The first approach is based on the optimality theoretic reconstruction of (...) Blutner & J¨ ager (2000) of the theory of presupposition that has become fairly standard, the Heim (1983) and van der Sandt (1992) view of presuppositions as anaphora (see Zeevat (1992) for an introduction and comparison). The first half of the paper critically reviews my earlier views on the treatment of particles in this setting, the second part introduces a novel view, again based on optimality theory, which takes as a starting point the marking constraints that are a necessary ingredient of my earlier treatment. (shrink)

Žižek’s intellectual endeavor aims at relocating political subjectivity as the foundation of communal life. As a Leninist he anchors the possibility of a revolution in Heidegger’s ‘decisionism’ and in the practice of St Paul,whose conversion is the bottom line of a revolutionary attitude. Current consumerism avoids this subject and in that sense a-voids or empties subjectivity. The revolutionary subject is the very act of affirmatively a-voiding one's current ethical system in order to radically change the coordinates of the system.

Originally the Adoro te devote was not a liturgical hymn but a prayer, probably intended by Thomas Aquinas for personal use when attending mass. Quoting the at present most reliable version of the poem, the author studies Adoro te devote from the angle of transformation: poetic, Eucharistic and mystic or eschatological transformation. Structure and form are analysed, and a number of themes discussed: two alternative interpretations of adoration, several concepts of truth intended in the poem, the good thief and doubting (...) Thomas as symbols of moral and spiritual imperfection, and living in connection, in union with God. (shrink)

The sixteenth-century Dutch spiritualist and controversialist, Dirck Volckertszoon Coornhert (1522-1590), is increasingly recognized as a pivotal figure in the cultural and political life of the early Dutch Republic. With the appearance of Henk Bonger's widely acclaimed biography (1978), the first complete account of Coornhert's life became available in the Dutch language. Today this biography is still the starting point of any serious research on Coornhert and his circle. This translation now makes this standard biography available in English for the (...) first time. The translator profited from Henk Bonger's comments on the translated chapters, and the author approved of adaptations and changes where these were deemed necessary. The structure and most of the chapters of the book are as they were in the original. The chief changes are: the abridgment and combination into one chapter of the two original chapters on Coornhert's creative work and his translations. The ample quotes from Coornhert contained in the text enable the reader to attain a first hand acquaintance with Coornhert's profound thought and inimitable style. References have been updated and some explanatory remarks intended for a non-Dutch readership were added. The translation is complemented with a full bibliography of Coornhert's writings, as well as an up-to-date bibliography of the secondary literature; with 25 illustrations. (shrink)

The concept of ‘geneticization’ has been introduced in the scholarly literature to describe the various interlocking and imperceptible mechanisms of interaction between medicine, genetics, society and culture. It is argued that Western culture currently is deeply involved in a process of geneticization. This process implies a redefinition of individuals in terms of DNA codes, a new language to describe and interpret human life and behavior in a genomic vocabulary of codes, blueprints, traits, dispositions, genetic mapping, and a gentechnological approach to (...) disease, health and the body. This article analyses the thesis of ‘geneticization’. Explaining the implications of the thesis, and discussing the critical refutations, it is argued that ‘geneticization’ primarily is a heuristic tool that can help to re-focus the moral debate on the implications of new genetic knowledge towards interpersonal relations, the power of medicine, the cultural context and social constraints, rather than emphasizing issues as personal autonomy and individual rights. (shrink)

Emphasis in historiography of science is naturally placed on the discoveries and inventions which scientists make and generally less on new methods of doing science, but sometimes the latter can he an important clue to help us understand the former. For example, while we all acknowledge how great the contributions of Maxwell, Boltzmann, Planck, and Einstein were to physics from roughly 1870 to 1920, we often overlook the significance of a methodological phrase which was popular during that same period, namely, (...) what in German was called “Bildtheorie” or in English “picture theory”. But even before we can properly study its significance we have to know what the theory was, but even this presents problems, since the meaning changed. In fact, this paper is an attempt not only to describe the history of that change from Maxwell to Wittgenstein but to study in particular how Boltzmann’s conception of Bildtheorie seems to have been at least partly incorporated into the approach of Ludwig Wittgenstein. (shrink)

When viewing a circular coin rotated in depth, it fills an elliptical region of the distal scene. For some, this appears to generate a two-fold experience, in which one sees the coin as simultaneously circular (in light of its 3D shape) and elliptical (in light of its 2D ‘perspectival shape’ or ‘p-shape’). An energetic philosophical debate asks whether the latter p-shapes are genuinely presented in perceptual experience (as ‘perspectivalists’ argue) or if, instead, this appearance is somehow derived or inferred from (...) experience (as ‘anti-perspectivalists’ argue). This debate, however, has largely turned on introspection. In a recent study, Morales, Bax, and Firestone (2020) aim to provide the first empirical test of this question. They asked subjects to find an elliptical coin seen face-on from a search array that also included a circular coin seen either face-on or at an angle. They found that subjects reacted more slowly when the distracting circle was seen at an angle, such that it’s p-shape matched that of the target ellipse. From this, they concluded that the similar p-shape between the ellipse and circle constituted a phenomenal similarity between the two, and thus that perspectivalism is true. We show that these results can also be explained by pre-attentive guidance by unconscious representations (in what follows, just “unconscious pre-attentive guidance”) and that this explanation is at least as plausible as one from phenomenal similarity. Thus, we conclude that the experiment does not support perspectivalism over anti-perspectivalism. (shrink)

Illative combinatory logic consists of the theory of combinators or lambda calculus extended by extra constants (and corresponding axioms and rules) intended to capture inference. The paper considers systems of illative combinatory logic that are sound for first-order propositional and predicate calculus. The interpretation from ordinary logic into the illative systems can be done in two ways: following the propositions-as-types paradigm, in which derivations become combinators or, in a more direct way, in which derivations are not translated. Both translations are (...) closely related in a canonical way. The two direct translations turn out to be complete. The paper fulfills the program of Church [1932], [1933] and Curry [1930] to base logic on a consistent system of λ-terms or combinators. Hitherto this program had failed because systems of ICL were either too weak (to provide a sound interpretation) or too strong (sometimes even inconsistent). (shrink)

Producers, traders, and consumers oforganic food regularly use the concept of thenatural (naturalness) to characterize organicagriculture and or organic food, in contrast tothe unnaturalness of conventional agriculture.Critics sometimes argue that such use lacks anyrational (scientific) basis and only refers tosentiment. In our project, we made an attemptto clarify the content and the use of theconcepts of nature and naturalness in organicagriculture, to relate this conception todiscussions within bioethical literature, andto draw the implications for agriculturalpractice and policy.Qualitative interviews were executed with (...) arange of people in the field of organicagriculture and with consumers of organicproducts, on the basis of a list of statementsabout the meaning of the concept of naturalnessformulated by the authors. Based on the resultsof the interviews, we distinguished 3 aspectsof the concept of naturalness: natural as theorganic (life processes), natural as theecological, and natural as referring to thecharacteristic nature of an entity. We relatedthese conceptual aspects to three mainapproaches within the field of organicagriculture: the no chemicals approach, theagro-ecological approach, and the integrityapproach. It became clear that these approachescan also be recognized in the change ofattitude of farmers as they convert fromconventional to organic agriculture, and in theattitudes of consumers of organic foodproducts. (shrink)

The contributions in this volume focus on the Bayesian interpretation of natural languages, which is widely used in areas of artificial intelligence, cognitive science, and computational linguistics. This is the first volume to take up topics in Bayesian Natural Language Interpretation and make proposals based on information theory, probability theory, and related fields. The methodologies offered here extend to the target semantic and pragmatic analyses of computational natural language interpretation. Bayesian approaches to natural language semantics and pragmatics are based on (...) methods from signal processing and the causal Bayesian models pioneered by especially Pearl. In signal processing, the Bayesian method finds the most probable interpretation by finding the one that maximizes the product of the prior probability and the likelihood of the interpretation. It thus stresses the importance of a production model for interpretation as in Grice’s contributions to pragmatics or in interpretation by abduction. (shrink)

In this review essay, I discuss how Lambert Zuidervaart relates to the philosophy of Herman Dooyeweerd in two of his books. He himself calls his work in this regard a critical retrieval. To answer the question as to how far this characterization is justified, we will look at Zuidervaart’s discussion of the religious antithesis and the transcendental critique, his idea of macrostructures and societal evil, and his view of truth and knowledge.

In this paper we have two aims: first, to draw attention to the close connexion between interpretation and scientific understanding; second, to give a detailed account of how theories without a spacetime can be interpreted, and so of how they can be understood. In order to do so, we of course need an account of what is meant by a theory ‘without a spacetime’: which we also provide in this paper. We describe three tools, used by physicists, aimed at constructing (...) interpretations which are adequate for the goal of understanding. We analyse examples from high-energy physics illustrating how physicists use these tools to construct interpretations and thereby attain understanding. The examples are: the ’t Hooft approximation of gauge theories, random matrix models, causal sets, loop quantum gravity, and group field theory. (shrink)

In the context of his theory of numberings, Ershov showed that Kleene's recursion theorem holds for any precomplete numbering. We discuss various generalizations of this result. Among other things, we show that Arslanov's completeness criterion also holds for every precomplete numbering, and we discuss the relation with Visser's ADN theorem, as well as the uniformity or nonuniformity of the various fixed point theorems. Finally, we base numberings on partial combinatory algebras and prove a generalization of Ershov's theorem in this context.

In the first part of the paper, factual information is given about developments in European business ethics since it started on a more or less institutionalized basis, five or six years ago. In the second part some comments are presented on the meaning of the developments and the possible causes. Attention is given to resemblances and differences between American and European business ethics. In the short last part some suggestions are proposed about tasks business ethics will face in the next (...) decade. (shrink)