This article studies fictive dynamicity as a factor motivating aspectual case marking in Finnish. In Finnish transitive sentences aspect is marked with the morphological case of the object: the restrictive object is used in sentences with a resultative meaning, whereas the partitive object is used in sentences indicating either atelicity, irresultativity, or progressivity. Interestingly, however, the restrictive object is also used in so-called quasi-resultative sentences, the aspectual meaning of which is atelic. These typically express a static physical location, perception, (...) or cognition. In this article I argue that the use of the restrictive object in quasi-resultative sentences reflects the telic features of the conceptualization used to construct the representation of the atelic situation, where the atelic situation is represented as the result of a fictive change. This study thus extends the concept of fictive dynamicity to cover phenomena related to linguistic aspect. (shrink)

In billion years of evolution, eukaryotes preserved the chromosome ends with arrays of guanine repeats surrounded by thymines and adenines, which can form stacks of four‐stranded planar structure known as G‐quadruplex (G4). The rationale behind the evolutionary conservation of the G4 structure at the telomere remained elusive. Our recent study has shed light on this matter by revealing that telomere G4 undergoes oscillation between at least two distinct folded conformations. Additionally, tumor suppressor BRCA2 exhibits a unique mode of interaction with (...) telomere G4. To elaborate, BRCA2 directly interacts with G‐triplex (G3)‐derived intermediates that form during the interconversion of the two different G4 states. In doing so, BRCA2 remodels the G4, facilitating the restart of stalled replication forks. In this review, we succinctly summarize the findings regarding the dynamicity of telomeric G4, emphasize its importance in maintaining telomere replication homeostasis, and the physiological consequences of losing G4 dynamicity at the telomere. (shrink)

Information exchange can be seen as a dynamic process of raising and resolving issues. The goal of this paper is to provide a logical framework to model and reason about this process. We develop an inquisitive dynamic epistemic logic , which enriches the standard framework of dynamic epistemic logic , incorporating insights from recent work on inquisitive semantics. At a static level, IDEL does not only allow us to model the information available to a set of agents, like standard epistemic (...) logic, but also the issues that the agents entertain. At a dynamic level, IDEL does not only allow us to model the effects of communicative actions that provide new information, like standard DEL, but also the effects of actions that raise new issues. Thus, IDEL provides the fundamental tools needed to analyze information exchange as a dynamic process of raising and resolving issues. (shrink)

Abstract While agreeing that dynamical models play a major role in cognitive science, we reject Stepp, Chemero, and Turvey's contention that they constitute an alternative to mechanistic explanations. We review several problems dynamical models face as putative explanations when they are not grounded in mechanisms. Further, we argue that the opposition of dynamical models and mechanisms is a false one and that those dynamical models that characterize the operations of mechanisms overcome these problems. By briefly considering examples involving the generation (...) of action potentials and circadian rhythms, we show how decomposing a mechanism and modeling its dynamics are complementary endeavors. (shrink)

Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also offers exercises with answers. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included. A companion web page offers slides for lecturers and exams for further practice.

Dynamical systems theory (DST) is gaining popularity in cognitive science and philosophy of mind. Recently several authors (e.g. J.A.S. Kelso, 1995; A. Juarrero, 1999; F. Varela and E. Thompson, 2001) offered a DST approach to mental causation as an alternative for models of mental causation in the line of Jaegwon Kim (e.g. 1998). They claim that some dynamical systems exhibit a form of global to local determination or downward causation in that the large-scale, global activity of the system governs or (...) constrains local interactions. This form of downward causation is the key to the DST model of mental causation. In this paper I evaluate the DST approach to mental causation. I will argue that the main problem for current DST approaches to mental causation is that they lack a clear metaphysics. I propose one metaphysical framework (Gillett, 2002a/b/c) that might deal with this deficiency. (shrink)

Sometimes a series of choices do not serve one's concerns well even though each choice in the series seems perfectly well suited to serving one's concerns. In such cases, one has a dynamic choice problem. Otherwise put, one has a problem related to the fact that one's choices are spread out over time. This survey reviews some of the challenging choice situations and problematic preference structures that can prompt dynamic choice problems. It also reviews some proposed solutions, and explains how (...) some familiar but potentially puzzling phenomena — including, for example, self-destructive addictive behavior and dangerous environmental destruction — have been illuminated by dynamic choice theory. (shrink)

We propose a dynamic logic of lying, wherein a ‘lie that $\varphi $ ’ (where $\varphi $ is a formula in the logic) is an action in the sense of dynamic modal logic, that is interpreted as a state transformer relative to the formula $\varphi $ . The states that are being transformed are pointed Kripke models encoding the uncertainty of agents about their beliefs. Lies can be about factual propositions but also about modal formulas, such as the beliefs of (...) other agents or the belief consequences of the lies of other agents. We distinguish two speaker perspectives: (Obs) an outside observer who is lying to an agent that is modelled in the system, and (Ag) an agent who is lying to another agent, and where both are modelled in the system. We distinguish three addressee perspectives: (Cred) the credulous agent who believes everything that it is told (even at the price of inconsistency), (Skep) the skeptical agent who only believes what it is told if that is consistent with its current beliefs, and (Rev) the belief revising agent who believes everything that it is told by consistently revising its current, possibly conflicting, beliefs. The logics have complete axiomatizations, which can most elegantly be shown by way of their embedding in what is known as action model logic or in the extension of that logic to belief revision. (shrink)

Discourse dynamics, pragmatics, and indefinites Content Type Journal Article Pages 1-30 DOI 10.1007/s11098-012-9882-y Authors Karen S. Lewis, Department of Philosophy, University of Southern California, Los Angeles, CA, USA Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116.

Dynamic Topological Logic ( ) is a modal logic which combines spatial and temporal modalities for reasoning about dynamic topological systems , which are pairs consisting of a topological space X and a continuous function f : X → X . The function f is seen as a change in one unit of time; within one can model the long-term behavior of such systems as f is iterated. One class of dynamic topological systems where the long-term behavior of f is (...) particularly interesting is that of minimal systems ; these are dynamic topological systems which admit no proper, closed, f -invariant subsystems. In such systems the orbit of every point is dense, which within translates into a non-trivial interaction between spatial and temporal modalities. This interaction, however, turns out to make the logic simpler, and while s in general tend to be undecidable, interpreted over minimal systems we obtain decidability, although not in primitive recursive time; this is the main result that we prove in this paper. We also show that interpreted over minimal systems is incomplete for interpretations on relational Kripke frames and hence does not have the finite model property; however it does have a finite non-deterministic quasimodel property. Finally, we give a set of formulas of which characterizes the class of minimal systems within the class of dynamic topological systems, although we do not offer a full axiomatization for the logic. (shrink)

The overall goal of this target article is to demonstrate a mechanism for an embodied cognition. The particular vehicle is a much-studied, but still widely debated phenomenon seen in 7–12 month-old-infants. In Piaget's classic “A-not-B error,” infants who have successfully uncovered a toy at location “A” continue to reach to that location even after they watch the toy hidden in a nearby location “B.” Here, we question the traditional explanations of the error as an indicator of infants' concepts of objects (...) or other static mental structures. Instead, we demonstrate that the A-not-B error and its previously puzzling contextual variations can be understood by the coupled dynamics of the ordinary processes of goal-directed actions: looking, planning, reaching, and remembering. We offer a formal dynamic theory and model based on cognitive embodiment that both simulates the known A-not-B effects and offers novel predictions that match new experimental results. The demonstration supports an embodied view by casting the mental events involved in perception, planning, deciding, and remembering in the same analogic dynamic language as that used to describe bodily movement, so that they may be continuously meshed. We maintain that this mesh is a pre-eminently cognitive act of “knowing” not only in infancy but also in everyday activities throughout the life span. Key Words: cognitive development; dynamical systems theory; embodied cognition; infant development; motor control; motor planning; perception and action. (shrink)

We discuss three varieties of affective dynamics ( affective instability, emotional inertia, and emotional differentiation). In each case, we suggest how these affective dynamics should be operationalized and measured in daily life using time-intensive methods, like ecological momentary assessment or ambulatory assessment, and recommend time-sensitive analyses that take into account not only the variability but also the temporal dependency of reports. Studies that explore how these affective dynamics are associated with psychological disorders and symptoms are reviewed, and we emphasize that (...) these affective processes are within a nexus of other components of emotion regulation. (shrink)

This paper spells out a dynamic proof format for the pure logic of relevant implication. (A proof is dynamic if a formula derived at some stage need not be derived at a later stage.) The paper illustrates three interesting points. (i) A set of properties that characterizes an inference relation on the (very natural) dynamic proof interpretation, need not characterize the same inference relation (or even any inference relation) on the usual settheoretical interpretation. (ii) A proof format may display an (...) internal dynamics (defeasible conclusions) in the absence of an external dynamics (non-monotonicity). (iii) A monotonic logic may have a non-monotonic characterization. (shrink)

A dynamic semantics for epistemically modalized sentences is an attractive alternative to the orthodox view that our best theory of meaning ascribes to such sentences truth-conditions relative to what is known. This essay demonstrates that a dynamic theory about might and must offers elegant explanations of a range of puzzling observations about epistemic modals. The first part of the story offers a unifying treatment of disputes about epistemic modality and disputes about matters of fact while at the same time avoiding (...) the complexities of alternative theories. The second part of the story extends the basic framework to cover some complicated data about retraction and the interaction between epistemic modality and tense. A comparison between the suggestion made in this essay and current versions of the orthodoxy is provided. (shrink)

This book explores the application of dynamical theory to cognitive science. Giunti shows how the dynamical approach can illuminate problems of cognition, information processing, consciousness, meaning, and the relation between body and mind.

In this paper I combine the dynamic epistemic logic ofGerbrandy (1999) with the probabilistic logic of Fagin and Halpern (1994). The resultis a new probabilistic dynamic epistemic logic, a logic for reasoning aboutprobability, information, and information change that takes higher orderinformation into account. Probabilistic epistemic models are defined, and away to build them for applications is given. Semantics and a proof systemis presented and a number of examples are discussed, including the MontyHall Dilemma.

Statements not only update our current knowledge, but also have other dynamic effects. In particular, suggestions or commands ?upgrade' our preferences by changing the current order among worlds. We present a complete logic of knowledge update plus preference upgrade that works with dynamic-epistemic-style reduction axioms. This system can model changing obligations, conflicting commands, or ?regret'. We then show how to derive reduction axioms from arbitrary definable relation changes. This style of analysis also has a product update version with preferences between (...) actions, as well as worlds. Some illustrations are presented involving defaults and obligations. We conclude that our dynamic framework is viable, while admitting a further extension to more numerical ?utility update'. (shrink)

This article analyses the Fair Trade sector as a “mixed-form market,” i.e., a market in which different types of players (in this case, nonprofit, co-operative and for-profit organizations) coexist and compete. The purposes of this article are (1) to understand the factors that have led Fair Trade to become a mixed-form market and (2) to propose some trails to understand the market dynamics that result from the interactions between the different types of players. We start by defining briefly Fair Trade, (...) its different dimensions (including the “fair” quality of the products) and its organizational landscape, focusing on the distinction between the pioneer “Alternative Trading Organizations” and the second-mover companies. Then, we recall the theoretical emergence factors for each type of organization (nonprofit, co-operative and for-profit) and apply these emergence factors to the context of Fair Trade. This analysis allows us to capture the specificities of each type of operator with regard to Fair Trade and, thus, to have a better understanding of the dynamics in the sector. Such dynamics includes competition, but also conflict and partnership. Our analysis includes elements on ethical imitation, consumers’ behaviors, effects on welfare and the role of the government. (shrink)

We define a mathematical formalism based on the concept of an ‘‘open dynamical system” and show how it can be used to model embodied cognition. This formalism extends classical dynamical systems theory by distinguishing a ‘‘total system’’ (which models an agent in an environment) and an ‘‘agent system’’ (which models an agent by itself), and it includes tools for analyzing the collections of overlapping paths that occur in an embedded agent's state space. To illustrate the way this formalism can be (...) applied, several neural network models are embedded in a simple model environment. Such phenomena as masking, perceptual ambiguity, and priming are then observed. We also use this formalism to reinterpret examples from the embodiment literature, arguing that it provides for a more thorough analysis of the relevant phenomena. (shrink)

Dynamical Grammar explores the consequences for language acquisition, language evolution, and linguistic theory of taking the underlying architecture of the language faculty to be that of a complex adaptive dynamical system. It contains the first results of a new and complex model of language acquisition which the authors have developed to measure how far language input is reflected in language output and thereby get a better idea of just how far the human language faculty is hard-wired.

Current dynamic-epistemic logics model different types of information change in multi-agent scenarios. We generalize these logics to a probabilistic setting, obtaining a calculus for multi-agent update with three natural slots: prior probability on states, occurrence probabilities in the relevant process taking place, and observation probabilities of events. To match this update mechanism, we present a complete dynamic logic of information change with a probabilistic character. The completeness proof follows a compositional methodology that applies to a much larger class of dynamic-probabilistic (...) logics as well. Finally, we discuss how our basic update rule can be parameterized for different update policies, or learning methods. (shrink)

This article introduces Harvey Brown and Oliver Pooley’s ‘dynamical approach’ to special relativity, and argues that it may be construed as a relationalist form of Einstein’s ‘practical geometry’. This construal of the dynamical approach is shown to be compatible with related chapters of Brown’s text and also with recent descriptions of the dynamical approach by Pooley and others.

Dynamic Assessment (DA) has been shown to have more predictive value than conventional tests for academic performance. However, in relation to reading difficulties, further research is needed to determine the predictive validity of DA for specific aspects of the different processes involved in reading and the differential validity of DA for different subgroups of students with an academic disadvantage. This paper analyzes the implementation of a DA device that evaluates processes involved in reading (EDPL) among 60 students with reading comprehension (...) difficulties between 9 and 16 years of age, of whom 20 have intellectual disabilities, 24 have reading-related learning disabilities, and 16 have socio-cultural disadvantages. We specifically analyze the predictive validity of the EDPL device over attitude towards reading, and the use of dialogue/participation strategies in reading activities in the classroom during the implementation stage. We also analyze if the EDPL device provides additional information to that obtained with a conventionally applied personal-social adjustment scale (APSL). Results showed that dynamic scores, obtained from the implementation of the EDPL device, significantly predict the studied variables. Moreover, dynamic scores showed a significant incremental validity in relation to predictions based on an APSL scale. In relation to differential validity, the results indicated the superior predictive validity for DA for students with intellectual disabilities and reading disabilities than for students with socio-cultural disadvantages. Furthermore, the role of metacognition and its relation to the processes of personal-social adjustment in explaining the results is discussed. (shrink)

The aim of the paper is to propose a preferences representation model under risk where risk perception can be past experience dependent. A first step consists in considering a one period decision problem where individual preferences are no more defined only on decisions but on pairs (decision, past experience). The obtained criterion is used in the construction of a dynamic choice model under risk. The paper ends with an illustrative example concerning insurance demand. It appears that our model allows to (...) explain modifications in the insurance demand behavior over time observed on the insurance markets for catastrophic risk and difficult to justify with standard models. (shrink)

The effects of utterances such as cue phrases, keep-turn markers, and grounding signals cannot be characterized as changes to a shared record of the propositions under discussed: the simplest (and arguably most natural) way of characterizing the meaning of these utterances is in terms of a theory in which the conversational score is seen as a record of the discourse situation, or at least of the speech acts that have been performed. The problem then becomes to explain how discourse entities (...) are accessible. We consider three hypotheses about the dynamics of a speech act-based theory of the conversational score, and argue that they could be implemented with relatively minor modifications to the technical tools already introduced in theories such as Compositional DRT. (shrink)

Dynamical systems are mathematical structures whose aim is to describe the evolution of an arbitrary deterministic system through time, which is typically modeled as (a subset of) the integers or the real numbers. We show that it is possible to generalize the standard notion of a dynamical system, so that its time dimension is only required to possess the algebraic structure of a monoid: first, we endow any dynamical system with an associated graph and, second, we prove that such a (...) graph is a category if and only if the time model of the dynamical system is a monoid. In addition, we show that the general notion of a dynamical system allows us not only to define a family of meaningful dynamical concepts, but also to distinguish among a cluster of otherwise tangled notions of reversibility, whose logical relationships are finally analyzed. (shrink)

Epistemic logic with its possible worlds semantic model is a powerful framework that allows us to represent an agent’s information not only about propositional facts, but also about her own information. Nevertheless, agents represented in this framework are logically omniscient: their information is closed under logical consequence. This property, useful in some applications, is an unrealistic idealisation in some others. Many proposals to solve this problem focus on weakening the properties of the agent’s information, but some authors have argued that (...) solutions of this kind are not completely adequate because they do not look at the heart of the matter: the actions that allow the agent to reach such omniscient state. Recent works have explored how acts of observation, inference, consideration and forgetting affect an agent’s implicit and explicit knowledge; the present work focuses on acts that affect an agent’s implicit and explicit beliefs. It starts by proposing a framework in which these two notions can be represented, and then it looks into their dynamics, first by reviewing the existing notion of belief revision, and then by introducing a rich framework for representing diverse forms of inference that involve both knowledge and beliefs. (shrink)

We investigate the discrete (finite) case of the Popper–Renyi theory of conditional probability, introducing discrete conditional probabilistic models for knowledge and conditional belief, and comparing them with the more standard plausibility models. We also consider a related notion, that of safe belief, which is a weak (non-negatively introspective) type of “knowledge”. We develop a probabilistic version of this concept (“degree of safety”) and we analyze its role in games. We completely axiomatize the logic of conditional belief, knowledge and safe belief (...) over conditional probabilistic models. We develop a theory of probabilistic dynamic belief revision, introducing probabilistic “action models” and proposing a notion of probabilistic update product, that comes together with appropriate reduction laws. (shrink)

In The Dynamics of Meaning , Gennaro Chierchia tackles central issues in dynamic semantics and extends the general framework. Chapter 1 introduces the notion of dynamic semantics and discusses in detail the phenomena that have been used to motivate it, such as "donkey" sentences and adverbs of quantification. The second chapter explores in greater depth the interpretation of indefinites and issues related to presuppositions of uniqueness and the "E-type strategy." In Chapter 3, Chierchia extends the dynamic approach to the domain (...) of syntactic theory, considering a range of empirical problems that includes backwards anaphora, reconstruction effects, and weak crossover. The final chapter develops the formal system of dynamic semantics to deal with central issues of definites and presupposition. Chierchia shows that an approach based on a principled enrichment of the mechanisms dealing with meaning is to be preferred on empirical grounds over approaches that depend on an enrichment of the syntactic apparatus. Dynamics of Meaning illustrates how seemingly abstract stances on the nature of meaning can have significant and far-reaching linguistic consequences, leading to the detection of new facts and influencing our understanding of the syntax/semantics/pragmatics interface. (shrink)

Recent studies such as Thelen and Smith, Kelso, Van Gelder, Beer, and others have presented a forceful case for a dynamical systems approach to understanding cognition and adaptive behavior. These studies call into question some foundational assumptions concerning the nature of cognitive scientific explanation and the role of notions such as internal representation and computation. These are exciting and important challenges. But they must be handled with care. It is all to easy in this debate to lose sight of the (...) explanatorily important issues and to talk at cross purposes, courtesy of the various ways in which different theorists often concieve key terms. (shrink)

Over the past three decades, Van Gelder's dynamical hypothesis has been instrumental in reconceptualizing the ways in which perception-action-cognition unfolds over time and in context. Here, I examine how the dynamical approach has enriched the theoretical understanding of social dynamics within cognitive science, with a particular focus on interpersonal coordination. I frame this review around seven principles in dynamical systems: three that are well-represented in interpersonal coordination research to date (emergent behavior, context-sensitive behavior, and attractors) and four that could be (...) useful opportunities for future growth (hysteresis, sensitivity to initial conditions, equifinality, and reciprocal compensation). In addition to identifying specific promising lines of theoretical inquiry, I focus on the significant potential afforded by computationally intensive science—especially in naturally occurring data or trace data. Building on the foundation laid over the past three decades, I argue that looking to increasingly situated and naturalistic settings (and data) is not only necessary to realize the full commitment to the dynamical hypothesis but is also critical to building parsimonious and principled theories of social phenomena. (shrink)

Over the past several decades, research in the cognitive sciences has foregrounded the importance of active bodies and their continuous dependence on the changing environment, strengthening the relevance of dynamical models. These models have been steadily developed within the ecological psychology approach to cognition, which arguably contributes to the “ecological turn” we are witnessing today. The embodied and situated nature of cognition, regarded by some as a passing trend, is presently becoming a largely accepted assumption. In this paper, I claim (...) that in light of these developments, ecological psychology, in alliance with related approaches, such as enactivism and interactivism, has the potential to deeply transform our perspectives on cognition and action, restoring their pertinence to humans as persons. However, an important challenge to the realization of this potential has to be noted: neither the mainstream information-processing approach nor the dynamics-oriented perspective on cognition provides an account of how the capacity of humans to use language and think “symbolically” can be derived from the continuous flow of agent−environment interaction. I will attempt to show that posing the “dynamical” and “computational” hypotheses about the nature of cognition as mutually exclusive approaches to cognition results in undesirable reductionism, which makes it difficult to meet this challenge. There are good reasons, advanced over half a century ago by, for example, Michael Polanyi or Howard Pattee, to think that we need complementary descriptions to understand cognizing systems, in order to grasp the fact that they are governed both by physical laws and by emergent historical constraints. Details of such a complementarity-based approach still await elucidation, but some proposed solutions have the potential to ease the tension between the information-processing and dynamical approaches to cognition and to lead to a better understanding of their interrelation. (shrink)

’s glue logic for computing logical form dynamic. This allows us to model a dialogue agent’s understanding of what the update of the semantic representation of the dialogue would be after his next contribution, including the effects of the rhetorical moves that he is contemplating performing next. This is a pre-requisite for developing a model of how agents reason about what to say next. We make the glue logic dynamic by using a dynamic public announcement logic ( pal ). We (...) extend pal with a particular variety of default reasoning suited to reasoning about discourse—this default reasoning being an essential component of inferring the pragmatic effects of one’s dialogue moves. We add to the pal language a new type of announcement, known as ceteris paribus announcement, and this is used to model how an agent anticipates the (default) pragmatic effects of his next dialogue move. Our extended pal validates certain intuitive patterns of default inference that existing pal s for practical reasoning do not. We prove that the dynamic glue logic has a pspace validity problem, and as such is no more complex than pal with multiple $${\square}$$ operators. (shrink)

Protein structure is dynamic: the intrinsic flexibility of polypeptides facilitates a range of conformational fluctuations, and individual protein chains can assemble into complexes. Proteins are also dynamic in evolution: significant variations in secondary, tertiary and quaternary structure can be observed among divergent members of a protein family. Recent work has highlighted intriguing similarities between these structural and evolutionary dynamics occurring at various levels. Here we review evidence showing how evolutionary changes in protein sequence and structure are often closely related to (...) local protein flexibility and disorder, large‐scale motions and quaternary structure assembly. We suggest that these correspondences can be largely explained by neutral evolution, while deviations between structural and evolutionary dynamics can provide valuable functional insights. Finally, we address future prospects for the field and practical applications that arise from a deeper understanding of the intimate relationship between protein structure, dynamics, function and evolution. (shrink)

Scientists often think of the world as a dynamical system, a stochastic process, or a generalization of such a system. Prominent examples of systems are the system of planets orbiting the sun or any other classical mechanical system, a hydrogen atom or any other quantum–mechanical system, and the earth’s atmosphere or any other statistical mechanical system. We introduce a general and unified framework for describing such systems and show how it can be used to examine some familiar philosophical questions, including (...) the following: how can we define nomological possibility, necessity, determinism, and indeterminism; what are symmetries and laws; what regularities must a system display to make scientific inference possible; how might principles of parsimony such as Occam’s Razor help when we make such inferences; what is the role of space and time in a system; and might they be emergent features? Our framework is intended to serve as a toolbox for the formal analysis of systems that is applicable in several areas of philosophy. (shrink)

With this study, we seek to contribute to the theological discussion regarding the nature and the meaning of the Christian eschaton. We will argue that the dynamics of God’s reign provide a hermeneutic key to Jesus’ ‘eschatological expectation’. It is not possible to grasp the full meaning of Jesus’ urgent expectation of the end unless one realises that God’s action is always eschatological. That is to say, right from creation, God is always acting in history in an eschatological way, though (...) only in Jesus does this action reach its ultimate goal. By critically examining the multifaceted views of selected contemporary theologians, we will suggest that Jesus’ eschatological expectation may be adequately interpreted only in light of God’s ‘eschatological reign’. In this context, the tension between the already present and not yet fully realised dimensions of God’s reign appears as a promising hermeneutic key to Jesus’ teaching in general and his eschatological expectation in particular. The article consists of two sections. Firstly, we will give a brief account of the dynamics of God’s reign, interpreted according to the ‘middle way’ between consistent and realised eschatology. In the second part, our focus will be on the eschatological expectation: its development in the Jewish tradition; on how Jesus applied, or rather re-appropriated, it in his mission; and whether or not his emphasis on the imminence of an eschaton was a result of him being mistaken. (shrink)

The paper presents a logical treatment of actions based on dynamic logic. This approach makes it possible to reflect clearly the differences between static and dynamic elements of the world, a distinction which seems crucial to us for a representation of actions.Starting from propositional dynamic logic a formal system (DLA) is developed, the programs of which are used to model action types. Some special features of this system are: Basic aspects of time are incorporated in DLA as far as they (...) are needed for our purpose. Names for states and for instants are simulated by formulas. It is possible to express formally that a formula is satisfiable or valid. A special program is introduced to reflect developments which are not caused by an official agent but by external influences. (shrink)

Millions of scientific articles are published each year, making it difficult to stay abreast of advances within even the smallest subdisciplines. Traditional approaches to the study of science, such as the history and philosophy of science, involve closely reading a relatively small set of journal articles. And yet many questions benefit from casting a wider net: Is most scientific change gradual or revolutionary? What are the key sources of scientific novelty? Over the past several decades, a massive effort to digitize (...) the academic literature and equip computers with algorithms that can distantly read and analyze a digital database has taken us one step closer to answering these questions. The Dynamics of Science brings together a diverse array of contributors to examine the largely unexplored computational frontiers of history and philosophy of science. Together, they reveal how tools and data from automated textual analysis, or machine "reading," combined with methods and models from game theory and cultural evolutionary theory, can begin to answer fundamental questions about the nature and history of science. (shrink)

We consider the variety of Dynamic Relation Algebras V(DRA). We show that the monoid of an algebra in this variety determines dynamic negation uniquely.

The picture of information acquisition as the elimination of possibilities has proven fruitful in many domains, serving as a foundation for formal models in philosophy, linguistics, computer science, and economics. While the picture appears simple, its formalization in dynamic epistemic logic reveals subtleties: given a valid principle of information dynamics in the language of dynamic epistemic logic, substituting complex epistemic sentences for its atomic sentences may result in an invalid principle. In this article, we explore such failures of uniform substitution. (...) First, we give epistemic examples inspired by Moore, Fitch, and Williamson. Second, we answer affirmatively a question posed by van Benthem: can we effectively decide when every substitution instance of a given dynamic epistemic principle is valid? In technical terms, we prove the decidability of this schematic validity problem for public announcement logic (PAL and PAL-RC) over models for finitely many fully introspective agents, as well as models for infinitely many arbitrary agents. The proof of this result illuminates the reasons for the failure of uniform substitution. (shrink)

The acquisition and evolution of speech production, discourse and communication can be negatively impacted by brain malformations. We describe, for the first time, a case of developmental dynamic dysphasia (DDD) in a right-handed adolescent boy (subject D) with cortical malformations involving language-eloquent regions (inferior frontal gyrus) in both the left and the right hemispheres. Language evaluation revealed a markedly reduced verbal output affecting phonemic and semantic fluency, phrase and sentence generation and verbal communication in everyday life. Auditory comprehension, repetition, naming, (...) reading and spelling were relatively preserved, but executive function was impaired. Multimodal neuroimaging showed a malformed cerebral cortex with atypical configuration and placement of white matter tracts bilaterally and abnormal callosal fibers. Dichotic listening showed right hemisphere dominance for language and functional magnetic resonance imaging (fMRI) additionally revealed dissociated hemispheric language representation with right frontal activation for phonology and bilateral dominance for semantic processing. Moreover, subject D also had congenital mirror movements (CMM), defined as involuntary movements of one side of the body that mirror intentional movements of the other side. Transcranial magnetic stimulation and fMRI during voluntary unimanual (left and right) hand movements showed bilateral motor cortex recruitment and tractography revealed a lack of decussation of bilateral corticospinal tracts. Genetic testing aimed to detect mutations that disrupt the development of commissural tracts correlating with CMM (e.g., Germline DCC mutations) was negative. Overall, our findings suggest that DDD in subject D resulted from the underdevelopment of the left inferior frontal gyrus with limited capacity for plastic reorganization by its homologous counterpart in the right hemisphere. Corpus callosum anomalies probably contributed to hinder interhemispheric connectivity necessary to compensate language and communication deficits after left frontal involvement. (shrink)

In a stimulating paper, Piccione and Rubinstein (1997) argued how a decision maker could undertake dynamically inconsistent choices when, in an extensive form decision problem, she has a particular type of imperfect recall named absentmindedness. Such memory limitation obtains whenever information sets include decision histories along the same decision path. Starting from work focusing on the absentminded driver example, and independently developed by Segal (2000) and Dimitri (1999), the main theorem of this article provides a general result of dynamically consistent (...) choices, valid for a large class of finite extensive form decision problems without nature. (shrink)

Transfer of information between senders and receivers, of one kind or another, is essential to all life. David Lewis introduced a game theoretic model of the simplest case, where one sender and one receiver have pure common interest. How hard or easy is it for evolution to achieve information transfer in Lewis signaling?. The answers involve surprising subtleties. We discuss some if these in terms of evolutionary dynamics in both finite and infinite populations, with and without mutation.

Dynamic events such as a rolling ball moving from one place to another involve change and time intervals and thus presumably successions of static events occurring one after the other, e.g., the ball’s being at a certain place and then at another place during the interval in question. When dynamic events are experienced they should count as present and thus as existent from a presentist point of view. But this seems to imply the existence of the static events involved in (...) them. This in turn seems to imply that there exist past and perhaps even future static events. Therefore, there is a problem for presentism. A possible way out for the presentist is proposed, based on allowing for time-indexed past-oriented and future-oriented properties. One may raise objections regarding the ontological status of these properties and the commitment to past and future objects and times that they seem to bring with them, but these objections can be put to rest. (shrink)

In this paper, illocutionary acts of commanding will be differentiated from perlocutionary acts that affect preferences of addressees in a new dynamic logic which combines the preference upgrade introduced in DEUL (dynamic epistemic upgrade logic) by van Benthem and Liu with the deontic update introduced in ECL II (eliminative command logic II) by Yamada. The resulting logic will incorporate J. L. Austin’s distinction between illocutionary acts as acts having mere conventional effects and perlocutionary acts as acts having real effects upon (...) attitudes and actions of agents, and help us understand why saying so can make it so in explicit performative utterances. We will also discuss how acts of commanding give rise to so-called “deontic dilemmas” and how we can accommodate most deontic dilemmas without triggering so-called “deontic explosion”. (shrink)