The unreduced solution to the arbitrary interaction problem, absent in the standard theory framework, reveals many equally real and mutually incompatible system configurations, or "realizations". This is the essence of universal dynamic undecidability, or multivaluedness, and the ensuing causal randomness (unpredictability), non-computability, irreversible time flow (evolution, emergence), and dynamic complexity of every real system, object, or process. This creative undecidability of real-world dynamics provides causal explanations for "quantum mysteries", relativity postulates, cosmological problems, and the huge efficiency of (...) high-complexity phenomena, such as life, intelligence, and consciousness, giving rise to extended applications, far beyond the critical limits of usual science paradigm. (shrink)

We explain why exactly the simplified abstract scheme of reality within the standard science paradigm cannot provide the consistent picture of “truly fundamental” reality and how the unreduced, causally complete description of the latter is regained within the extended, provably complete solution to arbitrary interaction problem and the ensuing concept of universal dynamic complexity. We emphasize the practical importance of this extension for both particular problem solution and further, now basically unlimited fundamental science development (otherwise dangerously stagnating within its (...) traditional paradigm). (shrink)

It was recently shown that the Madelung equations, that is, a hydrodynamic form of the Schrödinger equation, can be derived from a canonical ensemble of neural networks where the quantum phase was identified with the free energy of hidden variables. We consider instead a grand canonical ensemble of neural networks, by allowing an exchange of neurons with an auxiliary subsystem, to show that the free energy must also be multivalued. By imposing the multivaluedness condition on the free energy we (...) derive the Schrödinger equation with “Planck’s constant” determined by the chemical potential of hidden variables. This shows that quantum mechanics provides a correct statistical description of the dynamics of the grand canonical ensemble of neural networks at the learning equilibrium. We also discuss implications of the results for machine learning, fundamental physics and, in a more speculative way, evolutionary biology. (shrink)

Dynamic Epistemic Logic This article tells the story of the rise of dynamic epistemic logic, which began with epistemic logic, the logic of knowledge, in the 1960s. Then, in the late 1980s, came dynamic epistemic logic, the logic of change of knowledge. Much of it was motivated by puzzles and paradoxes. The number … Continue reading Dynamic Epistemic Logic →.

Dynamic Epistemic Logic This article tells the story of the rise of dynamic epistemic logic, which began with epistemic logic, the logic of knowledge, in the 1960s. Then, in the late 1980s, came dynamic epistemic logic, the logic of change of knowledge. Much of it was motivated by puzzles and paradoxes. The number … Continue reading Dynamic Epistemic Logic →.

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)

We review the dynamical approach to spacetime theories---in particular, its origins in the development of special relativity, its opposition to the contemporary `geometrical' approach, and the manner in which it plays out in general relativity. In addition, we demonstrate that the approach is compatible with the `angle bracket school'.

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

Gender issues are well-researched in the general management literature, particular in studies on new ventures. Unfortunately, gender issues have been largely ignored in the dynamic capabilities literature. We address this gap by analyzing the effects of gender diversity on dynamic capabilities among micro firms. We consider the gender of managers and personnel in 124 Ukrainian tourism micro firms. We examine how a manager’s gender affects the firm’s sensing capacities and investigate how it moderates team gender diversity’s impact on (...) sensing capacities. We also investigate how personnel composition impacts seizing and reconfiguration capacities. We find that female managers have several shortcomings concerning a firm’s sensing capacity but that personnel gender diversity increases this capacity. Team gender diversity has positive effects on a firm’s seizing and reconfiguration abilities. Our study advances research on gender diversity and its impact on firm capabilities and illustrates its relevance for staffing practices in micro firms. (shrink)

This paper adds evidence structure to standard models of belief, in the form of families of sets of worlds. We show how these more fine-grained models support natural actions of “evidence management”, ranging from update with external new information to internal rearrangement. We show how this perspective leads to new richer languages for existing neighborhood semantics for modal logic. Our main results are relative completeness theorems for the resulting dynamic logic of evidence.

Business ethics education aims to enable students to become conscious of their own values and develop the capacity to voice such values and make value-consistent decisions. However, a student’s personal values and the capacity to act on them tend to change after graduation. In this study, we discuss how moral learning is different in real work life compared to a business school setting, and we explain why graduates may downplay or abandon their values after graduation. We launch the concept of (...) dynamic moral capacity (DMC), defined as the metacognitive routines for processing moral decision outcomes, motivated by humility goals. We suggest that future courses in business ethics develop DMC to avoid value drift and negative moral learning over time after graduation. Finally, we discuss how DMC can be included in the instructional framework of giving voice to values and thus increase its impact on moral learning after graduation. (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)

We propose a dynamic hyperintensional logic of belief revision for non-omniscient agents, reducing the logical omniscience phenomena affecting standard doxastic/epistemic logic as well as AGM belief revision theory. Our agents don’t know all a priori truths; their belief states are not closed under classical logical consequence; and their belief update policies are such that logically or necessarily equivalent contents can lead to different revisions. We model both plain and conditional belief, then focus on dynamic belief revision. The key (...) idea we exploit to achieve non-omniscience focuses on topic- or subject matter-sensitivity: a feature of belief states which is gaining growing attention in the recent literature. (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)

Every physical theory has two different forms of mathematical equations to represent its target systems: the dynamical and the kinematical. Kinematical constraints are differentiated from equations of motion by the fact that their particular form is fixed once and for all, irrespective of the interactions the system enters into. By contrast, the particular form of a system's equations of motion depends essentially on the particular interaction the system enters into. All contemporary accounts of the structure and semantics of physical theory (...) treat dynamics, i.e., the equations of motion, as the most important feature of a theory for the purposes of its philosophical analysis. I argue to the contrary that it is the kinematical constraints that determine the structure and empirical content of a physical theory in the most important ways: they function as necessary preconditions for the appropriate application of the theory; they differentiate types of physical systems; they are necessary for the equations of motion to be well posed or even just cogent; and they guide the experimentalist in the design of tools for measurement and observation. It is thus satisfaction of the kinematical constraints that renders meaning to those terms representing a system's physical quantities in the first place, even before one can ask whether or not the system satisfies the theory's equations of motion. (shrink)

In non‐literal uses of language, the content an utterance communicates differs from its literal truth conditions. Loose talk is one example of non‐literal language use (amongst many others). For example, what a loose utterance of (1) communicates differs from what it literally expresses: (1) Lena arrived at 9 o'clock. Loose talk is interesting (or so I will argue). It has certain distinctive features which raise important questions about the connection between literal and non‐literal language use. This paper aims to (i.) (...) introduce a range of novel data demonstrating certain overlooked features of loose talk, and (ii.) develop a new theory of the phenomenon which accounts for these data. In particular, this theory is motivated by the need to explain minimal pairs such as (2)-(3): (2) Lena arrived at 9 o'clock, but she did not arrive at 9 o'clock exactly. (3) ?? Lena did not arrive at 9 o'clock exactly, but she arrived at 9 o'clock. (2) and (3) agree in their truth conditions. Yet they differ in felicity. As such, they constitute a problem for any account which hopes to predict the acceptability of the loose use of a sentence from its truth conditions and the context of utterance alone. Instead, it will be argued, to explain loose talk phenomena we must posit an additional layer of meaning outstripping truth conditions. This layer of meaning is shown to exhibit a range of properties, all of which point to its being semantically encoded. Thus, if correct, the theory provides a new example of how semantic meaning must extend beyond literal, truth‐conditional content. (shrink)

A dynamic semantics for iffy oughts offers an attractive alternative to the folklore that Chisholm's paradox enforces an unhappy choice between the intuitive inference rules of factual and deontic detachment. The first part of the story told here shows how a dynamic theory about ifs and oughts gives rise to a nonmonotonic perspective on deontic discourse and reasoning that elegantly removes the air of paradox from Chisholm's puzzle without sacrificing any of the two detachment principles. The second part (...) of the story showcases two bonus applications of the framework suggested here: it offers a response to Forrester's gentle murder paradox and avoids Kolodny and MacFarlane's miners paradox about deontic reasoning under epistemic uncertainty. A comparison between the dynamic semantic proposal made in this paper and a more conservative approach combining a static semantics with a dynamic pragmatics is provided. (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)

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)

This book aims to lay bare the logical foundations of tractable reasoning. It draws on Marvin Minsky's seminal work on frames, which has been highly influential in computer science and, to a lesser extent, in cognitive science. Only very few people have explored ideas about frames in logic, which is why the investigation in this book breaks new ground. The apparent intractability of dynamic, inferential reasoning is an unsolved problem in both cognitive science and logic-oriented artificial intelligence. By means (...) of a logical investigation of frames and frame concepts, Andreas devises a novel logic of tractable reasoning, called frame logic. Moreover, he devises a novel belief revision scheme, which is tractable for frame logic. These tractability results shed new light on our logical and cognitive means to carry out dynamic, inferential reasoning. Modularity remains central for tractability, and so the author sets forth a logical variant of the massive modularity hypothesis in cognitive science. (shrink)

In this paper we show how ideas coming from two areas of research in logic can reinforce each other. The first such line of inquiry concerns the "dynamic turn" in logic and especially the formalisms inspired by Propositional Dynamic Logic (PDL); while the second line concerns research into the logical foundations of Quantum Physics, and in particular the area known as Operational Quantum Logic, as developed by Jauch and Piron (Helve Phys Acta 42: 842-848, 1969), Pirón (Foundations of (...) Quantum Physics, 1976). By bringing these areas together we explain the basic ingredients of Dynamic Quantum Logic, a new direction of research in the logical foundations of physics. (shrink)

I show that standard dynamic approaches to the semantics of epistemic modals invalidate the classical laws of excluded middle and non-contradiction, as well as the law of epistemic non-contradiction. I argue that these facts pose a serious challenge.

A final version of this paper is in press as: Bickhard, M. H.. The Dynamic Emergence of Representation. In H. Clapin, P. Staines, P. Slezak Representation in Mind: New Approaches to Mental Representation. Praeger.

Explaining the complex dynamics exhibited in many biological mechanisms requires extending the recent philosophical treatment of mechanisms that emphasizes sequences of operations. To understand how nonsequentially organized mechanisms will behave, scientists often advance what we call dynamic mechanistic explanations. These begin with a decomposition of the mechanism into component parts and operations, using a variety of laboratory-based strategies. Crucially, the mechanism is then recomposed by means of computational models in which variables or terms in differential equations correspond to properties (...) of its parts and operations. We provide two illustrations drawn from research on circadian rhythms. Once biologists identified some of the components of the molecular mechanism thought to be responsible for circadian rhythms, computational models were used to determine whether the proposed mechanisms could generate sustained oscillations. Modeling has become even more important as researchers have recognized that the oscillations generated in individual neurons are synchronized within networks; we describe models being employed to assess how different possible network architectures could produce the observed synchronized activity. (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.

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)

Epistemic logics based on the possible worlds semantics suffer from the problem of logical omniscience, whereby agents are described as knowing all logical consequences of what they know, including all tautologies. This problem is doubly challenging: on the one hand, agents should be treated as logically non-omniscient, and on the other hand, as moderately logically competent. Many responses to logical omniscience fail to meet this double challenge because the concepts of knowledge and reasoning are not properly separated. In this paper, (...) I present a dynamic logic of knowledge that models an agent’s epistemic state as it evolves over the course of reasoning. I show that the logic does not sacrifice logical competence on the altar of logical non- omniscience. (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)

By means of multi-agent simulations, it investigates the truth and consensus-conduciveness of controversial debates. The book brings together research in formal epistemology and argumentation theory.

Two of the world's leading astrophysicists, James Binney and Scott Tremaine, here present a comprehensive review of the theory of galactic dynamics at a level suitable for both graduate students and researchers. Their work in this volume describes our present understanding of the structure and dynamics of stellar systems such as galaxies and star clusters. Nicknamed "the Bible of galactic dynamics," this book has become a classic treatise, well known and widely used by researchers and students of galactic astrophysics and (...) stellar dynamics. Praised for its modern approach, as well as for the rigor and exemplary clarity with which the authors handle the material in this book, Galactic Dynamics includes classic results and data while also reflecting the many recent developments in the field. The authors maintain an effective style of exposition throughout, keeping clear what is present knowledge and what is still speculation, while allowing the reader to grasp an overview of the subject before following through with the mathematical detail. Most of the astronomical community since the late 1980s was introduced to galactic dynamics through Galactic Dynamics, and it remains the most widely used graduate textbook in galactic astrophysics today. No other book gathers together and presents our current understanding of the field in such a clear and concise way. Through this approach, Binney and Tremaine succeeded in creating a classic reference of enormous pedagogic value. (shrink)

A dynamic epistemic logic is presented in which the single agent can reason about his knowledge stages before and after announcements. The logic is generated by reinterpreting multi agent private announcements in a single agent environment. It is shown that a knowability principle is valid for such logic: any initially true ϕ can be known after a certain number of announcements.

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)

An outstanding problem in so-called modal interpretations of quantum mechanics has been the specification of a dynamics for the properties introduced in such interpretations. We develop a general framework (in the context of the theory of stochastic processes) for specifying a dynamics for interpretations in this class, focusing on the modal interpretation by Vermaas and Dieks. This framework admits many empirically equivalent dynamics. We give some examples, and discuss some of the properties of one of them. This approach is applicable (...) to a wider class of theories, in particular, those using (discrete) strict effective—as in decoherence theory—superselection rules. (shrink)

In this paper we investigate how the dynamic nature of words’ meanings plays a role in a philosophical theory of meaning. For ‘dynamic nature’ we intend the characteristic of being flexible, of changing according to many factors (speakers, contexts, and more). We consider meaning as something that gradually takes shape from the dynamic processes of communication. Accordingly, we present a draft of a theory of meaning that, on the one hand, describes how a private meaning is formed (...) as a mental state of individual agents during a lifetime of experiences, and, on the other hand, shows how a public meaning emerges from the interaction of agents. When communicating with each other, agents need to converge on a shared meaning of the words used, by means of a negotiation process. A public meaning is the abstract product of many of these processes while, at the same time, the private meanings are continually reshaped by each negotiation. Exploring this dynamics, we have been looking at the work done by computer scientists dealing with problems of heterogeneity of sources of information. We argue that a suitable solution for both disciplines lies in a systematic characterization of the processes of meaning negotiation. (shrink)

In the social sciences norms are sometimes taken to play a key explanatory role. Yet norms differ from group to group, from society to society, and from species to species. How are norms formed and how do they change? This 'state-of-the-art' collection of essays presents some of the best contemporary research into the dynamic processes underlying the formation, maintenance, metamorphosis and dissolution of norms. The volume combines formal modelling with more traditional analysis, and considers biological and cultural evolution, individual (...) learning, and rational deliberation. In filling a significant gap in the current literature this volume will be of particular interest to economists, political scientists and sociologists, in addition to philosophers of the social sciences. (shrink)

As research on mind wandering has accelerated, the construct’s defining features have expanded and researchers have begun to examine different dimensions of mind wandering. Recently, Christoff and colleagues have argued for the importance of investigating a hitherto neglected variety of mind wandering: “unconstrained thought,” or, thought that is relatively unguided by executive-control processes. To date, with only a handful of studies investigating unconstrained thought, little is known about this intriguing type of mind wandering. Across two experiments, we examined, for the (...) first time, whether changes in task demand influence rates of constrained versus unconstrained thoughts. In both experiments, participants completed either an easy (0-back) or hard (2-back) task and responded to intermittently presented thought probes that gauged thought constraint throughout the task. In Experiment 1, we found that participants completing the easy task engaged in unconstrained thoughts more frequently than those completing the difficult task. In Experiment 2, we replicated this result and further demonstrated manipulations of unconstrained thought while also measuring task-relatedness (a common dimension of mind wandering). Finally, exploratory analyses showed associations between constrained thought and age, verbal intelligence, and an assessment of flow (‘deep effortless concentration’), thereby adding further evidence to indicate a dissociation between task-relatedness and constraint. We discuss the methodological and theoretical applications of our findings to the burgeoning field of research on unconstrained thought. (shrink)

The philosophy of science that grew out of logical positivism construed scientific knowledge in terms of set of interconnected beliefs about the world, such as theories and observation statements. Nowadays science is also conceived of as a dynamic process based on the various practices of individual scientists and the institutional settings of science. Two features particularly influence the dynamics of scientific knowledge: epistemic standards and aims (e.g., assumptions about what issues are currently in need of scientific study and explanation). (...) While scientific beliefs are representations of the world, scientific standards and aims are epistemic values. The relevance of epistemic aims and values for belief change has been previously recognized. My paper makes a similar point for scientific concepts, both by studying how an individual concept changes (in its semantic properties) and by viewing epistemic aims and values tied to individual concepts. (shrink)

How should our beliefs change over time? Much has been written about how our beliefs should change in the light of new evidence. But that is not the question I’m asking. Sometimes our beliefs change without new evidence. I previously believed it was Sunday. I now believe it’s Monday. In this paper I discuss the implications of such beliefs for philosophy of language. I will argue that we need to allow for ‘dynamic’ beliefs, that we need new norms of (...) belief change to model how they function, and that this gives Perry’s (1977) two tier account the advantage over Lewis’s (1979) theory -/- . (shrink)

According to the dominant computational approach in cognitive science, cognitive agents are digital computers; according to the alternative approach, they are dynamical systems. This target article attempts to articulate and support the dynamical hypothesis. The dynamical hypothesis has two major components: the nature hypothesis (cognitive agents are dynamical systems) and the knowledge hypothesis (cognitive agents can be understood dynamically). A wide range of objections to this hypothesis can be rebutted. The conclusion is that cognitive systems may well be dynamical systems, (...) and only sustained empirical research in cognitive science will determine the extent to which that is true. (shrink)

One of the more powerful impressions created by vision is that of a coherent, richly-detailed world where everything is present simultaneously. Indeed, this impression is so compelling that we tend to ascribe these properties not only to the external world, but to our internal representations as well. But results from several recent experiments argue against this latter ascription. For example, changes in images of real-world scenes often go unnoticed when made during a saccade, flicker, blink, or movie cut. This "change (...) blindness" provides strong evidence against the idea that our brains contain a picture-like representation of the scene that is everywhere detailed and coherent. (shrink)

This paper describes DIVA (Dynamic Imagery for Visual Analogy), a computational model of visual imagery based on the scene graph, a powerful representational structure widely used in computer graphics. Scene graphs make possible the visual display of complex objects, including the motions of individual objects. Our model combines a semantic-network memory system with computational procedures based on scene graphs. The model can account for people’s ability to produce visual images of moving objects, in particular the ability to use (...) class='Hi'>dynamic visual analogies that compare two systems of objects in motion. (shrink)

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)

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)

The following article presents preliminary reflections on a processual theory of health and disease. It does this by steering the discussion more toward an ontology of organisms rather than conceptual analysis of the semantic content of the terms “health” and “disease.” In the first section, four meta-theoretical assumptions of the traditional debate are identified and alternative approaches to the problems are presented. Afterwards, the view that health and disease are constituted by a dynamic relation between demands imposed on an (...) organism and individual presuppositions for adequate response is developed. In the last section, the paper takes stock of three possible objections to and clarifies some implications of this approach to the notions of health and disease. (shrink)

Vaesen infers unique properties of mind from the appearance of specific cultural innovation – a correlation without causal direction. Shifts in habitat, population density, and group dynamics are the only independently verifiable incentives for changes in cultural practices. The transition from Acheulean to Late Stone Age technologies requires that we consider how population and social dynamics affect cultural innovation and mental function.

This paper is devoted to the formulation and investigation of a dynamic semantic interpretation of the language of first-order predicate logic. The resulting system, which will be referred to as ‘dynamic predicate logic’, is intended as a first step towards a compositional, non-representational theory of discourse semantics. In the last decade, various theories of discourse semantics have emerged within the paradigm of model-theoretic semantics. A common feature of these theories is a tendency to do away with the principle (...) of compositionality, a principle which, implicitly or explicitly, has dominated semantics since the days of Frege. Therefore the question naturally arises whether non-compositionality is in any way a necessary feature of discourse semantics. Since we subscribe to the interpretation of compositionality as constituting primarily a methodological principle, we consider this to be a methodological rather than an empirical question. As a consequence, the emphasis in the present paper lies on developing an alternative compositional semantics of discourse, which is empirically equivalent to its non-compositional brethren, but which differs from them in a principled methodological way. Hence, no attempts are made to improve on existing theories empirically. Nevertheless, as we indicate in section 5, the development of a compositional alternative may in the end have empirical consequences, too. First of all, it can be argued that the dynamic view on interpretation developed in this paper suggests natural and relatively easy to formulate extensions which enable one to deal with a wider range of phenomena than can be dealt with in existing theories. Moreover, the various approaches to the model-theoretic semantics of discourse that have been developed during the last decade, have constituted a ‘fresh start’ in the sense that much of what had been accomplished before was ignored, at least for a start. Of course, this is a justified strategy if one feels one is trying to develop a radically different approach to recalcitrant problems. However, there comes a time when such new approaches have to be compared with the older one, and when an assessment of the pros and cons of each has to be made. One of the main problems in semantics today, we feel, is that a semantic theory such as Montague grammar, and an approach like Kamp’s discourse representation theory, are hard to compare, let alone that it is possible to unify their insights and results.. (shrink)

Current psychological theories of human causal learning and judgment focus primarily on long-run predictions: two by estimating parameters of a causal Bayes nets, and a third through structural learning. This paper focuses on people’s short-run behavior by examining dynamical versions of these three theories, and comparing their predictions to a real-world dataset.

We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added. The core engine consists of definable update rules for changing plausibility relations between worlds, which have been proposed independently in the dynamic-epistemic literature on preference change. Our analysis yields two new types of modal result. First, we obtain complete logics for concrete mechanisms of belief revision, based on compositional reduction axioms. Next, we show how various abstract postulates (...) for belief revision can be analyzed by standard modal frame correspondences for model-changing operations. (shrink)