I develop and defend a novel answer to Peter van Inwagen’s ‘Special Composition Question,’ (SCQ) namely, under what conditions do some things compose and object? My answer is that things will compose an object when and only when they exist simultaneously relative to a reference frame (I call this ‘Temporally Restricted Composition’ or TREC). I then show how this view wards off objections given to ‘Unrestricted Mereology’ (UM). TREC, unlike other theories of Restricted Composition, does not fall prey to worries (...) about vagueness, anthropocentrism, or arbitrariness. TREC also has advantages over all the other answers to the SCQ. TREC is an account an A-theorist anti-Eternalist who wants an unrestricted mereology should accept. I also engage in some conceptual hygiene by showing how UM, as it should be used, should not, in itself, entail or contain a commitment to either Eternalism or Four-Dimensionalism. (shrink)

Cellular processes are highly dependent on a dynamic proteome that undergoes structural and functional rearrangements to allow swift conversion between different cellular states. By inducing proteasomal degradation of inhibitory or stimulating factors, ubiquitylation is particularly well suited to trigger such transitions. One prominent example is the remodelling of the centrosome upon cell cycle exit, which is required for the formation of primary cilia – antenna‐like structures on the surface of most cells that act as integrative hubs for various extracellular signals. (...) Over the last decade, many reports on ubiquitin‐related events involved in the regulation of ciliogenesis have emerged. Very often, these processes are considered to be initiated ad hoc, that is, directly before its effect on cilia biogenesis becomes evident. While such a temporal restriction may hold true for the majority of events, there is evidence that some of them are initiated earlier during the cell cycle. Here, we provide an overview of ubiquitin‐dependent processes in ciliogenesis and discuss available data that indicate such an early onset of proteolytic regulation within preceding cell cycle stages. (shrink)

Temporal logic as a modern discipline is separate from classical logic; it is seen as an addition or expansion of the more basic propositional and predicate logics. This approach is in contrast with logic in the Middle Ages, which was primarily intended as a tool for the analysis of natural language. Because all natural language sentences have tensed verbs, medieval logic is inherently a temporal logic. This fact is most clearly exemplified in medieval theories of supposition. As a (...) case study, we look at the supposition theory of Lambert of Lagny, extracting from it a temporal logic and providing a formalization of that logic. (shrink)

Our ascriptions of content to utterances in the past attribute to them a level of determinacy that extends beyond what could supervene upon the usage up to the time of those utterances. If one accepts the truth of such ascriptions, one can either (1) argue that subsequent use must be added to the supervenience base that determines the meaning of a term at a time, or (2) argue that such cases show that meaning does not supervene upon use at all. (...) The following will argue against authors such as Lance, Hawthorn and Ebbs that first of these options is the more promising of the two. However, maintaining the supervenience thesis ultimately requires understanding the relation between use and meaning as 'normative' in two important ways. The first (more familiar) way is that the function from use to meaning must be of a sort that allows us to maintain a robust distinction between correct usage and actual usage. This first type of normativity is accepted by defenders of many more temporally restricted versions of the supervenience thesis, but the second sort of normativity is unique to theories that extend the supervenience base into the future. In particular, if meaning is partially a function of future use, we can understand other commitments we are often taken to have about meaning, particularly the commitment to meaning being 'determinate', as practical commitments that structure our linguistic practices rather than theoretical commitment that merely describe such practices. (shrink)

We focus on three main sets of topics emerging from the commentaries on our target article. First, we discuss several types of animal behavior that commentators cite as evidence against our claim that animals are restricted to temporal updating and cannot engage in temporal reasoning. In doing so, we illustrate further how explanations of behavior in terms of temporal updating work. Second, we respond to commentators’ queries about the developmental process through which children acquire a capacity for (...) temporal reasoning and about the relation between our account and accounts drawing similar distinctions in other domains of cognition. Finally, we address some broader theoretical issues arising from the commentaries, concerning in particular the question as to how our account relates to the phenomenology of experience in time, and the question as to whether our dichotomy between temporal reasoning and temporal updating is exhaustive, or whether there might be other forms of cognition or representation related to time not captured by it. (shrink)

In this paper, we show how the problem of accounting for the semanticsof temporal preposition phrases (tPPs) leads us to some surprisinginsights into the semantics of temporal expressions ingeneral. Specifically, we argue that a systematic treatment of EnglishtPPs is greatly facilitated if we endow our meaning assignments with context variables, a device which allows a tPP to restrict domainsof quantification arising elsewhere in a sentence. We observe that theuse of context variables implies that tPPs can modify expressions intwo (...) ways, and we use this observation to predict the behaviour of tPPswhose complements are themselves modified by other tPPs. (shrink)

This paper investigates modular combinations of temporal logic systems. Four combination methods are described and studied with respect to the transfer of logical properties from the component one-dimensional temporal logics to the resulting combined two-dimensional temporal logic. Three basic logical properties are analyzed, namely soundness, completeness, and decidability. Each combination method comprises three submethods that combine the languages, the inference systems, and the semantics of two one-dimensional temporal logic systems, generating families of two-dimensional temporal languages (...) with varying expressivity and varying degrees of transfer of logical properties. The temporalization method and the independent combination method are shown to transfer all three basic logical properties. The method of full join of logic systems generates a considerably more expressive language but fails to transfer completeness and decidability in several cases. So a weaker method of restricted join is proposed and shown to transfer all three basic logical properties. (shrink)

This article contributes to understanding of Contemporary Art and of the temporality of contemporaneity, along with the philosophy of time more generally. I propose a diachronic contemporaneity over time gaps – elective contemporaneity – through examination of Kant’s Transcendental Aesthetic, the Third Analogy and the concept of ‘following’ among artistic geniuses; diachronic recognition and disjunctive synchronicity discoverable in William Kentridge’s multimedia artworks; as well as non-chronological temporal implications of superimpositions in late Palaeolithic cave art suggesting ‘graphic respect’. Elective contemporaneity (...) shows up complexity in relations to past and present, putting in question definitions of ‘Contemporary Art’ restricted to either chronology or supposedly definitive paradigms. (shrink)

The article attempts to resolve the problem raised by richard sharvey's arguments supporting the thesis that temporal contexts present difficulties for quantification similar to those presented by alethic modal contexts. to this end a concept of temporally relativized identity for physical objects is introduced and explicated within a four-dimensional space-time view of the world. this in turn permits the introduction of the notion of "restricted" physical objects and the notion of "extended" physical objects. it is then shown how the (...) use of the introduced concepts together with careful attention to the details of temporal predication may permit the solution of the problem. (shrink)

This paper contributes to the debate about ‘tenseless languages’ by defending a tensed analysis of a superficially tenseless language. The language investigated is St’át’imcets (Lillooet Salish). I argue that although St’át’imcets lacks overt tense morphology, every finite clause in the language possesses a phonologically covert tense morpheme; this tense morpheme restricts the reference time to being non-future. Future interpretations, as well as ‘past future’ would-readings, are obtained by the combination of covert tense with an operator analogous to Abusch’s (1985) WOLL. (...) I offer St’át’imcets-internal evidence (of a kind not previously adduced) that the WOLL-like operator is modal in nature. It follows from the analysis presented here that there are only two (probably related) differences between St’át’imcets and English in the area of tense. The first is that St’át’imcets lacks tense morphemes which are pronounced. The second is that the St’át’imcets tense morpheme is semantically underspecified compared to English ones. In each of these respects, the St’át’imcets tense morpheme displays similar properties to pronouns, which may be covert and which may fail to distinguish person, number or gender. Along the way, I point out several striking and subtle similarities in the interpretive possibilities of St’át’imcets and English. I suggest that these similarities may reveal non-accidental properties of tense systems in natural language. I conclude with discussion of the implications of the analysis for cross-linguistic variation, learnability and the possible existence of tenseless languages. (shrink)

Hud Hudson has recently suggested a scenario intended to show that, assuming the doctrine of temporal parts and a sufficiently liberal view of composition, there are material objects that move faster than light. I accept Hudson's conditional but contend that his modus ponens is less plausible that the corresponding modus tollens. Reversed in this way, the argument stemming from the scenario raises the cost of mereological liberalism and advances the case for a principled restriction on diachronic composition.

The interactions among the components of a biological system can be given a logical representation that is useful for reasoning about them. One of the relevant problems that may be raised in this context is finding what would explain a given behaviour of some component; in other terms, generating hypotheses that, when added to the logical theory modelling the system, imply that behaviour. Temporal aspects have to be taken into account, in order to model the causality relationship that may (...) link the behaviour of a given component to that of another one. This paper presents a hypothesis generation method for linear temporal logic theories whose formulae have a restricted syntactic form, which is however sufficient to model cellular and molecular interactions, as they are often represented by biologists. The method exploits the duality between hypothesis generation and consequence finding, and can therefore be also used to infer the consequences of a given fact. It is based on a resolution system proposed by Cavalli and Fariñas del Cerro in 1984. (shrink)

For branching-time temporal logic based on an Ockhamist semantics, we explore a temporal language extended with two additional syntactic tools. For reference to the set of all possible futures at a moment of time we use syntactically designated restricted variables called fan-names. For reference to all possible futures alternative to the actual one we use a modification of a difference modality, localized to the set of all possible futures at the actual moment of time.We construct an axiomatic system (...) for this extended branching-time logic and prove its soundness and completeness with respect to bundle tree semantics. Finally, we show how our axiomatic system can be extended with a variety of important additional operators, such as Since and Until, a global difference operator, operators for undivided and divided histories, reference pointers, etc. (shrink)

This paper generalises and complements the work on combining temporal logics started by Finger and Gabbay [11, 10]. We present proofs of transference of soundness, completeness and decidability for the temporalisation of logics T for any flow of time, eliminating the original restriction that required linear time for the transference of those properties through logic combination. We also generalise such results to the external application of a multi-modal system containing any number of connectives with arbitrary arity, that respect (...) normality.This generalisation over generic flows of time propagates to other combinations of logics that can be interpreted in terms of temporalisations. In this way, the independent combination of temporal logics is studied over generic flows of time. We show the transfer of soundness, completeness and decidability for independent combination of temporal logics. Finally, we also discuss the independent combination of any finite number of normal multi-modal logics. (shrink)

In ‘Affectivity in Heidegger I: Moods and Emotions in Being and Time’, we explicated the crucial role that Martin Heidegger assigns to our capacity to affectively find ourselves in the world. There, our discussion was restricted to Division I of Being and Time. Specifically, we discussed how Befindlichkeit as a basic existential and moods as the ontic counterparts of Befindlichkeit make circumspective engagement with the world possible. Indeed, according to Heidegger, it is primarily through moods that the world is ‘opened (...) up’ and revealed to us as a world that is suffused with values and entities that already matter to us. In this companion essay, our aim is to expand our analysis of affectivity in the following ways: first, we revisit our discussion of Befindlichkeit in light of Heidegger's discussion of temporality in Division II of BT; second, we discuss the basic or fundamental mood of boredom and its ontological significance; we conclude by providing a brief characterization of how Heidegger's notion of mood changes in his later thinking. (shrink)

In this paper, I introduce a quantifier-pluralist theory of time, temporal quantifier relativism. Temporal quantifier relativism includes a restricted quantifier for every instantaneous moment of time. Though it flies in the face of orthodoxy, it compares favorably to rival theories of time. To demonstrate this, I first develop the basic syntax and semantics of temporal quantifier relativism. I then compare the theory to its rivals on three issues: the passage of time, the analysis of change, and (...) class='Hi'>temporal ontology. (shrink)

ABSTRACT Many temporal and modal logic languages can be regarded as subsets of first order logic, i.e. the semantics of a temporal logic formula is given as a first order condition on points of the underlying models (Kripke structures). Often the set of possible models is restricted to models which are trees. A temporal logic language is (first order) expressively complete, if for every first order condition for a node of a tree there exists an equivalent (...) class='Hi'>temporal formula which expresses the same condition. In this paper expressive completeness of the temporal logic language with the set of operators U (until), S (since), and X k (k-next) is proved, and the result is extended to various other tree-like structures. (shrink)

_Time and Timelessness_ examines the development of Jung's understanding of time throughout his opus, and the ways in which this concept has affected key elements of his work. In this book Yiassemides suggests that temporality plays an important role in many of Jung's central ideas, and is closely interlinked with his overall approach to the psyche and the cosmos at large. Jung proposed a profound truth: that time is relative at large. To appreciate the whole of our experience we must (...) reach beyond causality and temporal linearity, to develop an approach that allows for multidimensional and synchronistic experiences. Jung’s understanding surpassed Freud's dichotomous approach which restricted timelessness to the unconscious; his time theory allows us to reach beyond the everyday time-bound world into a greater realm, rich with meaning and connection. Included in the book: -Jung’s time theory -the death of time -time and spatial metaphors -the role of time in precognition, telepathy and synchronicity -_Unus mundus_ and time -a comparison of Freud’s and Jung’s time theories: temporal directionality, dimensionality, and the role of timelessness. This book is the first to explore time and timelessness in a systematic manner from a Jungian perspective, and the first to investigate how the concept of time affected the overall development of Jung's theory. It will be key reading for psychoanalytic scholars and clinicians, as well as those working in the field of phenomenological philosophy. (shrink)

In Prior’s [4], Appendix A §4 and §5, and Chapter IV, and more explicitly in Bull’s [2], we find sequences of tense-logical systems which place increasingly more restrictive conditions on the temporal relation “… is before …”. We give here a simple, diagrammatic account of the way in which the successive postulates for temporal order place these conditions on the temporal relation: we do not provide any essentially new semantics for these systems, nor do we prove any (...) rigorous metatheorems. We do, however, quite often assume the completeness results of Lemmon, Bull and others without explicit mention. (shrink)

NOTE FROM THE AUTHORS The context of our co-authored contribution to the ‘Aesthetic Relations’ conference-publication is a performance devised by Lucie in 2020 to which she invited Kiraṇ as a collaborator. Due to international travel restrictions however, our physical co-pres-ence in a studio and on stage remained suspended throughout that year. Our exchanges nevertheless continued in adaptive turns both before and after that performance. It is this condition of, at once, compromised yet consistent relation with each other that we refer (...) to as ‘suspension’. For us this suspension was at first admittedly a source of disruption, even anxiety of interrupting our artistic flow. Yet there came a point during the year when this swelling tension ruptured, and a strange ease set in. Nothing had changed on the surface (travel restrictions were only extended), yet something had shifted under our skins. While still physically across continents, our online presentation at the conference was a joint essay at articulating, both textually and performatively, the unassuming complexity of this thing that is suspension. By the time of this publication in 2022, we have somewhat broken this suspension by physically meeting in Switzerland in August 2021. As such we have decided not to edit the text that was performed at the conference back in January 2021, and only append it with this contextual note. Here we must add that the text in one of the sections to follow (which begins with “Please turn your head to your left..”) is intended as a score for action. Originally spoken in our voices, we now ask you to invite another person to read this section aloud to you at an unhurried pace, while you respond to the text’s suggestions. As for us, we continue our collabora-tive artistic research of working in and with suspension as artistic strategy through our ongoing exchanges and upcoming projects. (shrink)

A semantics with plural entitles and plural times accounts for cumulative relations between plural arguments and temporal expressions. The semantics equips nominal, verbal and sentential meanings with temporal context variables and treats temporal modifiers as temporal generalized quantifiers; cumulative conjunction, however, takes place at types lower than generalized quantifiers. The mediation of temporal context variables allows cumulative relations to percolate between an argument in a main clause and one in a temporal clause, in apparent (...) violation of locality restrictions. Plural times form a semilattice structure imposed on the set of intervals; no interaction is observed between this and the internal temporal structure of intervals. (shrink)

Among philosophers working on modality, there is a common assumption that there is a strong connection between temporal possibility and counterfactual possibility. For example, Sydney Shoemaker 1998, 69 70) writes: It seems to me a general feature of our thought about possibility that how we think that something could have differed from how it in fact is [is] closely related to how we think that the way something is at one time could differ from the way that same thing (...) is at a different time. In possible worlds jargon, the ways one and the same thing of a given sort can differ across worlds correspond to the ways one and the same thing of that sort can differ at different times in the same world. Could I have been a plumber or an accountant instead of a philosopher? The answer seems to be yes -- and this goes with the fact that we acknowledge the possibility of a scenario in which someone who was exactly as I was at some point in my life undergoes a series of changes resulting in his eventually being a plumber or an accountant. In a footnote, he acknowledges that this connection between counterfactual and temporal possibility needs to be qualified in response to an objection by Randy Clarke: «The property of being the child of someone who has visited Paris is not one that one can have and then lose; but it is one that one can have in the actual world and not have in some other possible world.» (1998, 75n.9) Therefore, he restricts the inference from temporal to counterfactual possibility and vice versa to «non historical properties.». (shrink)

Quantificational arguments can take scope outside of temporal adjunct clauses, in an apparent violation of locality restrictions: the sentence few secretaries cried after each executive resigned allows the quantificational NP each executive to take scope above few secretaries. I show how this scope relation is the result of local operations: the adjunct clause is a temporal generalized quantifier which takes scope over the main clause (Pratt and Francez, Linguistic and Philosophy 24(2), 187–222. [2001]), and within the adjunct clause, (...) the quantificational argument takes scope above the implicit determiner which forms the temporal generalized quantifier. The paper explores various relations among quantificational arguments across clause boundaries, including temporal clauses that are modified internally by a temporal adverbial and temporal clauses with embedded sentential complements. (shrink)

My aim in this paper is to reconstruct Edmund Husserl’s views on the differences between human and animal consciousness, with particular attention to the experience of temporality.In the first section, I situate the topic of animal consciousness in the broader context of Husserl’s philosophy. Whereas this connection has been often neglected, I argue that a phenomenological analysis of non-human subjectivities is not only justified, but also essential to the Husserlian project as a whole.In the second section, I introduce two notions (...) Husserl resorts to when describing the essential difference between human and animal subjectivities, namely “strata of consciousness” and “person.” Drawing on textual evidence, I argue that Husserl does not simply see animals as excluded from the sphere of personhood. Rather, he draws a distinction between two modes of personal life, one of which is said to be unique to human adults.What holds these two modes apart, according to Husserl, is a subject’s relation to time. In the third section, I delve deeper into this topic, asking how we should understand Husserl’s claim that animals live in a “restricted temporality.” I argue that this has less to do with an inability to remember, imagine, or anticipate future events, and more with an inability to explore temporal horizons stretching before one’s birth or after one’s death. By contrast, humans gradually overcome these limitations during ontogeny, thanks to the practice of linguistic communication. This also has consequences for our capacity to engage in genuinely theoretical thought. (shrink)

The topic of this paper is a theory of the organism as subject. It is an ascription of subjectivity to organic bodies. I restrict my analysis, in this presentation, to the question of temporality; particularly, to the way individual bodies produce out of their own metabolic activity the temporal field with which they interact. I structure this discussion by way of an elucidation of Gilles Deleuze’s concept of the larval subject as it emerges out of his Difference and Repetition. (...) I begin with the nature of repetition and time, move into an explication of organic rhythm, and unify these reflections in a reflection on the nature of organismic temporality. In terms moreproperly Deleuzian, I claim that out of the passive temporal syntheses constitutive of the present emerge the rhythmic contractions of the larval self and the polyrhythmic network of the organismic subject. In drawing on Deleuze in this way, I hope to achieve a novel and fruitful perspective on the individual nature of bodily time that makes credible an ascription of subjectivity, a concept traditionally afforded only to the human, to all living bodies. (shrink)

In view of the primacy assigned to the 'present' in traditional metaphysics, in terms of the ways in which questions about existence are expressed, the following discussion takes the question of the temporalizing of the present as its theme. This involves unravelling the historical traces of the thought of the present as a finite, closed, objective point of a successive continuum of discrete moments (a real oscillation between the now and the not-now) by returning to the phenomenological sense of the (...) present as the stretching out of an opening – the 'living Present' (lebendige Gegenwart) – which bears its continuity of presence and non-presence within itself (without restriction to linearity). The transition itself suggests something like a quantum-leap and, in another sense, it also extends beyond the bounds of this simile (and the discontinuity that is implied) by evoking the image of a 'twist' or a 'turn.’ In order to grasp the significance of this turn we shall first examine – re turn to – its main obstacle: the concept of time as a linear and corpuscular continuum. The traditional model of time as a succession of 'now-points' (a notion that 1 still infects discourse on temporality) has always undermined our understanding of 'presence' as that which maintains itself (abides) through succession. In effect, presence must be 'maintained' [maintenant] within the 'now.' Yet, if the 'now' is constantly shifting into non-being through its replacement by a new 'now' then presence must be infused with its own negation and a certain discontinuity. How is it possible, then, to speak of the 'persistence' of 'identity' as something unitary (simultaneous with itself) existing through plurality and successive fragmentation into non-being? Furthermore, in reference to motion, what is entailed in the possibility of experiencing the transition of a selfsame (particular) object from one spatial location to another: how is it that the object 'endures' through its spatial and temporal transition? Since antiquity the question of simultaneity has been taken for granted – generally being consigned to mere spatial models.. (shrink)

Whether man is predisposed to lethal violence, ranging from homicide to warfare, and how that may have impacted human evolution, are among the most controversial topics of debate on human evolution. Although recent studies on the evolution of warfare have been based on various archaeological and ethnographic data, they have reported mixed results: it is unclear whether or not warfare among prehistoric hunter – gatherers was common enough to be a component of human nature and a selective pressure for the (...) evolution of human behaviour. This paper reports the mortality attributable to violence, and the spatio-temporal pattern of violence thus shown among ancient hunter–gatherers using skeletal evidence in prehistoric Japan (the Jomon period: 13000 cal BC–800 cal BC). Our results suggest that the mortality due to violence was low and spatio-temporally highly restricted in the Jomon period, which implies that violence including warfare in prehistoric Japan was not common. (shrink)

This study examines the stability of trust and explores whether it differs across men and women using a panel dataset. Data were first collected in 2008 and later in 2019, from 1056 male and 1113 female respondents in the Netherlands. The analysis results suggest that trust is significantly correlated over time, irrespective of gender. Similarly, the subgroup analysis restricted to respondents with low levels of trust in 2008 showed a significant correlation between trust measured in 2008 and that measured in (...) 2019. Further, this study analyzes whether the correlation decays with time by comparing the correlation between trust in 2008 and 2019 with the correlation between trust in 2008 and 2013. The analysis reveals a significant decay in the correlation with time, and this decay is driven by men. A closer look shows that older men (with age ≥ median value) primarily caused this decay in correlation. These findings provide evidence of the interaction between gender and the stability of trust. (shrink)

The concept of agency is of crucial importance in cognitive science and artificial intelligence, and it is often used as an intuitive and rather uncontroversial term, in contrast to more abstract and theoretically heavy-weighted terms like “intentionality”, “rationality” or “mind”. However, most of the available definitions of agency are either too loose or unspecific to allow for a progressive scientific program. They implicitly and unproblematically assume the features that characterize agents, thus obscuring the full potential and challenge of modeling agency. (...) We identify three conditions that a system must meet in order to be considered as a genuine agent: a) a system must define its own individuality, b) it must be the active source of activity in its environment (interactionalasymmetry) and c) it must regulate this activity in relation to certain norms (normativity). We find that even minimal forms of proto-celular systems can already provide a paradigmatic example of genuine agency. By abstracting away some specific details of minimal models of living agency we define the kind of organization that is capable to meet the required conditions for agency (which is not restricted to living organisms). On this basis, we define agency as an autonomous organization that adaptively regulates its coupling with its environment and contributes to sustaining itself as a consequence. We find that spatiality and temporality are the two fundamental domains in which agency spans at different scales. We conclude by giving an outlook to the road that lies ahead in the pursuit to understand, model and synthesis agents. (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.

Purpose. The article is aimed to study the anthropological, socio-philosophical and philosophical-legal dimensions of the ontological sphere of human life within the discourse of restricting human rights during pandemic threats. To do this, one should solve a number of tasks, among which are the following: 1) to explore the anthropological and praxeological understanding of fear as a primary component of human existence in a pandemic, which prevents people from changing their lives for the better and healthier, having fun and happiness; (...) 2) to put a focus on the habituation of fear as a two-dimensional adaptation to risks and threats from pandemics; 3) to reflect the anthropological features of changes in human life experience under the influence of the COVID-19 pandemic in the discourse of human rights and public health measures. Theoretical basis. Today, international guiding principles on human rights response to global natural threats have been updated. However, there are still no specific legal recommendations concerning measures on human rights protection during outbreaks of various infectious diseases. However, the influence of unexpected global challenges causes a change in the anthropological component of society and the state, so it requires immediate comprehensive research. Originality. It was substantiated a systematic approach to the implementation of modern healthcare policy towards the recognition of human life as the highest value, increasing the level of psychological preparedness for pandemic challenges and approximation of statutory provisions of human rights protection to modern challenges and threats to the health of the individual, society and state. The study of anthropological, socio-philosophical and philosophical-legal dimensions of human existence in the discourse of pandemic threats made it possible to reveal the profound influence of fear on human life, social justice and, consequently, identify the moral and legal dependence of the development level of society and the state on the level of axiological and anthropological concept of human dignity. Conclusions. Based on the study of statistical reports, international analysis and the use of personal authorial methods, the following can be stated: the methods of combating the modern pandemic have directly affected everyone on national and international level. Their influence is significant because it changes the rules of coexistence and life of people in all spheres. However, the influence on the consciousness and other intentions of the individual has mostly temporally insignificant limits. (shrink)

The paper re-expresses arguments against the normative validity of expected utility theory in Robin Pope (1983, 1991a, 1991b, 1985, 1995, 2000, 2001, 2005, 2006, 2007). These concern the neglect of the evolving stages of knowledge ahead (stages of what the future will bring). Such evolution is fundamental to an experience of risk, yet not consistently incorporated even in axiomatised temporal versions of expected utility. Its neglect entails a disregard of emotional and financial effects on well-being before a particular risk (...) is resolved. These arguments are complemented with an analysis of the essential uniqueness property in the context of temporal and atemporal expected utility theory and a proof of the absence of a limit property natural in an axiomatised approach to temporal expected utility theory. Problems of the time structure of risk are investigated in a simple temporal framework restricted to a subclass of temporal lotteries in the sense of David Kreps and Evan Porteus (1978). This subclass is narrow but wide enough to discuss basic issues. It will be shown that there are serious objections against the modification of expected utility theory axiomatised by Kreps and Porteus (1978, 1979). By contrast the umbrella theory proffered by Pope that she has now termed SKAT, the Stages of Knowledge Ahead Theory, offers an epistemically consistent framework within which to construct particular models to deal with particular decision situations. A model by Caplin and Leahy (2001) will also be discussed and contrasted with the modelling within SKAT (Pope, Leopold and Leitner 2007). (shrink)

The probability that a fair coin tossed yesterday landed heads is either 0 or 1, but the probability that it would land heads was 0.5. In order to account for the latter type of probabilities, past probabilities, a temporal restriction operator is introduced and axiomatically characterized. It is used to construct a representation of conditional past probabilities. The logic of past probabilities turns out to be strictly weaker than the logic of standard probabilities.

We consider several natural fragments of the alternating-time temporal logics ATL* and ATL with restrictions on the nesting between temporal operators and strategic quantifiers. We develop optimal decision procedures for satisfiability in these fragments, showing that they have much lower complexities than the full languages. In particular, we prove that the satisfiability problem for state formulae in the full `strategically flat' fragment of ATL* is PSPACE-complete, whereas the satisfiability problems in the flat fragments of ATL and ATL$^{+}$ are (...) $\Sigma^P_3$-complete. We note that the nesting hierarchies for fragments of ATL* collapse in terms of expressiveness above nesting depth 1, hence our results cover all such fragments with lower complexities. (shrink)

Time plays a significant role in science and everyday life. Despite being experienced as a continuous flow, computational models of consciousness are typically restricted to a sequential temporal structure. This difference poses a serious challenge for computational phenomenology—a novel field combining phenomenology and computational modelling. By analysing the temporal structure of the active inference framework, we show that an integrated continuity of time can be achieved by merging Husserlian temporality with a sequential order of time. We also show (...) that a Markov blanket of the present moment integrates past and future moments of both subjective temporality and objective time in an asynchronous manner. By applying the integrated continuity, it is clear that active inference makes use of both subjective temporality and objective time in an integrated fashion. We conclude that active inference, on a temporal note, qualifies as a computational model for phenomenological investigations. (shrink)

This paper sketches a way of supplementing classical mathematics with a motivation for a Brouwerian theory of free choice sequences. The idea is that time is unending, i.e. that one can never come to an end of it, but also indeterminate, so that in a branching time model only one branch represents the ‘actual’ one. The branching can be random or subject to various restrictions imposed by the creating subject. The fact that the underlying mathematics is classical makes such perhaps (...) delicate issues as the fan theorem no longer problematic. On this model, only intuitionistic logic applies to the Brouwerian free choice sequences, and there it applies not because of any skepticism about classical mathematics, but because there is no ‘end of time’ from the standpoint of which everything about the sequences can be decided. (shrink)

In our previous work we have introduced loop-type sequent calculi for propositional linear discrete tense logic and proved that these calculi are sound and complete. Decision procedures using the calculi have been constructed for the considered logic. In the present paper we restrict ourselves to the logic with the unary temporal operators “next” and “henceforth always”. Proof-theory of the sequent calculus of this logic is considered, focusing on loop specification in backward proof-search. We describe cyclic sequents and prove that (...) any loop consists of only cyclic sequents. A class of sequents for which backward proof-search do not require loop-check is presented. It is shown how sequents can be coded by binary strings that are used in backward proof-search for the sake of more efficient loop-check. (shrink)

What distinguishes a whole from an arbitrary sum of elements? I suggest a temporal and causal oriented approach. I defend two connected claims. The former is that existence is, by every means, coextensive with being the cause of a causal process. The latter is that a whole is the cause of a causal process with a joint effect. Thus, a whole is something that takes place in time. The approach endorses an unambiguous version of Restricted Composition that suits most (...) commonsensical intuitions about wholes. (shrink)

Unlike other organs that operate continuously, such as the heart and kidneys, many of the operations of the nervous system shut down during sleep. The evolutionarily conserved unconscious state of sleep that puts animals at risk from predators indicates that it is an indispensable integral part of systems operation. A reasonable expectation is that any hypothesis for the mechanism of the nervous system functions should be able to provide an explanation for sleep. In this regard, the semblance hypothesis is examined. (...) Postsynaptic membranes are continuously being depolarized by the quantally released neurotransmitter molecules arriving from their presynaptic terminals. In this context, an incidental lateral activation of the postsynaptic membrane is expected to induce a semblance (cellular hallucination of arrival of activity from its presynaptic terminal, which forms a unit for internal sensation) of the arrival of activity from its presynaptic terminal as a systems property. This restricts induction of semblance to a context of a very high ratio of the duration of the default state of neurotransmitter-induced postsynaptic depolarization to the total duration of incidental lateral activations of the postsynaptic membrane. This requirement spans within a time-bin of a few sleep-wake cycles. Since the duration of quantal release remains maximized, the above requirement can be achieved only by ceiling the total duration of incidental lateral activations of the postsynaptic membrane, which necessitates a state of sleep. (shrink)

Spatially and temporally restricted expression of Hox genes requires multiple mechanisms at both the transcriptional and the post-transcriptional levels. New insight into this precise expression mechanism comes from recent findings of a novel sense–antisense miRNA combination from the bithorax complex of Drosophila melanogaster.1-4 These two miRNAs encoded from the same locus target 3′ untranslated regions of anterior hox genes, Antp, Ubx and abd-A to establish the dominance of posterior hox gene Abd-B in its expression domain. Such double-edge tools, sense–antisense miRNA (...) combinations, also operate at multiple loci in the genome implicating their wider impact on the post-transcriptional gene regulation in eukaryotes. BioEssays 30:1058–1061, 2008. © 2008 Wiley Periodicals, Inc. (shrink)

Life is a self-maintaining process based on metabolism. Something is said to be alive when it exhibits organization and is actively involved in its own continued existence through carrying out metabolic processes. A life is a spatio-temporally restricted event, which continues while the life processes are occurring in a particular chunk of matter (or, arguably, when they are temporally suspended, but can be restarted at any moment), even though there is continuous replacement of parts. Life is organized in discrete packages, (...) particular cells and multicellular organisms with differing degrees of individuality. Biological species, too, have been shown to be individuals, and not classes, as these collections of organisms are spatio-temporally localized, restricted, continuous, and somewhat cohesive entities, with a definite beginning and end. Assuming that all life on Earth has a common origin, all living organisms, cells, and tissues descending from this origin exhibit continuity of the life processes at the cellular level, as well as many of the features that define the individual character of species: spatio-temporal localization and restriction, continuity, historicity, and cohesiveness. Therefore, life on Earth is an ontological individual. Independent origins of life will have produced other such individuals. These provisionally called ‘life-individuals’ constitute a category of organization of life which has seldom been recognized. The discovery of at least one independent life-individual would go a long way toward the project of the universality of biology. (shrink)

I defend a unified fictionalism about modality and mathematics. First, I defend each view separately against internal objections. Then, I attempt a unified fictionalism by giving an analysis of truth in fiction which is neither modal nor platonistic. Finally, I explore the prospects for nominalistic unified fictionalism. ;In the first chapter, I defend modal fictionalism: the view that statements about possible worlds are best understood as claims about the content of a fiction, the 'many-worlds story'. I address the Brock-Rosen objection (...) that the fictionalist is a modal realist despite himself. I argue that Noonan's solution, the best response so far, is inadequate, and then offer an alternative fictionalist translation scheme for modal statements. ;In the second chapter, I defend mathematical fictionalism. Mathematical fictionalism is the view that mathematics is best understood as a fiction whose value is quite independent of its truth-value. Field argues for fictionalism in this sense by constructing nominalistic alternatives to standard physical theories. The aim is to establish that mathematical entities are 'dispensable for the purposes of science', and so to undermine the only reason we might have for believing in the literal truth of standard mathematics. I address an objection that the nominalization of current science would not suffice to establish the 'dispensability' of mathematical entities in the epistemologically relevant sense. I argue that there is a plausible interpretation of the indispensability argument according to which successful nominalization would establish that it is unreasonable to believe in mathematical entities. ;The most important challenge for any attempt at a unified fictionalism is to provide an account of truth in fiction that is neither implicitly modal nor implicitly platonistic. To this end, I offer in the third chapter an analysis of truth in a story which is based on a modified version of Walton's account of truth in fiction. ;A second challenge is to show that the timelessness and necessity of modal truth are compatible with the view that fictions are contingent and temporally restricted entities. In the final chapter, I argue this problem constitutes a genuine obstacle for a unified nominalistic fictionalism. (shrink)

The recent ability to inactivate specific genes in mice has significantly accelerated our understanding of molecular, cellular, and even behavioral aspects of normal and disease processes. However, this ability has also demonstrated the extreme complexity of genetic determination in mammals, in particular, that genes in the same family or pathway can be functionally redundant and that a given gene often has multiple roles. Thus, inactivation of a gene often does not indicate its complete spectrum of functions. To circumvent this problem, (...) many new tools and novel applications of classic techniques have been developed to place spatial and temporal restrictions on the genomic alterations. These approaches include chimera and mosaic studies, organ transplantation, complementation assays, dominant negative mutants, conditional gene knockouts, and lineage-specific gene rescue. Not only has this opened up more sophisticated ways to make genomic alterations, but it has provided the opportunity to create animal models for sporadic human genetic diseases. BioEssays 20:200–208, 1998. © 1998 John Wiley & Sons, Inc. (shrink)

The so-called Buddhist momentarists, such as Dharmakīrti and his followers, defend the momentariness of all things. However, with equal force they also defend the persistence of all things, not just within a single lifetime but over an indefinite cycle of rebirth. Naturally, they have an interesting theory of persistence, according to which things persist without being self-identical over time. The theory is best presented in the Lokāyatāparīkṣā chapter of Śāntarakṣita’s Tattvasaṃgraha and Kamalaśīla’s Paṅjikā, as they clearly articulate the criteria of (...) persistence without identity. The purpose of this paper is to formulate a Buddhist theory of persistence through the analysis of these texts. Here is the basic formula: Things persist as series, which is constituted by momentary entities that are causally related as upādāna and upādeya. Upādāna causal relation is demarcated from other causal relations by the principle of changeability with temporal restriction, and the principle adopts further qualifications to accommodate complex cases and personal persistence. I have addressed a problem that contemporary physicalism might pose a threat to the Buddhist account of personal persistence, and argued that the problem can be evaded by regarding persons as psycho-physical entities rather than strictly non-physical. In its general outlook, the Buddhist theory of persistence is close to Theodore Sider’s stage theory in that persistence is a matter of distinct individuals standing in a special causal relationship. As regards personal persistence, the Buddhist has a stricter condition than Parfit’s IDM thesis, which states that psychological connectedness with any cause is what matters for survival. The Buddhist would say it is moral connectedness with a special cause called upādāna. (shrink)

In this paper, I show how realist moral naturalists can provide an intra-theoretic explanation of the epistemic possibility of wholesale moral error. This is a requirement on metaethical theories that has been recently defended by Akhlaghi (2021). After clarifying Akhlaghi’s argument and responding to Evers’s (2021) recent rebuttal, I argue that even under the assumption that moral facts are grounded in an appropriate subset of natural facts (N-facts), there is still a non-zero probability of wholesale moral error. This is demonstrated (...) by considering three types of epistemically possible scenarios: specifically, it could either be that N-facts do not actually exist, or that N-facts exist in a way that entails wholesale moral error, or that N-facts exist in a non-error theoretic way, but their existence is temporally restricted. (shrink)

We have seen that we cannot de-tense a sentence like (15) simply by changing its verb, since the tense of such a sentence is determined by a temporal adverb. More importantly, we have seen that de-tensing is a process of removing certain temporal restrictions from the truth-conditions of tensed sentences, and that tensed and tenseless forms of a verb do not differ in sense. Once we understand this, and once we realize that it is an historical accident that (...) the tense of sentences in English if often indicated by means of the grammatical device of inflecting verbs, tensed verbs no longer seem to be the sort of item that needs to be purged from ordinary language in constructing its tenseless analogue. Indeed, although the distinction between tensed and tenseless verbs may still be of philosophic interest, this distinction hardly seems to deserve the pivotal role assigned to it in the literature. (shrink)

Darwinists classify biological traits either by their ancestry (homology) or by their adaptive role. Only the latter can provide traditional natural kinds, but only the former is practicable. Process structuralists exploit this embarrassment to argue for non-Darwinian classifications in terms of underlying developmental mechanisms. This new taxonomy will also explain phylogenetic inertia and developmental constraint. I argue that Darwinian homologies are natural kinds despite having historical essences and being spatio-temporally restricted. Furthermore, process structuralist explanations of biological form require an unwarranted (...) assumption about the space of developmental possibility. (shrink)

The article discusses some aspects of the narrative explanation, and its nature and role in explaining the historical entities. The author defends possibility of formulating status of narrative explanation as scientific and adequate for all historical sciences, here defined as sciences concerned with the spatio-temporally restricted entities. lie suggests that uniqueness and particularity of historical objects are not in contradiction with the claims based on the classical model of explanation in the way of logical inferring. Results of discussion are that (...) undeveloped explanations, like explanation sketches, could be adopt, not just in accordance with pragmatic reasons, but also as the step toward full-fledged or complete explanation trough mediation of developing the scientific research programs on which they are based. (shrink)

This article makes two arguments. First, that advanced information and communication technologies (ICTs) have created multiple parallel flows of consumption that allow us to be productive continuously, in the sense of generating value for the economy. Second, the struggle over social time poses emergent challenges for planning and urban design. After introducing the relevant themes, this article explains how value is derived from labour and the process through which time is made economically productive. Next, it is posited that advanced ICTs, (...) especially mobile devices and associated services, create possibilities for multiple flows of time, freeing consumption from territorial and temporal restrictions, and opening up new forms of labour. This discussion elicits some concerns for those interested in communities and urban space. The article concludes with suggestions for adopting a socio-spatial-temporal outlook to urban planning and design, including designing ‘polyrhythmic’ places and planning for public time. (shrink)

Hume's "other words" which follow his first definition of causality in the "enquiry" are standardly read as giving us a counterfactual conditional. I argue that a more accurate reading reveals them to constitute a factual conditional, One reflecting a temporal restriction implicit in the first definition. The other words, So understood, Tell us merely that a component of the relation defined in the first definition is symmetrical.