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)

In this introductory article, the authors first briefly present the debate on the meaning of sustainability and consider the question of how to connect the concept of sustainability with a Christian-in particular, Reformational-way of doing philosophy. After examining the various uses of Dooyeweerdian philosophy in this regard, this introduction closes with an overview of the contributions to this special issue.

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

Metaphors of the Church have a potentiallty to renew the Church, which is grounded on their linguistic structure and their semiotic functions. In this article the question is posed which kind of Church renewal is brought about by 'People of God' and 'Church of the Poor'. The bachground of both metaphors is found in the Second Vatican Council. 'People of God' is fully received in european theology and liberation theology, 'Church of the Poor' in latinamerican and, in its own accentuation, (...) asian theology. The different reception of both metaphors does arrive at the conclusion that 'People of God' is stimulating a renewal which innovates modern heritage, concentrated in consciousness of autonomy, individuality and democraty, within the Church, and that 'Church of the Poor' stimulates the Church to look at itself from the perspective of the poor and to become aware of its contextuality. (shrink)

Although principles, as a framework to resolving moral dilemmas are still debated and seem to be in a philosophical quagmire, there are strong arguments that by specification one can resolve case-specific dilemmas in certain areas of bioethics. When it comes to genetic screening and testing however, the problem at the base is a moral disagreement on higher-order principles—such as the status of the embryo and parental issues. No amount of specification can resolve these issues without a dose of relativism. We (...) explore a possibility of agreement on debatable areas specifically in regard to genetics—such as conferring status to the embryo solely for purposes of preventing genetic selection; but it is difficult to see how this can be incorporated into law without extrapolation to other areas. We conclude therefore that the four-principles approach, albeit valuable for expounding opposing views and discussing issues, cannot either alone or by specification, help resolve issues of genetic screening and testing without agreeing on higher order principle. This does not seem to be a possibility in the near future. (shrink)

Zusammenfassung Sportökonomen empfehlen dem europäischen Profifußball eine Rezeption der Kooperationsdesigns der US-amerikanischen Profiligen, da diese als Prototyp eines langfristig überlebensfähigen Meisterschaftsbetriebs angesehen werden. Der vorliegende Beitrag argumentiert auf der Basis einer Rekonstruktion der Entwicklung der Zentralvermarktung der Fußball-Bundesliga, dass dem deutschen Profifußball diese Option versperrt ist, da die politischen Anspruchsgruppen des Fußballs die Bewahrung des europäischen Sportmodells einfordern. Zugleich hat das Zusammenspiel von politischen Regulierungsbemühungen und Medienentwicklung zur Einführung eines höchst problematischen Wettbewerbsdesigns im europäischen Profifußball geführt, das aber schwer veränderbar (...) erscheint. (shrink)

This contribution discusses the expression ‘Image of the Father’ as a case in point to Aquinas's approach of naming Christ: Christology and Trinitarian theology, as well as the discussion of analogical naming in divinis, need to be taken together. ‘Image’ and ‘Father’ are predicated differently of Christ and God the Father than of human beings. Moreover, God is ‘Father’ in a different way towards the Son than regarding human beings. Christ is the unique image of the Father: the invisible image (...) of the invisible Father. (shrink)

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)

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)

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

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)

Analyse van de positie van de vrouw in gezins- en arbeidssituaties en de rol van de staat daarbij.

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

In recent years, scientific understanding has become a focus of attention in philosophy of science. Since understanding is typically associated with the pragmatic and psychological dimensions of explanation, shifting the focus from explanation to understanding may induce a shift from accounts that embody normative ideals to accounts that provide accurate descriptions of scientific practice. Not surprisingly, many ‘friends of understanding’ sympathize with a naturalistic approach to the philosophy of science. However, this raises the question of whether the proposed theories of (...) understanding can still have normative power. In this paper I address this question by examining two theories of scientific understanding: Jan Faye’s pragmatic-rhetorical theory and my own contextual theory of scientific understanding. I argue that both theories leave room for normativity, despite their naturalistic tendencies. The normative power of my contextual theory is illustrated with a case study of the chemical revolution. (shrink)

Scholars in the field of communication research have extensively studied television viewing in general and watching television news in particular. The book looks at the subject from an integrative theoretical perspective. Based on Schutzean sociology and action theoretical approaches to media use, the author argues that immediate social influences and other everyday life situations largely determine television use, and that the influence of short-term situational characteristics are often overlooked in person-centered explanatory models.In three empirical studies, the role of short-term situat.

Summary It is shown that, besides differences in emphasis on structural and developmental aspects, there is far reaching agreement between the views of Nagel and Lakatos on structure and development of science. I argue that both views can interact very fruitfully, and by way of illustration a confrontation of Nagel's notion of a model with Lakatos' notion of a positive heuristic is pursued in some detail. The conclusion is that for microscopic theories, a Lakatosian positive heuristic is exactly the same (...) entity as a substantive model in the sense of Nagel, but that for phenomenological theories there is (as yet) no such structural concept as a model available that can be identified with a Lakatosian positive heuristic. (shrink)

The paper explores the introduction of contracts in the common ground by means of requests, promises and questions. Various modal operators are introduced to achieve the modelling of these new additions to the conversational record. The paper extends the treatment of Zeevat 97 and introduces the beginnings of a theory of action.

The paper introduces a statistical notion of bidirectionality aimed at bridging the gap between synchronic and diachronic linguistic explanations.

Kaplan's theory of demonstratives and deicticals can be brie y stated as follows. Expressions of this kind depend for their interpretation on the context of utterance and in a context of utterance they refer directly to whatever they refer to. Direct reference in turn consists in two properties. The rst property is the absence of a Fregean sense. The context does its work once and for all and the reference is not in uenced by a counterfactual circumstance in which something (...) else is pointed at or somebody else is speaking. The second property is the rigidity of the reference: if the reference is direct, it is the same in all possible worlds. It is rigid in a sense slightly stronger than Kripke's, because even in worlds where the object does not exist, the reference is still to the object referred to in the context of utterance. Demonstratives or deicticals can fail to refer when the utterance is abnormal. Consider e.g. a demonstrative without an accompanying pointing gesture or one with a pointing gesture that fails to point to anything. For deicticals we need slightly more imagination: consider an inscription in the beach sand of I am the greatest or an utterance coming from outside of space-time of I am here now. In such cases we have a defective context of utterance. One class of counterexamples to this theory is important in the context of dialogue systems incorporating the facility of pointing in a graphical representation visible on the computer screen: demonstratives used to refer to objects represented in a picture. Kaplan discuError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapsses his pointing to a picture of Spiro T. (shrink)

A simple mathematical notion of a sign is a partial function f defined on semantic representations and mapping its parts to a set of morphs in a syntactic representation together with the domain and target representation. S =.

also as a theory of interpretation, and extending it with a bidirectional pragmatic component that is closely related to existing ideas about natural language interpretation. The paper argues for the priority of the direction from content to form, develops the..

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 important conclusion of this article is that essences of singular things are not eternal in the sense of being distinctive eternal modes, as is generally held by Spinoza scholars. Both the essence and the existence of singular things are eternal in the sense that they are comprehended in God’s eternal nature, that is to say, in the sense that they follow necessarily from that nature. The second conclusion is that the essence and the existence of things are inseparable. There (...) are no essences of things when things do not exist. Another conclusion regards the meaning of ”formal essence’. It is argued that the formal essence of a thing is the essence of a thing that formally follows from an attribute. It is not in any sense opposite to the actual essence of a thing. The formal essence is simply the actual essence of a thing that formally follows from an attribute. (shrink)