We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results.

Perception of time is susceptible to distortions; among other factors, it has been suggested that the perceived duration of a stimulus is affected by the observer’s expectations. It has been hypothesized that the duration of an oddball stimulus is overestimated because it is unexpected, whereas repeated stimuli have a shorter perceived duration because they are expected. However, recent findings suggest instead that fulfilled expectations about a stimulus elicit an increase in perceived duration, and that the oddball (...) effect occurs because the oddball is a target stimulus, not because it is unexpected. Therefore, it has been suggested that top-down attention is sometimes sufficient to explain this effect, and sometimes only necessary, with an additional contribution from saliency. However, how the expectedness of a target stimulus and its salient features affect its perceived duration is still an open question. In the present study, participants’ expectations about and the saliency of target stimuli were orthogonally manipulated with stimuli presented on a short (Experiment 1) or long (Experiment 2) temporal scale. Four repetitive standard stimuli preceded each target stimulus in a task in which participants judged whether the target was longer or shorter in duration than the standards. Engagement of top-down attention to target stimuli increased their perceived duration to the same extent irrespective of their expectedness. A small but significant additional contribution to this effect from the saliency of target stimuli was dependent on the temporal scale of stimulus presentation. In Experiment 1, saliency only significantly increased perceived duration in the case of expected target stimuli. In contrast, in Experiment 2, saliency exerted a significant effect on the overestimation elicited by unexpected target stimuli, but the contribution of this variable was eliminated in the case of expected target stimuli. These findings point to top-down attention as the primary cognitive mechanism underlying the perceptual extraction and processing of task-relevant information, which may be strongly correlated with perceived duration. Furthermore, the scalar properties of timing were observed, favoring the pacemaker-accumulator model of timing as the underlying timing mechanism. (shrink)

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In (...) the single-agent case, we show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate. (shrink)

A general class of labeled sequent calculi is investigated, and necessary and sufficient conditions are given for when such a calculus is sound and complete for a finite -valued logic if the labels are interpreted as sets of truth values. Furthermore, it is shown that any finite -valued logic can be given an axiomatization by such a labeled calculus using arbitrary "systems of signs," i.e., of sets of truth values, as labels. The number of labels needed is logarithmic in (...) the number of truth values, and it is shown that this bound is tight. (shrink)

This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined formalism of nested sequents. The extraction of nested calculi from labelled calculi obtains via considerations pertaining to the elimination of structural rules in labelled derivations. Each aspect of the extraction process is motivated and detailed, showing that each nested calculus inherits favorable (...) proof-theoretic properties from its associated labelled calculus. (shrink)

The purpose of this article is to show a structural relationship in Dutch between sentences with the main verb "duren" (last) and specifying complements such as een week (a week) or "drie kwartier" (three quarters of an hour) on the one hand, and sentences with Duration Measuring Adverbials such as "gedurende een week" (for a week), "gedurende die week" (lit: for that week) on the other.

The aim of this paper is to introduce and explain display calculi for a variety of logics. We provide a survey of key results concerning such calculi, though we focus mainly on the global cut elimination theorem. Propositional, first-order, and modal display calculi are considered and their properties detailed.

In ‘Location and Perdurance’ (2010), I argued that there are no compelling mereological or sortal grounds requiring the perdurantist to distinguish the molecule Abel from the atom Abel in Gilmore’s original case (2007). The remaining issue Gilmore originally raised concerned the ‘mass history’ of Adam and Abel, the distribution of ‘their’ mass over spacetime. My response to this issue was to admit that mass histories needed to be relativised to a way of partitioning the location of Adam/Abel, but that did (...) not amount to relativising any fundamental natural intrinsic properties—the latter are all had unrelativised, and (so most perdurantists would say). (shrink)

We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC (...) frames. (shrink)

This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting’s nested calculi naturally arise from their corresponding labelled calculi—for each of the aforementioned logics—via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nested calculi inherit proof-theoretic properties from their associated (...) labelled calculi, such as completeness, invertibility of rules and cut admissibility. Since labelled calculi are easily obtained via a logic’s semantics, the method presented in this paper can be seen as one whereby refined versions of labelled calculi (containing nested calculi as fragments) with favourable properties are derived directly from a logic’s semantics. (shrink)

We review the definition of the Full Bayesian Significance Test (FBST), and summarize its main statistical and epistemological characteristics. We review also the Abstract Belief Calculus (ABC) of Darwiche and Ginsberg, and use it to analyze the FBST’s value of evidence. This analysis helps us understand the FBST properties and interpretation. The definition of value of evidence against a sharp hypothesis, in the FBST setup, was motivated by applications of Bayesian statistical reasoning to legal matters where the sharp hypotheses were (...) defendants statements, to be judged according to the Onus Probandi juridical principle. (shrink)

This paper considers the cognitive penetrability of our experiences of the durations of everyday events. I defend an account of subjective duration based in contemporary psychological and neurobiological research. I show its philosophical adequacy by demonstrating its utility in explain-ing the phenomenology of duration experiences. I then consider whether cognitive penetrability is a problem for these experiences. I argue that, to the contrary, the problem presupposes a relationship between perception and belief that duration perceptions and beliefs do (...) not exhibit. In-stead, the assignment of epistemic features to particular processing stages appears to answer to pragmatic needs, not psychological facts. (shrink)

The physicist J. Richard Gott has given an argument which, if good, allows one to make accurate predictions for the future longevity of a process, based solely on its present age. We show that there are problems with some of the details of Gott's argument, but we defend the core thesis: in many circumstances, the greater the present age of a process, the more likely a longer future duration.

This study focused specifically on determining the extent to which duration of vocational training influence university respectively. In achieving this, two research questions were raised and two research hypotheses were formulated to guide the study. The study adopted a descriptive survey design. The pop study include a total of 123 baking business and 208 computer business centres in the Area. Out of this population, a proportionate stratified sampling technique was used to select 10% resulting in the selection of 12 (...) baking and 21 computer adopted to select 36 and 63 graduate respectively, resulting in a sample of 99 respondents. A rating scale was used as the instrument for data collection. The instrument was administered by the researchers. The data obtained, were analysed using descriptive statistics, while the hypotheses were tested at .05 level of significance using one analysis of variance (One vocational training influenced university graduates job performance in baking and computer business enterprises respectively. Discussions, conclusion and recommendation were all made based on the findings of the study. (shrink)

Wittgenstein’s later works are full of questions about the timing and duration of mental phenomena. These questions are often awkward ones, and Wittgenstein seems to take their awkwardness to be philosophically revealing, but if we ask what it is that these questions reveal then different interpretations are possible. This paper suggests that there are at least six different ways in which the timing of mental phenomena can be awkward. By identifying these we can give sense to some of Wittgenstein’s (...) more cryptic remarks, and doing this enables us to clarify some obscure elements in his picture of the mind, including the distinction between sensations and feelings, and his account of the rational status of those processes out of which rule-following is built. (shrink)

In his Tractatus, Wittgenstein sets out what he calls his N-operator notation which can be used to calculate whether an expression is a tautology. In his Laws of Form, George Spencer Brown offers what he calls a “primary algebra” for such calculation. Both systems are perplexing. But comparing two blurry images can reduce noise, producing a focus. This paper reveals that Spencer Brown independently rediscovered the quantifier-free part of the N-operator calculus. The comparison sheds a flood light on each and (...) from the letters of correspondence we shall find that Russell, as one might have surmised, was a catalyst for both. (shrink)

We argue that the need for commentary in commonly used linear calculi of natural deduction is connected to the “deletion” of illocutionary expressions that express the role of propositions as reasons, assumptions, or inferred propositions. We first analyze the formalization of an informal proof in some common calculi which do not formalize natural language illocutionary expressions, and show that in these calculi the formalizations of the example proof rely on commentary devices that have no counterpart in the (...) original proof. We then present a linear natural deduction calculus that makes use of formal illocutionary expressions in such a way that unique readability for derivations is guaranteed – thus showing that formalizing illocutionary expressions can eliminate the need for commentary. (shrink)

In this essay, I suggest that Spinoza acknowledges a distinction between formal reality that is infinite and timelessly eternal and formal reality that is non-infinite (i. e., finite or indefinite) and non-eternal (i. e., enduring). I also argue that if, in Spinoza’s system, only intelligible causation is genuine causation, then infinite, timelessly eternal formal reality cannot cause non-infinite, non-eternal formal reality. A denial of eternal-durational causation generates a puzzle, however: if no enduring thing – not even the sempiternal, indefinite individual (...) composed of all finite, enduring things – is caused by the infinite, eternal substance, then how can Spinoza consistently hold that the one infinite, eternal substance is the cause of all things and that all things are modes of that substance? At the end of this essay, I sketch how Spinoza could deny eternal-durational causation while still holding that an infinite, eternal God is the cause of all things and that all things are modes. I develop the interpretation more in the companion essay.1 1 In “Spinoza’s Monism II,” in the next issue of this journal. (shrink)

The problem of approximating a propositional calculus is to find many-valued logics which are sound for the calculus (i.e., all theorems of the calculus are tautologies) with as few tautologies as possible. This has potential applications for representing (computationally complex) logics used in AI by (computationally easy) many-valued logics. It is investigated how far this method can be carried using (1) one or (2) an infinite sequence of many-valued logics. It is shown that the optimal candidate matrices for (1) can (...) be computed from the calculus. (shrink)

The aim of this paper is to demonstrate that adjusting Stump and Kretzmann’s “atemporal duration” with la durée, a key concept in the philosophy of Henri Bergson, can respond to the most significant objections aimed at Stump and Kretzmann’s re-interpretation of Boethian eternity. This paper deals with three of these objections: the incoherence of the notion of “atemporal duration,” the impossibility of this duration being time-like, and the problems involved in conceiving it as being related to temporal (...) duration by a relation of analogy. I conclude that “atemporal duration” — when combined with Bergson’s durée to become an “atemporal durée” — is a coherent understanding of divine eternity. (shrink)

In this paper, we present a way to translate the metainferences of a mixed metainferential system into formulae of an extended-language system, called its associated σ-system. To do this, the σ-system will contain new operators (one for each standard), called the σ operators, which represent the notions of "belonging to a (given) standard". We first prove, in a model-theoretic way, that these translations preserve (in)validity. That is, that a metainference is valid in the base system if and only if its (...) translation is a tautology of its corresponding σ-system. We then use these results to obtain other key advantages. Most interestingly, we provide a recipe for building unlabeled sequent calculi for σ-systems. We then exemplify this with a σ-system useful for logics of the ST family, and prove soundness and completeness for it, which indirectly gives us a calculus for the metainferences of all those mixed systems. Finally, we respond to some possible objections and show how our σ-framework can shed light on the “obeying” discussion within mixed metainferential contexts. (shrink)

By pure calculus of names we mean a quantifier-free theory, based on the classical propositional calculus, which defines predicates known from Aristotle’s syllogistic and Leśniewski’s Ontology. For a large fragment of the theory decision procedures, defined by a combination of simple syntactic operations and models in two-membered domains, can be used. We compare the system which employs `ε’ as the only specific term with the system enriched with functors of Syllogistic. In the former, we do not need an empty name (...) in the model, so we are able to construct a 3-valued matrix, while for the latter, for which an empty name is necessary, the respective matrices are 4-valued. (shrink)

It is, without a doubt, a difficult task to address at once the state of philosophy as embodied by the Society for Phenomenology and Existential Philosophy and the place of one’s own thought within it. This is the task that a co-director’s address tries to fill. Whether with a critical reexamination of the phenomenological mode of seeing distinctive of SPEP, of philosophical progress, or of the place of transcontinental philosophy, prior co-directors found ways to subtly chart the windings and turns (...) of the many streams that assemble to form this society.We seem to be, however, at a different juncture, so that another... (shrink)

We give a mathematical definition of the present or 'what is real' and its duration on McTaggart's A-series future/present/past. This is applicable to at least one conception of the block-world, the growing-block, and presentism.

This chapter argues that the space of the thermal pool is central to Tarkovsky’s exploration of the mystery of sacrifice and the pain of exile in Nostalghia. Spatially, the geometry and textures of the pool are echoed throughout the film’s interiors, in hotel corridors and cathedrals. I propose that we can see Tarkovsky’s aesthetic in Nostalgia as one of overflow. The water that initially fills the pool overflows into nearly every scene, as interiors of houses are flooded in dream-like visions, (...) and the echoing sound of dripping water is omnipresent. Thematically, the film explores the way in which past and present, memory and dream, and the spaces of home and exile flow into each other, using techniques of superimposition. I argue that such overflowing, in both theme and aesthetic, can be productively read in conjunction with Henri Bergson’s theories of duration, in which variegated temporal rhythms continually bleed into each other. Nostalgia’s pool forms a space of becoming, where place and identity is continually in flux. (shrink)

This work has done aiming to find out the effect of Covid -19 on the level of Anxiety and level of depression among the undergraduate students who live and study in urban area. As we know that during pandemic situation all classes for schools and colleges has been performed online .This mode of education has come in practice first time in life of students. Hence a level of depression and anxiety may develop in mind of under graduate college going students (...) who have been preparing for graduation and competitive exam. Going through the literature we found that the Hamilton Depression Scale & Hamilton Anxiety scale are suitable to measure Level of anxiety and depression .Both online and offline mode have been used to collect data from male and female candidate .A sample of 50 students male and 50 students have taken from Gwalior and nearby area . Two tailed T test has been done to analyze significant difference between the mean value of level of anxiety and level of depression as well for male and female candidate .Correlation coefficient has been determined to find the relation of variance between level of anxiety and level of depression between male and female students. SPSS software, Microsoft word and excel is use to arrange data, calculation, Tabulation and formation of chart. After data analysis and result and discussion it has concluded that the level of thinking and condition of living standard is almost same for male and female student in urban area .Hence there is no significant difference pertaining to level of anxiety and level of depression between male and female undergraduate student living in urban area. It is also come out that the There is no significance relation in level of anxiety and level of depression between male and female candidate. As we know that the corona virus has been spread in all over the world and so many people had lost their lives .In view of safety measure the government of India imposed lockdown of around 50 days in each part of country. All college and schools are closed and the final exams have also cancelled and many competitive exams have postponed. During this period of lock down undergraduate students have faced so many problems for continuing their study for their end semester exam and competitive exam as well .Due to uncertainty of their exams and their offline classes they experienced some level of depression and anxiety during this period .This project work is the assessment of level of depression and anxiety induced in male and female undergraduate students staying in urban area . (shrink)

We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting (...) to embeddings, semantic arguments, or interpreted connectives external to the underlying logical language. A novel feature of our proof includes an orthogonality condition for defining duality between interpolants. (shrink)

The time of the Reverie. Memory and duration in Rousseau There are three modes adopted by the temporal succession to which we are subjected: succession of desires, succession of identities and succession of instants. But happiness is a permanent state; therefore, it is not a state that corresponds to man. We propose that succession is the horizon from which Rousseau thinks about the possibility of happiness that, being discontinuous and brief, can achieve a permanence that results from another experience (...) of time that we will call duration. Our hypothesis is: firstly, that this possibility is available thanks to memory given over daydream (rêverie); secondly, that this memory is a memory of love because love, like happiness, aspires to eternity. We examine the main feature of duration, that is: the past is preserved in the present without being confused with it, just as each past note of a melody is somehow preserved in the present one. Past times are never lost times. We consider two discoveries by Rousseau, the sensitive memory and the memorious imagination, to show the interplay between memory and personal identity. Finally, we venture a comparison with the duration according to Bergson through the metaphor of a symphony and we confront this memory in love with the memory of pain inaugurated by Nietzsche in his Genealogy of Morality. -/- El tiempo del ensueño. Memoria y duración en Rousseau Tres son los modos que toma la sucesión temporal a la que estamos sometidos: sucesión de deseos, de identidades y de instantes. Pero la felicidad es un estado permanente, luego, ella no es un estado que corresponda al hombre. Proponemos que la sucesión es el horizonte desde el cual Rousseau piensa la posibilidad de una felicidad que, siendo discontinua y breve, pueda alcanzar una permanencia que resulta de otra experiencia del tiempo que nombraremos duración. Nuestra tesis es: primero, dicha posibilidad está abierta gracias a la memoria librada al ejercicio del ensueño; segundo, esa memoria es una memoria enamorada porque el amor, como la felicidad, aspira eternidad. Examinamos el rasgo principal de la duración, este es: el pasado se conserva en el presente sin confundirse con él tal como sucede cada una de las notas de una melodía. El tiempo pasado nunca es un tiempo perdido. Nos detenemos en dos descubrimientos de Rousseau, el de una memoria sensitiva y una imaginación memoriosa para mostrar la articulación entre memoria e identidad personal. Finalmente, arriesgamos la comparación con la duración según Bergson através de metáfora de la sinfonía y confrontamos esta memoria enamorada con la memoria del dolor que inaugura Nietzsche en la Genealogía de la moral. (shrink)

This is an excerpt from a report on the Temporal Experience Workshop at the University of Toronto in May of 2013. This portion of the report explores the question: What sorts of mechanisms underlie the perceived duration of external events?

English Title: Time and scansion: rythmical meaning of Duration between Husserl and Bachelard. -/- Abstract: Inside phenomenological search, present time and instant live inside a troubled dialectic: for Husserl present runs, widening out past and future, in the same moment, like the Heraclitean bowstring which stretches between two dimensions. Gaston Bachelard, on the contrary, is the thinker of Discreteness, where temporal continuum is linked to the reciprocal differentiating of instants in the duration. So, the conceptions of time inside (...) these philosophers seem to be opposed one to the other, but inside these two modalities of scansion we meet a steady thread, which underlies both the interpretations, which precipitate one on the other. Let’s read the taking shape of the positions inside La dialectique de la durée (1936) and in Husserl’s writings on attention, linked to the rise of an aspect of the thing above the others (1904 -1905) treated in Husserliana XXXVIII (Wahrnehmung und Aufmerksamkeit, Texte aus dem Nachlass, (1893 – 1912). /// -/- Resumen: En la investigación fenomenológica los conceptos de instante y presente viven in potente una abierta tensión constitutiva: en la filosofía de Husserl es el presente el que transcurre, dilatándose conjuntamente hacia el pasado y el futuro como la heraclítea cuerda del arco, que se extiende entre los dos lados de una dirección unitaria y continua. Gaston Bachelard, por el contrario, es un pensador de la discreción, no existe un continuo temporal sino una gran sutura en la que los instantes se diferencian en la duración. Las concepciones del tiempo entre los dos filósofos parecen oponerse la una a la otra y, sin embargo, entre las dos formas de escansión, existe un hilo firme, que ciñe las dos interpretaciones, haciéndolas precipitar una dentro de la otra, en nombre del contenido perceptivo. Las dos posiciones emergen con su diferencia en La dialéctica de la duración [1936] y en los textos que Husserl ha dedicado al tema de la atención y el interés [1898; 1904; 1905]. -/- . (shrink)

This book proposes a new reading of Bergsonism based on the admission that time, conceived as duration, stretches instead of passes. This swelling time is full and so excludes the negative. Yet, swelling requires some resistance, but such that it is more of a stimulant than a contrariety. The notion of élan vital fulfills this requirement: it states the immanence of life to matter, thereby deriving the swelling from an internal effort and allowing its conceptualization as self-overcoming. With self-overcoming (...) as the inner dynamics of reality, Bergson dismisses all forms of dualism and reductionist monism because both the absence of negativity and the swelling nature of time posit a creative process yielding a qualitatively diverse world. This graded oneness is how the lower level activates intensification by turning into limitation, making possible higher levels of achievement, in particular through the union of mind and body and the integration of openness and closed sociability. (shrink)

Analytic philosophy has been perhaps the most successful philosophical movement of the twentieth century. While there is no one doctrine that defines it, one of the most salient features of analytic philosophy is its reliance on contemporary logic, the logic that had its origin in the works of George Boole and Gottlob Frege and others in the mid‐to‐late nineteenth century. Boolean algebra, the heart of Boole's contributions to logic, has also come to represent a cornerstone of modern computing. Frege had (...) broad philosophical interests, and his writings on the nature of logical form, meaning and truth remain the subject of intense theoretical discussion, especially in the analytic tradition. Frege's works, and the powerful new logical calculi developed at the end of the nineteenth century, influenced many of its most seminal figures, such as Bertrand Russell, Ludwig Wittgenstein and Rudolf Carnap. (shrink)

I attend to the temporal schema of open/closed by examining its elaboration in Bergson's philosophy and critically parsing the possibilities for its destabilization. Though Bergson wrote in a colonial context, this context barely receives acknowledgement in his work. This obscures the uncomfortable resonances between Bergson's late work, The Two Sources of Morality and Religion, and the temporal narratives that justify French colonialism. Given Bergson's uptake by philosophers, such as Gilles Deleuze, and by contemporary feminist and political theorists (especially “new materialists”), (...) a critical re-examination is called for. The Two Sources not only introduces a new dichotomy into Bergsonian philosophy—that of open/closed—it puts an end to the movement of duration by defining its possibilities as goals already given in advance. By turning the tools of Bergsonian critique onto The Two Sources, I propose an alternative to the open/closed—that of the “half-open”—creating in this way the conditions for decolonizing duration. (shrink)

Some investigators of the rubber hand illusion (RHI) have suggested that when standard RHI induction procedures are employed, if the rubber hand is experienced by participants as owned, their corresponding biological hands are experienced as disowned. Others have demurred: drawing upon a variety of experimental data and conceptual considerations, they infer that experience of the RHI might include the experience of a supernumerary limb, but that experienced disownership of biological hands does not occur. Indeed, some investigators even categorically deny that (...) any experimental paradigm has been employed or any evidence can be adduced to support the claim that disownership experiences occur during the RHI. It goes without saying that RHI experiences can be elusive, and that there is some evidence to support claims that supernumerary limb experiences can sometimes occur. Here, however, we test the claim that the conscious experience of disownership can occur during the RHI. In order to test this claim, we developed two new online proxies—onset time for the illusion and illusion duration—and combined these with established questionnaires that concern the conscious contents of the RHI, in particular ownership/disownership experiences. Both online proxy data and post hoc questionnaire data converge in supporting the claim that disownership experiences do occur, at least when the left hand is the object of investigation. Our findings that onset time and illusion duration are reliable measures suggest that investigations of the RHI stand to benefit by devoting more attention to data collected while the RHI is being experienced, in particular data concerning temporal dynamics. (shrink)

This text is the introduction to V. Amit & N. B. Salazar, Pacing Mobilities. Timing, Intensity, Tempo & Duration of Human Movements, New York/Oxford, Berghahn, 2020, 202 p. It is also available on Berghahn publisher website.

In this paper, I study one aspect of the philosophical encounter between Spinoza and Hegel: the question of the reality of time. The precise reconstruction of the debate will require a close examination of Spinoza's concept of tempus (time) and duratio (duration), and Hegel's understanding of these notions. Following a presentation of Hegel's perception of Spinoza as a modern Eleatic, who denies the reality of time, change and plurality, I turn, in the second part, to look closely at Spinoza's (...) text and show that Hegel was wrong in reading Spinoza as denying the reality of duration and change. Ironically, Hegel's misreading of Spinoza as denying the reality of duration and change has been compensated for by a reading of Hegel as denying the reality of time by one of Hegel's most prominent followers, John Ellis McTaggart. I discuss McTaggart's reading of Hegel's Logic in the final part of the paper. (shrink)

The goal of this essay is twofold. First, I will explicate the dynamic nature of Spinoza’s doctrine of virtue by discerning his reasons for defining virtuousness in terms of active power. Second, by taking this understanding of virtue as the point of departure, I will suggest a sense in which we can be said to be more or less eternal to the extent that we are virtuous and active. Spinoza’s specific brand of essentialism underpins both his doctrine of virtue and (...) that of eternity, and reaching these goals requires discussing the two kinds of essences which hold a prominent place in the Ethics: the formal and the actual essences. This, in turn, allows us to throw some new light on the relationship between eternal and durational existence, the distinction between which forms the very backbone of Spinoza’s system. (shrink)

The article undertakes a phenomenological interpretation of the description of contingency in two late-antique models of the relationship of time and eternity — in the theory of Plotinus, and in the eschatology of Paul on the basis of the First Epistle to the Thessalonians. Contingency as a possible property not of time, but of eternity, the presence of the supertemporal in the physical world — this hypothesis promotes a new view of the relationship between time and eternity and a new (...) view of the properties of time. Time remains as immeasurable as eternity, inheriting its character as a phenomenon of consciousness. The article also compares the ideas of H. Bergson and E. Husserl on duration and memory, on the coincidence of moments and the measurability of the movement of time. A turn to Ptolemaic cosmology proposed by Q. Meillassoux seems relevant, an appeal to ancient mathematics and ontology through the optics of post-metaphysical criticism. The search for a new correlationism is significant for the philosophy of time, and contingency, like any coincidence of thought and object, the world and the subject, the signifier and the signified, leads to new forms of manifestation, new phenomena of presence, a new fullness of being in history. (shrink)

Though fatigue appears a constant of this pandemic year, I argue that we may not all be living the same pandemic. I highlight the non-belonging of most racialized and colonized peoples to a world where flourishing is taken for granted as norm. To think this, I use the term “weariness.” I want to evoke, wearing out, wearing down, as well as the medical concept of weathering. Drawing on Césaire, Fanon, Hartman, Scott, and Spillers, my concept of weariness articulates an exhausting (...) and enduring experience—the eroding, grating, and crumbling of racialized flesh—through repetitive colonial duration, not simply for a year, but over a longue durée. I read this as a wounding that needs to be thought not simply in terms of health outcomes and disease, but in terms of affective experience and dismembered possibility. (shrink)

Henri Bergson is perhaps most remembered for his bold challenge to Einstein's theory of the relativity of simultaneity. Bergson maintained that Einstein's theory did not cope with our intuition of time, which is an intuition of duration. Einstein retorted that there may be psychological time, but there is no special philosopher's time. For Einstein, time forms the fourth dimension of a so-called Parmenidean "block universe". I argue that we must be on our guard not to read into the work (...) of even greatest intellectual predecessors ideas and levels of sophistication that we take for granted in modern theories. For example, it would be silly to suggest that Democritus's atomic theory - though important in the development of the testable modern atomic theory - has anything new to say about modern quantum theory. (shrink)

In this paper we give an analytic tableau calculus P L 1 6 for a functionally complete extension of Shramko and Wansing’s logic. The calculus is based on signed formulas and a single set of tableau rules is involved in axiomatising each of the four entailment relations ⊧ t, ⊧ f, ⊧ i, and ⊧ under consideration—the differences only residing in initial assignments of signs to formulas. Proving that two sets of formulas are in one of the first three entailment (...) relations will in general require developing four tableaux, while proving that they are in the ⊧ relation may require six. (shrink)

In the substitutional framework, validity is truth under all substitutions of the nonlogical vocabulary. I develop a theory where □ is interpreted as substitutional validity. I show how to prove soundness and completeness for common modal calculi using this definition.

This paper studies proof systems for the logics of super-strict implication ST2–ST5, which correspond to C.I. Lewis’ systems S2–S5 freed of paradoxes of strict implication. First, Hilbert-style axiomatic systems are introduced and shown to be sound and complete by simulating STn in Sn and backsimulating Sn in STn, respectively(for n=2,...,5). Next, G3-style labelled sequent calculi are investigated. It is shown that these calculi have the good structural properties that are distinctive of G3-style calculi, that they are sound (...) and complete, and it is shown that the proof search for G3. ST2 is terminating and therefore the logic is decidable. (shrink)

The question of when to stop an unsuccessful experiment can be difficult to answer from an individual perspective. To help to guide these decisions, we turn to the social epistemology of science and investigate knowledge inquisition within a group. We focused on the expensive and lengthy experiments in high energy physics, which were suitable for citation-based analysis because of the relatively quick and reliable consensus about the importance of results in the field. In particular, we tested whether the time spent (...) on a scientific project correlates with the project output. Our results are based on data from the high energy physics laboratory Fermilab. They point out that there is an epistemic saturation point in experimenting, after which the likelihood of obtaining major results drops. With time the number of less significant publications does increase, but highly cited ones do not get published. Since many projects continue to run after the epistemic saturation point, it becomes clearer that decisions made about continuing them are not always rational. (shrink)

This chapter argues that our self-knowledge is often mediated by our affective self-knowledge. In other words, we often know about ourselves by knowing our own emotions. More precisely, what Cassam has called “substantial self-knowledge” (SSK), such as self-knowledge of one's character, one's values, or one's aptitudes, is mediated by affective forecasting, which is the process of predicting one's emotional responses to possible situations. For instance, a person comes to know that she is courageous by predicting her own emotional reactions to (...) possible risks and dangers. This hypothesis explains why attaining substantive self-knowledge tends to be difficult. Attaining substantive self-knowledge is difficult because, first, SSK is mediated by affective forecasting and, second, we tend to be wrong about predicting the intensity and duration of our own emotional reactions. As a result, we can identify what is common to central cases of SSK: such cases require knowledge about complex dispositions whose manifestations involve affective responses that one is not sufficiently familiar with. One thus needs to resort to the highly fallible method of affective forecasting. (shrink)

I argue for the moral relevance of a category of individuals I characterize as far-persons. Following Gary Varner, I distinguish near-persons, animals with a " robust autonoetic consciousness " but lacking an adult human's " biographical sense of self, " from the merely sentient, those animals living "entirely in the present." I note the possibility of a third class. Far-persons lack a biographical sense of self, possess a weak autonoetic consciousness, and are able to travel mentally through time a distance (...) that exceeds the capacities of the merely sentient. Far-persons are conscious of and exercise control over short-term cognitive states, states limited by their temporal duration. The animals in question, human and nonhuman, consciously choose among various strategies available to them to achieve their ends, making them subjects of what I call "lyrical experience:" brief and potentially intense pleasures and pains. But their ends expire minute-by-minute, not stretching beyond, I say metaphorically, the present hour. I conclude by discussing the moral status of far-persons. (shrink)