The paper offers a historical overview of Einstein's oscillating attitude towards a "phenomenological" and "dynamical" treatment of rods and clocks in relativity theory. Contrary to what it has been usually claimed in recent literature, it is argued that this distinction should not be understood in the framework of opposition between principle and constructive theories. In particular Einstein does not seem to have plead for a "dynamical" explanation for the phenomenon rods contraction and clock dilation which was initially described only "kinematically". (...) On the contrary textual evidence shows that, according to Einstein, a realistic microscopic model of rods and clocks was needed to account for the very existence of measuring devices of "identical construction" which always measure the same unit of time and the same unit of length. In fact, it will be shown that the empirical meaningfulness of both relativity theories depends on what, following Max Born, one might call the "principle of the physical identity of the units of measure". In the attempt to justify the validity of such principle, Einstein was forced by different interlocutors, in particular Hermann Weyl and Wolfgang Pauli, to deal with the genuine epistemological, rather then physical question whether a theory should be able or not to described the material devices that serve to its own verification. (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)

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.

What new implications does the dynamical hypothesis have for cognitive science? The short answer is: None. The _Behavior and Brain Sciences _target article, “The dynamical hypothesis in cognitive science” by Tim Van Gelder is basically an attack on traditional symbolic AI and differs very little from prior connectionist criticisms of it. For the past ten years, the connectionist community has been well aware of the necessity of using (and understanding) dynamically evolving, recurrent network models of cognition.

The relation and collaboration of human and animal medicine had its ups and downs throughout history. The interaction between these two disciplines has been especially fruitful in the broad areas of patho-physiology and of epidemiology. An exploration of the interaction between the two disciplines, using historical and contemporary examples in comparative medicine, zoonoses, zooprophylaxis, and human-animal bond, reveals that a better understanding of animal and human disease, as well as societal changes such as interest in non-conventional medicine, are leading to (...) a broader concept of one medicine that includes animal and human medicine as well as social and other sciences. (shrink)

The relation and collaboration of human and animal medicine had its ups and downs throughout history. The interaction between these two disciplines has been especially fruitful in the broad areas of patho-physiology and of epidemiology. An exploration of the interaction between the two disciplines, using historical and contemporary examples in comparative medicine, zoonoses, zooprophylaxis, and human-animal bond, reveals that a better understanding of animal and human disease, as well as societal changes such as interest in non-conventional medicine, are leading to (...) a broader concept of one medicine that includes animal and human medicine as well as social and other sciences. (shrink)

The traditional possible-worlds model of belief describes agents as ‘logically omniscient’ in the sense that they believe all logical consequences of what they believe, including all logical truths. This is widely considered a problem if we want to reason about the epistemic lives of non-ideal agents who—much like ordinary human beings—are logically competent, but not logically omniscient. A popular strategy for avoiding logical omniscience centers around the use of impossible worlds: worlds that, in one way or another, violate the laws (...) of logic. In this paper, we argue that existing impossible-worlds models of belief fail to describe agents who are both logically non-omniscient and logically competent. To model such agents, we argue, we need to ‘dynamize’ the impossible-worlds framework in a way that allows us to capture not only what agents believe, but also what they are able to infer from what they believe. In light of this diagnosis, we go on to develop the formal details of a dynamic impossible-worlds framework, and show that it successfully models agents who are both logically non-omniscient and logically competent. (shrink)

We study the complexity of the classification problem of conjugacy on dynamical systems on some compact metrizable spaces. Especially we prove that the conjugacy equivalence relation of interval dynamical systems is Borel bireducible to isomorphism equivalence relation of countable graphs. This solves a special case of Hjorth’s conjecture which states that every orbit equivalence relation induced by a continuous action of the group of all homeomorphisms of the closed unit interval is classifiable by countable structures. We also prove that conjugacy (...) equivalence relation of Hilbert cube homeomorphisms is Borel bireducible to the universal orbit equivalence relation. (shrink)

With agents relying more and more on information from central servers rather than their own sensors, knowledge becomes property not of a specific agent but of the data that the agents can access. The article proposes a dynamic logic of data-informed knowledge that describes an interplay between three modalities and one relation capturing the properties of this form of knowledge. The main technical results are the undefinability of two dynamic operators through each other, a sound and complete axiomatisation, (...) and a model checking algorithm. (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)

This book develops a view of logic as a theory of information-driven agency and intelligent interaction between many agents - with conversation, argumentation and games as guiding examples. It provides one uniform account of dynamic logics for acts of inference, observation, questions and communication, that can handle both update of knowledge and revision of beliefs. It then extends the dynamic style of analysis to include changing preferences and goals, temporal processes, group action and strategic interaction in games. Throughout, (...) the book develops a mathematical theory unifying all these systems, and positioning them at the interface of logic, philosophy, computer science and game theory. A series of further chapters explores repercussions of the 'dynamic stance' for these areas, as well as cognitive science. (shrink)

One Health medicine aims to improve health by focusing on the relations between the health of humans, animals, and the environment. However, One Health does not provide a clear idea of these relations, which are still represented as conceptually separated and not as one health, as the name implies. Inspired by holobiont research, I suggest a new model and conceptual framework for One Health that expands the notion of the biological patient by providing a gradational and dynamic understanding of (...) environments, patients, and their relations. This new model conceptualizes humans and non-humans, individual organisms, and collectives, as belonging to one system that allows for more or less inclusive understandings of patients. As such, it resolves the conceptual tensions of different One Health approaches and supports the implementation of One Health as an interdisciplinary research field. (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)

Over the last two decades, semantic theory has been marked by a continuing shift from a static view of meaning to a dynamic one. The increasing interest in extending semantic analysis from isolated sentences to larger units of discourse has fostered the intensive study of anaphora and coreference, and this has engendered a shift from viewing meaning as truth conditions to viewing it as the potential to change the "informational context".

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

There has been considerable philosophical debate in recent years over a thesis called epistemic permissivism. According to the permissivist, it is possible for two agents to have the exact same total body of evidence and yet differ in their belief attitudes towards some proposition, without either being irrational. However, I argue, not enough attention has been paid to the distinction between different ways in which permissivism might be true. In this paper, I present a taxonomy of forms of epistemic permissivism (...) framed as the upshot of different ways one might respond to a basic argument against the view from Roger White. I then introduce a new type of permissive view which the contemporary debate has completely ignored and which is made available when we reject a widespread and largely unexamined background commitment to static rational norms connecting beliefs and evidence in favor of dynamic norms governing processes of consideration. I show how the dynamic strategy of rejecting static norms on belief opens the door to a new kind of permissivism which is both independently attractive and especially well-placed to answer worries that have been raised against traditional permissivist views. (shrink)

The history of contemporary metaphysics shows there are two schools of thought. One for whom the analysis of categories assumes primarily an epistemological character and on the other hand some believe that the field to be investigated is rather to be approached in primarily ontological terms. Strawson's conception of descriptive metaphysics is a clear example of this approach.

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)

Emotion is conceptualised as an emergent, dynamic process based on an individual's subjective appraisal of significant events. It is argued that theoretical models of emotion need to propose an architecture that reflects the essential nature and functions of emotion as a psychobiological and cultural adaptation mechanism. One proposal for such a model and its underlying dynamic architecture, the component process model, is briefly sketched and compared with some of its major competitors. Recent empirical evidence in support of the (...) model is reviewed. Special emphasis is given to the dynamic aspect of emotion processes, in particular the sequence of appraisal checks and the synchronisation of response systems, as well as the capacity of the model to predict individual differences in emotional responding. (shrink)

Humean accounts of laws of nature fail to distinguish between dynamic laws and static initial conditions. But this distinction plays a central role in scientific theorizing and explanation. I motivate the claim that this distinction should matter for the Humean, and show that current views lack the resources to explain it. I then develop a regularity theory that captures this distinction. My view takes empirical accessibility to be one of the primary features of laws, and I identify features laws (...) must have to be empirically accessible. I then argue that laws with these features tend to be dynamic. _1_ The Best System _1.1_ Orthodox Humeanism _2_ The Best Is Not Good Enough _2.1_ Laws and boundary conditions _2.2_ Laws and scientific practice _2.3_ An illustrative example _3_ Laws and Epistemic Roles _3.1_ The epistemic criterion _3.2_ The epistemic role account _3.3_ Scientific virtues _3.4_ Applying the epistemic role account _4_ Conclusion. (shrink)

We investigate the dynamics of a nonautonomous stochastic SIS epidemic model with nonlinear incidence rate and double epidemic hypothesis. By constructing suitable stochastic Lyapunov functions and using Has’minskii theory, we prove that there exists at least one nontrivial positive periodic solution of the system. Moreover, the sufficient conditions for extinction of the disease are obtained by using the theory of nonautonomous stochastic differential equations. Finally, numerical simulations are utilized to illustrate our theoretical analysis.

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)

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)

By briefly reviewing three well-known scientific revolutions in fundamental physics (the discovery of inertia, of special relativity and of general relativity), I claim that problems that were supposed to be crying for a dynamical explanation in the old paradigm ended up receiving a structural explanation in the new one. This claim is meant to give more substance to Kuhn’s view that revolutions are accompanied by a shift in what needs to be explained, while suggesting at the same time the existence (...) of a pattern that is common to all of the discussed case-studies. It remains to be seen whether also quantum mechanics, in particular entanglement, conforms to this pattern. (shrink)

Dynamic topological logic provides a context for studying the confluence of the topological semantics for S4, topological dynamics, and temporal logic. The topological semantics for S4 is based on topological spaces rather than Kripke frames. In this semantics, □ is interpreted as topological interior. Thus S4 can be understood as the logic of topological spaces, and □ can be understood as a topological modality. Topological dynamics studies the asymptotic properties of continuous maps on topological spaces. Let a dynamic (...) topological system be a topological space X together with a continuous function f. f can be thought of in temporal terms, moving the points of the topological space from one moment to the next. Dynamic topological logics are the logics of dynamic topological systems, just as S4 is the logic of topological spaces. Dynamic topological logics are defined for a trimodal language with an S4-ish topological modality □, and two temporal modalities, ○ and *, both interpreted using the continuous function f. In particular, ○ expresses f’s action on X from one moment to the next, and * expresses the asymptotic behaviour of f. (shrink)

Dynamic topological logic provides a context for studying the confluence of the topological semantics for S4, topological dynamics, and temporal logic. The topological semantics for S4 is based on topological spaces rather than Kripke frames. In this semantics, □ is interpreted as topological interior. Thus S4 can be understood as the logic of topological spaces, and □ can be understood as a topological modality. Topological dynamics studies the asymptotic properties of continuous maps on topological spaces. Let a dynamic (...) topological system be a topological space X together with a continuous function f. f can be thought of in temporal terms, moving the points of the topological space from one moment to the next. Dynamic topological logics are the logics of dynamic topological systems, just as S4 is the logic of topological spaces. Dynamic topological logics are defined for a trimodal language with an S4-ish topological modality □ , and two temporal modalities, ○ and * , both interpreted using the continuous function f. In particular, ○ expresses f’s action on X from one moment to the next, and * expresses the asymptotic behaviour of f. (shrink)

Numerous scholars have observed that the relationship between poverty and violent conflict is endogenous. As a result, the area of Peace Through Commerce argues as one of its central tenets that the institution of business may be able to contribute to sustainable peace by creating economic development where poverty is a critical issue. While this argument may be valid, it leaves the question open — what is the business case for engaging in poverty alleviation business strategies? Strategic Management scholars are (...) addressing this question, arguing the general proposition that poverty is not only experienced by the people, but also impacts businesses operating in environments where the phenomenon is pervasive. By addressing poverty, businesses can help themselves. Yet, organizational theory justifying this proposition is still emerging, consisting of only a few studies that generally suggest that these strategies can help firms develop competitive advantage through the lens of the resource-based view. This article extends the theoretical application of the resource-based view, suggesting that conditions of poverty directly suppress the value of organizational resources and capabilities that are or could be contributed by people affected by it. In addition, it characterizes poverty alleviation strategic capabilities as dynamic capabilities. Finally, it describes a framework of "base of the pyramid dynamic capabilities" that could guide both future discourse in the area and deductive-disconfirmatory research examining the efficacy of these strategies. (shrink)

This aim of this paper is two-fold: it critically analyses and rejects accounts blending active inference as theory of mind and enactivism; and it advances an enactivist-dynamic understanding of social cognition that is compatible with active inference. While some social cognition theories seemingly take an enactive perspective on social cognition, they explain it as the attribution of mental states to other people, by assuming representational structures, in line with the classic Theory of Mind. Holding both enactivism and ToM, we (...) argue, entails contradiction and confusion due to two ToM assumptions widely known to be rejected by enactivism: that social cognition reduces to mental representation and social cognition is a hardwired contentful ‘toolkit’ or ‘starter pack’ that fuels the model-like theorising supposed in. The paper offers a positive alternative, one that avoids contradictions or confusion. After rejecting ToM-inspired theories of social cognition and clarifying the profile of social cognition under enactivism, that is without assumptions and, the last section advances an enactivist-dynamic model of cognition as dynamic, real-time, fluid, contextual social action, where we use the formalisms of dynamical systems theory to explain the origins of socio-cognitive novelty in developmental change and active inference as a tool to demonstrate social understanding as generalised synchronisation. (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)

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)

Religion: material dynamics is a lively resource for thinking about religious materiality and the material study of religion. Deconstructing and reconstructing religion as material categories, social formations, and mobile circulations, the book explores the making, ordering, and circulating of religious things. Split into three sections, Part One revitalizes basic categories--animism and sacred, space and time--by situating them in their material production and testing their analytical viability. Part Two examines religious formations as configurations of power that operate in material cultures and (...) cultural economies and are most clearly shown in the power relations of colonialism and imperialism. Part Three explores the material dynamics of circulation through case studies of religious mobility, change, and diffusion as intimate as the body and as vast as the oceans. Each chapter offers insightful orientations and surprising possibilities for studying material religion. Exploring the material dynamics of religion from poetics to politics, David Chidester provides an entry into the study of material religion that will be welcomed by students and specialists in religious studies, anthropology, and history."--Provided by publisher. (shrink)

The received view of dynamical explanation is that dynamical cognitive science seeks to provide covering law explanations of cognitive phenomena. By analyzing three prominent examples of dynamicist research, I show that the received view is misleading: some dynamical explanations are mechanistic explanations, and in this way resemble computational and connectionist explanations. Interestingly, these dynamical explanations invoke the mathematical framework of dynamical systems theory to describe mechanisms far more complex and distributed than the ones typically considered by philosophers. Therefore, contemporary dynamicist (...) research reveals the need for a more sophisticated account of mechanistic explanation. (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.

This study examines how institutional logics interplay in a cross-sector social partnership that manages refugee integration in a rural district in Germany. In an inductive 15-month case study that drew on interviews and observations, we observe the dynamic materialization of institutional logics in day-to-day practices and an increasing contradiction and even rivalry between community- and market-based institutional logics over time. As a result, we delineate a model explaining the interplay of institutional logics along two dimensions: the dominance of one (...) salient logic and whether conflicts arise among logics. Our analysis also addresses the unifying properties of community as an institutional logic, especially in the context of urgency conditions. In addition, we show the influence of exogenous events and their media coverage on the interplay and conflicts of institutional logics. By unfolding the complexity of refugee integration—one of the global grand challenges of the present—we deepen the current understanding of the specific challenges addressed by cross-sector social partnerships. (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)

In recent years, much work has been dedicated by logicians, computer scientists and economists to understanding awareness, as its importance for human behaviour becomes evident. Although several logics of awareness have been proposed, little attention has been explicitly dedicated to change in awareness. However, one of the most crucial aspects of awareness is the changes it undergoes, which have countless important consequences for knowledge and action. The aim of this paper is to propose a formal model of awareness change, and (...) to derive from it logics of awareness change. In the first part of the paper, the model of epistemic states of bounded agents proposed in Hill (Stud Log 89(1):81–109, 2008a ) is extended with operations modelling awareness change. In the second part of the paper, it is shown how this model naturally extends the “standard” logic of awareness to yield a logic of awareness change. (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)

One common interpretation of the Hobbesian state of nature views itas a social dilemma, a natural extension of the well-knownprisoner''s dilemma to a group context. Kavka (1986)challenges this interpretation, suggesting that the appropriate wayto view the state of nature is as a quasi social dilemma. Iargue that Hobbes''s remarks on the rationality of keeping covenantsin the state of nature indicate that the quasi social dilemma doesnot accurately represent the state of nature. One possiblesolution, I suggest, views the state of nature (...) as a social dilemmabetween groups rather than individuals. Although thiscleanly represents the strategic problem faced in the state ofnature, it also means we should take intergroup dynamics intoaccount when putting forth a solution. I argue that Hobbes''ssolution of commonwealth by institution – the favored solution forHobbesian social contract theories – will not work in the state ofnature viewed this way. (shrink)

In this paper we prove that the principles in the languagewith relation composition and dynamic implication, valid forall binary relations, are the same ones as the principlesvalid when we restrict ourselves to DPL-relations,i.e. relations generated from conditions (tests) and resettings.

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)

It is often claimed (1) that levels of nature are related by supervenience, and (2) that processes occurring at particular levels of nature should be studied using dynamical systems theory. However, there has been little consideration of how these claims are related. To address the issue, I show how supervenience relations give rise to ‘supervenience functions’, and use these functions to show how dynamical systems at different levels are related to one another. I then use this analysis to describe a (...) graded approach to non-reductive physicalism, and to critically assess Davidson’s arguments for psychological anomaly. I also show how this approach can inform empirical research in cognitive science. (shrink)

Dynamic Topological Logic ( $\mathcal{DTL}$ ) is a modal framework for reasoning about dynamical systems, that is, pairs 〈X, f〉 where X is a topological space and f: X → X a continuous function. In this paper we consider the case where X is a metric space. We first show that any formula which can be satisfied on an arbitrary dynamic topological system can be satisfied on one based on a metric space; in fact, this space can be (...) taken to be countable and have no isolated points. Since any metric space with these properties is homeomorphic to the set of rational numbers, it follows that any satisfiable formula can be satisfied on a system based on $\mathbb{Q}$ . We then show that the situation changes when considering complete metric spaces, by exhibiting a formula which is not valid in general but is valid on the class of systems based on a complete metric space. While we do not attempt to give a full characterization of the set of valid formulas on this class we do give a relative completeness result; any formula which is satisfiable on a dynamical system based on a complete metric space is also satisfied on one based on the Cantor space. (shrink)