The ecology of fear has become a common rhetoric in efforts to support climate mitigation. The thesis of the collapse is an extreme version, asserting the inevitable collapse of the world. Fear, then, becomes the ultimate emotion for spurring action. In this article, drawing on the work of the pragmatist John Dewey, we show that fear is an ambiguous emotion. Dewey stressed the quality of an emotion. Following his reasoning, this article draws a distinction between intense and moderate fear. Intense (...) fear annihilates action, while moderate fear fulfils the conditions for an emotion of quality (in the Deweyan sense), which enables action. For this reason, the thesis of the collapse must be rejected, while an ecology of fear, drawing on moderate fear, may be maintained. (shrink)

Fair Trade has changed considerably since its early days. In this article, we argue that these changes have led to a depersonalization of ethics, thus raising serious questions about the future of Fair Trade. In particular, the depersonalization of ethics which is seen to accompany the current changes has led to greater variety in the interpretations of Fair Trade. Hiding these divergences behind the labels is increasing the risk that the movement will lose its credibility.

Environmental ethics and environmental justice have followed widely disparate paths, and this disassociation has resulted in an analytical schism. On the one side, environmental ethics embraces humankind’s relations with nature; on the opposite side, environmental justice embraces human-to-human relations via the medium of nature. Hans Jonas’ work is a bridge that crosses this conceptual divide: he spotlights the narrow correlation between human identity and responsibility, and insists on their inextricable bond with nature. However, this bond is a de facto bond (...) that all human beings have with each other. (shrink)

This case study introduces the QIT Madagascar Minerals (QMM) SA mining project at Fort-Dauphin, Madagascar, as a development project that has produced issues concerning justice. Although QMM appears to be a model company with a project that is seen as a success story, its consequent displacement of populations has been problematic in many respects, as have been the social effects that arise due to migration to the area by others who are attracted by the project. We suggest that the root (...) of many of these problems is that the people to be displaced have played an insignificant role in forming the project itself: consultation has instead been centred on corporate, government and environmental NGO concerns and interests. Compensation for losses has been inadequate. As non-mining land has been set aside as an offset for the purpose of conservation, traditional livelihoods have been curtailed. A narrow and Western conception of natural conservation that forbids access by the people has ensued for lands that hav.. (shrink)

Volume 15, Issue 2, August 2019, Page 85-88.

The Abidjan School is a school of thought that developed in the 1980s and 1990s in the Côte d'Ivoire inspired by the work of Louis-Joseph Lebret and Amartya Sen. It follows the empirical approach i...

Fair trade is a new form of commercial partnership whereby actors in the North engage with actors in the South on a number of conditions, including setting a minimum price, a development bonus, and so on. But above all, fair trade organizations in the South are implementing mechanisms that more or less facilitate the empowerment of their members. This article analyzes the empowerment effects of two fair trade organizations in South India. It shows that while positive effects can be seen, (...) the prevailing social norms in India are extremely influential for women at the moment, so that women are putting all their hopes on their daughters through their education. (shrink)

While the control of cell migration by biochemical and biophysical factors is largely documented, a precise quantification of cell migration parameters in different experimental contexts is still questionable. Indeed, these phenomenological parameters can be evaluated from data obtained either at the cell population level or at the individual cell level. However, the range within which both characterizations of cell migration are equivalent remains unclear. We analyse here to which extent both sources of data could be integrated within a unified description (...) of cell migration by considering the motility of the endothelial cell line EAhy926. Using time-lapse video-microscopy and associated analysis of digital image time series, we quantified EAhy926 random motility coefficient, migration speed and trajectory persistence time in two different migration assays: the in vitro wound healing assay, and the cell-populated agarose drop assay. In order to analyse the agreement between independent quantifications of cell motility based either on individual cell analysis or cell population dynamic analysis, a theoretical multi-agents cellular model was developed and discussed as a possible theoretical framework able to unify these multi-scale data. Model simulations especially reveal the potential bias induced by cell proliferation and cell-cell adhesion when cell migration parameters are estimated from the extensively used in vitro wound healing assay. (shrink)

New concepts may prove necessary to profit from the avalanche of sequence data on the genome, transcriptome, proteome and interactome and to relate this information to cell physiology. Here, we focus on the concept of large activity-based structures, or hyperstructures, in which a variety of types of molecules are brought together to perform a function. We review the evidence for the existence of hyperstructures responsible for the initiation of DNA replication, the sequestration of newly replicated origins of replication, cell division (...) and for metabolism. The processes responsible for hyperstructure formation include changes in enzyme affinities due to metabolite-induction, lipid-protein affinities, elevated local concentrations of proteins and their binding sites on DNA and RNA, and transertion. Experimental techniques exist that can be used to study hyperstructures and we review some of the ones less familiar to biologists. Finally, we speculate on how a variety of in silico approaches involving cellular automata and multi-agent systems could be combined to develop new concepts in the form of an Integrated cell (I-cell) which would undergo selection for growth and survival in a world of artificial microbiology. (shrink)

The first aim of simulation in virtual environment is to help biologists to have a better understanding of the simulated system. The cost of such simulation is significantly reduced compared to that of in vivo simulation. However, the inherent complexity of biological system makes it hard to simulate these systems on non-parallel architectures: models might be made of sub-models and take several scales into account; the number of simulated entities may be quite large. Today, graphics cards are used for general (...) purpose computing which has been made easier thanks to frameworks like CUDA or OpenCL. Parallelization of models may however not be easy: parallel computer programing skills are often required; several hardware architectures may be used to execute models. In this paper, we present the software architecture we built in order to implement various models able to simulate multi-cellular system. This architecture is modular and it implements data structures adapted for graphics processing units architectures. It allows efficient simulation of biological mechanisms. (shrink)

Simulation of complex biological systems with agent-based models is becoming more relevant with the increase in Graphics Processing Unit power. In those simulations, up to millions of virtual cells are individually computed, involving daunting processing times. An important part of computational models is the algorithm that manages how agents perceive their surroundings. This can be particularly problematic in three-dimensional environments where agents have deformable virtual membranes. This article presents a GPU algorithm that gives the possibility for agents to integrate the (...) signals scattered on their virtual membrane. It is detailed to be coded in languages like OpenCL or Cuda. Its performances are tested to show its speed with current GPU devices. Finally, it was implemented inside an existing software to test and illustrate the possibilities it offers. (shrink)

Directive 95/46/EC and implementing legislation define the respective obligations and liabilities of the different actors that may be involved in a personal data processing operation. There are certain exceptions to the scope of these regulations, among which processing which is carried out by natural persons in the course of activities that may be considered ‘purely personal’. The purpose of this article is to investigate the liability of users of social network sites under data protection and to assess the extent to (...) which the current data protection framework can sufficiently accommodate the new realities of web 2.0 and social networking applications. (shrink)

Kurt Gdel was the most outstanding logician of the 20th century and a giant in the field. This book is part of a five volume set that makes available all of Gdel's writings. The first three volumes, already published, consist of the papers and essays of Gdel. The final two volumes of the set deal with Gdel's correspondence with his contemporary mathematicians, this fourth volume consists of material from correspondents from A-G.

For the purposes of this monograph, "by a degree" is meant a degree of recursive unsolvability. A degree [script bold]m is said to be minimal if 0 is the unique degree less than [script bold]m. Each of the six chapters of this self-contained monograph is devoted to the proof of an existence theorem for minimal degrees.

This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians and their Latin-American and European colleagues. All papers were selected by a careful refereeing processs and were revised and updated (...) by their authors for publication in this volume. There are three sections: Advances in Logic, Advances in Theoretical Computer Science, and Advances in Philosophical Logic. Well-known specialists present original research on several aspects of model theory, proof theory, algebraic logic, category theory, connections between logic and computer science, and topics of philosophical logic of current interest. Topics interweave proof-theoretical, semantical, foundational, and philosophical aspects with algorithmic and algebraic views, offering lively high-level research results. (shrink)

Doctoral programs at U.S. universities play a critical role in the development of human resources both in the United States and abroad. This volume reports the results of an extensive study of U.S. research-doctorate programs in five broad fields: physical sciences and mathematics, engineering, social and behavioral sciences, biological sciences, and the humanities. Research-Doctorate Programs in the United States documents changes that have taken place in the size, structure, and quality of doctoral education since the widely used 1982 editions. (...) This update provides selected information on nearly 4,000 doctoral programs in 41 subdisciplines at 274 doctorate-granting institutions. This volume also reports the results of the National Survey of Graduate Faculty, which polled a sample of faculty for their views on the scholarly quality of program faculty and the effectiveness of doctoral programs in preparing research scholars/scientists. This much-anticipated update of such an essential reference will be useful to education administrators, university faculty, and students seeking authoritative information on doctoral programs. (shrink)

The quality of doctoral-level chemistry (N=145), computer science (N=58), geoscience (N=91), mathematics (N=115), physics (N=123), and statistics/biostatistics (N=64) programs at United States universities was assessed, using 16 measures. These measures focused on variables related to: program size; characteristics of graduates; reputational factors (scholarly quality of faculty, effectiveness of programs in educating research scholars/scientists, improvement in program quality during the last 5 years); university library size; research support; and publication records. Chapter I discusses prior attempts to assess quality in graduate (...) education, development of the study plans, and the selection of disciplines and programs to be evaluated. Chapter II discusses the methodology used, focusing on each of the assessment measures. Chapters III to VIII present, respectively, findings from the analyses of the chemistry, computer science, geoscience, mathematics, physics, and statistics/biostatistics programs. Chapter IX includes a summary of results, correlations among measures, several additional analyses, and suggestions for future studies. Among the findings reported are those indicating that mathematics programs had, on the average, the largest number of faculty (N=33) in December 1980 followed closely by physics (N=28) and chemistry (N=23), and that 80 percent of computer science students had job commitments by graduation. (Survey instruments and supporting documentation are included in appendices.) (JN). (shrink)

Over the years, Skolem’s Paradox has generated a fairly steady stream of philosophical discussion; nonetheless, the overwhelming consensus among philosophers and logicians is that the paradox doesn’t constitute a mathematical problem (i.e., it doesn’t constitute a real contradiction). Further, there’s general agreement as to why the paradox doesn’t constitute a mathematical problem. By looking at the way firstorder structures interpret quantifiers—and, in particular, by looking at how this interpretation changes as we move from structure to structure—we can give a technically (...) adequate “solution” to Skolem’s Paradox. So, whatever the philosophical upshot of Skolem’s Paradox may be, the mathematical side of Skolem’s Paradox seems to be relatively straightforward. (shrink)

The Greek astronomer and geometrician Apollonius of Perga produced pioneering written work on conic sections in which he demonstrated mathematically the generation of curves and their fundamental properties. His innovative terminology gave us the terms 'ellipse', 'hyperbola' and 'parabola'. The Danish scholar Johan Ludvig Heiberg, a professor of classical philology at the University of Copenhagen, prepared important editions of works by Euclid, Archimedes and Ptolemy, among others. Published between 1891 and 1893, this two-volume work contains the definitive Greek text of (...) the first four books of Apollonius' treatise together with a facing-page Latin translation. Volume 1 contains the first three books, with the editor's introductory matter in Latin. (shrink)

The Greek astronomer and geometrician Apollonius of Perga produced pioneering written work on conic sections in which he demonstrated mathematically the generation of curves and their fundamental properties. His innovative terminology gave us the terms 'ellipse', 'hyperbola' and 'parabola'. The Danish scholar Johan Ludvig Heiberg, a professor of classical philology at the University of Copenhagen, prepared important editions of works by Euclid, Archimedes and Ptolemy, among others. Published between 1891 and 1893, this two-volume work contains the definitive Greek text of (...) the first four books of Apollonius' treatise together with a facing-page Latin translation. Volume 2 contains the fourth book in addition to other Greek fragments and ancient commentaries, notably that of Eutocius, as well as the editor's Latin prolegomena comparing the various manuscript sources. (shrink)

The Greek astronomer and geometrician Apollonius of Perga produced pioneering written work on conic sections in which he demonstrated mathematically the generation of curves and their fundamental properties. His innovative terminology gave us the terms 'ellipse', 'hyperbola' and 'parabola'. The Danish scholar Johan Ludvig Heiberg, a professor of classical philology at the University of Copenhagen, prepared important editions of works by Euclid, Archimedes and Ptolemy, among others. Published between 1891 and 1893, this two-volume work contains the definitive Greek text of (...) the first four books of Apollonius' treatise together with a facing-page Latin translation. Volume 1 contains the first three books, with the editor's Latin introductory matter. Volume 2 contains the fourth book in addition to other Greek fragments and ancient commentaries, notably that of Eutocius. (shrink)

Sam Gillespie's The Mathematics of Novelty presents a new account of Alain Badiou and Gilles Deleuze, identifying conceptual impasses in their philosophical ...

In the wake of the digital, some have recommended that we abandon the tedium of teaching handwriting to children in service of promoting “more creative” digital literacies. Others worry that an early diet of keyboard and screen may have deleterious effects on children's social, emotional, and cognitive development, as well as their physical well-being. Yet in this debate, the algorithmic scripts and digital surfaces underwriting these new reading, writing, and mathematical practices are, with a few notable exceptions, almost exclusively ignored. (...) In this essay, Catherine Adams asks whether the digital, and the reading and writing spaces it affords, are of consequence to our habits of thinking and ways of being, particularly in light of the possible obsolescence of pen and paper in schools. She shows that writing using a word processor is no mere mechanical pressing of keys, but an intricate ballet of writerly reading eyes and readerly writing hands, caught up in a dynamic environment of algorithmic paratexts and copy-cut-paste thinking. (shrink)

This paper gives a formalization of general topology in second-order arithmetic using countably based MF spaces. This formalization is used to study the reverse mathematics of general topology. For each poset P we let MF denote the set of maximal filters on P endowed with the topology generated by {Np | p ∈ P}, where Np = {F ∈ MF | p ∈ F}. We define a countably based MF space to be a space of the form MF for (...) some countable poset P. The class of countably based MF spaces includes all complete separable metric spaces as well as many nonmetrizable spaces. The following reverse mathematics results are obtained. The proposition that every nonempty Gδ subset of a countably based MF space is homeomorphic to a countably based MF space is equivalent to [Formula: see text] over ACA0. The proposition that every uncountable closed subset of a countably based MF space contains a perfect set is equivalent over [Formula: see text] to the proposition that [Formula: see text] is countable for all A ⊆ ℕ. The proposition that every regular countably based MF space is homeomorphic to a complete separable metric space is equivalent to [Formula: see text] over [Formula: see text]. (shrink)

This undergraduate textbook covers the key material for a typical first course in logic, in particular presenting a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. Looking at a series of interesting systems, increasing in complexity, then proving and discussing the Completeness Theorem for each, the author ensures that the number of new concepts to be absorbed at each stage is manageable, whilst providing lively mathematical applications throughout. Unfamiliar terminology is kept to (...) a minimum, no background in formal set-theory is required, and the book contains proofs of all the required set theoretical results. The reader is taken on a journey starting with König's Lemma, and progressing via order relations, Zorn's Lemma, Boolean algebras, and propositional logic, to completeness and compactness of first-order logic. As applications of the work on first-order logic, two final chapters provide introductions to model theory and nonstandard analysis. (shrink)

This eighth book of the author on gambling math presents in accessible terms the cold mathematics behind the sparkling slot machines, either physical or virtual. It contains all the mathematical facts grounding the configuration, functionality, outcome, and profits of the slot games. Therefore, it is not a so-called how-to-win book, but a complete, rigorous mathematical guide for the slot player and also for game producers, being unique in this respect. As it is primarily addressed to the slot player, its (...) goal is to present practical applications of the mathematical models of slot games, in order to provide numerical results that a player can use as criteria for gaming decisions or just as information for any slot game and any predicted winning event. These results are focused on probability and expected value, these being the most important parameters for decisional criteria in slots. The book is packed with plenty of figures, tables, and formulas. The content is organized so that readers can skip the theoretical parts and go picking the practical results (numerical, in tables of values where possible, or ready-to-compute formulas) for the desired situation. The practical results are gathered in the last chapter, titled "Practical Applications and Numerical Results," the largest part of the book, for the most popular categories of slot machines, namely with 3, 5, 9, and 16 reels. Any other category of slot games is covered in the theoretical part of the book, where the general formulas apply not only to existing slot games, but also to possible future slot games of any design and configuration. The author does not just throw the slot mathematics to the audience and run away, but offers an ultimate practical contribution with the chapter "How to estimate the number of stops and the symbol distribution on a reel", a surprise for both players and producers, where one can see that mathematics provides players with some statistical methods as well as methods based on physical measurements for retrieving these missing data. Having these data along with the mathematical results of this book, anyone can generate the PAR sheet of any slot machine. In the last decade, mathematics has been taken more and more seriously into account in gaming, as being the essence that governs the games of chance and the only rigorous tool providing information on optimal play, where possible. For the popular game of slots, mathematics already fulfilled its duty by providing all the data that it can provide and that cannot be found on the display of the slot machines - it is all here in this book. (shrink)

Theory of linear estimation; General structure of analysis of designs; Standard designs; Applications of galois fields and finite geometry in the construction of designs; Some selected topics in design of experiments.

Models based on causal capacities, or independent causal influences/mechanisms, are widespread in the sciences. This paper develops a natural mathematical framework for representing such capacities by extending and generalizing previous results in cognitive psychology and machine learning, based on observations and arguments from prior philosophical debates. In addition to its substantial generality, the resulting framework provides a theoretical unification of the widely-used noisy-OR/AND and linear models, thereby showing how they are complementary rather than competing. This unification helps to explain many (...) of the shared cognitive and mathematical properties of those models. (shrink)

Epitome V (1621), and consisted of matching an element of area to an element of time, where each was mathematically determined. His treatment of the area depended solely on the geometry of Euclid's Elements, involving only straight-line and circle propositions – so we have to account for his deliberate avoidance of the sophisticated conic-geometry associated with Apollonius. We show also how his proof could have been made watertight according to modern standards, using methods that lay entirely within his power. The (...) greatest innovation, however, occurred in Kepler's fresh formulation of the measure of time. We trace this concept in relation to early astronomy and conclude that Kepler's treatment unexpectedly entailed the assumption that time varied nonuniformly; meanwhile, a geometrical measure provided the independent variable. Even more surprisingly, this approach turns out to be entirely sound when assessed in present-day terms. Kepler himself attributed the cause of the motion of a single planet around the Sun to a set of `physical' suppositions which represented his religious as well as his Copernican convictions; and we have pared to a minimum – down to four – the number he actually required to achieve this. In the Appendix we use modern mathematics to emphasize the simplicity, both geometrical and kinematical, that objectively characterizes the Sun-focused ellipse as an orbit. Meanwhile we highlight the subjective simplicity of Kepler's own techniques (most of them extremely traditional, some newly created). These two approaches complement each other to account for his success. (shrink)

This work is a complete mathematical guide to lottery games, covering all of the problems related to probability, combinatorics, and all parameters describing the lottery matrices, as well as the various playing systems. The mathematics sections describe the mathematical model of the lottery, which is in fact the essence of the lotto game. The applications of this model provide players with all the mathematical data regarding the parameters attached to the gaming events and personal playing systems. By applying these (...) data, one can find all the winning probabilities for the play with one line, and how these probabilities change with playing the various types of systems containing several lines, depending on their structure. Also, each playing system has a formula attached that provides the number of possible multiple prizes in various circumstances. Other mathematical parameters of the playing systems and the correlations between them are also presented. The generality of the mathematical model and of the obtained formulas allows their application for any existent lottery and any playing system. Each formula is followed by numerical results covering the most frequent lottery matrices worldwide and by multiple examples predominantly belonging to the 6/49 lottery. The listing of the numerical results in dozens of well-organized tables, along with instructions and examples of using them, makes possible the direct usage of this guide by players without a mathematical background. The author also discusses from a mathematical point of view the strategies of choosing involved in the lotto game. The book does not offer so-called winning strategies, but helps players to better organize their own playing systems and to confront their own convictions with the incontestable reality offered by the direct applications of the mathematical model of the lotto game. As a must-have handbook for any lottery player, this book offers essential information about the game itself and can provide the basis for gaming decisions of any kind. (shrink)

In previous work we gave a mathematical foundation, referred to as DisCoCat, for how words interact in a sentence in order to produce the meaning of that sentence. To do so, we exploited the perfect structural match of grammar and categories of meaning spaces. Here, we give a mathematical foundation, referred to as DisCoCirc, for how sentences interact in texts in order to produce the meaning of that text. First we revisit DisCoCat. While in DisCoCat all meanings are fixed as (...) states, in DisCoCirc word meanings correspond to a type, or system, and the states of this system can evolve. Sentences are gates within a circuit which update the variable meanings of those words. Like in DisCoCat, word meanings can live in a variety of spaces e.g. propositional, vectorial, or cognitive. The compositional structure are string diagrams representing information flows, and an entire text yields a single string diagram in which word meanings lift to the meaning of the entire text. While the developments in this paper are independent of a physical embodiment, both the compositional formalism and suggested meaning model are highly quantum-inspired, and implementation on a quantum computer would come with a range of benefits. We also praise Jim Lambek for his role in mathematical linguistics in general, and the development of the DisCo program more specifically. (shrink)

Modal logic is the study of modalities - expressions that qualify assertions about the truth of statements - like the ordinary language phrases necessarily, possibly, it is known/believed/ought to be, etc., and computationally or mathematically motivated expressions like provably, at the next state, or after the computation terminates. The study of modalities dates from antiquity, but has been most actively pursued in the last three decades, since the introduction of the methods of Kripke semantics, and now impacts on a wide (...) range of disciplines, including the philosophy of language and linguistics ('possible words' semantics for natural language), constructive mathematics (intuitionistic logic), theoretical computer science (dynamic logic, temporal and other logics for concurrency), and category theory (sheaf semantics). This volume collects together a number of the author's papers on modal logic, beginning with his work on the duality between algebraic and set-theoretic modals, and including two new articles, one on infinitary rules of inference, and the other about recent results on the relationship between modal logic and first-order logic. Another paper on the 'Henkin method' in completeness proofs has been substantially extended to give new applications. Additional articles are concerned with quantum logic, provability logic, the temporal logic of relativistic spacetime, modalities in topos theory, and the logic of programs. (shrink)

This is a concise book that introduces students to the basics of logical thinking and important mathematical structures that are critical for a solid understanding of logical formalisms themselves as well as for building the necessary background to tackle other fields that are based on these logical principles. Despite its compact and small size, it includes many solved problems and quite a few end-of-section exercises that will help readers consolidate their understanding of the material. This textbook is essential reading for (...) anyone interested in the logical foundations of Informatics, Computer Science, Data Science, Artificial Intelligence, and other related areas. Written with undergraduate students in these disciplines in mind, this book can very well serve the needs of interested and curious readers who wish to get a grasp of the logical principles upon which these fields are built. This book does not require readers to possess math skills beyond those learned in high school. (shrink)

Based on the ideas of Einstein and Minkowski, this concise treatment is derived from the author's many years of teaching the mathematics of relativity at the University of Michigan. Geared toward advanced undergraduates and graduate students of physics, the text covers old physics, new geometry, special relativity, curved space, and general relativity. Beginning with a discussion of the inverse square law in terms of simple calculus, the treatment gradually introduces increasingly complicated situations and more sophisticated mathematical tools. Changes in (...) fundamental concepts, which characterize relativity theory, and the refinements of mathematical technique are incorporated as necessary. The presentation thus offers an easier approach without sacrifice of rigor. Dover (2014) republication of the edition published by John Wiley & Sons, New York, 1950. See every Dover book in print at www.doverpublications.com. (shrink)

The themes of connectedness and continuity, which are also mathematical properties, have run like a red thread through the last fifty years of History and Theory, notably in the theory of the narration of action in history. In this essay I review various answers to the question of the driving force that motivates action and that propels a sequence, continuous or discontinuous. These answers underpin narrative strategies intended to solve the problem of human agency and thereby to provide the basis (...) for historical narratives. I argue that both continuous and discontinuous conceptions of history have to do with the restrictive concept of trajectory. Most of our familiar concepts such as trajectory, equilibrium, optimum, probability, and sensitivity to initial conditions are taken from mathematics and physics, but how well adapted are they to dealing with the time of actors, whose actions are intermingled with uncertainty? I shall present alternative concepts of dynamics, ones that no longer lead toward just one particular future or that reflect a single past. On this basis I suggest reorganizing our view of historical time along the principles of maintenance, acquisition, and victory. Historical sources trace back not to one story or one process that is plausible or that appeals to common sense, but to a whole family of processes. From the past, we can obtain sets of constraints that circumscribe sets of stories rather than a single scenario. I shall then propose a topology of the time of action based on my alternative conception of dynamics, a topology made of what I call viability kernels, capture basins, and victory domains. (shrink)