In this paper we present BTC, which is a complete logic for branchingtime whose modal operator quantifies over histories and whose temporal operators involve a restricted quantification over histories in a given possible choice. This is a technical novelty, since the operators of the usual logics for branching-time such as CTL express an unrestricted quantification over histories and moments. The value of the apparatus we introduce is connected to those logics of agency that are interpreted on branching-time, as (...) for instance Stit Logics. (shrink)

Sound and complete axiomatizations are provided for a number of different logics involving modalities for the knowledge of multiple agents and operators for branching time, extending previous work of Halpern, van der Meyden and Vardi [to appear, SIAM Journal on Computing] for logics of knowledge and linear time. The paper considers the system constraints of synchrony, perfect recall and unique initial states, which give rise to interaction axioms. The language is based on the temporal logic CTL*, interpreted with (...) respect to a version of the bundle semantics. (shrink)

Sound and complete axiomatizations are provided for a number of different logics involving modalities for the knowledge of multiple agents and operators for branching time, extending previous work of Halpern, van der Meyden and Vardi [to appear, SIAM Journal on Computing] for logics of knowledge and linear time. The paper considers the system constraints of synchrony, perfect recall and unique initial states, which give rise to interaction axioms. The language is based on the temporal logic CTL*, interpreted with (...) respect to a version of the bundle semantics. (shrink)

The focus of this work is the analysis of changes in completed family size and possible determinants of that size over time, in an attempt to characterize the evolution of reproductive patterns during the demographic transition. With this purpose in mind, time trends are studied in relation to the mean number of live births per family (as an indirect measure of fertility), using family reconstitution techniques to trace the reproductive history of each married woman. The population surveyed is (...) a Spanish rural community called Lanciego, located at the southern end of the province of Alava (Basque Country). A total of 24,510 parish records of baptisms, marriages and burials made between 1800 and 1969 were examined to obtain the demographic data set. For each reconstituted family, the variables included in the study were the number of live births per family or family size (FAMS), year of marriage (YEAR), age at marriage of both partners (AMAN, AWOM), wife’s age at the end of marriage (WEND), duration of marriage (MARD), age at first maternity (A1CH), length of reproductive span (REPS) and number of children dying before their first anniversary (MINF). Through a principal component analysis, three factors were found that explained more than 75% of the total variance. Association of variables in factors I and III was particularly useful in characterizing the variability of mean family size in pre-transitional, transitional and post-transitional cohorts. During demographic transition, a decreasing trend is observed in the variables FAMS, REPS and MINF, while variables AWOM, AMAN, WEND and A1CH show a tendency to increase over the 20th century. Results obtained by multiple regression analysis confirm that the best predictors of family size (dependent variable) were REPS and MINF, which between them explained over 85% of the total variation in FAMS (R2=0·853). In Lanciego, birth control seems to be present on the evidence of an increase in age at first maternity and a decrease in age at last parturition, indicating that the beginning of the reproductive span is delayed and its end is brought forward. Interaction between family size and infant mortality is discussed in the light of various hypotheses, including replacement of descendants, the so-called biological effect and the theory of r and k selection. (shrink)

The paper addresses the issue of a relatively new institution of criminal procedural law in Latvia. The article is relevant due to the need for an effective mechanism for the objective possibility of realization of the right person for the completion of the criminal process in a reasonable time. Analysis of the European Court of Human Rights has allowed some conclusions that should be considered when investigating criminal cases.

The first-order temporal logics with □ and ○ of time structures isomorphic to ω (discrete linear time) and trees of ω-segments (linear time with branching gaps) and some of its fragments are compared: the first is not recursively axiomatizable. For the second, a cut-free complete sequent calculus is given, and from this, a resolution system is derived by the method of Maslov.

Summary Giancarlo Trombini presents the continuation of his research on the question of which criteria can be used to assess the progress of therapy in an objectively verifiable way and to make the decision on the completion of therapy. In the first phase of his research, the phenomenological criterion of a qualitative change in the patient’s relations toward the positive and higher complexity was proposed for this purpose. In terms of the working method in analytic therapy, this meant concretely: (...) attention should be paid to what development is shown in the comparison of the relationships that occur in the dream narrative and in the subsequent associations. This criterion was therefore given the name manifest dream/association comparison (MDAC)—comparison between the manifest dream and the subsequent associations. The idea can easily be transferred to those therapy methods, which do not primarily work with reports of dream memories and subsequent associations—also, in other ways of working, it is possible to pay attention, in the way suggested by Trombini, to the qualitative development of the relationships which are thematized by the clients in the course of an hour. To this first criterion, another phenomenological criterion is now added in the present article: that of the “concluding therapeutic turn” (CTT). If the patient’s development reaches this turn in the course of the therapy in one session, this indicates, according to Trombini, that the therapy can soon be concluded. The fulfillment of this criterion can be recognized by the fact that in the sequence of dream narration and subsequent associations in a session, a relational dynamic toward the positive and higher complexity becomes recognizable and that is, at the same time, connected with a reconciliation of the three temporal reference systems (past, present, and future). The achievement of this CTT indicates that the patient is aware of the changes made in therapy and makes it evident to the therapist that the therapy is nearing completion. (shrink)

Perceptual completion fills the gap for discrete perception to become continuous. Similarly, dynamic perceptual completion provides an experience of dynamic continuity. Our recent discovery of the ‘happening’ element of DPC completes the total experience for dynamism in the flow of time. However, a phenomenological explanation for these experiences is essential. The Snapshot Hypotheses especially the Dynamic Snapshot View provides the most comprehensive explanation. From that understanding the ‘two times’ problem can be addressed. The static time of (...) spacetime cosmologies has been irreconcilable with the dynamic FOT. Dismissing the FOT as an illusion is unsatisfactory. Therefore, we provide four hypotheses for the TTP.1) Since cosmological static time demands that all events are discrete, DPC elements for dynamism should likewise be expected to be discrete and accounted for by a snapshot phenomenology such as the DSV. 2) If temporality can be demonstrated to be similar to apparent motion by being a snapshot phenomenon and not demanding temporal extension it would confirm the DSV and permit reconciliation with static time. 3) If the ‘present moment’ is subjective as static time theories suggest, it should be possible experimentally for an observer to choose his own ‘present’ by moving to various points in the past with the aid of virtual reality. 4) If dynamism e.g. motion can be precluded without significant information loss or violating physics principles it is a cognitive add-on, thereby contradicting non-static time theories which suggest that time is ‘real.’ We confirm those hypotheses. (shrink)

The aim of this paper is to discuss the relation between the observation basis and the theoretical principles of General Relativity. More specifically, this relation is analyzed with respect to constructive axiomatizations of the observation basis of space-time theories, on the one hand, and in attempts to complete them, on the other. The two approaches exclude one another so that a choice between them is necessary. I argue that the completeness approach is preferable for methodological reasons.

We present a completeness proof for Propositional Interval Temporal Logic with finite time which avoids certain difficulties of conventional methods. It is more gradated than previous efforts since we progressively reduce reasoning within the original logic to simpler reasoning in sublogics. Furthermore, our approach benefits from being less constructive since it is able to invoke certain theorems about regular languages over finite words without the need to explicitly describe the associated intricate proofs. A modified version of regular expressions called (...) Fusion Expressions is used as part of an intermediate logic called Fusion Logic. Both have the same expressiveness as PITL but are lower-level notations which play an important role in the hierarchical structure of the overall completeness proof. In particular, showing completeness for PITL is reduced to showing completeness for Fusion Logic. This in turn is shown to hold relative to completeness for conventional linear-time temporal logic with finite time. Logics based on regular languages over finite words and!-words offer a promising but elusive framework for formal specification and verification. A number of such logics and decision procedures have been proposed. In addition, various researchers have obtained complete axiom systems by embedding and expressing the decision procedures directly within the logics. The work described here contributes to this topic by showing how to exploit some interesting links between regular languages and interval-based temporal logics. (shrink)

The primary assumption made in this series of target articles is that the cerebellum is directly involved in motor control. However, in my opinion, there is ample and growing experimental evidence to question this classical view, whether or not learning is involved. I propose, instead, that the cerebellum is involved in the control of data acquisition for many different sensory systems, [CRÉPEL et al., HOUK et al., SMITH, THACH].

This chapter contains sections titled: Temporal and Non‐Temporal Arts Literary Time and Real Time Novel Discontinuity The Goal of the Gaps Musical Time and Real Time A Puzzling Problem A Bizarre Suggestion Historical Narrative Fictional Time and Music‐Fictional Time Formal Structure The Other Proposal.

The present experiment investigates the involvement of awareness in functional dissociations between explicit and implicit tests. In the explicit condition, participants attempted to recall lexically or semantically studied words using word stems. In the implicit condition, they were instructed to complete each stem with the first word which came to mind. Subjective awareness was subsequently measured on an item-by-item basis. As voluntary retrieval strategies are known to be time consuming, the time taken to complete each stem was recorded. (...) In the explicit task, semantically studied words were associated with higher levels of recall and faster response times than lexically studied words. By contrast, in the implicit task, these effects failed to reach significance, although deep encoding made the contents of memory more accessible to awareness. As expected, performance was slower in the explicit than in the implicit task, but in the latter condition, times to produce old words with and without awareness were comparable, and both of these responses were produced more quickly than control words. This finding suggests that although participants may become aware in implicit paradigms, they do not adopt voluntary retrieval strategies. (shrink)

We prove that all finitely axiomatizable tense logics with temporal operators for ‘always in the future’ and ‘always in the past’ and determined by linear fows time are coNP-complete. It follows, for example, that all tense logics containing a density axiom of the form ■n+1F p → nF p, for some n ≥ 0, are coNP-complete. Additionally, we prove coNP-completeness of all ∩-irreducible tense logics. As these classes of tense logics contain many Kripke incomplete bimodal logics, we obtain many (...) natural examples of Kripke incomplete normal bimodal logics which are nevertheless coNP-complete. (shrink)

Time is more than a line drawn from the past to the future. It is a form of life, marked by the ancient hierarchy between those who have time and those who do not. This hierarchy still governs a present which clings to the fable of historical necessity and its experts. In opposition to this, Jacques Rancière shows how the break with the hierarchical conception of time implies a completely different idea of the modern. He sees the (...) fulfilment of this in two arts of movement, cinema and dance, which at the beginning of the twentieth century abolished the opposition between free and mechanical people, and exposed the rift between the revolution of artists and that of strategists. (shrink)

“Patience, patience, because the great movements of history have always begun in those small parenthesis that we call ‘in the meantime.’” —John Berger The last book that John Berger wrote was this precious little volume about time titled What Time Is It?, now posthumously published for the first time in English by Notting Hill Editions. Berger died before it was completed, but the text has been assembled and illustrated by his longtime collaborator and friend Selçuk Demirel, and (...) has an introduction by Maria Nadotti. What Time Is It? is a profound and playful meditation on the illusory nature of time. Berger, the great art critic and Man Booker Prize–winning author, reflects on what time has come to mean to us in modern life. Our perception of time assumes a uniform and ceaseless passing of time, yet time is turbulent. It expands and contracts according to the intensity of the lived moment. We talk of time “saved” in a hundred household appliances; time, like money, is exchanged for the content it lacks. Berger posits the idea that time can lengthen lifetimes once we seize the present moment. “What-is-to-come, what-is-to-be-gained empties what-is.”. (shrink)

This article joins with others in the same issue to celebrate the career of Robert B. Zajonc who was a broad, as well as a deeply talented, psychologist. Beyond his well-known focus in social psychology, the work of Zajonc also involved, at one time or another, forays into nearly every other subfield of psychology. This article focuses specifically on his studies that extended into biopsychology, which deserve special highlighting in order to be recognized alongside his many major achievements in (...) emotion and related social topics. The biopsychological focus is offered here in the hope that all his diverse contributions be savored together when celebrating the complete psychology of Robert Zajonc. (shrink)

Abstract Scientific advances have made the end of life into the primary concern of medicine. But medicine also postpones the end of life, often until the time when we no longer have the mental and physical capacity to deal with it. I argue that we need to develop Nietzsche's idea of timely death, in order to find a moral basis for health care at the end of life, and that the crucial factor is the cultivation of the virtues that (...) would enable us to live in another and more reckless way. We should look on the problem not from the first-person point of view, but from the perspective of the other, and ask ourselves what is most admirable in another person, in his or her attitude to death. The point of timely death is to make death into the completion of life, where life is understood as a moral rather than a biological idea. (shrink)

Excerpt from What Times! What Morals! Where on Earth Are We? The very hopes of man, the thoughts of his heart, the religion of nations, the manners and morals of mankind are all at the mercy of a new generalization. - Emerson. Editor's Note. - This is the first of a series of three articles by Mr. Bolce, who has now completed a study of American colleges extending over two years. What Mr. Bolce sets down here is of the most (...) astounding character. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works. (shrink)

It has often been suggested that retrocausality offers a solution to some of the puzzles of quantum mechanics: e.g., that it allows a Lorentz-invariant explanation of Bell correlations, and other manifestations of quantum nonlocality, without action-at-a-distance. Some writers have argued that time-symmetry counts in favour of such a view, in the sense that retrocausality would be a natural consequence of a truly time-symmetric theory of the quantum world. Critics object that there is complete time-symmetry in classical physics, (...) and yet no apparent retrocausality. Why should the quantum world be any different? This note throws some new light on these matters. I call attention to a respect in which quantum mechanics is different, under some assumptions about quantum ontology. Under these assumptions, the combination of time-symmetry without retrocausality is unavailable in quantum mechanics, for reasons intimately connected with the differences between classical and quantum physics (especially the role of discreteness in the latter). Not all interpretations of quantum mechanics share these assumptions, however, and in those that do not, time-symmetry does not entail retrocausality. (shrink)

In this manuscript, the author demonstrates how a new idea of the future came into being in eighteenth-century France with the development of modern biological, economic, and social engineering. With the emergence of these practices, the future transformed from something that was largely believed to be predetermined and beyond significant human intervention into something that could be significantly affected through actions in the present. Focusing on the second-half of the century, The author argues that specific mechanisms for constructing the future (...) first arose through the development of practices and instruments aimed at countering degeneration. In their attempts to regenerate a healthy natural state, Enlightenment philosophes created the means to exceed previously recognized limits and create a future that was not merely a recuperation of the past, but was fundamentally different from it. The new active orientation to the future that emerged from these practices was not something that was explicitly articulated during the Enlightenment. Instead this practical orientation must be seen as an implicit understanding of historical temporality. Historical actors often had a tacit knowledge of time--one that they worked with--without necessarily being fully aware of it or articulating it explicitly in their writing. The full articulation of the new idea of the future did not occur until the French Revolution, but the practical understanding of it that developed during the Enlightenment played an important role in making possible the French revolutionaries' unprecedented attempts to remake the world completely anew. (shrink)

Richard Sorabji here takes time as his central theme, exploring fundamental questions about its nature: Is it real or an aspect of consciousness? Did it begin along with the universe? Can anything escape from it? Does it come in atomic chunks? In addressing these and myriad other issues, Sorabji engages in an illuminating discussion of early thought about time, ranging from Plato and Aristotle to Islamic, Christian, and Jewish medieval thinkers. Sorabji argues that the thought of these often (...) negelected philosophers about the subject is, in many cases, more complete than that of their more recent counterparts. “Splendid. . . . The canvas is vast, the picture animated, the painter nonpareil. . . . Sorabji’s work will encourage more adventurers to follow him to this fascinating new-found land.”—Jonathan Barnes, Times Literary Supplement “One of the most important works in the history of metaphysics to appear in English for a considerable time. No one concerned with the problems with which it deals either as a historian of ideas or as a philosopher can afford to neglect it.”—Donald MacKinnon, Scottish Journal of Theology “Unusually readable for such scholarly content, the book provides in rich and cogent terms a lively and well-balanced discussion of matters of concern to a wide academic audience.”— Choice. (shrink)

We review a proposal of how to complete non-relativistic Quantum Mechanics to a physically meaningful, mathematically precise and logically coherent theory. This proposal has been dubbed ETH-Approach to Quantum Mechanics, “E” standing for “Events,” “T” for “Trees,” and “H” for “Histories.” The ETH-Approach supplies the last one of three pillars Quantum Mechanics can be constructed upon in such a way that its foundations are solid and stable. Two of these pillars are well known. The third one has been proposed quite (...) recently; it implies a general non-linear stochastic law for the time-evolution of states of individual physical systems. (shrink)

Computational complexity is a discipline of computer science and mathematics which classifies computational problems depending on their inherent difficulty, i.e. categorizes algorithms according to their performance, and relates these classes to each other. P problems are a class of computational problems that can be solved in polynomial time using a deterministic Turing machine while solutions to NP problems can be verified in polynomial time, but we still do not know whether they can be solved in polynomial time (...) as well. A solution for the so-called NP-complete problems will also be a solution for any other such problems. Its artificial-intelligence analogue is the class of AI-complete problems, for which a complete mathematical formalization still does not exist. In this chapter we will focus on analysing computational classes to better understand possible formalizations of AI-complete problems, and to see whether a universal algorithm, such as a Turing test, could exist for all AI-complete problems. In order to better observe how modern computer science tries to deal with computational complexity issues, we present several different deep-learning strategies involving optimization methods to see that the inability to exactly solve a problem from a higher order computational class does not mean there is not a satisfactory solution using state-of-the-art machine-learning techniques. Such methods are compared to philosophical issues and psychological research regarding human abilities of solving analogous NP-complete problems, to fortify the claim that we do not need to have an exact and correct way of solving AI-complete problems to nevertheless possibly achieve the notion of strong AI. (shrink)

Space, Time, and Stuff is an attempt to show that physics is geometry: that the fundamental structure of the physical world is purely geometrical structure. Along the way, he examines some non-standard views about the structure of spacetime and its inhabitants, including the idea that space and time are pointless, the idea that quantum mechanics is a completely local theory, the idea that antiparticles are just particles travelling back in time, and the idea that time has (...) no structure whatsoever. The main thrust of the book, however, is that there are good reasons to believe that spaces other than spacetime exist, and that it is the existence of these additional spaces that allows one to reduce all of physics to geometry. Philosophy, and metaphysics in particular, plays an important role here: the assumption that the fundamental laws of physics are simple in terms of the fundamental physical properties and relations is pivotal."--P. [4] of cover. (shrink)

This paper contains a completeness proof for the system ILW, a rather bewildering axiom system belonging to the family of interpretability logics. We have treasured this little proof for a considerable time, keeping it just for ourselves. Johan’s ftieth birthday appears to be the right occasion to get it out of our wine cellar.

Readers familiar with the workhorse of cosmology, the hot big bang model, may think that cosmology raises little of interest about time. As cosmological models are just relativistic spacetimes, time is understood just as it is in relativity theory, and all cosmology adds is a few bells and whistles such as inflation and the big bang and no more. The aim of this chapter is to show that this opinion is not completely right...and may well be dead wrong. (...) In our survey, we show how the hot big bang model invites deep questions about the nature of time, how inflationary cosmology has led to interesting new perspectives on time, and how cosmological speculation continues to entertain dramatically different models of time altogether. Together these issues indicate that the philosopher interested in the nature of time would do well to know a little about modern cosmology. (shrink)

The subsystem S of Parry's AI [10] (obtained by omitting modus ponens for the material conditional) is axiomatized and shown to be strongly complete for a class of three valued Kripke style models. It is proved that S is weakly complete for the class of consistent models, and therefore that Ackermann's rule is admissible in S. It also happens that S is decidable and contains the Lewis system S4 on translation — though these results are not presented here. S is (...) arguably the most relevant relevant logic known at this time to be decidable. (shrink)