This dynamical interpretation of the continuum is based on a threefold perspective. First, detailed differentiation of all standard realms of Leibnizian Weltanschauung – (R real), (P phenomenal), (I ideal). Second, analysis of the scope of the Law of Continuity famously formulated by Leibniz and mapping it onto this (RPI) structure. Third, finding the precise place of dynamics and force in this (RPI) continuum.

In this paper we present a dynamic assignment language which extends the dynamic predicate logic of Groenendijk and Stokhof [1991: 39–100] with assignment and with generalized quantifiers. The use of this dynamic assignment language for natural language analysis, along the lines of o.c. and [Barwise, 1987: 1–29], is demonstrated by examples. We show that our representation language permits us to treat a wide variety of donkey sentences: conditionals with a donkey pronoun in their consequent and quantified sentences (...) with donkey pronouns anywhere in the scope of the quantifier. It is also demonstrated that our account does not suffer from the so-called proportion problem.Discussions about the correctness or incorrectness of proposals for dynamic interpretation of language have been hampered in the past by the difficulty of seeing through the ramifications of the dynamic semantic clauses (phrased in terms of input-output behaviour) in non-trivial cases. To remedy this, we supplement the dynamic semantics of our representation language with an axiom system in the style of Hoare. While the representation languages of barwise and Groenendijk and Stokhof were not axiomatized, the rules we propose form a deduction system for the dynamic assignment language which is proved correct and complete with respect to the semantics. (shrink)

We present a rendering of some common grammatical formalisms in terms of evolving algebras. Though our main concern in this paper is on constraint-based formalisms, we also discuss the more basic case of context-free grammars. Our aim throughout is to highlight the use of evolving algebras as a specification tool to obtain grammar formalisms.

GS 341 is one of the most familiar of Nietzsche’s writings. This article proposes a new reading that stands in contrast with most English-language Nietzsche scholarship. The text presents a communication and its reception. A ‘demon’ makes an announcement, and a hearer responds in one way or another. But there is also another narrative altogether, whose conceptual vocabulary comes from a dynamic world-view. In this an interaction of forces leads to a new situation. If the hearer is not crushed (...) by the ‘greatest weight’, there must be an inner force that counteracts its impact. I argue that what Nietzsche calls amor fati is a state that allows our drives to achieve full expression, and so makes possible a collective strength able to withstand the greatest impact. The final sentence refers to a “confirmation and sealing”. What happens is that the demon’s message makes an impression on the receptive hearer. For Nietzsche this is a working metaphor, not a turn of phrase. In a draft from this period he writes: “Let us stamp the image of eternity on our life!” That sudden and forceful act, embodying an evaluative judgement, is the event that GS 341 is all about. (shrink)

In his semiotic system Peirce distinguished between two interpretants and two objects of a sign: an immediate and a dynamical interpretant, and an immediate and a dynamical object. It is argued that Peirce’s immediate object can be interpreted a qua-object which has the dynamical object as its basis, and the dynamical interpretant consists of an interpreter’s conception of the object of the sign. Peirce semiotic system is compared with the accounts given by Frege, Husserl, Meinong, and the Stoics.

The topic of temporal meaning in texts has received considerable attention in recent years from scholars in linguistics, logical semantics, cognitive science, and artificial intelligence. Representing Time in Natural Language offers a systematic and detailed account of how we use temporal information contained in a text or in discourse to reason about the flow of time, inferring the order in which events happened when this is not explicitly stated. A new representational system is designed to formalize an appropriately context-dependent notion (...) of situated inference. The Dynamic Aspect Tree, representing temporal dependencies, constitutes a novel and important dynamic temporal logic, one that makes it easy to see "what follows when" from the information given in an ordinary English text. (shrink)

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)

. Interpreted dynamical systems are dynamical systems with an additional interpretation mapping by which propositional formulas are assigned to system states. The dynamics of such systems may be described in terms of qualitative laws for which a satisfaction clause is defined. We show that the systems Cand CL of nonmonotonic logic are adequate with respect to the corresponding description of the classes of interpreted ordered and interpreted hierarchical systems, respectively. Inhibition networks, artificial neural networks, logic programs, and evolutionary systems (...) are instances of such interpreted dynamical systems, and thus our results entail that each of them may be described correctly and, in a sense, even completely by qualitative laws that obey the rules of a nonmonotonic logic system. (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)

This study attempts to describe the notion of the ‘self’ using dynamical systems language based on the results of our robot learning experiments. A neural network model consisting of multiple modules is proposed, in which the interactive dynamics between the bottom-up perception and the top-down prediction are investigated. Our experiments with a real mobile robot showed that the incremental learning of the robot switches spontaneously between steady and unsteady phases. In the steady phase, the top-down prediction for the bottom-up perception (...) works well when coherence is achieved between the internal and the environmental dynamics. In the unsteady phase, conflicts arise between the bottom-up perception and the top-down prediction; the coherence is lost, and a chaotic attractor is observed in the internal neural dynamics. By investigating possible analogies between this result and the phenomenological literature on the ‘self', we draw the conclusions that the structure of the ‘self’ corresponds to the ‘open dynamic structure’ which is characterized by co-existence of stability in terms of goal-directedness and instability caused by embodiment; the open dynamic structure causes the system's spontaneous transition to the unsteady phase where the ‘self’ becomes aware. (shrink)

Shows that both anaphoricity and egocentric de se binding play a crucial role in the interpretation of tense in discourse. Uses the English backwards shifted reading of the past tense in a mistaken time scenario to bring out the tension between these two features. Provides a suitable representational framework for the observed clash in the form of an extension of DRT in which updates of the common ground are accompanied by updates of each relevant agent's complex attitudinal state.

The paper reviews links between Bernard Lonergan's theory of innovative economic growth and cycles, and the ideas of Friedrich Hayek, John Maynard Keynes, and Joseph Schumpeter. They were contemporary economists, who remain influential today. For Lonergan, although markets define what is bought and sold in an exchange economy, production decisions are more fundamental. These decisions are choices about the direction of development, the standard of living, and variations in the distribution of wealth in a modern society. The paper shows how (...) Lonergan's pure cycle theory extends mainstream theory to include a broader view of human behaviour and choice. (shrink)

This paper discusses possible correspondences between the dynamical systems characteristics observed in our previously proposed cognitive model and phenomenological accounts of immanent time considered by Edmund Husserl. Our simulation experiments in the anticiparatory learning of a robot showed that encountering sensory-motor flow can be learned as segmented into chunks of reusable primitives with accompanying dynamic shifting between coherences and incoherences in local modules. It is considered that the sense of objective time might appear when the continuous sensory-motor flow input (...) to the robot is reconstructed into compositional memory structures through the articulation processes described. (shrink)

An arithmetical interpretation of dynamic propositional logic (DPL) is a mapping f satisfying the following: (1) f associates with each formula A of DPL a sentence f(A) of Peano arithmetic (PA) and with each program α a formula f(α) of PA with one free variable describing formally a supertheory of PA; (2) f commutes with logical connectives; (3) f([α] A) is the sentence saying that f(A) is provable in the theory f(α); (4) for each axiom A of DPL, (...) f(A) is provable in PA (and consequently, for each A provable in DPL, f(A) is provable in PA). The arithmetical completeness theorem is proved saying that a formula A of DPL is provable in DPL iff for each arithmetical interpretation f, f(A) is provable in PA. Various modifications of this result are considered. (shrink)

Background/ObjectiveSeveral studies have examined the impact of Parkinson’s disease on the quality of couples’ relationships. To date, few studies have explored how couples experience their relationship dynamic by taking into account the disease stage. The objectives of this study were to understand the experience of each partner and to study the mechanisms that underlie their couple organization in the advanced stage of PD.MethodsSemistructured individual interviews conducted with fifteen patients and their partners were the subject of a dyadic interpretative phenomenological (...) analysis.ResultsThree themes were identified from the analysis: the first, “A Closeness That Separates,” allows the identification of different patterns of interactions that lead to emotional distancing between the partners; the second, “The Adversity Is Not Unbearable, But Going It Alone Would Be,” emphasizes the importance of how the assisting partner provides support; and the third, “Be Prepared for Anything and Facing an Uncertain Future,” reveals the extent and modes of the dyadic regulation of the emotions linked to what the future may hold.ConclusionPsychological support is important to help couples express both their feelings and their respective needs in the evolving context of PD. (shrink)

Using the concepts of chaotic dynamical systems, we present an interpretation of dynamic neural activity found in cortical and subcortical areas. The discovery of chaotic itinerancy in high-dimensional dynamical systems with and without a noise term has motivated a new interpretation of this dynamic neural activity, cast in terms of the high-dimensional transitory dynamics among “exotic” attractors. This interpretation is quite different from the conventional one, cast in terms of simple behavior on low-dimensional attractors. Skarda (...) and Freeman (1987) presented evidence in support of the conclusion that animals cannot memorize odor without chaotic activity of neuron populations. Following their work, we study the role of chaotic dynamics in biological information processing, perception, and memory. We propose a new coding scheme of information in chaos-driven contracting systems we refer to as Cantor coding. Since these systems are found in the hippocampal formation and also in the olfactory system, the proposed coding scheme should be of biological significance. Based on these intensive studies, a hypothesis regarding the formation of episodic memory is given. Key Words: Cantor coding; chaotic itinerancy; dynamic aspects of the brain; dynamic associative memory; episodic memory; high-dimensional dynamical systems; SCND attractors. (shrink)

Any realist interpretation of quantum theory must grapple with the measurement problem and the status of state-vector collapse. In a no-collapse approach, measurement is typically modeled as a dynamical process involving decoherence. We describe how the minimal modal interpretation closes a gap in this dynamical description, leading to a complete and consistent resolution to the measurement problem and an effective form of state collapse. Our interpretation also provides insight into the indivisible nature of measurement—the fact that you (...) can't stop a measurement part-way through and uncover the underlying 'ontic' dynamics of the system in question. Having discussed the hidden dynamics of a system's ontic state during measurement, we turn to more general forms of open-system dynamics and explore the extent to which the details of the underlying ontic behavior of a system can be described. We construct a space of ontic trajectories and describe obstructions to defining a probability measure on this space. (shrink)

Cognitive science's basic premises are under attack. In particular, its focus on internal cognitive processes is a target. Intelligence is increasingly interpreted, not as a matter of reclusive thought, but as successful agent-environment interaction. The critics claim that a major reorientation of the field is necessary. However, this will only occur when there is a distinct alternative conceptual framework to replace the old one. Whether or not a serious alternative is provided is not clear. Among the critics there is some (...) consensus, however, that this role could be fulfilled by the concept of a 'behavioral system'. This integrates agent and environment into one encompassing general system. We will discuss two contexts in which the behavioral systems idea is being developed. Autonomous Agents Research is the enterprise of building behavior-based robots. Dynamical Systems Theory provides a mathematical framework well suited for describing the interactions between complex systems. We will conclude that both enterprises provide important contributions to the behavioral systems idea. But neither turns it into a full conceptual alternative which will initiate a major paradigm switch in cognitive science. The concept will need a lot of fleshing out before it can assume that role. (shrink)

We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. This is done first for the fragment of straight line programs and then extended to cater for the nondeterministic nature of choice and iteration, expanded to PDL as a whole. Bisimilarity is also discussed and shown to be equivalent to logical and behavioral equivalence, provided the base spaces are Polish spaces. We adapt techniques from coalgebraic (...) stochastic logic and point out some connections to Souslin's operation A from descriptive set theory. This leads to a discussion of complete stochastic Kripke models and model completion, which permits an adequate treatment of the test operator. (shrink)

Displays of eye movements may convey information about cognitive processes but require interpretation. We investigated whether participants were able to interpret displays of their own or others' eye movements. In Experiments 1 and 2, participants observed an image under three different viewing instructions. Then they were shown static or dynamic gaze displays and had to judge whether it was their own or someone else's eye movements and what instruction was reflected. Participants were capable of recognizing the instruction reflected (...) in their own and someone else's gaze display. Instruction recognition was better for dynamic displays, and only this condition yielded above chance performance in recognizing the display as one's own or another person's. Experiment 3 revealed that order information in the gaze displays facilitated instruction recognition when transitions between fixated regions distinguish one viewing instruction from another. Implications of these findings are discussed. (shrink)

The soundscape, which is defined as the entire acoustic environment of an area, is a relevant biosemiotic ingredient of environmental complexity. It is composed of geophonies, anthrophonies, and biophonies where, in temperate biomes, birds are the major producers of the latter. The soundscape is heterogeneous in terms of space and time, and is affected by landscape features such as vegetation cover. It also operates as a communication network in which intra- and inter-specific interactions create a complex, eavesdropping-broadcasting network, namely, the (...) soundtope. This acoustic context provides public information for tracking resources like territory, mates, food, safety, and roosting sites and it can be considered a multifunctional eco-field. The Acoustic Complexity Index is a new metric that is used to efficiently process the sound files that, when collected by sampling matrixes, return by interpolation the spatial distribution of a soundscape. High quality soundscapes are sought to guarantee the biosemiotic mechanisms among species, but polluted conditions degrade and mask biophonies, thus reducing communication efficiency, with severe consequences for both individual and collective fitness. Preserving high quality soundscapes is therefore an important conservation issue and a target to aim for if we are to assure animal and human wellbeing. (shrink)

In Groenendijk & Stokhof [1989] a system of dynamic predicate logic (DPL) was developed, as a compositional alternative for classical discourse representation theory (DRT ). DPL shares with DRT the restriction of being a first-order system. In the present paper, we are mainly concerned with overcoming this limitation. We shall define a dynamic semantics for a typed language with λ-abstraction which is compatible with the semantics DPL specifies for the language of first-order predicate logic. We shall propose to (...) use this new logical system as the semantic component of a Montague-style grammar (referred to as dynamic Montague grammar, DMG), which will enable us to extend the compositionality of DPL to the subsentential level. Furthermore, we shall extend this analysis also in this sense that we shall add new, dynamic interpretations for logical constants which in DPL were treated in a static fashion. This will substantially increase the descriptive coverage of DMG. (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)

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)

Interpreting Figurative Meaning critically evaluates the recent empirical work from psycholinguistics and neuroscience examining the successes and difficulties associated with interpreting figurative language. There is now a huge, often contradictory literature on how people understand figures of speech. Gibbs and Colston argue that there may not be a single theory or model that adequately explains both the processes and products of figurative meaning experience. Experimental research may ultimately be unable to simply adjudicate between current models in psychology, linguistics and philosophy (...) of how figurative meaning is interpreted. Alternatively, the authors advance a broad theoretical framework, motivated by ideas from 'dynamical systems theory', that describes the multiple, interacting influences which shape people's experiences of figurative meaning in discourse. This book details past research and theory, offers a critical assessment of this work and sets the stage for a new vision of figurative experience in human life. (shrink)

We propose a formal theory built upon an abstract argumentation framework for handling argumentation dynamics. To that end, we analyze the acceptability dynamics of arguments through the proposal of two different kinds of sets of arguments which are somehow responsible for the acceptability/rejection of a given argument. We develop a study of the consequences of breaking the construction of such sets towards the acceptance of an analyzed argument. This brings about the proposal of a novel change operation which allows to (...) determine which arguments should be removed from the framework so that another particular argument becomes accepted. Finally, the proposed model is formalized in the light of the theory of belief revision by characterizing the corresponding operations through constructive definition and an axiomatic characterization, connecting them through the corresponding representation theorem. The theoretical proposal constitutes the fundamentals for a system implementation in many dynamic domains of application. In particular, we show its application for handling the dynamics of legal interpretation. In that sense, this proposal constitutes a fundamental approach and theoretical justification to handle the dynamics of legal arguments through changes of interpretative canons. We show a possible concretisation of our abstract theory for the legal domain by analysing a real legal case from the Argentinean jurisprudence. Such a system would be capable of suggesting alternative critical points in the current state of affairs of a legal case towards pursuing a specific goal for which the case is being investigated. (shrink)

Two widely accepted assumptions within cognitive science are that (1) the goal is to understand the mechanisms responsible for cognitive performances and (2) computational modeling is a major tool for understanding these mechanisms. The particular approaches to computational modeling adopted in cognitive science, moreover, have significantly affected the way in which cognitive mechanisms are understood. Unable to employ some of the more common methods for conducting research on mechanisms, cognitive scientists’ guiding ideas about mechanism have developed in conjunction with their (...) styles of modeling. In particular, mental operations often are conceptualized as comparable to the processes employed in classical symbolic AI or neural network models. These models, in turn, have been interpreted by some as themselves intelligent systems since they employ the same type of operations as does the mind. For this paper, what is significant about these approaches to modeling is that they are constructed specifically to account for behavior and are evaluated by how well they do so—not by independent evidence that they describe actual operations in mental mechanisms. (shrink)

A new system of dynamic logic is introduced and motivated, witha novel approach to variable binding for incremental interpretation. Thesystem is shown to be equivalent to first order logic and complete.The new logic combines the dynamic binding idea from DynamicPredicate Logic with De Bruijn style variable free indexing. Quantifiersbind the next available variable register; the indexing mechanismguarantees that active registers are never overwritten by newquantifiers actions. Apart from its interest in its own right, theresulting system has certain (...) advantages over Dynamic Predicate Logic orDiscourse Representation Theory. It comes with a more well behaved(i.e., transitive) consequence relation, it gives a more explicitaccount of how anaphoric context grows as text gets processed, and ityields new insight into the dynamics of anaphoric linking in reasoning.Incremental dynamics also points to a new way of handling contextdynamically in Montague grammar. (shrink)