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 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)
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)
I reconstruct Bruno Latour's ideas about science and religion and compare them to Ian G. Barbour's and Mikael Stenmark's models, as well as to the discussion of technology and religion developed by John C. Caiazza and Antje Jackelén. I show how using “Latour's App” enlightens some aspects of said models which Barbour and Stenmark themselves were seemingly struggling with, and that Caiazza's and Jackelén's views can be reconciled despite their apparent opposition. The result of such tests is an overall (...) assessment of Latour's proposal. I argue that, under the disguise of a flamboyant and original language, Latour's method is not that distant from those of the other authors analyzed here, and that his discussion might conceal some unwelcome philosophical shortcomings. (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.
Preparing words in speech production is normally a fast and accurate process. We generate them two or three per second in fluent conversation; and overtly naming a clear picture of an object can easily be initiated within 600 msec after picture onset. The underlying process, however, is exceedingly complex. The theory reviewed in this target article analyzes this process as staged and feedforward. After a first stage of conceptual preparation, word generation proceeds through lexical selection, morphological and phonological encoding, phonetic (...) encoding, and articulation itself. In addition, the speaker exerts some degree of output control, by monitoring of self-produced internal and overt speech. The core of the theory, ranging from lexical selection to the initiation of phonetic encoding, is captured in a computational model, called WEAVER++. Both the theory and the computational model have been developed in interaction with reaction time experiments, particularly in picture naming or related word production paradigms, with the aim of accounting for the real-time processing in normal word production. A comprehensive review of theory, model, and experiments is presented. The model can handle some of the main observations in the domain of speech errors (the major empirical domain for most other theories of lexical access), and the theory opens new ways of approaching the cerebral organization of speech production by way of high-temporal-resolution imaging. (shrink)
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)
This paper is devoted to Bolzano’s theory of grounding (Abfolge) in his Wissenschaftslehre. Bolzanian grounding is an explanatory consequence relation that is frequently considered an ancestor of the notion of metaphysical grounding. The paper focuses on two principles that concern grounding in the realm of conceptual sciences and relate to traditionally widespread ideas on explanations: the principles, namely, that grounding orders conceptual truths from simple to more complex ones (Simplicity), and that it comes along with a certain theoretical economy among (...) them (Economy). Being spelled out on the basis of Bolzano’s notion of deducibility (Ableitbarkeit), these principles are revealing for the question to what extent grounding can be considered a formal relation. (shrink)
In this paper, I provide a thorough discussion and reconstruction of Bernard Bolzanos proof-theory, and it is essential for his views on the ideal buildup of scientific theories. Occasionally, similarities have been pointed out between Bolzanos sequent calculus. My thesis is, however, that they bear an even stronger resemblance to the normal natural deduction proofs employed in proof-theoretic semantics in the tradition of Dummett and Prawitz.
In this paper we develop a novel propositional semantics based on the framework of branching time. The basic idea is to replace the moment-history pairs employed as parameters of truth in the standard Ockhamist semantics by pairs consisting of a moment and a consistent, downward closed set of so-called transitions. Whereas histories represent complete possible courses of events, sets of transitions can represent incomplete parts thereof as well. Each transition captures one of the alternative immediate future possibilities open at a (...) branching point. The transition semantics exploits the structural resources a branching time structure has to offer and provides a fine-grained picture of the interrelation of modality and time. In addition to temporal and modal operators, a so-called stability operator becomes interpretable as a universal quantifier over the possible future extensions of a given transition set. The stability operator allows us to specify how and how far time has to unfold for the truth value of a sentence at a moment to become settled and enables a perspicuous treatment of future contingents. We show that the semantics developed along those lines generalizes and extends extant approaches: both Peirceanism and Ockhamism can be viewed as limiting cases of the transition approach that build on restricted resources only, and on both accounts, stability collapses into truth. (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.
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)
If conduct must be wrongful in order to be justifiably criminalised, how should its wrongfulness be established? I examine a conception of wrongfulness put forward by A. P. Simester, which makes wrongfulness turn on whether the reasons favouring the performance of an action are, all things considered, defeated by the reasons against its performance. I argue that such a view can only generate appropriate substantive constraints in the context of criminalisation if it can distinguish between the sorts of reasons that (...) a verdict of wrongfulness, as a concept distinct from stupidity or selfishness, should attend to, and the sorts of reasons it should leave out. Assuming that this conception of wrongfulness should operate as a constraint on criminalisation in a liberal-democratic state, the only reasons it should include are other-regarding reasons. What matters is whether the agent commits an other-regarding wrong. This conception of wrongfulness helps us further to resolve fundamental questions concerning mala prohibita and the legitimate reach of any duty to obey the law. (shrink)