Abstract State Machines (ASMs) provide a formal method for transparent design and specification of complex dynamic systems. They combine advantages of informal and formal methods. Applications of this method motivate a number of computability and decidability problems connected to ASMs. Such problems result for example from the area of verifying properties of ASMs. Their high expressive power leads rather directly to undecidability respectively uncomputability results for most interesting problems in the case of unrestricted ASMs. Consequently, it is rather natural to (...) ask whether there exist expressive classes of ASMs for which we can prove positive decidability and computability results. In this work, we introduce such a class of ASMs. The concept is similar to the one of the guarded fragment of first-order logic. We analyze the expressive power of this class and prove that it is stronger than Datalog LITE and the guarded fragment of first-order fixed point logic. Some decidability and computability results have been proven in earlier works. (shrink)
Sibling socialisation of moral orientation was investigated in 40 dual-parent families with two children, aged 2 and 4 years. Of particular interest were: (a) the prevalence of use of care and justice moral orientations by the children during real-life dilemmas with siblings, (b) the ability of the children to combine both care and justice orientations in resolving the dilemmas, and (c) the presence of sex differences in the use of the two orientations. Data consisted of transcripts of sibling interactions during (...) sibling property disputes. Children's verbal statements to each other were coded for justice and care orientations. Siblings preferred the use of justice orientation when justifying the manner in which disputes should be resolved, a preference that increased with the age of the sibling. Care and justice were at times combined by individual children within disputes, again a finding that increased with the age of the sibling. No sex difference in the use of the two moral orientations was found; both girls and boys preferred justice over care. The implications of these findings for future research are discussed. (shrink)
Antje Jackelén's Time and Eternity successfully employs the method of correlation and a close study of the question of time to enter the dialogue between science and theology. Hermeneutical attention to language is a central element of this dialogue, but we must be aware that much science is untranslatable into ordinary language; it is when we get to the bigger metaphysical assumptions of science that true dialogue begins to happen. Thus, although the method of correlation is a useful way (...) to approach this dialogue, there is not a strict equivalence in this relationship. Theology needs science more than science needs theology. In speaking of time and God we must keep in mind the relational nature of classical Christian theism, even in its most austere forms. We should not read Enlightenment ideas of God back into the classical Christian tradition or neglect the apophatic emphasis in Christian theism, which warned against assuming knowledge of the divine nature. God's relation to time always lies beyond our understanding. Studying the effects of either the Newtonian or Einsteinian concepts of time on our theological concepts should not detract our attention from the "lived time" that characterizes human experience. Consideration of the notion of time in the Madhyamaka Buddhist tradition reminds us that we cannot control the inner reality of time and that for humans time is something to be considered pragmatically. (shrink)
Antje Jackelén's book Time and Eternity is a thorough and carefully presented theology of time and, by its very essence, an incomplete and open thought model because time will always be dynamic and relational. This approach is an excellent example for the dialogue between science and religion because it uses resources not tapped in the dialogue so far: hymn-books stemming from Germany, Sweden, and the English-speaking world published between 1975 and 1995. They are taken as resources for a critical (...) investigation on the meaning and importance of the notion of eternity for the interdisciplinary dialogue, which is characterized not as a synthesis but as holding a beneficial tension, or "eutonia." I suggest that this approach can be taken even further by merging it with a model of time developed by the German mathematician A. M. Klaus Müller: The crossing over of time modes in a relational matrix of time also gives clear insights into the time of God not only as futurum —time as extrapolation of the past and present—but also as adventus —time which is to come. (shrink)
. The present malaise of religionâand of theology, its intellectual formulationâin Western society is analyzed, with some personal references, especially with respect to its history in the United Kingdom and the United States. The need for a more open theology that takes account of scientific perspectives is urged. An indication of the understandings of God and of God’s relation to the world which result from an exploration starting from scientific perspectives is expounded together with their fruitful relation to some traditional (...) themes. The implications of this for the future of theology are suggested, not least in relation to the new phase, beginning in 2003, of the development of the Zygon Center for Religion and Science. In a concluding reflection the hope is expressed that the shared global experience and perspectives generated by the sciences might form a more common and acceptable starting point than hitherto for the exploration towards God of the seekers of many religious traditions and of none. (shrink)
Anti-Aging and Biomedicine: Critical Studies on the Pursuit of Maintaining, Revitalizing and Enhancing Aging Bodies Content Type Journal Article Category Editorial Notes Pages 187-195 DOI 10.1007/s12376-009-0021-9 Authors Antje Kampf, Johannes Gutenberg-Universität Mainz Mainz Germany Lynn A. Botelho, Indiana University of Pennsylvania Indiana PA USA Journal Medicine Studies Online ISSN 1876-4541 Print ISSN 1876-4533 Journal Volume Volume 1 Journal Issue Volume 1, Number 3.
Nicole C. Karafyllis and Gotlind Ulshöfer (Eds): Sexualised Brains, Scientific Modelling of Emotional Intelligence from a Cultural Perspective Content Type Journal Article Category Book Review Pages 407-408 DOI 10.1007/s12376-009-0035-3 Authors Antje Kampf, School of Medicine of the Johannes Gutenberg University Mainz Institute for the History, Philosophy and Ethics of Medicine Am Pulverturm 13 55131 Mainz Germany Journal Medicine Studies Online ISSN 1876-4541 Print ISSN 1876-4533 Journal Volume Volume 1 Journal Issue Volume 1, Number 4.
This paper proposes a method for computing the temporal aspects of the interpretations of a variety of Germa sentences. The method is strictly modular in the sense that it allows each meaning-bearing sentence constituent to make its own, separate, contribution to the semantic representation of any sentence containing it. The semantic representation of a sentence is reached in several stages. First, an ‘initial semantic representation’ is constructed, using a syntactic analysis of the sentence as input. This initial representation is then (...) transformed into the definitive representation by a series of transformations which reflect the ways in which the contributions from different constituents of the sentence interact. Since the different constituents which make their respective contributions to the meaning of the sentence are in most instances ambiguous, the initial representations are typically of a high degree of underspecification. (shrink)
A comparison of Merge, a model of comprehension, and WEAVER, a model of production, raises five issues: (1) merging models of comprehension and production necessarily creates feedback; (2) neither model is a comprehensive account of word processing; (3) the models are incomplete in different ways; (4) the models differ in their handling of competition; (5) as opposed to WEAVER, Merge is a model of metalinguistic behavior.
How can one conceive of the neuronal implementation of the processing model we proposed in our target article? In his commentary (Pulvermüller 1999, reprinted here in this issue), Pulvermüller makes various proposals concerning the underlying neural mechanisms and their potential localizations in the brain. These proposals demonstrate the compatibility of our processing model and current neuroscience. We add further evidence on details of localization based on a recent meta-analysis of neuroimaging studies of word production (Indefrey & Levelt 2000). We also (...) express some minor disagreements with respect to Pulvermüller's interpretation of the “lemma” notion, and concerning his neural modeling of phonological code retrieval. Branigan & Pickering discuss important aspects of syntactic encoding, which was not the topic of the target article. We discuss their well-taken proposal that multiple syntactic frames for a single verb lemma are represented as independent nodes, which can be shared with other verbs, such as accounting for syntactic priming in speech production. We also discuss how, in principle, the alternative multiple-frame-multiple-lemma account can be tested empirically. The available evidence does not seem to support that account. Footnotes1 BBS Note: The original manuscript of this Response article was received on January 14, 2000. (shrink)
The book Time and Eternity , the English version of Zeit und Ewigkeit , by Antje Jackelén, contains scientific and theological treatments of these two topics, starting with the usage of such ideas in German, Swedish, and English hymns. This essay describes her work and explains how the scientific ideas provide a coherent framework for understanding the place of time.
When sharing a task with another person that requires turn taking, as in doubles games of table tennis, performance on the shared task is similar to performing the whole task alone. This has been taken to indicate that humans co-represent their partner’s task share, as if it were their own. Task co-representation allows prediction of the other’s responses when it is the other’s turn, and leads to response conflict in joint interference tasks. However, data from our lab cast doubt on (...) the view that task co-representation and resulting response conflict are the only or even primary source of effects observed in task sharing. Recent findings furthermore suggest another potential source of interference in joint task performance that has been neglected so far: Self-other discrimination and conflict related to agent identification (i.e., determining whether it is “my” or the other’s turn). Based on these findings we propose that participants might not always co-represent what their partner is supposed to do, but instead co-represent that another agent is responsible for part of the task, and when it is his turn. We call this account the actor co-representation account. (shrink)
The commentaries provide a multitude of perspectives on the theory of lexical access presented in our target article. We respond, on the one hand, to criticisms that concern the embeddings of our model in the larger theoretical frameworks of human performance and of a speaker's multiword sentence and discourse generation. These embeddings, we argue, are either already there or naturally forgeable. On the other hand, we reply to a host of theory-internal issues concerning the abstract properties of our feedforward spreading (...) activation model, which functions without the usual cascading, feedback, and inhibitory connections. These issues also concern the concrete stratification in terms of lexical concepts, syntactic lemmas, and morphophonology. Our response stresses the parsimony of our modeling in the light of its substantial empirical coverage. We elaborate its usefulness for neuroimaging and aphasiology and suggest further cross-linguistic extensions of the model. (shrink)
At a time of great and increasing interest in the work of Emmanuel Levinas, this volume draws readers into what Levinas described as "philosophy itself"--"a discourse always addressed to another." Thus the philosopher himself provides the thread that runs through these essays on his writings, one guided by the importance of the fact of being addressed--the significance of the Saying much more than the Said. The authors, leading Levinas scholars and interpreters from across the globe, explore the philosopher's relationship to (...) a wide range of intellectual traditions, including theology, philosophy of culture, Jewish thought, phenomenology, and the history of philosophy. They also engage Levinas's contribution to ethics, politics, law, justice, psychoanalysis and epistemology, among other themes. In their radical singularity, these essays reveal the inalienable alterity at the heart of Levinas's ethics. At the same time, each essay remains open to the others, and to the perspectives and positions they advocate. Thus the volume, in its quality and diversity, enacts an authentic encounter with Levinas's thought, embodying an intellectual ethics by virtue of its style. Bringing together contributions from philosophy, theology, literary theory, gender studies, and political theory, this book offers a deeper and more thorough encounter with Levinas's ethics than any yet written. (shrink)
Time is an element that each of us experiences in the core of our being. Yet it also is one of the great mysteries in our conceptual grasp of reality. The notion of time has therefore been reflected upon and explored by thinkers and scientists since ancient times. In this essay I relate the multiple ways in which Antje's Jackelén's scholarly and stimulating work Time and Eternity analyzes the historical, philosophical, theological, and scientific perspectives on the notion of time (...) lived and its relation to the conceptual endless time that we call eternity, and offer some of my own contextual reflections on the topic. (shrink)
Quipus, knotted structures of woollen or cotton cords, were used as a bureaucratic tool in the Inca state. In the absense of a writing system, numerals and possibly other pieces of information were encoded on the quipus by tying knots into elaborately structured coloured cords. Though interpretation of the quipu contents is far from complete, some information on Inca mathematics can be deducted from the analysis of ancient specimen, especially when combined with the results of anthropological and linguistic research in (...) contemporary Andean societies. In this paper, the quipus are introduced, their structure is explained, and some results on mathematical concepts of the Incas are presented based on a comparison of mathematical and anthropological literature on the subject. (shrink)
. A dialogue between the outgoing and incoming directors of the Zygon Center for Religion and Science took place as part of the inaugural symposium. In their conversation they speak of the past and present challenges and goals of the Center, outline what is foremost in their minds, and offer glimpses into what they see as the Center’s priorities for future work.