We describe and analyse how large herbivores strongly diminished a woody vegetation, dominated by the unpalatable shrub Sambucus nigra L. and changed it into grassland. Density of woody species and cover of vegetation were measured in 1996, 2002 and 2012 in the grazed Oostvaardersplassen. In 2002 and 2012 we also measured density and cover in an ungrazed control site. In 2002 we measured intensity of browsing and bark loss of Sambucus shrubs in the grazed and control sites. In the grazed (...) site the density of Sambucus and Salix spp. declined significantly between 1996 and 2012, and large areas changed into grassland. In the control site the density of Sambucus increased significantly during this period, the density of Salix spp. did not change, and the vegetation consisted of a mixture of woody species and a field layer dominated by tall herbs. In 2002 and 2012 the percentages of dead Sambucus shrubs were significantly higher in the grazed site than in the control site. In 2002 the percentages of twigs browsed and ring barked stems of Sambucus shrubs were significantly higher in the grazed site than in the control site. Our results show that debarking caused mature Sambucus shrubs to die, but that heavy browsing may have helped this process. Our results also point to a significant neighbour effect on the break down of Sambucus, suggesting that Aggregational Resistance and Associational Palatability were both active. Essential conditions for the break down of this woody vegetation were the presence of large herbivores, the low ratio between the areas of summer and winter feeding habitats and the competition amongst herbivores. Browsing may have been responsible for seedling death, as seedlings were found only in the control site and not on the old and newly established grasslands in the grazed site. (shrink)

In this paper a semantics for dynamic predicate logic is developed that uses sequence valued assignments. This semantics is compared with the usual relational semantics for dynamic predicate logic: it is shown that the most important intuitions of the usual semantics are preserved. Then it is shown that the refined semantics reflects out intuitions about information growth. Some other issues in dynamic semantics are formulated and discussed in terms of the new sequence semantics.

Cho and Martinez-Martin provide a wide-ranging analysis of what they label “digital simulacra”—which are in essence data-driven AI-based simulation models such as digital twins or models used for i...

The development of the dynamic semantics of natural languagehas put issues of variable control on the agenda of formal semantics. Inthis paper we regard variables as names for stacks of values and makeexplicit several control actions as push and pop actions on stacks. Weapply this idea both to static and dynamic languages and compare theirfinite variable hierarchies, i.e., the relation between the number ofvariable stacks that is available and the expressivity of the language.This can be compared in natural languages with (...) relating the number ofpronouns available to the expressivity of the language.The results are obtained using techniques from static and dynamic modeltheory: model theoretic games, transition systems and bisimulation. (shrink)

This article discusses the lack of inclusive language in the Liedboek van die kerk, which still remains the official hymnal of the Afrikaans Reformed churches in South Africa. Because there seems to be a general misconception about inclusive language, especially in this particular religious context, I will argue that the use of inclusive language will not only help to counteract the current identity crisis the church is experiencing, but will also reflect Christ's theology of inclusivity during his time on earth. (...) A broader understanding of the God image, rooted in biblical hermeneutics, is imperative and should be incorporated in the text of the Afrikaans hymn. I will argue that this inclusive spirituality may also lead to greater spiritual well-being of all Christians in the Afrikaans Reformed churches. This paper is critical qualitative research and arguments from the feminist theology will be interpreted and applied to the Afrikaans context. (shrink)

This paper is concerned with the structure of texts in which aproof is presented. Some parts of such a text are assumptions, otherparts are conclusions. We show how the structural organisation of thetext into assumptions and conclusions helps to check the validity of theproof. Then we go on to use the structural information for theformulation of proof rules, i.e., rules for the (re-)construction ofproof texts. The running example is intuitionistic propositional logicwith connectives , and. We give new proofs of some (...) familiar results aboutthe proof theory of this logic to indicate how the new techniques workout. (shrink)

We consider substitutions in order sensitive situations, having in the back of our minds the case of dynamic predicate logic (DPL) with a stack semantics. We start from the semantic intuition that substitutions are move instructions on stacks: the syntactic operation [y/x] is matched by the instruction to move the value of the y-stack to the x-stack. We can describe these actions in the positive fragment of DPLE. Hence this fragment counts as a logic for DPL-substitutions. We give a calculus (...) for the fragment and prove soundness and completeness. (shrink)

An axiomatization is presented of the denotational semantics for first order language of Apt [1]. The goal is to obtain a rational reconstruction of the intuitions underlying this semantics. The axiomatization combines ideas about four valued logic with facts about substitutions. Soundness and completeness of the axiomatization are established. From the completeness proof a decision procedure is obtained that shows how four valued logic and order sensitivity of substitution together add up in a natural way to the denotational semantics for (...) the language of first order logic as proposed by Apt. (shrink)

In 2016, I published an article in which I explained the purpose and benefits of using inclusive and expansive language in the Afrikaans Dutch Reformed Church's hymns which, to this day, remain notably exclusive in gender references and when addressing God. I hoped that my article would inspire the workgroup responsible for the creation of new Afrikaans hymns to consider the possibilities and advantages of inclusive language. When I submitted a new melody and text to said workgroup earlier this year, (...) the melody was accepted, but the text rejected on grounds that it was seen as a 'forced adaptation of how the Father chooses to reveal himself to us'. This blatant and continuing aversion to incorporate some form of inclusive or expansive language in their hymns, despite my research article I sent them, lead me to investigate this apparent opposition in the DRC context even further. After exploring the comparative stance of the three biggest reformed churches in America with regard to inclusive and expansive language, I come to the conclusion that the DRC's reservation towards inclusive and expansive language cannot be explained on sober theological objections alone. In fact, I show that these reservations are the direct consequence of protecting the interests of the church's ingroup, the heterosexual white male. I identify this ingroup based on the discriminatory way the DRC treated women, non-whites and the LGBTIQ community in the recent past. I conclude that when a church continues to protect and promote the interests of an exclusive ingroup the use of inclusive language in their songs of faith would indeed seem to be 'forced'. The title refers to Mary Daly's statement in 1973: 'If God is male then the male is god.'. (shrink)

In this paper we discuss the treatment of variables in dynamic semantics. Referent systems are introduced as a flexible mechanism for working with variables. In a referent system we carefully distinguish the variables themselves both from the machinery by which we manipulate them - their names - and from the information that we store in them - their values. It is shown that the referent systems provide a natural basis for dynamic semantics. The semantics with referent systems is compared with (...) the familiar formalisms in dynamic semantics, DRT and DPL. (shrink)

Topic of this paper is the way in which the structure of events features in discourse. We focus on the structure as introduced by verbs that express some sense of progress. First it is shown by means of examples that this structure is anaphorically available in discourse. Then we go on to discuss the different ways in which the same event may be structured within one discourse situation. We give formal representations of the crucial examples in many-sorted dynamic logic.

Neuroscientists are searching for the engram within the conceptual framework established by John Locke's theory of mind. This framework was elaborated before the development of information theory, before the development of information processing machines and the science of computation, before the discovery that molecules carry hereditary information, before the discovery of the codon code and the molecular machinery for editing the messages written in this code and translating it into transcription factors that mark abstract features of organic structure such as (...) anterior and distal. The search for the engram needs to abandon Locke's conceptual framework and work within a framework informed by these developments. The engram is the medium by which information extracted from past experience is transmitted to the computations that inform future behavior. The information-conveying symbols in the engram are rapidly generated in the course of computations, which implies that they are molecules. (shrink)

On the occasion of the 50th anniversary of C. S. Lewis’s death, a special annotated edition of his Christian classic, The Screwtape Letters, with notes and excerpts from his other works that help illuminate this diabolical masterpiece. Since its publication in 1942, The Screwtape Letters has sold millions of copies worldwide and is recognized as a milestone in the history of popular theology. A masterpiece of satire, it offers a sly and ironic portrayal of human life and foibles from the (...) vantage point of Screwtape, a highly placed assistant to “Our Father Below.” At once wildly comic, deadly serious, and strikingly original, The Screwtape Letters comprises the correspondence of the worldly-wise devil Screwtape and his nephew Wormwood, a novice demon in charge of securing the damnation of an ordinary young man. For the first time, The Screwtape Letters will be presented in full-text accompanied by helpful annotations in a striking two-color format. These annotations will give fans a deeper, more nuanced understanding of the popular book, providing background information, explanations of terms, historical significance, and excerpts from Lewis’s other works that more fully explain the ideas in this volume. For both expert Lewis fans and casual readers, The Screwtape Letters: Annotated Edition will be a beautiful and insightful guide to a beloved classic. (shrink)

Volume 1 of the Routledge History of Philosophy covers one of the most remarkable periods in human thought. The essays present the fundamental approaches and thinkers of Greek philosophy in chronological order.

In a well- known barb, CD Broad said: "Mr. Bertrand Russell produces a new system of philosophy each year or so, and Mr. GE Moore none ...

The Cambridge Companion to the Hebrew Bible and Ethics offers an engaging and informative response to a wide range of ethical issues. Drawing connections between ancient and contemporary ethical problems, the essays address a variety of topics, including student loan debt, criminal justice reform, ethnicity and inclusion, family systems, and military violence. The volume emphasizes the contextual nature of ethical reflection, stressing the importance of historical knowledge and understanding in illuminating the concerns, the logic, and the intentions of the biblical (...) texts. Twenty essays, all specially commissioned for this volume, address the texts' historical and literary contexts and identify key social, political, and cultural factors affecting their ethical ideas. They also explore how these texts can contribute to contemporary ethical discussions. The Cambridge Companion to the Hebrew Bible and Ethics is suitable for use in undergraduate and graduate courses in liberal arts colleges and universities, as well as seminaries. (shrink)

Introduction: conceptual analysis of teaching, by B. P. Komisar and T. W. Nelson.--A concept of teaching, by B. O. Smith.--The concept of teaching, by I. Sheffler.--A topology of the teaching concept, by T. F. Green.--Teaching: act and enterprise, by B. P. Komisar.--Must an education have an aim? By R. S. Peters.--Curriculum as a field of study, by D. Heubner.--Can and should means-ends reasoning be used in teaching? By C. J. B. Macmillan and J. E. McClellan.

The Holocaust marks a decisive moment in modern suffering in which it becomes almost impossible to find meaning or redemption in the experience. In this study, C. Fred Alford offers a new and thoughtful examination of the experience of suffering. Moving from the Book of Job, an account of meaningful suffering in a God-drenched world, to the work of Primo Levi, who attempted to find meaning in the Holocaust through absolute clarity of insight, he concludes that neither strategy works well (...) in today's world. More effective are the day-to-day coping practices of some survivors. Drawing on testimonies of survivors from the Fortunoff Video Archives, Alford also applies the work of Julia Kristeva and the psychoanalyst Donald Winnicot to his examination of a topic that has been and continues to be central to human experience. (shrink)

On October 31, 1994, it was announced that a confidential settlement had been reached in Doe v. Kohn, Nast & Graf, P.C., et al., 862F. Supp. 1310 ). The settlement in ths widely publicized AIDS discrimination case came three weeks after the trial began in the District Court for the Eastern District of Pennsylvania, Nov. 2, 1994, at 10).Plaintiff Doe, an associate employed at Kohn, Nast & Graf, a prominent law firm in Philadelphia, filed an AIDS discrimination case under the (...) Americans with Disabilities Act against his employer claiming that the firm fired him in March 1993 because he was HIV-positive. Doe's complaint also cited claims under ERISA and other Pennsylvania employment laws. (shrink)