In our everyday life, we have the genuine feeling that when something we use works very well, we forget that we are doing something that is mediated by something else. It happens when we read through our glasses, or when we drive home, or when we play guitar. In all those cases, it can be said that the device becomes an extension of our body, or that we have incorporated it. In this paper I want to discuss the extension/incorporation dichotomy (...) as presented in contemporary cognitive sciences. I will present the state of the art in the debate in order to promote a methodological shift, namely to adopt two concept borrowed from Material Engagement Theory developed by Lambros Malafouris. By advocating the concepts of temporality and metaplasticity, I will argue for two different but related things: 1) extension and incorporation don’t have to be conceived only spatially, but temporally. This shift leads to two distinctive implications: first, the sooner two entities establish a prosthetic contact, the higher the chances to reach incorporation; second, extension temporally precedes incorporation; the former being an early-staged phenomenon of – a condition of possibility for – the latter. 2) Such a temporal perspective is at the base of metaplasticity, which describes, in the context of MET, the constant, co-constitutive loop between humans and things: metaplasticity deflates the privileged role traditionally attributed to the subject in the making of phenomenal experience. Finally, I will discuss extension and incorporation in media theory, relying on the concept of radical mediation. (shrink)

Research on temporal comparison has shown that people dissociate themselves from their past to attain a positive self view. Social comparison research has demonstrated that the distinctness of contextually activated information determines whether a recalled self exerts assimilation or contrast effects on the current self. However, hardly any study addressed individual differences. Also, very little is known about whether the ease or difficulty to date past events and experiences influences current self-judgments. We present a new scale capturing the degree (...) of the current self time extension. Three studies support the notion that temporal self-extension determines how past selves are accessed and processed, regarding both the abstractness with which self-knowledge is retrieved and the experienced temporal distance to the past. These findings have important implications for temporal as well as social comparison processes. (shrink)

Según la caracterización extendida del debate entre endurantistas y perdurantistas, los objetos materiales persisten temporalmente o bien en virtud de estar totalmente presentes en distintos momentos de tiempo, o bien en virtud de poseer partes temporales en distintos momentos de tiempo. El presente artículo se propone realizar una defensa de la teoría endurantista de las objeciones presentadas por Barker y Dowe (2003; 2005) y Hofweber y Velleman (2011). Dichas objeciones intentan mostrar que el Endurantismo (i) supone lógicamente la tesis característica (...) de la teoría perdurantista y (ii) es internamente incoherente. En contra de estas objeciones, argumento que al menos en algunas de sus versiones, la teoría endurantista es perfectamente coherente y no supone ningún compromiso con la existencia de partes temporales. (shrink)

Developed by Arthur Prior, Temporal Logic allows to represent temporal information on a logical system using modal operators such as P, F, H or G, whose intuitive meaning is “it was sometime in the Past...”, “it will be sometime in the Future...”, “it Has always been in the past...” and “it will always Going to be in the future...” respectively. Valuation of formulae built from these operators are carried out on Kripke semantics, so Modal Logic and Temporal (...) Logic are consequently related. In fact, Temporal Logic is an extension of Modal one. Even when both logics mechanisms are able to formalize modal-temporal information with some accuracy, they suffer from a lack of expressiveness which Hybrid Logic can solve. Indeed, one of the problems of Modal Logic consists in its incapacity of naming specific points inside a model. As Temporal Logic is based on it, it cannot make such a thing neither. But First-Order Logic does can by means of constants and equality relation. Hybrid Logic, which results from combining Modal Logic and First-Order Logic, may solve this shortcoming. The main aim of this paper is to explain how Hybrid Logic emanates from Modal and Temporal ones in order to show what it adds to both logics with regard to information representation, why it is more expressive than them and what relation it maintains with the First-Order Correspondence Language. (shrink)

The temporal logic KtT4 is the modal logic obtained from the minimal temporal logic Kt by requiring the accessibility relation to be reflexive and transitive. This article aims, firstly, at providing both a model-theoretic and a proof-theoretic characterisation of a four-valued extension of the temporal logic KtT4 and, secondly, at identifying some of the most useful properties of this extension in the context of partial and paraconsistent logics.

I explicate and defend a non-standard theory of persistence, which I calltransdurantism. In short, transdurantism is the view is that objects persist by being temporally extended simples. Transdurantism is sometime misrepresented as a version of endurantism. Other times, transdurantism is misrepresented as a version of perdurantism. But I argue transdurantism must be disambiguated from perdurantism and endurantism—when endurantism, perdurantism, and transdurantism are properly construed, transdurantism stands apart from the other theories of persistence and we can better understand the distinct burdens (...) they each bear. I also argue that the transdurantist is capable of handling several key problems found in the persistence literature at least as well as her rivals, but she does face her own unique challenges. (shrink)

I defend what I take to be a genuinely Kantian view on temporal extension: time is not an object but a human horizon of concrete particulars. As such, time depends on the existence of embodied human subjects. It does not, however, depend on those subjects determined as spatial objects. Starting with a realist notion of “apperception” as applied to indexical space, I proceed with the need for external criteria of temporal duration. In accordance with Kant’s Second Analogy of (...) Experience, these criteria are found in concepts and laws of motion and change. I then see what follows from this for a reasonable notion of transcendental idealism. Finally, in support of my Kantian conclusions, I argue for the transcendentally subjective nature of particular temporal extension. (shrink)

We develop a timeout extension of propositional linear temporal logic to specify timing properties of timeout-based models of real-time systems. A timeout is used to model the execution of an action marking the end of a delay. With a view to expressing such timeout constraints, ToLTL uses a dynamic variable to abstract the timeout behaviour in addition to a variable which captures the global clock and some static timing variables which record time instances when discrete events occur. We propose (...) a corresponding timeout tableau for satisfiability checking of the ToLTL formulas. Further we prove that the validity checking for such an extended logic remains PSPACE-complete. Under discrete time semantics, with bounded timeout increments, the model-checking problem which verifies if a ToLTL-formula holds in a timeout Kripke structure is also shown to be PSPACE complete. We further prove that ToLTL, when interpreted over discrete time, can be embedded in the monadic second-order logic with.. (shrink)

The main task of this paper is to understand if and how static images like photographs can represent and/or depict temporal extension (duration). In order to do this, a detour will be necessary to understand some features of the nature of photographic representation and depiction in general. This important detour will enable us to see that photographs (can) have a narrative content, and that the skilled photographer can 'tell a story' in a very clear sense, as well as control (...) and guide the attention of the spectator of the photograph. The understanding and defence of this claim is a secondary aim of this paper, and it will then allow us to provide a good treatment of the particular case of photographic representation and depiction of temporal extension. (shrink)

This work concerns the use of operators for past and future contingency in Priorean temporal logic. We will develop a system named C_t, whose language includes a propositional constant and prove that (I) C_t is complete with respect to a certain class of general frames and (II) the usual operators for past and future necessity are definable in such system. Furthermore, we will introduce the extension C_t(lin) that can be interpreted on linear and transitive general frames. The theoretical result (...) of the current work is that contingency can be treated as a primitive notion in reasoning about temporal modalities. (shrink)

We present Dynamic Epistemic Temporal Logic, a framework for reasoning about operations on multi-agent Kripke models that contain a designated temporal relation. These operations are natural extensions of the well-known “action models” from Dynamic Epistemic Logic. Our “temporal action models” may be used to define a number of informational actions that can modify the “objective” temporal structure of a model along with the agents’ basic and higher-order knowledge and beliefs about this structure, including their beliefs about (...) the time. In essence, this approach provides one way to extend the domain of action model-style operations from atemporal Kripke models to temporal Kripke models in a manner that allows actions to control the flow of time. We present a number of examples to illustrate the subtleties involved in interpreting the effects of our extended action models on temporal Kripke models. We also study preservation of important epistemic-temporal properties of temporal Kripke models under temporal action model-induced operations, provide complete axiomatizations for two theories of temporal action models, and connect our approach with previous work on time in DEL. (shrink)

Temporal externalism (TE) is the thesis (defended by Jackman (1999)) that the contents of some of an individual’s thoughts and utterances at time t may be determined by linguistic developments subsequent to t. TE has received little discussion so far, Brown 2000 and Stoneham 2002 being exceptions. I defend TE by arguing that it solves several related problems concerning the extension of natural kind terms in scientifically ignorant communities. Gary Ebbs (2000) argues that no theory can reconcile our ordinary, (...) practical judgments of sameness of extension over time with the claim that linguistic usage determines word extensions. I argue that Ebbs shows at most that no theory other than TE can effect this reconciliation. Furthermore, while Ebbs’ argument undermines Jessica Brown’s solutions to two closely related problems about natural kind term extensions (Brown 1998), TE can solve both problems without difficulty. Some criticisms of TE are briefly addressed as well. (shrink)

La dissonance permanente de l’être.L’extension du champ transcendental dans Phénoménologie de la perceptionRépondant aux reproches d’idéalisme subjectif qui hantent la Phénoménologie de la perception depuis sa publication, le présent essai affirme que l’intention deMerleau-Ponty dans ce texte n’est pas de soutenir la primauté ontologique de la conscience constituante transcendantale, mais de restaurer une certaine« épaisseur temporelle » (Merleau-Ponty 1945, 459) à la théorie de la genèse du sens. Dans Le champ phénoménal, Le cogito, et finalement dans certaines des réflexions de (...) Merleau-Ponty sur la peinture, l’enjeu dans sa conception du champ transcendantal n’est pas une nouvelle théorie de la consciencetranscendantale, mais la possibilité de penser les conditions du sens d’une manière qui reconnaît leur extension temporelle. Le résultat est que la réductionphénoménologique ne se résout pas à une série de conditions éternitaires, mais dévoile le champ transcendantal comme la dissonance permanente, temporelle de l’être dans son éclatement expressif : le champ transcendantal n’est donc pas, par conséquent, un λόγος, accordingly, mais un cri.La permanente dissonanza dell’essere.L’estensione del campo trascendentale in Fenomenologia della percezioneRispondendo alle osservazioni critiche riguardo il residuo di idealismo soggettivistico che hanno perseguitato Fenomenologia della percezione fin dalla sua pubblicazione, questo saggio afferma che l’intenzione di Merleau-Ponty in quest’opera non è sostenere il primato ontologico del trascendentale, della coscienza costituente, bensì restituire un certo “spessore temporale” (Merleau-Ponty, Phénoménologie de la perception, 456) alla comprensione della genesi del senso. A partire da Le champ phenomenal, Le cogito, ed infine da alcune riflessioni merleau-pontiane sulla pittura, quello che è in gioco nella presa in conto del campo trascendentale non è una nuova teoria della coscienza trascendentale, ma la possibilità di pensare le condizioni del senso in un modo che ne riconosca l’estensione temporale. Il risultato è che la riduzione fenomenologica non si risolve in una serie di condizioni eternitarie, ma dischiude invece il campo trascendentale come la permanente dissonanza temporale dell’essere nel suo éclatement espressivo: il campo trascendentale, dunque, non è un λόγος, ma un grido. (shrink)

We show that monadic intuitionistic quantifiers admit the following temporal interpretation: “always in the future” (for$\forall $) and “sometime in the past” (for$\exists $). It is well known that Prior’s intuitionistic modal logic${\sf MIPC}$axiomatizes the monadic fragment of the intuitionistic predicate logic, and that${\sf MIPC}$is translated fully and faithfully into the monadic fragment${\sf MS4}$of the predicate${\sf S4}$via the Gödel translation. To realize the temporal interpretation mentioned above, we introduce a new tense extension${\sf TS4}$of${\sf S4}$and provide a full and (...) faithful translation of${\sf MIPC}$into${\sf TS4}$. We compare this new translation of${\sf MIPC}$with the Gödel translation by showing that both${\sf TS4}$and${\sf MS4}$can be translated fully and faithfully into a tense extension of${\sf MS4}$, which we denote by${\sf MS4.t}$. This is done by utilizing the relational semantics for these logics. As a result, we arrive at the diagram of full and faithful translations shown in Figure 1 which is commutative up to logical equivalence. We prove the finite model property (fmp) for${\sf MS4.t}$using algebraic semantics, and show that the fmp for the other logics involved can be derived as a consequence of the fullness and faithfulness of the translations considered. (shrink)

In this paper, we study the introduction of modal past temporal operators in Temporal Equilibrium Logic, an hybrid formalism that mixes linear-time modalities and logic programs interpreted under stable models and their characterisation in terms of Equilibrium Logic. We show that Kamp’s translation can also be used to translate the new extension of TEL with past operators into Quantified Equilibrium Logic. Additionally, we provide a method for removing past operators that consists in replacing past-time subformulas by fresh auxiliary (...) atoms, obtaining an equivalent formula, modulo the original alphabet. (shrink)

Despite the salient experience of encoding threatening events, these memories are prone to distortions and often non-veridical from encoding to recall. Further, threat has been shown to preferentially disrupt the binding of event details and enhance goal-relevant information. While extensive work has characterised distinctive features of emotional memory, research has not fully explored the influence threat has on temporal memory, a process putatively supported by the binding of event details into a temporal context. Two primary competing hypotheses have (...) been proposed; that threat can impair or enhance temporal memory. We analysed two datasets to assess temporal memory for an in-person haunted house experience. In study 1, we examined the temporal structure of memory by characterising memory contiguity in free recall as a function of individual levels of heart rate as a proxy of threat. In study 2, we replicated marginal findings of threat-related increases in memory contiguity found in study 1. We extended these findings by showing threat-related increases in recency discriminations, an explicit test of temporal memory. Together, these findings demonstrate that threat enhances temporal memory regarding free recall structure and during explicit memory judgments. (shrink)

Temporal externalists expand Putnam’s and Burge’s semantic externalisms to argue that later uses of words transform the semantic significance of earlier uses. Conflicting intuitions about temporal externalism often turn on different conceptions of linguistic practice, which have mostly not been thematically explicated. I defend a version of temporal externalism that replaces the familiar regularist and normative-regulist conceptions of linguistic practice or use. This alternative identifies practices neither by regularities of use, nor by determinate norms governing their constituent (...) performances, but by the ways those performances bear upon and are accountable to one another. Performances are intelligible as part of a larger pattern of practice, but different performances extend that pattern in partially conflicting ways. The essentially anaphoric concepts of “issues” and “stakes” allow us to talk about how alternative extensions of past performance conflict or otherwise mis-align , and what differences it would make to extend the practice in one way rather than another . The result is to recognize both the interdependence of linguistic performances, and the open texture of concepts, by situating them within broader patterns of discursive interaction with changing circumstances. (shrink)

As Merleau-Ponty points out, our sense of time is that of passage. This demands that we think of time both as extended—that is, as including the past and the future—and as now, the latter being conceived as the point of expiration. The difficulty comes when try to think these separately. To consider time as extended is to think of it in terms of space—i.e., in terms of the “parts outside of parts” definitive of space. The simultaneous existence of such parts (...) seems to exclude expiration. When, however, we consider time in terms of expiration, we face the problem of when the now expires. It cannot cease to exist in itself, since then it existed. It also cannot cease in another now, since then it did not exist. Such difficulties indicate that something is missing—something presupposed by both, which would allow us to think of expiration and temporal extension together. In this article, I argue that what is missing is the body. Its self-presence is behind these two aspects of time. (shrink)

I present a variant of with time, called, interpreted in standard Kripke semantics. On the syntactic level, is nothing but the extension of atemporal individual by: the future tense and past tense operators, and the operator of group agency for the grand coalition. A sound and complete axiomatisation for is given. Moreover, it is shown that supports reasoning about interesting normative concepts such as the concepts of achievement obligation and commitment.

Summary Verbs of creation (create, make, paint) are not transparent. The object created does not exist during the event time but only thereafter. We may call this type of opacity temporal opacity. I is to be distinguished from modal opacity, which is found in verbs like owe or seek. (Dowty, 1979) offers two analyses of creation verbs. One analysis predicts that no object of the sort created exists before the time of the creation. The other analysis says that the (...) object exists throughout the act of creation. I investigate three theories: Theory I says that no object of the sort created and which is caused by the very act of creation exists before the creation. In this theory, verbs of creation must embed a property. Theory II can regard the indefinite object of a creation verb as a quantifier and gives it wide scope with respect to the verb. The theory has to make sure that the objects quantified over exist only after the event. While Theory I and II start from the assumption that the extension of all nouns depend on time, Theory III says that Individual Level predicates do not depend on time. This ontology will enable us to treat verbs of creation as first order relations. The theory will entail that a picture does not mean the same as there is a picture. The paper discusses various approaches to the problem: Krifka, Parsons, Landman, Kratzer and Zucchi. (shrink)

Recent studies have revealed that the temporal lobe, a cortical region thought to be in charge of episodic and semantic memory, is involved in creative insight. This work examines the contributions of discrete temporal regions to insight. Activity in the medial temporal regions is indicative of novelty recognition and detection, which is necessary for the formation of novel associations and the “Aha!” experience. The fusiform gyrus mainly affects the formation of gestalt-like representation and perspective taking. The anterior (...) and posterior middle temporal gyri are individually associated with extensive semantic processing and inhibiting salient or routine word associations, which are necessary to form non-salient, novel and remote associations. The anterior and posterior superior temporal gyri are individually responsible for integrating/binding and accessing various types of available conceptual representations. Based on the current knowledge, an integrated model of the temporal lobe's role in insight and some future directions are proposed. (shrink)

Charles Sanders Peirce is best known as the founder of pragmatism, but the name that he preferred for his overall system of thought was ‘‘synechism’’ because the principle of continuity was its central thesis. He considered time to be the paradigmatic example and often wrote about its various aspects while discussing other topics. This essay draws from many of those widely scattered texts to formulate a distinctively Peircean philosophy of time, incorporating extensive quotations into a comprehensive and coherent synthesis. Time (...) is not an existential subject with past, present, and future as its incompatible predicates, but rather a real law enabling things to possess contrary qualities at its different determinations, and Peirce identifies four classes of such states based on when and how they are realized. Because time is continuous, it is not composed of instants, and even the present is an indefinite lapse during which we are directly aware of constant change. The accomplished past is perpetually growing as the possibilities and conditional necessities of the future are actualized at the present, and the entire universe evolves from being utterly indeterminate toward being absolutely determinate. Nevertheless, time must return into itself even if events are limited to only a portion of it, a paradox that is resolved with the aid of projective geometry. Temporal synechism thus touches on a broad spectrum of philosophical issues including mathematics, phenomenology, logic, and metaphysics. (shrink)

The article presents Erwin W. Straus’ unpublished manuscript “Temporal Horizons” from 1952. In the paper, in addition to an extensive philosophical discussion with St. Augustine, Henri Bergson and Sigmund Freud, Straus elaborates on his idea of a unified view of temporal experience, comprising both the personal and the impersonal dimensions of time. The manuscript also contains an interview with a psychotic patient, which is supposed to exemplify Straus' core idea on the psychotic temporal experience, according to which (...) the break of the invisible bond between immanent or personal, and clock or impersonal time leads to a loss of a sense of reality. (shrink)

Although it receives less attention, (Lewis in Noûs 13:455–476, 1979. https://doi.org/10.2307/2215339) admitted that the branching-time(-like) model fits a wide range of counterfactuals, including (Nix) ‘If Nixon had pressed the button, there would have been a nuclear war’, which was raised by (Fine in Mind 84:451–458, 1975). However, Lewis then claimed that similarity analysis is more general than temporality analysis. In this paper, we do not scrutinise his claim. Instead, we re-analyse (Nix) not only model-theoretically but also proof-theoretically from the ‘meaning-as-use’ (...) and ‘inferentialist’ points of view. Then, we re-formalise (Nix) in a natural extension of hybrid tense logic, which we refer to as hybrid tense logic for temporal conditionals (HTL$$_{TC}$$ TC ). Consequently, we find that not only among counterfactuals, but also among indicatives, there is a wide range of conditionals whose formalisation in HTL$$_{TC}$$ TC is appropriate. We refer to these conditionals as temporal conditionals. This suggests a new logical generality that temporality analysis has but similarity analysis does not, from which emerges a new logical perspective on conditionals in general: temporal ones and others. (shrink)

We present an epistemic default logic, based on the metaphore of a meta-level architecture. Upward reflection is formalized by a nonmonotonic entailment relation, based on the objective facts that are either known or unknown at the object level. Then, the meta (monotonic) reasoning process generates a number of default-beliefs of object-level formulas. We extend this framework by proposing a mechanism to reflect these defaults down. Such a reflection is seen as essentially having a temporal flavour: defaults derived at the (...) meta-level are projected as facts in a next object level state. In this way, we obtain temporal models for default reasoning in meta-level formalisms which can be conceived as labeled branching trees. Thus, descending the tree corresponds to shifts in time that model downward reflection, whereas the branching of the tree corresponds to ways of combining possible defaults. All together, this yields an operational or procedural semantics of reasoning by default, which admits one to reason about it by means of branching-time temporal logic. Finally, we define sceptical and credulous entailment relations based on these temporal models and we characterize Reiter extensions in our semantics. (shrink)

Tactile exploration often involves sequential touches interspersed with stimulus-free durations. Whereas it is obvious that texture-related perceptual variables, irrespective of the encoding strategy, must be stored in memory for comparison, it is rather unclear which of those variables are held in memory. There are two established variables—“intensity” and “frequency”, which are “temporally global” variables because of the long stimulus integration interval required to average the signal or derive spectral components, respectively; on the other hand, a recently established third contender is (...) the “temporally local” variable that codes for kinematic profiles of very short, suprathreshold events in the vibrotactile signal. Here, we present the first psychophysical evidence that temporally local variables can be stored in memory. To that end, we asked participants to detect changes in pulsatile indentation stimuli at their fingertips with and without a gap of 1 s between stimulus presentations. The stimuli either contained global variables alone, or a mix of local and global variables. We found, first, that humans are much better at detecting a change in stimuli when local variables are available rather than global ones alone—as evident by the fact that 21 compared to only 6 participants out of 25 yielded a valid psychophysical curve, respectively. Second, this observation persists even when there is a gap between the stimuli, implying local variables must be stored in memory. Third, an extensive array of relevant intensity definitions failed to explain participants’ performance in any consistent manner, which implies that perceptual decisions were less likely to be driven by intensity coding. Taken together, our results suggest that humans perform pulsatile change detection utilizing local pulse shape, and to a lesser degree global pulse rate, and that both parameters can be stored in memory. (shrink)

This study focuses on the devices implemented in classical Indian texts on ritual and language in order to develop a structure of rules in an economic and systematic way. These devices presuppose a spatial approach to ritual and language, one which deals for instance with absences as substitutions within a pre-existing grid, and not as temporal disappearances. In this way, the study reveals a key feature of some among the most influential schools of Indian thought. The sources are Kalpasūtra, (...) Vyākaraṇa and Mīmāṃsā, three textual traditions which developed alongside each other, sharing - as the volume shows - common presuppositions and methodologies. The book will be of interest for Sanskritists, scholars of ritual exegesis and of the history of linguistics. - Cover. (shrink)

ABSTRACT Temporal externalism is the view that the meanings and extensions of linguistic expressions can be partly determined by contingent linguistic and/or conceptual developments that take place after the time of utterance. In this paper, I first clarify what it would take for temporal externalism to be true, relying on the notion of burden-shifting dispositions. I then go on to argue that existing thought experiments give us reason to expect that temporal externalism can be true of some (...) natural kind terms, and present a new thought experiment suggesting it can also be true of some proper names. (shrink)

After the seminal work of Kraus, Lehmann and Magidor (formally known as the KLM approach) on conditionals and preferential models, many aspects of defeasibility in more complex formalisms have been studied in recent years. Examples of these aspects are the notion of typicality in description logic and defeasible necessity in modal logic. We discuss a new aspect of defeasibility that can be expressed in the case of temporal logic, which is the normality in an execution. In this contribution, we (...) take Linear Temporal Logic (LTL) as case study for this defeasible aspect. LTL has found extensive applications in Computer Science and Artificial Intelligence, notably as a formal framework for representing and verifying computer systems that vary over time. However, some systems may presents exceptions at some innocuous time points where they can be tolerated, or conversely, exceptions at other crucial time points where they need to be addressed. In order to ensure the reliability of such systems, we study a preferential extension of LTL, called defeasible linear temporal logic (LTL ~ ). In the first part of this paper, we show how semantics of KLM's preferential models can be integrated with LTL. We also discuss the addition of non-monotonic temporal operators as a way to formalise defeasible properties of these systems. The second part of this paper is a study of the satisfiability problem of LTL ~ sentences. Based on Sistla and Clarke's work on the complexity of the classical LTL language, we show the bounded-model property of two fragments of LTL ~ language. Moreover, we provide a procedure to check the satisfiability of sentences in both of these fragments. (shrink)

Another possible source of this neglect in the United States is the work of Mark Okrent. In Heidegger's Pragmatism Okrent does, indeed, take seriously the importance of the account of temporality for the project of Sein und Zeit, as originally conceived by Heidegger. However, like Dreyfus, Okrent is so taken by the pragmatic character of the analyses in Division I that he ignores Heidegger's analysis of authentic existence and thereby any bearing that this analysis might have on the account of (...) temporality; in addition, he eschews Heidegger's extensive talk of "'ecstases' of temporality and their 'horizonal schemata'" as inappropriate, picture-thinking holdovers from Husserl. Perhaps even more significant for contemporary assessments of Heidegger's account of temporality as the meaning of 'to be' is Okrent's contention that the account is basically aporetic. Okrent fails to find in Sein und Zeit "the conceptual resources" for distinguishing between "'presence' in the sense of presentability and presence as the ground of presentability." As a result, he concludes, Heidegger's argument is transcendental and thus verificationist, implying a kind of metaphysical pragmatism, ultimately distasteful to Heidegger and a prime source of the Kehre. (shrink)

Currently, anomalous lived temporality is not included in the main diagnostic criteria or standard symptom checklists. In this article, we present the Transdiagnostic Assessment of Temporal Experience, a structured interview that can be used by researchers and clinicians without a comprehensive phenomenological background to explore abnormal time experiences in persons with abnormal mental conditions regardless of their diagnosis. When extensive data gathered by this scale are available, it will be possible to delineate well-defined anomalous lived temporality profiles for each (...) psychopathological disorder. This instrument may also prove useful for clinicians by providing a more refined assessment of relevant psychopathological symptoms and an in-depth understanding of the patient’s abnormal behaviour as related to specific types of time experience. In the first part of the article, we provide a brief overview of the phenomenological concept of temporality, including pre-phenomenal and phenomenal time, synthesis, conation and synchronization, and of abnormal time experiences in persons affected by psychopathological conditions. In the following part, we describe the basic structure of the interview that comprises seven categories corresponding to the abnormal features of lived temporality: anomalies of synchrony, of time structure, of implicit time flow, of explicit time flow, and anomalous experiences of the past, the present and the future. The paper also includes a section on administration and scoring of the TATE scale, the complete interview and a Likert table for quantifying the frequency, intensity and interference with daily life of the phenomena explored. (shrink)

In this paper we consider a claim that in the natural world there is no fact of the matter about the spatio-temporal separation of events. In order to make sense of such a notion and construct useful models of the world, it is proposed to use elements of a non-classical logic. Specifically, we focus here on causality, as a concept tightly related with the assumption of there being distinct, separate events, proposing a model according to which it can be (...) considered to be spatio-temporally graded. It is outlined how this can be described using the formalism of fuzzy sets theory, with the degree of causality varying between 1, that is no separation between causes and effects, and 0, that is perfect separation between causes and their effects as in classical ’billiard balls’ models of physical systems, namely such based on the notion of ideal mathematical point. Our model posits that subjective moments of time are like fuzzy sets, with their extension determined by local degrees of causality, resulting from information integration processes extended gradually in space and time. This, we argue, is how a notion of causality could be, to a certain degree, spared and reconciled with a variant of Bergsonian duration theory as formulated in the theory of continuous change. Relation of the proposed viewpoint to other theories, as well as possible solutions it suggests to various problems, in particular the measurement problem, are also discussed. (shrink)

The enactive approach conceives of cognition as acts of sense-making. A requirement of sense-making is adaptivity, i.e., the agent’s capacity to actively monitor and regulate its own trajectories with respect to its viability constraints. However, there are examples of sense-making, known as ultrafast cognition, that occur faster than the time physiologically required for the organism to centrally monitor and regulate movements, for example, via long-range neural feedback mechanisms. These examples open a clarificatory challenge for the enactive approach with respect to (...) how to operationalize monitoring and regulation, and with respect to the temporal scale of sense-making, which has traditionally been limited to the here-and-now in accordance with the axiom of structural determinism. We explore possible responses to this challenge and suggest that this axiom should be explicitly rejected, in particular, we suggest that adaptivity is a property of organism–environment interactions over a time span that includes both present and past conditions. Ultrafast performances are thus no longer a challenge for the enactive approach, because the constitutive basis of their normativity is spatiotemporally extensive. This is in agreement with recent developments in different varieties of enactivism, which all converge toward assigning a constitutive role to an agent’s history of interactions. (shrink)

Perhaps I should define what I mean by "ontological status" here, since much of the ensuing argument is concerned with it. I do not mean verifiability or confirmability in any reductive sense, physicalistically or phenomenologically, although it is perfectly clear that the description of how things exist requires such criteria. But to translate such criteria into ontological proofs, of the sort "what has effects, is real" is to fall prey to circularity. The alternative to such an apparently "inferred" ontology is (...) not necessarily pure, non-ontological descriptionism. Hume's suggestion was that "whatever we conceive, we conceive to be existent." In the context of Hume's conditional view of conception, such an attribution of existence to what we conceive is always probative, hypothetical. In this sense, the criteria for verifiability or confirmability also presuppose existence, even if only as the matrix in which hypothetical objects or events either do or do not have a place. If Hume's formulation is understood reflexively, then not only is what we conceive conceived to be existent, but the conception itself is conceived to be existent, since we can conceive of the fact of conceiving. This involves, of course, a distinction of levels, and the whole range of problems of metalanguages and types. For my purposes here, I shall only point out that, over the range of levels, what we conceive is neither more nor less existent than the conception itself; the empirical concept is neither more nor less existent than its extension. Existence is not a matter of degree, whatever the distinction of levels or types. Yet, there is a certain sense to the common sense appreciation that some things seem to be "more real" than others. What does break the circle of a uniform, non-modal existentiality, and makes sense out of the vaguely intuited "more real," is the hypothesis of derivative relationships between existences, i.e., the hypothesis of genetic sequence and the emergence of qualities in this sequence. In this sense, to establish the ontological status of judgment is to establish the derivative sequence of which judgment is the final term. Yet, to establish ontological status in this way, to say things are the way they have become, is to assume that genetic sequence ends, or is abolished in some instantaneous now, outside of which it is meaningless to speak of ontological status. To press this further, every genetic sequence can be differentiated into a series of "nows" each one of which paradoxically constitutes a final term in the series. As derivation has to do with coming-to-be, and apparently ends with being, in the partial sense of being constituted, so ontological status requires the additional parameter of function, as well as derivation; it requires us to speak of effects, which lie beyond the end term in any genetic sequence; to define what is also in terms of what "it" does, or what "it" becomes, or what "it" causes, or with operationism, in terms of "goings-on," without the antecedent subject-term. (shrink)

A theorem for embedding a first-order linear- time temporal logic LTL into its intuitionistic counterpart ILTL is proved using Baratella-Masini's temporal extension of the Gödel-Gentzen negative translation of classical logic into intuitionistic logic. A substructural counterpart LLTL of ILTL is introduced, and a theorem for embedding ILTL into LLTL is proved using a temporal extension of the Girard translation of intuitionistic logic into intuitionistic linear logic. These embedding theorems are proved syntactically based on Gentzen-type sequent calculi.

We introduce and study hierarchies of extensions of the propositional modal and temporal languages with pairs of new syntactic devices: point of reference-reference pointer which enable semantic references to be made within a formula. We propose three different but equivalent semantics for the extended languages, discuss and compare their expressiveness. The languages with reference pointers are shown to have great expressive power (especially when their frugal syntax is taken into account), perspicuous semantics, and simple deductive systems. For instance, Kamp's (...) and Stavi's temporal operators, as well as nominals (names, clock variables), are definable in them. Universal validity in these languages is proved undecidable. The basic modal and temporal logics with reference pointers are uniformly axiomatized and a strong completeness theorem is proved for them and extended to some classes of their extensions. (shrink)

Despite extensive studies, the issue concerning the pragmatic mechanisms leading to causal and temporal interpretations of and remains problematic and has not yet been addressed in its totality within one framework. This paper proposes a solution based on presuppositional mechanisms built into a comprehensive analysis that accounts for both the various interpretations of and-sentences as well as those of other types of sentences involving similar interpretations. This account is a specific part of a unified solution to the knotty problem (...) of different manners of conveying causal and temporal relations both with connectives and also with juxtaposed sentences. It is formulated within the Relevance Nomological Model which provides a general framework for the analysis of causal constructions such as the connective because and why-questions. (shrink)

I argue that the semantic content of thoughts and the linguistic meaning of expressions are things with a history in the sense that they can be made fully intelligible only from the point of view of the future. I defend this position by articulating a version of a view known in the philosophy of language as temporal externalism. Temporal externalism about content is the view that the content of a subject’s thoughts and utterances at a time t depends (...) on features of the linguistic practices of her community after t. There are two different ways in which temporal externalism can be developed. First, one can take it to be the view according to which the meaning of an expression is given by the whole pattern of use, including future ones, of that expression. Alternatively, one can interpret temporal externalism as the view that the meaning of a speaker’s utterance is determined by the norms that govern or constrain her linguistic behaviour. These norms, which may be instituted at a later date, place their authoritative stamp upon prior conduct. I show that the first version of temporal externalism faces severe objections from which the second version is immune. I also provide a defence of this second position through an extensive discussion of some thought experiments. (shrink)

With the popularity of location-based social networks, location prediction has become an important task and has gained significant attention in recent years. However, how to use massive trajectory data and spatial-temporal context information effectively to mine the user’s mobility pattern and predict the users’ next location is still unresolved. In this paper, we propose a novel network named STSAN, which can integrate spatial-temporal information with the self-attention for location prediction. In STSAN, we design a trajectory attention module to (...) learn users’ dynamic trajectory representation, which includes three modules: location attention, which captures the location sequential transitions with self-attention; spatial attention, which captures user’s preference for geographic location; and temporal attention, which captures the user temporal activity preference. Finally, extensive experiments on four real-world check-ins datasets are designed to verify the effectiveness of our proposed method. Experimental results show that spatial-temporal information can effectively improve the performance of the model. Our method STSAN gains about 39.8% Acc@1 and 4.4% APR improvements against the strongest baseline on New York City dataset. (shrink)

Rudolph Carnap’s Aufbau was one of the more ambitious philosophical programs of the twentieth century. His proposal was to begin with elementarerlebnisse —cross sections of one total stream of experience temporally limited by the least perceivable segment of time—and an undefined primitive relation, recollection of similarity, holding between the elementary experiences. Without any further non-logical terms, the goal was to utilize a logic, such as that of Principia Mathematica, and actually to construct logically, or to define formally, all the kinds (...) of entities, phenomenal, physical, psychological and cultural, which we usually take to make up our world. Unfortunately, the program is not completed. Only what Carnap refers to as the lower levels is actually formally constructed—that is, what might be called the phenomenal level. The remainder of the constructional program is only suggested in outline. (shrink)

ABSTRACT Most theorem provers for Classical Logic transform the input formula into a particular normal form. This tranformation is done before the execution of the algorithm or it is integrated into the deductive algorithm. This situation is no different for Non-Classical Logics and, particularly, for Temporal Logics. However, unlike classical logic, temporal logic does not provide an extension of the notion of non negative normal form. In this work, we define a temporal negative normal form for the (...) future fragment of the linear time propositional temporal logic, named FNext. The definition saves as much information as possible about implicants and implicates of the input formula and its subformulas. This property is the novelty of this normal form; for example, in [Fis97] the normal form is guided by the separation property and in [Ven86] the normal form provided prepares the input formula to be treated by a resolution method. Moreover, we also introduce an algorithm having linear cost, which transforms the input formula into a temporal negative normal form. Furthermore, in this work we present a new structure and a set of operators over it that allows us to efficiently manage the information about unitary implicants and implicates contained in the subformulae. (shrink)

The next generation of Geographic Information Systems (GIS) is anticipated to automate some of the reasoning required for spatial analysis. An important step in the development of such systems is to gain a better understanding and corresponding modeling practice of when to apply arithmetic operations to quantities. The concept of extensivity plays an essential role in determining when quantities can be aggregated by summing them, and when this is not possible. This is of particular importance to geographic information systems, which (...) serve to quantify phenomena across space and time. However, currently, multiple contrasting definitions of extensivity exist, and none of these suffice for handling the different practical cases occurring in geographic information. As a result, analysts predominantly rely on intuition and ad hoc reasoning to determine whether two quantities are additive. In this paper, we present a novel approach to formalizing the concept of extensivity. Though our notion as such is not restricted to quantifications occurring within geographic information, it is particularly useful for this purpose. Following the idea of spatio-temporal controls by Sinton, we define extensivity as a property of measurements of quantities with respect to a controlling quantity, such that a sum of the latter implies a sum of the former. In our algebraic definition of amounts and other quantities, we do away with some of the constraints that limit the usability of older approaches. By treating extensivity as a relation between amounts and other types of quantities, our definition offers the flexibility to relate a quantity to many domains of interest. We show how this new notion of extensivity can be used to classify the kinds of amounts in various examples of geographic information. (shrink)

Social bots are computer programs that act like human users on social media platforms. Social bot detection is a rapidly growing field dominated by machine learning approaches. In this paper, we propose a complementary method to machine learning by exploring bot detection as a model checking problem. We introduce Temporal Network Logic (TNL) which we use to specify social networks where agents can post and follow each other. Using this logic, we formalize different types of social bot behavior with (...) formulas that are satisfied in a model of a network with bots. We also consider an extension of the logic where we explore the expressive power of including elements from hybrid logic in our framework. We give model checking algorithms for TNL and its hybrid extension, and show that the complexity of the former is in p and the latter in pspace. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Tracing a Traumatic Temporality: Levinas and Derrida on Trauma and ResponsibilityCathrine Bjørnholt Michaelsen (bio)For more than three decades, Jacques Derrida and Emmanuel Levinas develop their conceptions of trauma and responsibility in close, critical, and engaged readings of each other’s works.1 In a text first published in 1973, Levinas explicitly considers different aspects and implications of Derrida’s “new style of thought,” as well as his own relation to Derrida, describing (...) their recurring crossing of paths as “a contact at the heart of a chiasmus,” which is further said to constitute “the very modality of the philosophical encounter” (PN 56, 62).Since the publication of “Force of Law: The ‘Mystical Foundation of Authority’” in 1990, in which Derrida makes the somewhat surprising announcement that justice can be considered the undeconstructible condition of deconstruction (AR 243), as well as the subsequent publication of Specters of Marx in 1993, which is often designated as the work in which Derrida begins to consider ethico-political concerns more explicitly than hitherto, there has been much scholarly discussion about a so-called “ethical turn” of deconstruction.2 Throughout [End Page 43] the 1990s and up until this day a tendency prevails among certain scholars to strive for the establishment and legitimization of a more or less harmonic accordance between Levinas and Derrida with reference to concepts that preoccupy them both (e.g., “justice,” “hospitality,” “the other,” or “responsibility”). However, as Martin Hägglund has convincingly argued, a certain disjoining of Derrida and Levinas is required in order not to conflate what ultimately amount to two very different styles of writing and thinking. Such disjoining is particularly important when it comes to an issue such as responsibility, which is too often and too quickly categorized as an “ethical issue,” as if such a categorization were self-explanatory.3The aim of this article is not to carry out a comparative study focusing on the similarities and dissimilarities of the writings of Derrida and Levinas. Instead, the article is an attempt to let a “third” voice arise from the ongoing philosophical conversation between Derrida and Levinas, which is neither entirely accordant nor discordant, in order to emphasize a certain traumatic temporality of responsibility that finds a space in both their works while indicating the subtle nuances of disjuncture separating these spaces. In what follows, I therefore wish to explore some of the most significant displacements to which the notions of trauma and responsibility are subjected throughout the writings of Derrida and Levinas, as a result, to some extent at least, of their repeated chiasmic encounters.By way of introduction, it should be noted that both Derrida and Levinas transport the notion of trauma away from its most frequent psychopathological, psychoanalytic, or neurological areas of interpretation, just as they transport the notion of responsibility away from its usual autonomist or decisionist connotations toward a more extensive space of signification.4 Bearing this introductory note in mind, the question concerning what precisely enables this transport of trauma will direct the approach of the article. In other words, the article will question what it is about the structure of “trauma” or “traumatism” that allows the somewhat “fearsome” generalizations—to employ [End Page 44] Derrida’s own formulation from “Typewriter Ribbon”5 —to take place in the writings of both Derrida and Levinas.The suggestion in what follows will be that it is the peculiar temporality of trauma that allows for the generalizations, openings, and disseminations of trauma in Derrida and Levinas. More specifically, this traumatic temporality inscribes itself through an interruption of what might, with a reference to Heidegger, be called the vulgar understanding of time.6 Drawing attention to the temporality of trauma as a vehicle of transportation, the article advances in six main sections, each exploring different aspects of the relationship between temporality, trauma, and responsibility displayed in Derrida and Levinas.Traumatic TemporalityAs is well known, at least since Freud, trauma only becomes a trauma belatedly, or after its own fact, since a trauma only manifests itself by withdrawing itself in the traces it leaves behind, that is, by its aftermath and its effects of repetition and deferral. Trauma is somehow... (shrink)

In terms of temporality of logic, the relation between "before" and "after" is an inverse relation, as is the relation between intension and extension. Reversal of temporality of human cognition is accompanied by corresponding reversal between intension and extension. Such reversal is based on lateral reversal of brain hemisphere locus of time information. A similar inverse relation exists between self as subject and self as object. Extreme objectification of self is associated with brain hemisphere lateral reversal of time information, indicating (...) that subject-object reversal is similar in nature to reversal of temporality of cognition. Dialectical nature of self is based on contradiction between self as subject and self as object. Synthesis arising from such contradiction may be regarded as reality of self. (shrink)

In addition to his artistic work, Paul Klee was a theoretician of the highest rank. Readings of his extensive writings evidence that he was a transformer of the immemorial eidetic concept of form toward its temporalization. As a standard he uses the mobility of nature and the cosmos, to which he anchors his generative concept of form. This essay concerns a reconstruction of some of his lines of argumentation from manuscripts that were not published during his lifetime. Among those are (...) the role of the point as the source of linear and chromatic expression, the relation between kinesis and stasis in the work, and the models with which he analyzes the role of the artist and his position in the world. Klee’s insights are fruitful not only for an understanding of his own work but also for a history of the concept of form in the twentieth century. (shrink)

Prior's approach to time has been neglected by semanticists for several reasons. The main one, we believe, is the inability of Priorean tense logic to refer to times. The second one, is the inability to account for some important features of natural language such as temporal anaphora and the role of temporal constructions in discourse. Priorean tense logic has, however, one important advantage over other accounts: the internal perspective of time (due to its modal nature). This paper examines (...) extensions of Priorean tense logic in which reference to times is possible, focusing on the so-called hybrid temporal logic. We will outline some of its main features and analyze some of its philosophical implications. (shrink)