The first aim of the paper is to show that under certain conditions generative syntax can be made suitable for Montague semantics, based on his type logic. One of the conditions is to make branching in the so-called X-bar syntax strictly binary, This makes it possible to provide an adequate semantics for Noun Phrases by taking them as referring to sets of collections of sets of entities ( type <ett,t>) rather than to sets of sets of entities (ett).

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)

This paper is a critical examination of Vendler's well-known aspectual classes (states, activities, accomplishments, achievements). It is argued that it not classes that play a role in the explanation of aspectual phenomena but rather some specific semantic factors from which aspectual classes can be constructed, in particular factors inherent to the (lexical) verb and to the determiners of noun phrases.

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)

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.

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)

We study the complexity of the classification problem of conjugacy on dynamical systems on some compact metrizable spaces. Especially we prove that the conjugacy equivalence relation of interval dynamical systems is Borel bireducible to isomorphism equivalence relation of countable graphs. This solves a special case of Hjorth’s conjecture which states that every orbit equivalence relation induced by a continuous action of the group of all homeomorphisms of the closed unit interval is classifiable by countable structures. We also prove that conjugacy (...) equivalence relation of Hilbert cube homeomorphisms is Borel bireducible to the universal orbit equivalence relation. (shrink)

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

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 volume presents chapters from internationally renowned scholars in the area of goals and social behavior.

One of the most important contributions of A. Church to logic is his invention of the lambda calculus. We present the genesis of this theory and its two major areas of application: the representation of computations and the resulting functional programming languages on the one hand and the representation of reasoning and the resulting systems of computer mathematics on the other hand.

The paper is replaced by a new version (12-2019): DOI: 10.5281/zenodo.3572846 -/- Physical phenomena emerge from the quantum fields everywhere in space. However, not only the phenomena emerge from the quantum fields, the law of the conservation of energy must have its origin from the same spatial structure. This paper describes the relations between the main law of physics and the mathematical structure of the “aggregated” quantum fields.

This study is an archeological investigation into the historically changing relationship between words and images. The result is an encyclopedia of interpretative techniques in which language functions as a model of thought. Three periods come to the fore. In the classical one, grammatical structures are responsible for the dominance of describing and identifying activities. Thought about art departs from the idea, that classificatory systems represent images. _Art criticism_ is the form of interpretation in this period. In the modern period time (...) moves to the foreground. Now attention is focused on changes in grammatical forms instead of changes in constant structures. A hermeneutic form of interpretation comes into being: _Art History_. In the postmodern period one realizes that words fail to establish a consistent relationship with visuality. New, semiological theories of interpretation now explain what images can signify. This volume is of interest for philosophers of art and art theoreticians, as well as for students and professionals in both fields. (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.

One of the career options Ede Christian University for higher professional education offers is nursing. As a Christian professional school, the ECU provides learning environments for nursing students to become professionals who are to exhibit a Christian life style, values and professional ethics. Nursing graduates of our school in general may have a Christian disposition regarding major issues in health care like displaying respect for patients, having a correct attitude, practising informed consent, displaying confidentiality, and avoiding euthanasia etc. A worrying (...) development for educators, though, is that often within a year after their graduation these young nursing professionals may adopt the secularized behaviour predominant in their workplace, even when that behaviour in some respects contrasts with the values they internalized during their nursing education. . Apparently, the shaping force of the social context of a professional practice can be stronger than the personal beliefs young professionals adopt before their graduation. (shrink)

Verslag van de ervaringen van een tweetal journalisten die vanuit een pseudo-consultant bureau met diverse personen zaken deden.

This article examines the role of philosophy in the development of the kinetic theory of gases. Two opposing accounts of this role, by Peter Clark and John Nyhof, are discussed and criticized. Contrary to both accounts, it is argued that philosophical views of scientists can fundamentally influence the results of their scientific work. This claim is supported by a detailed analysis of the philosophical views of Maxwell and Boltzmann, and of their work on the kinetic theory, especially concerning the so-called (...) specific heat anomaly. It leads to the conclusion that the scientific development of the kinetic theory cannot be understood without taking into account the role of philosophy. (shrink)

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)

This article offers a critical examination of the arguments that underpin Slavoj Žižek's political utopianism. It maintains that Žižek's rejection of liberal democracy and market capitalism is sustained by highly problematical rhetorical strategies and that his purportedly Marxist plea for a new social order is based on an essentially Romantic, more specifically Nietzschean, conception of modern man's existential predicament.

This paper approaches the scientific realism question from a naturalistic perspective. On the basis of a historical case study of the work of James Clerk Maxwell and Ludwig Boltzmann on the kinetic theory of gases, it shows that scientists’ views about the epistemological status of theories and models typically interact with their scientific results. Subsequently, the implications of this result for the current realism debate are analysed. The case study supports Giere’s moderately realist view of scientific models and theories, based (...) on the notion of similarity, and it highlights the crucial role of model users. The paper concludes with a discussion of Boltzmann’s Bildtheorie, the sophisticated form of realism that he developed in response to the scientific problems of kinetic theory. (shrink)

The Dutch Republic had a broad range of means to establish an individual's identity, and a rudimentary ‘system’ of identity registration, essentially established at the local levels of town and parish. This chapter seeks to provide a description of the ways in which the Dutch established an individual's identity. The various registration methods covered almost the entire population of the Dutch Republic at some stage in their life, and it is argued that on balance identity registration in the Dutch Republic (...) was fairly successful. The chapter contends that the degree to which identity was registered and monitored in the early modern era in the Netherlands, while certainly not wholly effective, is remarkable given the absence of a centralized state and the lack of a large bureaucracy. (shrink)