Most of the descriptions of interval time structures in the first order predicate calculus are based on linear time. However, in the case of intervals, abandoning the condition oflinearity (e.g.LIN in van Benthem's systems) is not sufficient. In this paper, some properties of non-linear time structures are discussed. The most important one is the characterization of location of intervals in a fork of branches. This is connected with the fact that an interval can contain non-collinear subintervals. As (...) a result of non-linearity, some basic properties of interval structures must be formulated in a weaker form. Moreover, time must be filled by intervals to indicate that time cannot pass without events occurring in it. Finally, it is shown that when intervals cannot contain non-collinear subintervals, most of the conditions described in the paper are satisfied. (shrink)

Until recently, philosophers debating the rationality of time-biases have supposed that people exhibit a first-person hedonic bias toward the future, but that their non-hedonic and third-person preferences are time-neutral. Recent empirical work, however, suggests that our preferences are more nuanced. First, there is evidence that our third-person preferences exhibit time-neutrality only when the individual with respect to whom we have preferences—the preference target—is a random stranger about whom we know nothing; given access to some information about the (...) preference target, third-person preferences mirror first-person preferences. As a result, the simulation hypothesis has been proposed, according to which third-person preferences will mirror first-person preferences when we can simulate the mental states of the preference target. Second, there is evidence that we prefer negative hedonic events to be in our past (we are first-person negatively hedonically future-biased) only when we view future events as fixed and in no way under our control. By contrast, when we perceive it to be within our power to mitigate the badness of future events, we are first-person negatively hedonically past-biased. This is the mitigation hypothesis. We distinguish two versions of the mitigation hypothesis, the squirrelling version and the heuristic version. We ran a study which tested the simulation hypothesis, and which aimed to determine whether the squirrelling or the heuristic version of the mitigation hypothesis enjoys more empirical support. We found support for the heuristic version of the hypothesis, but no support for the squirrelling version. (shrink)

The Reign of Quantity gives a concise but comprehensive view of the present state of affairs in the world, as it appears from the point of view of the 'ancient wisdom', formerly common both to the East and to the West, but now almost entirely lost sight of. The author indicates with his fabled clarity and directness the precise nature of the modern deviation, and devotes special attention to the development of modern philosophy and science, and to the part played (...) by them, with their accompanying notions of progress and evolution, in the formation of the industrial and democratic society which we now regard as 'normal'. Guénon sees history as a descent from Form (or Quality) toward Matter (or Quantity); but after the Reign of Quantity-modern materialism and the 'rise of the masses'-Guénon predicts a reign of 'inverted quality' just before the end of the age: the triumph of the 'counter-initiation', the kingdom of Antichrist. This text is considered the magnum opus among Guénon's texts of civilizational criticism, as is Symbols of Sacred Science among his studies on symbols and cosmology, and Man and His Becoming according to the Vedanta among his more purely metaphysical works. (shrink)

Previous correlational studies have shown that both psychological detachment from work and positively thinking about work during non-work time are associated with favorable affective states. In our research we integrate these contradictory findings and add more rigor to detachment research by using an experimental design. In two experimental studies conducted in the laboratory, we manipulated two different kinds of detachment from work (thinking about a hobby; explicit detachment instruction) and three different kinds of thinking about work (thinking negatively, thinking (...) positively, thinking in an unspecific way) by short written instructions. Results show that both detachment strategies lead to a reduction in negative affect (in both studies) and to an increase in positive affect (in one study). The effect of detachment was particularly strong when it was contrasted with thinking negatively about work and when end-of-workday negative affect was high. In some of the comparisons, the affective benefits of positively thinking about work were stronger than those of psychological detachment from work. Taken together, our studies demonstrate that detachment from work as well as positive thinking improves subsequent affect, highlighting the causality underlying the association between psychological detachment from work – as a core recovery experience – and subsequent affective states. (shrink)

In a study examining the effects of time of day on problem solving, participants solved insight and analytic problems at their optimal or non-optimal time of day. Given the presumed differences in the cognitive processes involved in solving these two types of problems, it was expected that the reduced inhibitory control associated with non-optimal times of the day would differentially impact performance on the two types of problems. In accordance with this expectation, results showed consistently greater insight problem (...) solving performance during non-optimal times of day compared to optimal times of day but no consistent time of day effects on analytic problem solving. The findings indicate that tasks involving creativity might benefit from a non-optimal time of day. (shrink)

QUALITY AND QUANTITY are fairly generally regarded as complementary terms, although the profound reason for their comple- mentarism is often far from being understood, this reason lying in the 'polar' correspondence referred to toward ...

In the industrial context, steel is a broadly-used raw material with applications in many different fields. Due to its high impact in the activity of many industries all over the world, forecasting its price is of utmost importance for a huge amount of companies. In this work, non-linear neural models are applied for the first time to different datasets in order to validate their suitability when predicting the price of this commodity. In particular, the NAR, NIO and NARX neural (...) network models are innovatively applied for the first time to forecast the price of hot rolled steel in Spain. Besides these variety of models, different datasets consisting of a set of heterogenous variables from the last seven years and related to the price of this commodity are benchmarked and analyzed. The results showed that NARX is the best performing model when the price of raw materials used to produce steel and the stock market prices of three major global steel producing companies are employed as input to this predictive model. Consequently, this result may boost the application of Machine Learning in companies, in order to schedule the supplying operations according to the price forecasting. (shrink)

Since the nineteenth century, the problem of the arrow of time has been traditionally analyzed in terms of entropy by relating the direction past-to-future to the gradient of the entropy function of the universe. In this paper, we reject this traditional perspective and argue for a global and non-entropic approach to the problem, according to which the arrow of time can be defined in terms of the geometrical properties of spacetime. In particular, we show how the global non-entropic (...) arrow can be transferred to the local level, where it takes the form of a non-spacelike local energy flow that provides the criterion for breaking the symmetry resulting from time-reversal invariant local laws. (shrink)

While we often talk about time using spatial terms, experimental investigation of space-time associations has focused primarily on the space in front of the participant. This has had two consequences: the disregard of the space behind the participant and the creation of potential task demands produced by spatialized manual button-presses. We introduce and test a new paradigm that uses auditory stimuli and vocal responses to address these issues. Participants made temporal judgments about deictic or sequential relationships presented auditorily (...) along a body-centered sagittal or transversal axis. Results involving the transversal axis replicated previous work while sagittal axis results were surprising. Deictic judgments did not use the sagittal axis but sequential judgments did, in a previously undocumented way. Participants associated earlier judgments with the space in front of them and later judgments with the space behind them. These findings, using a new approach, p.. (shrink)

Electricity is an indicator that shows the progress of a civilization; it is a product that has greatly changed the way we think about the world. Electricity price forecasting became a fundamental task in all countries due to the deregulation of the electricity market in the 1990s. This work examines the effectiveness of using multiple variables for price prediction given the large number of factors that could influence the price of the electricity market. The tests were carried out over four (...) periods using data from Spain and deep learning models. Two different attribute selection methods based on Pearson’s correlation coefficient have been used to improve the efficiency of the training process. The variables used as input to the different prediction models were chosen, considering those most commonly used previously in the literature. This study attempts to test whether using time series lags improves the non-use of lags. The results obtained have shown that lags improve the results compared to a previous work in which no lags were used. (shrink)

It has recently been suggested that, for Leibniz, temporal facts globally supervene on causal facts, with the result that worlds differing with respect to their causal facts can be indiscernible with respect to their temporal facts. Such an interpretation is at variance with more traditional readings of Leibniz's causal theory of time, which hold that Leibniz reduces temporal facts to causal facts. In this article, I argue against the global supervenience construal of Leibniz's philosophy of time. On the (...) view of Leibniz defended here, he adopts a non-modal reduction of time to events, a form of reductionism that entails a strong covariation between a world's temporal facts and its causal facts. Consequently, worlds discernible with respect to their temporal facts must be discernible with respect to their causal facts, and worlds discernible with respect to their causal facts must be discernible with respect to their temporal facts. This position strongly favors the standard identificatory reduction of time to causation often imputed to Leibniz. (shrink)

A naive introduction of a dependency of the mass of a black hole on the Schwarzschild time coordinate results in singular behavior of curvature invariants at the horizon, violating expectations from complementarity. If instead a temporal dependence is introduced in terms of a coordinate akin to the river time representation, the Ricci scalar is nowhere singular away from the origin. It is found that for a shrinking mass scale due to evaporation, the null radial geodesics that generate the (...) horizon are slightly displaced from the coordinate singularity. In addition, a changing horizon scale significantly alters the form of the coordinate singularity in diagonal (orthogonal) metric coordinates representing the space-time. A Penrose diagram describing the growth and evaporation of an example black hole is constructed to examine the evolution of the coordinate singularity. (shrink)

Recent studies indicate that mammalian chromosomes contain discretecis‐acting loci that control replication timing, mitotic condensation, and stability of entire chromosomes. Disruption of the large non‐coding RNA gene ASAR6 results in late replication, an under‐condensed appearance during mitosis, and structural instability of human chromosome 6. Similarly, disruption of the mouse Xist gene in adult somatic cells results in a late replication and instability phenotype on the X chromosome. ASAR6 shares many characteristics with Xist, including random mono‐allelic expression and asynchronous replication timing. (...) Additional “chromosome engineering” studies indicate that certain chromosome rearrangements affecting many different chromosomes display this abnormal replication and instability phenotype. These observations suggest that all mammalian chromosomes contain “inactivation/stability centers” that control proper replication, condensation, and stability of individual chromosomes. Therefore, mammalian chromosomes contain four types ofcis‐acting elements, origins, telomeres, centromeres, and “inactivation/stability centers”, all functioning to ensure proper replication, condensation, segregation, and stability of individual chromosomes. (shrink)

It has widely been assumed, by philosophers, that our first-person preferences regarding pleasurable and painful experiences exhibit a bias toward the future (positive and negative hedonic future-bias), and that our preferences regarding non-hedonic events (both positive and negative) exhibit no such bias (non-hedonic time-neutrality). Further, it has been assumed that our third-person preferences are always time-neutral. Some have attempted to use these (presumed) differential patterns of future-bias—different across kinds of events and perspectives—to argue for the irrationality of hedonic (...) future-bias. This paper experimentally tests these descriptive hypotheses. While as predicted we found first-person hedonic future-bias, we did not find that participants were time-neutral in all other conditions. Hence, the presumed asymmetry of hedonic/non-hedonic and first/third-person preferences cannot be used to argue for the irrationality of future-bias, since no such asymmetries exist. Instead, we develop a more fine-grained approach, according to which three factors—positive/negative valence, first/third-person, and hedonic/non-hedonic—each independently influence, but do not determine, whether an event is treated in a future-biased or time-neutral way. We discuss the upshots of these results for the debate over the rationality of future-bias. (shrink)

ABSTRACT The question of axiomatizability of first-order temporal logics is studied w.r.t. different semantics and several restrictions on the language. The validity problem for logics admitting flexible interpretations of the predicate symbols or allowing at least binary predicate symbols is shown to be ?1 1-complete. In contrast, it is decidable for temporal logics with rigid monadic predicate symbols but without function symbols and identity.

As the result of the complexity inherent in nature, mathematical models employed in ecology are often governed by a large number of variables. For instance, in the study of population dynamics we often deal with models for structured populations in which individuals are classified regarding their age, size, activity or location, and this structuring of the population leads to high dimensional systems. In many instances, the dynamics of the system is controlled by processes whose time scales are very different (...) from each other. Aggregation techniques take advantage of this situation to build a low dimensional reduced system from which behavior we can approximate the dynamics of the complex original system.In this work we extend aggregation techniques to the case of time dependent discrete population models with two time scales where both the fast and the slow processes are allowed to change at their own characteristic time scale, generalizing the results of previous studies. We propose a non-autonomous model with two time scales, construct an aggregated model and give relationship between the variables governing the original and the reduced systems. We also explore how the properties of strong and weak ergodicity, regarding the capacity of the system to forget initial conditions, of the original system can be studied in terms of the reduced system. (shrink)

The present “visual world” eye-tracking study examined the time-course of how native and non-native speakers keep track of implied object-state representations during real-time language processing. Fifty-two native speakers of English and 46 non-native speakers with advanced English proficiency joined this study. They heard short stories describing a target object either having undergone a substantial change-of-state or a minimal change-of-state while their eye movements toward competing object-states and two unrelated distractors were tracked. We found that both groups successfully directed (...) their visual attention toward the end-state of the target object that was implied in the linguistic context. However, neither group showed anticipatory eye movements toward the implied object-state when hearing the critical verb. Only native English speakers but not non-native speakers showed a bias in visual attention during the determiner before the noun. Our results suggested that although native and non-native speakers of English largely overlapped in their time-courses of keeping track of object-state representations during real-time language comprehension, non-native speakers showed a short delay in updating the implied object-state representations. (shrink)

We introduce a restricted second-order logic $\textrm{SO}^{\textit{plog}}$ for finite structures where second-order quantification ranges over relations of size at most poly-logarithmic in the size of the structure. We demonstrate the relevance of this logic and complexity class by several problems in database theory. We then prove a Fagin’s style theorem showing that the Boolean queries which can be expressed in the existential fragment of $\textrm{SO}^{\textit{plog}}$ correspond exactly to the class of decision problems that can be computed by a non-deterministic Turing (...) machine with random access to the input in time $O^k)$ for some $k \ge 0$, i.e. to the class of problems computable in non-deterministic poly-logarithmic time. It should be noted that unlike Fagin’s theorem which proves that the existential fragment of second-order logic captures NP over arbitrary finite structures, our result only holds over ordered finite structures, since $\textrm{SO}^{\textit{plog}}$ is too weak as to define a total order of the domain. Nevertheless, $\textrm{SO}^{\textit{plog}}$ provides natural levels of expressibility within poly-logarithmic space in a way which is closely related to how second-order logic provides natural levels of expressibility within polynomial space. Indeed, we show an exact correspondence between the quantifier prefix classes of $\textrm{SO}^{\textit{plog}}$ and the levels of the non-deterministic poly-logarithmic time hierarchy, analogous to the correspondence between the quantifier prefix classes of second-order logic and the polynomial-time hierarchy. Our work closely relates to the constant depth quasipolynomial size AND/OR circuits and corresponding restricted second-order logic defined by David A. Mix Barrington in 1992. We explore this relationship in detail. (shrink)

Two of the most difficult problems in the foundations of physics are (1) what gives rise to the arrow of time and (2) what the ontology of quantum mechanics is. I propose a unified 'Humean' solution to the two problems. Humeanism allows us to incorporate the Past Hypothesis and the Statistical Postulate into the best system, which we then use to simplify the quantum state of the universe. This enables us to confer the nomological status to the quantum state (...) in a way that adds no significant complexity to the best system and solves the ''supervenient-kind problem'' facing the original version of the Past Hypothesis. We call the resultant theory the Humean unification. It provides a unified explanation of time asymmetry and quantum entanglement. On this theory, what gives rise to time's arrow is also responsible for quantum phenomena. The new theory has a separable mosaic, a best system that is simple and non-vague, less tension between quantum mechanics and special relativity, and a higher degree of theoretical and dynamical unity. The Humean unification leads to new insights that can be useful to Humeans and non-Humeans alike. (shrink)

PREFACE: - BY his theory of relativity Albert Einstein has provoked a revolution of thought in physical science. The achievement consists essentially in this Einstein has succeeded in separating far more completely than hitherto the share of the observer and the share of external nature in the things we see happen. The perception of an object by an observer depends on his own situation and circumstances for example, distance will make it appear smaller and dimmer. We make allowance for this (...) almost unconsciously in interpreting what we see. But it now appears that the allowance made for the motion of the observer has hitherto been too crude a fact overlooked because in practice all observers share nearly the same motion, that of the earth. Physical space and time are found to be closely bound up with this motion of the observer and only an amorphous combination of the two is left inherent in the external world. When space and time are relegated to their proper source the observer the world of nature which remains appears strangely unfamiliar but it is in reality simplified, and the underlying unity of the principal phenomena is now clearly revealed. The deductions from this new outlook have, with one doubtful exception, been confirmed when tested by experiment. It is my aim to give an account of this work without intro ducing anything very technical in the way of mathematics, physics, or philosophy. The new view of space and time, so opposed to our habits of thought, must in any case demand unusual mental exercise. The results appear strange and the incongruity is not without a humorous side. For the first nine chapters the task is one of interpreting a clear-cut theory, accepted in all its essentials by a large and growing school of physicists although perhaps not everyone would accept the authors views of its meaning. Chapters x and xi deal with very recent advances, with regard to which opinion is more fluid. As for the last chapter, containing the authors specula tions on the meaning of nature, since it touches on the rudiments of a philosophical system, it is perhaps too sanguine to hope that it can ever be other than controversial. A non-mathematical presentation has necessary limitations and the reader who wishes to learn how certain exact result follow from Einsteins, or even Newtons, law of gravitation m bound to seek the reasons in a mathematical treatise. But thj limitation of range is perhaps less serious than the limitation of intrinsic truth. There is a relativity of truth, as there is a relativity of space. For is and IS-NOT though with Rule and Line And UP-AND-DOWK without, I could define, Alas It is not so simple. We abstract from the phenomena that which is peculiar to the position and motion of the observer but can we abstract that which is peculiar to the limited imagina tion of the human brain We think we can, but only in the symbolism of mathematics. As the language of a poet rings with a truth that eludes the clumsy explanations of his commentators, so the geometry of relativity in its perfect harmony expresses a truth of form and type in nature, which my bowdlerised version misses. But the mind is not content to leave scientific Truth in a dry husk of mathematical symbols, and demands that it shall be alloyed with familiar images. The mathematician, who handles x so lightly, may fairly be asked to state, not indeed the in scrutable meaning of a in nature, but the meaning which x conveys to him. Although primarily designed for readers without technical knowledge of the subject, it is hoped that the book may also appeal to those who have gone into the subject more deeply. A few notes have been added in the Appendix mainly to bridge the gap between this and more mathematical treatises, and to indicate the points of contact between the argument in the text and the parallel analytical investigation. It is impossible adequately to express my debt to con temporary literature and discussion... (shrink)

A solution to the issue of time in quantum gravity is proposed. The hypothesis that time is not defined at the fundamental level (at the Planck scale) is considered. A natural extension of canonical Heisenberg-picture quantum mechanics is defined. It is shown that this extension is well defined and can be used to describe the "non-Schrödinger regime," in which a fundamental time variable is not defined. This conclusion rests on a detailed analysis of which quantities are the (...) physical observables of the theory; a main technical result of the paper is the identification of a class of gauge-invariant observables that can describe the (observable) evolution in the absence of a fundamental definition of time. The choice of the scalar product and the interpretation of the wave function are carefully discussed. The physical interpretation of the extreme "no time" quantum gravitational physics is considered. (shrink)

The article examines the effects of non-financial disclosure on corporate social responsibility. We conceptualise trade-offs between two ideal types in relation to CSR. Whereas self-regulation is associated with greater flexibility for businesses to develop best practices, it can also lead to complacency if firms feel no external pressure to engage with CSR. In contrast, government regulation is associated with greater stringency around minimum standards, but can also result in rigidity owing to a ‘one-size-fits-all’ approach. Given these potential trade-offs, we ask (...) how mandatory non-financial disclosure has been shaping CSR practices and examine its potential effectiveness as a regulatory instrument. Our analysis of 24 OECD countries using the Asset4 database shows that firms in countries that require non-financial disclosure adopt significantly more CSR activities. However, we also find that NFD regulation does not lead to lower levels of corporate irresponsibility. Furthermore, our analysis demonstrates that, over time, the variation in CSR activities declines as firms adopt increasingly similar practices. Our study thereby contributes to understanding the impact of government regulation on CSR at firm level. We also discuss the limits of mandatory NFD in addressing regulatory trade-offs between stringency and flexibility in the field of corporate social responsibility. (shrink)

The present study aimed to quantify the magnitude of sex differences in humans' ability to accurately recognise non-verbal emotional displays. Studies of relevance were those that required explicit labelling of discrete emotions presented in the visual and/or auditory modality. A final set of 551 effect sizes from 215 samples was included in a multilevel meta-analysis. The results showed a small overall advantage in favour of females on emotion recognition tasks (d = 0.19). However, the magnitude of that sex difference was (...) moderated by several factors, namely specific emotion, emotion type (negative, positive), sex of the actor, sensory modality (visual, audio, audio-visual) and age of the participants. Method of presentation (computer, slides, print, etc.), type of measurement (response time, accuracy) and year of publication did not significantly contribute to variance in effect sizes. These findings are discussed in the context of social and biological explanations of sex differences in emotion recognition. (shrink)

Safety principles in epistemology are often hailed as providing us with an explanation of why we fail to have knowledge in Gettier cases and lottery examples, while at the same time allowing for the fact that we know the negations of sceptical hypotheses. In a recent paper, Sinhababu and Williams have produced an example—the Backward Clock—that is meant to spell trouble for safety accounts of knowledge. I argue that the Backward Clock case is, in fact, unproblematic for the more (...) sophisticated formulations of safety in the literature. However, I then proceed to construct two novel examples that turn out problematic for those formulations—one that provides us with a lottery-style case of safe ignorance and one that is a straightforward case of unsafe knowledge. If these examples succeed, then safety as it is usually conceived in the current debate cannot account for ignorance in all Gettier and lottery-style cases, and neither is it a necessary condition for knowledge. I conclude from these troublesome examples that modal epistemologists ought to embrace a much more simple and non-reductive version of safety, according to which the notion of similarity between possible worlds that determines in which worlds the subject must believe truly is an epistemic notion that cannot be defined or reduced to notions independent of knowledge. The resulting view is shown to also lead to desirable results with respect to lottery cases, certain quantum phenomena, and a puzzling case involving a cautious brain-in-a-vat. (shrink)

Introduction: Non-violent resistance, carried out by healthcare workers, has been a common phenomenon. Despite this and despite the issues this type of action raises, we know little about the healthcare workers who engage in this action and their perspectives about its justification. This exploratory study sought to address this gap, examining these fundamental questions amongst a sample of healthcare workers who have engaged in acts of resistance, exploring their understanding of non-violent resistance, its justification and the barriers they faced in (...) engaging in such action. Methods: Participants were recruited through Medact's ( https://www.medact.org/ ) member database and directed to an online survey hosted on Qualtrics. While participants were unlikely to be representative of the broader UK healthcare community, participants were in an advantageous position to comment on non-violent resistance. Descriptive quantitative analysis and a content analysis were conducted. Results: The majority of participants felt that non-violent resistance could be justified dependent on its cause and/or the action in question. Within this, most felt that if action were non-violent, that if it didn't harm patients and that if the issue in question had to do with health being compromised, action was often justified. A number of others framed their justification as being a right or duty to engage in non-violent resistance. In relation to barriers to engaging in non-violent resistance, these fell into three categories: personal, professional and broader concerns related to society or the general culture found in healthcare. Within these, time and concerns about registration or the consequences of engaging in action were cited as the greatest barriers. Conclusions: These results suggest that healthcare workers who regularly engage in non-violent action carefully thought through their actions, acknowledging the diversity of actions and issues that could be challenged, for many patient care remained a primary concern. There is a need for clarity from regulatory bodies and in particular the need for dialogue between healthcare bodies and healthcare workers who continue to engage in acts of non-violent resistance. (shrink)

In this paper the non-Archimedean multiple-validity is proposed for basic fuzzy logic BL∀∞ that is built as an ω-order extension of the logic BL∀. Probabilities are defined on the class of fuzzy subsets and, as a result, for the first time the non-Archimedean valued probability logic is constructed on the base of BL∀∞.

We are currently seeing dramatic changes in the ways we imagine and experience time. Permanent debt, unending violent conflict, climate change, economic instability, and widening social inequalities have led to suggestions that we are now living in the time of the 'end times'. In the shadow of a foreshortened future, the present is increasingly experienced as a form of 'non-stop inertia', resulting in experiences of time as both frenetic but also stuck - revving up, as Ivor (...) Southwood puts it, to go nowhere. So, where do we go and how when all options seem to have run their course and time is no longer moving forward? Enduring Time proposes some alternative relations of time which provide hopeful alternatives to the dominating models of oppression, limitation and exploitation. A strikingly original philosophy of time which also provides students and scholars with a rigorous and detailed survey of contemporary theories of time, Enduring Time is an indispensable read for those attempting to live meaningfully in the current age. (shrink)

The article investigates the relations between Hausdorff and non-Hausdorff manifolds as objects of general relativity. We show that every non-Hausdorff manifold can be seen as a result of gluing together some Hausdorff manifolds. In the light of this result, we investigate a modal interpretation of a non-Hausdorff differential manifold, according to which it represents a bundle of alternative space-times, all of which are compatible with a given initial data set.

A recent paper by Jakl, Jung and Pultr succeeded for the first time in establishing a very natural link between bilattice logic and the duality theory of d-frames and bitopological spaces. In this paper we further exploit, extend and investigate this link from an algebraic and a logical point of view. In particular, we introduce classes of algebras that extend bilattices, d-frames and N4-lattices to a setting in which the negation is not necessarily involutive, and we study corresponding logics. (...) We provide product representation theorems for these algebras, as well as completeness, algebraizability results for the corresponding logics. (shrink)

We show that—unlike products of ‘transitive’ modal logics which are usually undecidable—their ‘expanding domain’ relativisations can be decidable, though not in primitive recursive time. In particular, we prove the decidability and the finite expanding product model property of bimodal logics interpreted in two-dimensional structures where one component—call it the ‘flow of time’—is • a finite linear order or a finite transitive tree and the other is composed of structures like • transitive trees/partial orders/quasi-orders/linear orders or only finite such (...) structures expanding over time. The decidability proof is based on Kruskal’s tree theorem, and the proof of non-primitive recursiveness is by reduction of the reachability problem for lossy channel systems. The result is used to show that the dynamic topological logic interpreted in topological spaces with continuous functions is decidable if the number of function iterations is assumed to be finite. (shrink)

We study how messages on Twitter by large non-governmental organizations (NGOs), targeting companies from the S&P500, affect these companies’ stock prices. With a sample of 1,611 tweets between 2009 and 2017 by 18 large NGOs, we observe significant changes in the stock prices of the targeted firms. More specifically, NGO tweets stating a positive message about the environmental, social, or governance (ESG). Actions of the firm have a positive effect on stock prices, while negative tweets have a negative effect. Nevertheless, (...) we find that the presence of institutional owners hampers this effect: firms with high institutional ownership value positive tweets more negatively, and negative tweets more positively. These results support the idea that shareholders react significantly to NGO tweets but they react differently depending on their time horizon: for shareholders who have a more short-term horizon, typically institutional owners, the reaction diverges societal expectations about how firms should contribute to society. (shrink)

Excerpt: Is Josef Mitterer's non-dualizing philosophy yet another philosophical flavor, of which there are so many in the academic world? Yet another philosophical trinket that arouses the short-lived attention of some people and disappears quickly thereafter? Yet another dalliance without implications either for philosophy or for science? We are convinced of the contrary. For many years Mitterer has steadily built up a reputation as an innovative but at the same time also very careful thinker. His claims have been discussed (...) in various circles, but, unfortunately, this has so far happened in German- and Polish-speaking countries only. Meanwhile "take your time" has taken time and Mitterer celebrated his 60th birthday in July 2008, an opportunity we used to gather connoisseurs of his work to discuss, for the first time in the English language, his achievements and impact. The result is in no relation to the limited spread of his ideas so far. We have collected some 22 contributions covering a large variety of intellectual terrain and pointing out the potential impact of his philosophy from now on. (shrink)

Haecceitism and Hume’s Dictum are each controversial theses about necessity and possibility. According to haecceitism, there are qualitatively indiscernible possible worlds that differ only with respect to which individuals occupy which qualitative roles. According to Hume’s Dictum, there are no necessary connections between distinct entities or, as Humeans sometimes put it, reality admits of “free recombination” so any entities can co-exist or fail to co-exist. This paper introduces a puzzle that results from the combination of haecceitism and Hume’s Dictum. This (...) puzzle revolves around the free recombination of non-qualitative properties like being Socrates. After considering several responses to this puzzle, I defend an ideology-driven solution, which dispenses with non-qualitative properties like being Socrates in favour of primitive theoretical ideology while, at the same time, preserving a commitment to both haecceitism and Hume’s Dictum. (shrink)

The theorist who denies the objective reality of non-relational temporal properties, or ‘A-series’ determinations, must explain our experience of the passage of time. D.H. Mellor, a prominent denier of the objective reality of temporal passage, draws, in part, on Kant in offering a theory according to which the experience of temporal passage is the result of the projection of change in belief. But Mellor has missed some important points Kant has to make about time-awareness. It turns out that (...) Kant's theory of time-awareness also involves projection – but for him, the projection of temporal passage is necessary to any coherent experience at all, and for this reason events in the world cannot be represented except as exhibiting real tensed change. Consequently we cannot intelligibly suppose the world we know to be without the passage of time. This fact would permit a modest transcendental argument the conclusion of which is that we are entitled to describe the world in terms of temporal passage. (shrink)

In this paper, I analyze the verbal suffix -uŋil in Washo as an optional past tense. It is optional in the sense that it is not part of a paradigm of tenses, and morphologically tenseless clauses are also compatible with past time reference. Specifically, I claim that -uŋil is the morphological exponent of a tense feature [past], which presupposes that the reference time of the clause, denoted by a temporal pronoun, precedes the evaluation time. Meanwhile, morphologically tenseless (...) clauses lack a semantic tense restricting the value of the reference time pronoun. In comparing this analysis with one containing a covert non-future tense in morphologically tenseless clauses, I show that the range of empirical contexts that distinguish these analyses is quite narrow. However, I offer a novel argument against a covert tense analysis based on the lack of Maximize Presupposition effects. Crucially, the fact that -uŋil does not form a paradigm of tenses results in a failure for Maximize Presupposition to apply. The proposed analysis places cross-linguistic variation at the level of the paradigm of tense features, namely whether they are present or absent, and if present, whether obligatorily so. This case study from Washo thus reveals what a language where tense features are optional can look like, and more generally contributes to the growing body of literature on cross-linguistic semantics devoted to uncovering the ways in which temporal interpretation can be achieved in natural language. (shrink)

Background: The division of non-paid labor in heterosexual parents in the West is usually still gender-based, with mothers taking on the majority of direct caregiving responsibilities. However, in same-sex couples, gender cannot be the deciding factor. Inspired by Feinberg’s ecological model of co-parenting, this study investigated whether infant temperament, parent factors (biological relatedness to child, psychological adjustment, parenting stress, and work status), and partner relationship quality explained how first-time gay, lesbian, and heterosexual parents divided labor (childcare and family decision-making) (...) when their infants were four months and 12 months old. We also tested whether family type acted as a moderator. Method: Participants were drawn from [MASKED FOR REVIEW]. Only those who provided information about their biological relatedness (yes or no) to their child (N = 263 parents) were included. When infants were four months (T1), parents completed a password-protected online questionnaire exploring their demographic characteristics including work status and standardized online-questionnaires on task division (childcare and family decision-making), infant temperament, parental anxiety, parental depression, parental stress, and partner relationship satisfaction. When infants were 12-months-old (T2), parents provided information about task division and their biological relatedness to their children. Results: Linear mixed models showed that no factor explained the division of family decision making at T1 and T2. For relative time spent on childcare tasks at T1, biological relatedness mattered for lesbian mothers only: biologically related mothers appeared to spend more time on childcare tasks than did non-related mothers. Results showed that, regardless of family type, parents who were not working or were working part-time at T1 performed more childcare tasks at T1. This was still true at T2. The other factors did not significantly contribute to relative time spent on childcare tasks at T2. Conclusion: We had the opportunity to analyze the division of non-paid tasks in families where parenting was necessarily planned and in which gender could not affect that division. Although Feinberg’s model of co-parenting suggests that various factors are related to task division, we found that paid work outside the home was most important during the first year of parenthood in determining caregiving roles. (shrink)

Quantum Theory, similar to Relativity Theory, requires a new concept of space-time, imposed by a universal constant. While velocity of lightcnot being infinite calls for a redefinition of space-time on large and cosmological scales, quantization of action in terms of a finite, i.e. non vanishing, universal constanthrequires a redefinition of space-time on very small scales. Most importantly, the classical notion of “time”, as one common continuous time variable and nature evolving continuously “in time”, has (...) to be replaced by an infinite manifold of transition rates for discontinuous quantum transitions. The fundamental laws of quantum physics, commutation relations and quantum equations of motion, resulted from Max Born’s recognition of the basic principle of quantum physics:To each change in nature corresponds an integer number of quanta of action. Action variables may only change by integer values ofh, requiring all other physical quantities to change by discrete steps, “quantum jumps”. The mathematical implementation of this principle led to commutation relations and quantum equations of motion. The notion of “point” in space-time looses its physical significance; quantum uncertainties of time, position, just as any other physical quantity, are necessary consequences of quantization of action. (shrink)

Time discounting is the phenomenon that a desired result in the future is perceived as less valuable than the same result now. Economic theories can take this psychological fact into account in several ways. In the economic literature the most widely used type of additive time discounting is exponential discounting. In exponential discounting, the fall of valuation depends by a constant factor on the length of the delay period. It is well known, however, that exponential time discounting (...) often does not describe well how people actually behave. Most people are averse to short delays in gratification now, while their future selves may not mind a bit of extra waiting. This behaviour can be described well by non-exponential discounting functions such as hyperbolic discounting. In hyperbolic discounting, valuations fall rapidly for small delay periods, but the fall gets slower for longer delay periods. Hyperbolic discounting captures phenomena such as procrastination, addiction and in general inconsistency over time. This chapter investigates whether forms of non-exponential discounting, in particular close to the so called Quasi-Hyperbolic model, could also be characterized in terms of dynamically consistent choices when individuals discount the welfare of future selves as well as their payoffs. (shrink)

The problem of non-compliance with treatment and its repercussions on the clinical evolution of different conditions has been widely investigated.1–4 Non-compliance has also been shown to have significant economic implications, not only as a result of product loss but also indirectly through the complication of disease management and its subsequent healthcare and social costs.5–7Non-compliance as a health problemThe term “non-compliance” might be taken to refer both to the failure to follow a drug regimen and to the failure to adopt other (...) measures that contribute to improvement in health—for example, changes in lifestyle or diet. This letter focuses on the former.Non-compliance with a drug regimen can be the result of a number of different factors9–11 and a variety of techniques have been developed in an attempt to control it.12,13 Of these, the few techniques that have been shown to be effective have only managed to solve the problem in specific situations over short periods of time. The use of such techniques to control non-compliance, particularly where these are effective, raises interesting ethical questions about the extent to which their application constitutes an infringement of the patient’s right to decide on how to manage their own health.8 Here we suggest that in some cases one factor that leads to non-compliance is the tendency to provide extensive and exhaustive information on side effects in …. (shrink)

The renewed interest in the foundations of quantum statistical mechanics in recent years has led us to study John von Neumann’s 1929 article on the quantum ergodic theorem. We have found this almost forgotten article, which until now has been available only in German, to be a treasure chest, and to be much misunderstood. In it, von Neumann studied the long-time behavior of macroscopic quantum systems. While one of the two theorems announced in his title, the one he calls (...) the “quantum H-theorem,” is actually a much weaker statement than Boltzmann’s classical H-theorem, the other theorem, which he calls the “quantum ergodic theorem,” is a beautiful and very non-trivial result. It expresses a fact we call “normal typicality” and can be summarized as follows: For a “typical” finite family of commuting macroscopic observables, every initial wave function ψ0 from a micro-canonical energy shell so evolves that for most times t in the long run, the joint probability distribution of these observables obtained from ψt is close to their micro-canonical distribution. (shrink)

David Albert has recently argued that classical electromagnetic theory (EM) is not time reversal invariant (non-TRI), while David Malament rejects this argument and maintains the orthodox result, that EM is TRI. Both Albert's and Malament's arguments are analysed, and both are found wanting in certain respects. It is argued here that the result really depends on the choice of theoretical ontology choosen to interpret EM theory, and there is more than one plausible choice. Albert and Malament have choosen different (...) plausible ontologies; but neither shows that their choice of interpretation is definitive. Deeper principles about this choice are examined. The extension to EM theory with magnetic monopoles is also examined. It is concluded that, despite certain flaws in his account, Albert's analysis does reveal serious problems in the orthodox account, which Malament's response does not adequately address. (shrink)

We consider future cash flows that are contingent both on dates in time and on uncertain states. The decision maker (DM) values the cash flows according to its decision criterion: Here, the payoffs’ expectation with respect to a capacity measure. The subjective measure grasps the DM’s behaviour in front of the future, in the spirit of de Finetti’s (1930) and of Yaari’s (1987) Dual Theory in the case of risk. Decomposition of the criterion into two criteria that represent the (...) DM’s preferences on uncertain payoffs and time contingent payoffs are derived from Ghirardato’s (1997) results. Conditional Choquet integrals are defined by dynamic consistency (DC) requirements and conditional capacities are derived, under some conditions on information. In contrast with other models referring to DC, ours does not collapse into a linear one because it violates a weak version of consequentialism. (shrink)

Concern for NGO accountability has been intensified in recent years, following the growth in the size of NGOs and their power to influence global politics and curb the excesses of globalization. Questions have been raised about where the sector embraces the same standards of accountability that it demands from government and business. The objective of this paper is to examine one aspect of NGO accountability, its discharge through annual reporting. Using Habermas’ theory of communicative action, and specifically its validity claims, (...) the research investigates whether NGOs use their annual reporting process to account to the host societies in which they operate or steer stakeholder actions toward their own self-interests. The results of the study indicate that efforts by organizations to account are characterized by communicative action through the provision of truthful disclosures, generally appropriate to the discharge of accountability and in a manner intended to improve their understandability. At the same time, however, some organizations exhibit strategically oriented behaviors in which the disclosure content is guided by the opportunity to present organizations in a particular light and there appears a lack of rhetor authenticity. The latter findings cast doubt on the ethical inspiration of NGOs and the values they demand from business communities, and questions arise as to why such practices exist and what lessons can be learnt from them. (shrink)

al-ʾUmūr al-ʿāmma refers to the introductory chapter heading for concepts and topics which address the issues of metaphysics, the science of the universal. This introductory heading which encompasses general topics, concepts, and cases, is the most distinctive feature that differentiates the kalām in the Muta’akhkhirūn period from the Kalām in the Mutaqaddīmūn period. This is because the science of Kalām inherited these topics as the result of its interaction with peripatetic philosophy represented by Islamic philosophers, such as al-Kindī, al-Fārābī, and (...) Avicenna. Before Fakhr al-Dīn al-Rāzī, theologians addressed various concepts such as mawjūd, maʿdūd, maʿdūm, qadīm, muḥdāth, shayʾ by including them in their works as commonly used nouns and adjectives in a disorganised manner or without devoting a separate chapter heading to them. It was al-Rāzī, who discussed al-ʾumūr al-ʿāmma under a separate heading with original content and through a combined method based on the relationship between Kalām and philosophy by using the previously available literature, that helped al-ʾumūr al-ʿāmma acquire an important status in the science of Kalām. This is because this tittle, which examine abstract and general concepts such as existence, non-existence, mawjūd, maʿdūm, quiddity (māhiyyah) and its appendages such as unity, multiplicity, necessity, possibility, impossibility, ḥudūth, eternity a parte ante (qidam), substance (jawhar), accident (ʿaraḍ), cause (ʿilla), and maʿlūl, were reconsidered by the theologians after al-Rāzī and became a point of departure for their works. Later theologians largely followed al-Rāzī’s framework and organisation of al-ʾumūr al-ʿāmma and/or based their new organisations on it. Besides using his framework, they tried to define al-ʾumūr al-ʿāmma in different ways and from different perspectives, and, at times, allowed for debates of sorts. One of the debates that emerged as a result of these defining endeavours is why these concepts were included within the scope of al-ʾumūr al-ʿāmma discussions or what aspects of these concepts were discussed within al-ʾumūr al-ʿāmma. This debate revolves around such notions as quiddity, impossibility, and non-existence in relation to the aforementioned notions. Among these concepts, non-existence takes the lead. This is because existence is both the most general concept and one of the most commonly addressed concepts in al-ʾumūr al-ʿāmma due to its direct relationship with other concepts. This has brought non-existence, which has a close relationship with existence, to the forefront. In these discussions, the concept of non-existence is sometimes examined alone, sometimes together with the concept of impossibility, both directly and indirectly. In fact, the reason for the inclusion and evaluation of the concept of non-existence in al-ʾumūr al-ʿāmma per se has turned into topic of discussion by itself over time. In this context, after discussing the conceptualisation process of al-ʾumūr al-ʿāmma, this study examines how philosophers and theologians, who, it must be reiterated, define al-ʾumūr al-ʿāmma in different ways, examine the concept of non-existence under that chapter heading, and it goes on to determine the aspects that led them to include non-existence therein. (shrink)

In this work we develop a time-symmetric soliton theory for quantum particles inspired from works by de Broglie and Bohm. We consider explicitly a non-linear Klein–Gordon theory leading to monopolar oscillating solitons. We show that the theory is able to reproduce the main results of the pilot-wave interpretation for non interacting particles in a external electromagnetic field. In this regime, using the time symmetry of the theory, we are also able to explain quantum entanglement between several solitons and (...) we reproduce the famous pilot-wave nonlocality associated with the de Broglie-Bohm theory. (shrink)

Every artificial-intelligence research project needs a working definition of "intelligence", on which the deepest goals and assumptions of the research are based. In the project described in the following chapters, "intelligence" is defined as the capacity to adapt under insufficient knowledge and resources. Concretely, an intelligent system should be finite and open, and should work in real time. ;If these criteria are used in the design of a reasoning system, the result is NARS, a non-axiomatic reasoning system. ;NARS uses (...) a term-oriented formal language, characterized by the use of subject-predicate sentences. The language has an experience-grounded semantics, according to which the truth value of a judgment is determined by previous experience, and the meaning of a term is determined by its relations with other terms. Several different types of uncertainty, such as randomness, fuzziness, and ignorance, can be represented in the language in a single way. ;The inference rules of NARS are based on three inheritance relations between terms. With different combinations of premises, revision, deduction, induction, abduction, exemplification, comparison, and analogy can all be carried out in a uniform format, the major difference between these types of inference being that different functions are used to calculate the truth value of the conclusion from the truth values of the premises. ;Since it has insufficient space-time resources, the system needs to distribute them among its tasks very carefully, and to dynamically adjust the distribution as the situation changes. This leads to a "controlled concurrency" control mechanism, and a "bag-based" memory organization. ;A recent implementation of the NARS model, with examples, is discussed. The system has many interesting properties that are shared by human cognition, but are absent from conventional computational models of reasoning. ;This research sheds light on several notions in artificial intelligence and cognitive science, including symbol-grounding, induction, categorization, logic, and computation. These are discussed to show the implications of the new theory of intelligence. ;Finally, the major results of the research are summarized, a preliminary evaluation of the working definition of intelligence is given, and the limitations and future extensions of the research are discussed. (shrink)

In this event-related potential study a masking technique that prevents conscious perception of words and non-words through attentional distraction was used to reveal the temporal dynamics of word processing under non-conscious and conscious conditions. In the non-conscious condition, ERP responses differed between masked words and non-words from 112 to 160 ms after stimulus-onset over posterior brain areas. The early onset of the word–non-word differences was compatible with previous studies that reported non-conscious access to orthographic information within this time period. (...) Moreover, source localisations provided evidence for automatic activation of prelexical phonological information, whereas no evidence for non-conscious semantic processing was found. When subjects were informed about the masking technique, lexical differences occurred at later time intervals, suggesting conscious access to additional word related information. These results indicate that early visual word processing does not depend entirely on attentional resources, but that non-conscious processing probably is restricted to rather lower-level linguistic information. (shrink)