This work aims to make tense logic a more robust tool for ontologists, philosophers, knowledge engineers and programmers by outlining a fusion of tense logic and ontology of time. In order to make tense logic better understandable, the central formal primitives of standard tense logic are derived as theorems from an informal and intuitive ontology of time. In order to make formulation of temporal propositions easier, temporal operators that were introduced by Georg Henrik von Wright are (...) developed, and mapped to the ontology of time. (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)

We introduce translations between display calculus proofs and labeled calculus proofs in the context of tense logics. First, we show that every derivation in the display calculus for the minimal tense logic Kt extended with general path axioms can be effectively transformed into a derivation in the corresponding labeled calculus. Concerning the converse translation, we show that for Kt extended with path axioms, every derivation in the corresponding labeled calculus can be put into a special form that (...) is translatable to a derivation in the associated display calculus. A key insight in this converse translation is a canonical representation of display sequents as labeled polytrees. Labeled polytrees, which represent equivalence classes of display sequents modulo display postulates, also shed light on related correspondence results for tense logics. (shrink)

We introduce an effective translation from proofs in the display calculus to proofs in the labelled calculus in the context of tense logics. We identify the labelled calculus proofs in the image of this translation as those built from labelled sequents whose underlying directed graph possesses certain properties. For the basic normal tense logic Kt, the image is shown to be the set of all proofs in the labelled calculus G3Kt.

Simple partial logic (=SPL) is, broadly speaking, an extensional logic which allows for the truth-value gap. First I give a system of propositional SPL by partializing classical logic, as well as extending it with several non-classical truth-functional operators. Second I show a way based on SPL to construct a system of tensed ontology, by representing tensed statements as two kinds of necessary statements in a linear model that consists of the present and future worlds. Finally I compare that way with (...) other two ways based on Łukasiewicz’s three-valued logic and branching temporal logic. (shrink)

In this paper it is shown how the DRT (Discourse Representation Theory) treatment of temporal anaphora can be formalized within a version of Montague Semantics that is based on classical type logic.

Those inclined to positions in the philosophy of time that take tense seriously have typically assumed that not all regions of space-time are equal: one special region of space-time corresponds to what is presently happening. When combined with assumptions from modern physics this has the unsettling consequence that the shape of this favored region distinguishes people in certain places or people traveling at certain velocities. In this paper I shall attempt to avoid this result by developing a tensed picture (...) of reality that is nonetheless consistent with ‘hypersurface egalitarianism’—the view that all hypersurfaces are equal. (shrink)

Natural languages exhibit a great variety of grammatical paradigms. For instance, in English verbs are grammatically marked for tense, whereas in the tenseless Eskimo-Aleut language Kalaallisut they are marked for illocutionary mood. Although time is a universal dimension of the human experience and speaking is part of that experience, some languages encode reference to time without any grammatical tense morphology, or reference to speech acts without any illocutionary mood morphology. Nevertheless, different grammatical systems are semantically parallel in certain (...) respects. Specifically, I propose that English tenses form a temporal centering system, which monitors and updates topic times, whereas Kalaallisut moods form a modal centering system, which monitors and updates modal discourse referents. To formalize these centering parallels I define a dynamic logic that represents not only changing information but also changing focus of attention in discourse (Update with Centering, formalizing Grosz et al 1995). Different languages can be translated into this typed logic by directly compositional universal rules of Combinatory Categorial Grammar (CCG) The resulting centering theory of tense and illocutionary mood draws semantic parallels across different grammatical systems. The centering generalizations span the extremes of the typological spectrum, so they are likely to be universal. In addition, the theory accounts for the translation equivalence of tense and illocutionary mood in a given utterance context. Following Stalnaker (1978) I assume that the very act of speaking up has a ‘commonplace effect’ on the context. It focuses attention on the speech act and thereby introduces default modal and temporal topics. These universal defaults complement language-specific grammars, e.g. English tenses and Kalaallisut moods. In a given utterance context the universal discourse-initial defaults plus language-specific grammatical marking may add up to the same truth conditions.. (shrink)

Logic has sometimes been seen as an alternative to metaphysics and to speculation. In this paper it is argued that a different story should be told when it comes to temporal logic and tense-logic in particular. A. N. Prior’s first formulation of tense logic was mainly established in order to qualify the discussion of certain metaphysical and conceptual problems. Although temporal logic has now been developed in various abstract and rather technical ways, it may still serve as a (...) great help for anyone who wants to clarify the discussion of important existential questions like the nature of time, determinism, future contingency or freedom of choice. (shrink)

As far as our experience goes, we live in a dynamic present. Those two phenomenal features of experience—presentness and dynamism—are obviously connected. However, how they are connected is not obvious at all. In this paper, I criticise the view according to which the former can explain the latter, which I call sophisticated representationalism. My criticism will be based on an ambiguity in the notion of tense found in the philosophical literature, that between the perspectival understanding and the dynamic understanding (...) of tenses. The distinction is not just of independent interest, but it has a role in providing indirect evidence for the claim that the feeling of passage of time should be understood in non-representationalist terms. (shrink)

We generalize intuitionistic tense logics to the multi-modal case by placing grammar logics on an intuitionistic footing. We provide axiomatizations for a class of base intuitionistic grammar logics as well as provide axiomatizations for extensions with combinations of seriality axioms and what we call "intuitionistic path axioms". We show that each axiomatization is sound and complete with completeness being shown via a typical canonical model construction.

Two of the main debates in philosophy of language concerning time and tense are the debate about the semantics of the tenses in the English language and the debate over whether propositions can be transiently true or false as opposed to always being eternally true or false. The latter quarrel is also known as the "temporalism–eternalism debate." Given standard semantics, the two debates are not logically independent, as we will see. Those who believe propositions are eternally true or false (...) needn’t treat the tenses as operators. Their opponents, on the other hand, appear to be committed to an operator theory of the tenses, given a standard semantic framework. In this chapter I will focus primarily on these two debates. (shrink)

ABSTRACT We critically review two extant paradigms for understanding the systematic interaction between modality and tense, as well as their respective modifications designed to do justice to the contingency of time’s structure and composition. We show that on either type of theory, as well as their respective modifications, some principles prove logically valid whose truth might sensibly be questioned on metaphysical grounds. These considerations lead us to devise a more general logical framework that allows accommodation of those metaphysical views (...) that its predecessors rule out by fiat. (shrink)

This book advertises itself as an exploration of the world-time parallel, that is, the parallel between the modal dimension, on the one hand, and the temporal dimension, on the other. It is that, and much more. As the authors point out, there is reasonable agreement that we can model times, through temporal logic, in ways that are analogous to those by which we model modality through the logic of possible worlds. But this formal parallel has almost universally been taken to (...) be a merely formal parallel: thus it is held that no metaphysical conclusions ought to be drawn from it. Thus, it is generally thought that one is free to accept an argument for actualism, say, but to reject a parallel argument for presentism. Rini and Cresswell compellingly argue that this is a mistake: the temporal and the modal are more than merely formally analogous. (shrink)

In this paper we critically review Correia’s and Rosenkranz’s Nothing to Come. A Defence of the Growing Block Theory of Time, published by Springer in 2018. By taking into account the essential reliance of the book on tense logic, we bring out the existence of a conflict between their logical axioms, that presuppose truth bivalence even for statements concerning future contingents, and the principle of groundedness that they also advocate. According to this principle, a proposition Q is now groundedly (...) true as long as sometimes in the future it will be the case that there exists something that makes Q true. However, if the events that occur in 2060 do not exist unrestrictedly (for us, here in 2021), what, in reality, can possibly ground the truth (or falsity) of Q? In the second part of the paper, we concentrate on some conceptual difficulties raised by their brilliant attempt to adapt the growing block view of reality to a relativistic setting, based on what they call bow-tie presentism, according to which for each spacetime point s only s plus the spacelike-related region with respect to s exists. By extending temporal logic into a relativity-friendly spatiotemporal logic, we conclude by noting that Correia and Rosenkranz’s Nothing to Come makes very important strides in showing that there are technical ways to develop the growing block of reality into an ontology that coheres with relativity theories perfectly well, while retaining most of the distinctive content of classical growing block theory. (shrink)

In this work we answer a long standing request for temporal embeddings of deontic STIT logics by introducing the multi-agent STIT logic TDS . The logic is based upon atemporal utilitarian STIT logic. Yet, the logic presented here will be neutral: instead of committing ourselves to utilitarian theories, we prove the logic TDS sound and complete with respect to relational frames not employing any utilitarian function. We demonstrate how these neutral frames can be transformed into utilitarian temporal frames, while (...) preserving validity. Last, we discuss problems that arise from employing binary utility functions in a temporal setting. (shrink)

This paper outlines a formal account of tensed sentences that is consistent with Ockhamism, a view according to which future contingents are either true or false. The account outlined substantively differs from the attempts that have been made so far to provide a formal apparatus for such a view in terms of some expressly modified version of branching time semantics. The system on which it is based is the simplest quantified modal logic.

Arthur Norman Prior was born on 4 December 1914 in Masterton, New Zealand. He studied philosophy in the 1930s and was a significant, and often provocative, voice in theological debates until well into the 1950s. He became a lecturer in philosophy at Canterbury University College in Christchurch in 1946 succeeding Karl Popper. He became a full professor in 1952. He left New Zealand permanently for England in 1959, first taking a chair in philosophy at Manchester University, and then becoming a (...) fellow of Balliol College, Oxford, in 1966. Prior died on 6 October 1969 in Trondheim, Norway. After Prior’s death, many logicians and philosophers have analysed and discussed his approach to formal and philosophical logic. In particular, his contributions to modal logic, tense-logic and deontic logic have been studied. -/- In 1957, A.N. Prior proposed the three-valued modal logic Q as a ‘correct’ modal logic from his philosophical motivations, see Prior (1957). Prior developed Q in order to offer a logic for contingent beings, in which one could intelligibly and rationally state that some beings are contingent and some are necessary, see Akama & Nagata (2005). According to Akama & Nagata (2005), Q has a natural semantics. In other words, from the philosophical point of view, Q can be regarded as an ‘actualist’ modal logic. -/- This review article is a developed description of, and discussion on, ‘The System Q’ that is the fifth chapter of Prior (1957). In addition, in his logical analysis of ‘Time & Existence’ (that is the eights chapter of Prior (1967)), Prior has worked on system Q. Thus, Prior (1967) has also been very useful for this article. This article analyses the logical structure of system Q in order to provide a more understandable description as well as logical analysis for today’s logicians, philosophers, and information-computer scientists. In the paper, the Polish notations are translated into modern notations in order to be more comprehensible and to support the developed formal descriptions as well as semantic analysis. (shrink)

According to EJ Lowe, diachronic necessity and synchronic necessity are logically independent. Diachronic possibility concerns what could happen to an object over time and therefore concerns future possibilities for that object given its past history. Synchronic possibility concerns what is possible for an object in the present or at a past present moment. These are logically independent, given certain assumptions. While it may true that because I am 38, it is impossible diachronically for me to be 30 (at least once (...) we restrict the degree of relevant possibility), it is possible, given that at some point in the past, I may have been conceived slightly earlier than I was, that I am now 37. Likewise, it is possible diachronically for me to be somewhere other than where I am, but given that one object cannot be in different places at the same time, it is impossible for me now to be somewhere other than where I am, and this is true at each past point in my history too. There are, then, two axis upon which to distinguish what is and is not possible: tensed possibilities and possibilities of degree, which include nomic, metaphysical, and logical necessities, among others. I examine the interactions between these possibilities and I come to the conclusion that logical necessity is not in fact logical necessity simpliciter. Whether something is logically necessary depends upon tensed possibilities. I argue that while synchronic logical necessity entails diachronic logical necessity, the reverse entailment does not hold. I explore the consequences of this for certain philosophical debates in semantics including the concept of rigid designation, and descriptive names. (shrink)

This paper introduces and discusses three models of future: a determinist model, a stochastic model, and the model of True Prophetic Knowledge. All three models coexist in natural languages and are represented both in their grammatical systems and in the text-building discourse strategies speakers and authors apply to.

The book deals with conceptualization of time in different languages and in different kinds of discourse (folklore, poetry, fiction). Special attention is paid to some culture-specific models of time as well as to linguistic means related to temporal semantics: nouns, adjectives, adverbs, prepositions, prefixes, particles, and other temporal modifiers. The concept of time is also considered in its logical, axiological and historical aspects.

This article presents formal correspondences between the ontological and logical structures of Deleuze’s theory of sense-events in the Logic of Sense as a “post-Cantorian orientation of thought” (Livingston 2012), grappling with an essential incompleteness or inconsistency at the heart of both Being and thought, one which Deleuze champions positively under the equation Ungrounding = Becoming. Through it, Deleuze’s sometimes slippery use of the concept of singularity (and its relation to the virtual) is elaborated, elucidating a post-Cantorian metaphysics of events, distinct (...) from and preceding Badiou’s, that concretely defines the role of the singular in Deleuze’s early major works. (shrink)

It is surprisingly hard to define presentism. Traditional definitions of the view, in terms of tensed existence statements, have turned out not to to be capable of convincingly distinguishing presentism from eternalism. Picking up on a recent proposal by Tallant, I suggest that we need to locate the break between eternalism and presentism on a much more fundamental level. The problem is that presentists have tried to express their view within a framework that is inherently eternalist. I call that framework (...) the Fregean nexus, as it is defined by Frege’s atemporal understanding of predication. In particular, I show that the tense-logical understanding of tense which is treated as common ground in the debate rests on this very same Fregean nexus, and is thus inadequate for a proper definition of presentism. I contrast the Fregean nexus with what I call the original temporal nexus, which is based on an alternative, inherently temporal form of predication. Finally, I propose to define presentism in terms of the original temporal nexus, yielding original presentism. According to original presentism, temporal propositions are distinguished from atemporal ones not by aspects of their content, as they are on views based on the Fregean nexus, but by their form—in particular, by their form of predication. (shrink)

I present a new problem for the tense realist concerning the evaluation of cross-temporal claims, such as ‘John is now taller than Michael was in 1984’. Time can play two different roles in the evaluation of an utterance of a sentence: either as an element that completes the content expressed by the utterance (the completion role), or as part of the circumstances against which the content is evaluated (the evaluation role). It is this latter role that time plays in (...) the realist view of tenses. I argue that if the content of a cross-temporal sentence is taken at face value (as an ascription of a crosstemporally instantiated relation), time does not play the evaluation role. Therefore, the world of the tense realist seems to leave no room for cross-temporality. (shrink)

Higher‐order metaphysicians take facts to be higher‐order beings, i.e., entities in the range of irreducibly higher‐order quantifiers. In this paper, I investigate the impact of this conception of facts on the debate about the reality of tense. I identify two major repercussions. The first concerns the logical space of tense realism: on a higher‐order conception of facts, a prominent version of tense realism, dynamic absolutism, turns out to conflict with the laws of (higher‐order tense) logic. The (...) second concerns our understanding of the positions occupying this logical space: on a higher‐order conception of facts, an attractive interpretation of the central tense realist notion of ‘facts constituting reality’ becomes unavailable. I discuss these results in the context of the more general project of higher‐order metaphysics and the (meta)metaphysics of time, drawing out their implications for the nature of the disputes both between realists and anti‐realists about tense and between different tense realist factions. (shrink)

In this paper, I try to defend Presentism. First of all, I explore how Presentism diverges to its versions and show that none of them, which include the currently standard Presentism that invokes tense logic, are tenable. Next, I point out that some philosophers argue that by replacing the Quinean criterion of existence with the Truthmaker Principle, another version of Presentism, which invokes tensed properties, can emerges. However, this version has a highly implausible conclusion. Finally, I argue that it (...) can be avoided by taking the evidences of the past or future truths to be typical truthmakers of them. (shrink)

It is a widely held view in philosophy that propositions perform a plethora of different theoretical roles. Amongst other things, they are believed to be the semantic values of sentences in contexts, the objects of attitudes, the contents of illocutionary acts, and the referents of that-clauses. This assumption is often combined with the claim that propositions have their truth-values eternally. In this paper I aim to show that these two assumptions are incompatible: propositions cannot both fulfill the mentioned roles and (...) be eternally true or false. Following Kaplan and Lewis’s Operator Argument, I argue that compositional semantic values of sentences in contexts do not correspond to eternal propositions. Thus, either we regard the non-eternal entities that in fact realize the semantic role of propositions as also fulfilling the remaining propositional roles, or we abandon the assumption that there is a unique realizer of all the roles. The Operator Argument has recently come under attack, mainly for its tense-logical assumptions. However, rejecting these assumptions is not a sufficient defense of the compatibility of the two claims, since the extensional alternative to the tense-logical framework does not allow us to universally retain eternal propositions as compositional semantic values of sentences either. (shrink)

So far, T×W frames have been employed to provide a semantics for a language of tense logic that includes a modal operator that expresses historical necessity. The operator is defined in terms of quantification over possible courses of events that satisfy a certain constraint, namely, that of being alike up to a given point. However, a modal operator can as well be defined without placing that constraint. This paper outlines a T×W logic where an operator of the latter kind (...) is used to express the epistemic property of definiteness. Section 1 provides the theoretical background. Sections 2 and 3 set out the semantics. Sections 4 and 5 show, drawing on established results, that there is a sound and complete axiomatization of the logic outlined. (shrink)

In De interpretatione 9, Aristotle argues against the fatalist view that if statements about future contingent singular events (e.g. ‘There will be a sea battle tomorrow,’ ‘There will not be a sea battle tomorrow’) are already true or false, then the events to which those statements refer will necessarily occur or necessarily not occur. Scholars have generally held that, to refute this argument, Aristotle allows that future contingent statements are exempt from either the principle of bivalence, or the law of (...) excluded middle. This paper offers a new interpretation of Aristotle’s refutation of fatalism. According to this interpretation, each member of a pair of contradictory future contingent statements, in virtue of expressing modal necessity, is simply false. (shrink)

The paper argues for the applicability of the notion of collective truth as opposed to distributive truth, that is, truth at times or possibilia taken in groups rather than individually. The underlying reasoning is that there are transtemporal and transworld relationships, e.g., those involving the relations of <being a descendant of> and <thinking about>. Relationships are (one type of) truth-makers. Hence, there are transtemporal and transworld truth-makers. Therefore, there is transtemporal and transworld truth, i.e., collective truth. A semantics is developed (...) (formalized in the appendix) which embodies the notion of collective truth, and which thereby, it is argued, has various advantages over standard intensional semantics. For example, it avoids a commitment to certain impossible entities. (shrink)

Exploring the metaphysics of time, this book examines key questions about the nature of time. It begins by examining the distinction between the two main theories of time, the static view and the tensed view, arguing that the temporal properties of ‘past’, ‘present’ and ‘future’ are not in fact properties of events. Other topics also discussed include fatalism, the ‘open’ future, death and dying, whether there are logical impediments to travelling in time, and the metaphysical implications of precognition. Revised and (...) expanded second edition . (shrink)

Statements about the future are central in everyday conversation and reasoning. How should we understand their meaning? The received view among philosophers treats will as a tense: in ‘Cynthia will pass her exam’, will shifts the reference time forward. Linguists, however, have produced substantial evidence for the view that will is a modal, on a par with must and would. The different accounts are designed to satisfy different theoretical constraints, apparently pulling in opposite directions. We show that these constraints (...) are jointly satisfied by a novel modal account of will. On this account, will is a modal but doesn't work as a quantifier over worlds. Rather, the meaning of will involves a selection function similar to the one used by Stalnaker in his semantics for conditionals. The resulting theory yields a plausible semantics and logic for will and vindicates our intuitive views about the attitudes that rational agents should have towards future-directed contents. (shrink)

The paper considers sentences in which “now” occurs in initial position and shows that the meaning they convey differs from the meaning of sentences that are otherwise identical except for “now” occurring in final position. We argue that the occurrence of “now” in initial position triggers a particular kind of modal reading for the sentence to which the adverb is prefixed. A general notion of modal forcing is proposed to provide a uniform account of this kind of reading. Armed with (...) this account, we offer a solution to two tense-modal puzzles, which have to do with fatalism and the possibility of a changing past. (shrink)

In a previous issue of Philosophia Christi, Kirk MacGregor responded to an essay of mine in which I argued for a neo-Molinist account of open theism. The argument demonstrated how, given standard counterfactual semantics, one could derive an “open future square of opposition,” that is, a depiction of the logical relations that hold between future-tense statements from an open theistic standpoint. Conceding the validity of the argument, MacGregor nevertheless sought to deny its soundness by criticizing both its conclusion and (...) the Stalnaker-Lewis semantics on which the argument was based. In this paper, I argue that MacGregor’s reasons for rejecting the open future square, as well as his Molinist alternative to the Stalnaker-Lewis semantics, are uncompelling. (shrink)

Expressivists have a problem with negation. The problem is that they have not, to date, been able to explain why ‘murdering is wrong’ and ‘murdering is not wrong’ are inconsistent sentences. In this paper, I explain the nature of the problem, and why the best efforts of Gibbard, Dreier, and Horgan and Timmons don’t solve it. Then I show how to diagnose where the problem comes from, and consequently how it is possible for expressivists to solve it. Expressivists should accept (...) this solution, I argue, because it is demonstrably the only way of avoiding the problem, and because it generalizes. Once we see how to solve the negation problem, I show, it becomes easy to state a constructive, compositional expressivist semantics for a purely normative language with the expressive power of propositional logic, in which we can for the first time give explanatory, formally adequate expressivist accounts of logical inconsistency, logical entailment, and logical validity. As a corollary, I give what I take to be the first real expressivist explanation of why Geach’s original moral modus ponens argument is genuinely logically valid. This proves that the problem with expressivism cannot be that it can’t account for the logical properties of complex normative sentences. But it does not show that the same solution can work for a language with both normative and descriptive predicates, let alone that expressivists are able to deal with more complex linguistic constructions like tense, modals, or even quantifiers. In the final section, I show what kind of constraints the solution offered here would place expressivists under, in answering these further questions. (shrink)

Explanations of the genuine openness of the future often appeal to objective indeterminacy. According to the received view, such indeterminacy is indeterminacy of certain future-tensed state of affairs that presently obtain. We shall call this view the weak indeterminate present, to distinguish it from the view we will defend in this paper, which we dub the strong indeterminate present. According to our view, unsettledness of the future is grounded on the present indeterminacy of some present-tensed state of affairs. In order (...) for an indeterminate present-tensed state of affairs to explain the unsettledness of a future-tensed state of affairs, there has to be a connection between the two. We argue that this connection can only be provided if we look at the internal structure of the relevant state of affairs. Finally, we will suggest that the best background theory to explain the connection are the so-called spontaneous collapse models of quantum mechanics. (shrink)

Partee (1973) noted anaphoric parallels between English tenses and pronouns. Since then these parallels have been analyzed in terms of type-neutral principles of discourse anaphora. Recently, Stone (1997) extended the anaphoric parallel to English modals. In this paper I extend the story to languages of other types. This evidence also shows that centering parallels are even more detailed than previously recognized. Based on this evidence, I propose a semantic representation language (Logic of Change with Centered Worlds), in which the observed (...) parallels can be formally analyzed. (shrink)

This book surveys the ways in which languages of different types refer to past, present, and future events and how these referents are related to the knowledge and attitudes of discourse participants. The book is the culmination of fifteen years of research by the author. Four major language types are examined in-depth: tense-based English, tense-aspect-based Polish, aspect-based Chinese, and mood-based Kalaallisut. Each contributes to a series of logical representation languages, which together define a common logical language that is (...) argued to underlie all language types. The four types differ in whether they choose to grammaticalize discourse reference to times (tense), events (aspect), and/or attitudes (mood), and how non-grammaticalized elements are inferred. The common logical language is a dynamic update logic, building on DRT and Centering Theory, but with a novel architecture—e.g. the distinction between focal vs. peripheral attention plays a key role, parallel to focal vs. peripheral vision. (shrink)

Todd (2016) proposes an analysis of future-directed sentences, in particular sentences of the form 'will(φ)', that is based on the classic Russellian analysis of definite descriptions. Todd's analysis is supposed to vindicate the claim that the future is metaphysically open while retaining a simple Ockhamist semantics of future contingents and the principles of classical logic, i.e. bivalence and the law of excluded middle. Consequently, an open futurist can straightforwardly retain classical logic without appeal to supervaluations, determinacy operators, or any further (...) controversial semantical or metaphysical complication. In this paper, we will show that this quasi-Russellian analysis of 'will' both lacks linguistic motivation and faces a variety of significant problems. In particular, we show that the standard arguments for Russell's treatment of definite descriptions fail to apply to statements of the form 'will(φ)'. (shrink)

1. Good and evil are not entities, but parameters. The only moral fact is death, and morality is the attitude towards death: everything that leads the system to destruction is evil; everything that overcomes the death of the system is good. The open-question argument is removed without appeal to a naturalistic fallacy. 2. All problems are linked to death. What does not lead to death is not a problem. Any obstacle, barrier, difficulty, or limit is a problem for us only (...) if we know how it can kill us. 3. To understand death as a problem, we need a system of tenses. Any understanding is the transfer of a real event as an abstract symbol from the past to the future, and then the perception of the abstract future in the real present. The only known system that can operate with time is the human language. Human is the only socio-cognitive system that has understood death as a problem. 4. Ethics is a method of development. 5. The purpose of development is to overcome the problem — to obtain freedom from the limitations of death. Beginning with situational problems: hunger, cold, diseases, and external threats; up to the absolute problem: death as such. Overcoming these problems breaks Hume’s guillotine not by logic, but by the phenomenon of will. This ethical concept circumvents Hume's guillotine – indeed, the "ought" does not follow from the "is", but it logically follows from the possible: an imagined, desired hypothesis of freedom from the problem arouses the will to overcome. 6. Survival and overcoming death are not the same thing. Survival is the avoidance of death, the selection of forms and 5 behaviors that allow not to face the problem. Death for Natural Selection is a tool of development, and Death for overcoming is a subject of development. 7. Achieving the development goal is the transition of the system to a new qualitative state. A New World and a New Man, free from the problem of death, will have no need for morality and ethics. (shrink)

The Shadow of God in the Philosopher’s Garden. The Parc de La Villette in Paris in the context of the philosophy of chôra I Bernard Tschumi’s project of the Parc de La Villette could have won the competition and was implemented thanks to the political atmosphere that accompanied the victory of the left-wing candidate in the French presidential elections in 1981. François Mitterand’s revision of the political programme and the replacement of radical reforms with the construction of prestigious architectural objects (...) and urban assumptions in the French capital gave Tschumi a unique opportunity to realise ideas that polemicised with traditional forms of social life, questioned the basic principles of architecture and included architectural work in the philosophical disputes over the issues of metaphysics. Tschumi’s theoretical assumptions put forward during the design of the Parc de La Villette highlighted the questions of conflict between the main components of the project and suggested that the intensification of differences was analogous to Jacques Derrida’s creation of the concept of différance. It was this philosopher who in a special commentary to Derrida’s project also introduced the concept of maintenant, which aimed at demonstrating that the architect’s polemical inclinations remain in a hidden balance with his inclinations to affirmation of architectural principles. During the discussion between Derrida and Peter Eisenman, who was to take part in the design of the Parisian park, the concept of the chôra was also put forward, which in the course of the debate led to an additional confusion of architectural and philosophical problems. II In the period from the Antiquity to the Renaissance, the dialogue Timaeus was the most frequently commented work of Plato. At present, the most frequently discussed is the issue of the chôra included in it, which aroused fascination among philosophers, researchers of rhetoric, religion, feminism, but also architecture. The work on the chôra also influenced the development of the interpretation of the Parc de La Villette, among which the topics related to the beginning and the change were highlighted. In early uses of the word chôra in Greek, as in Homer’s 18th Book of Iliad, it meant both dancing and a place to dance. On this occasion, it can be seen that it is not possible to determine which phenomenon took precedence in the creation of the name. It cannot be denied, however, that the word concerned a specific movement, as if circular and returning to an indefinable beginning. Despite gaining more and more general meanings, the word chôra has retained its connection with the dance of people on the threshing floor, the dance of bees (choros meliton) or the dance of stars (choros astron). In Timaeus, the chôra is a space filled with movement with an effect similar to shaking the sieve to husk the grain: it separates similar elements from the dissimilar ones. The juxtaposition of the Parc de La Villette and the chôra already at this stage leads to the suggestion that the park was treated by the architect as a place of dynamic changes leading to the establishment of new social solutions. In his statements, the architect confirmed that the park was to be a space of new politics and ethics. The book by Julia Kristeva La Révolution du langage poétique contributed to the spread of the belief that works of art can play a role as factors of political revolution. In this work, the author put forward the thesis that the chôra is a kind of space, the character of which has a destructive influence on attempts to conclude language games. The chôra gives beginning to words, but at the same time, by leaving a trace of this beginning it forces us to renew their meanings. The chôra understood in this way, turns out to be an irremovable beginning, to which one has to return all the time. Kristeva found manifestations of the chôra’s activity in avant-garde French poetry, to which she attributed the role of a mediator between criticism of metaphysics and aspirations for social change. The chôra, violating the language, introduces some voids into it, as if traces of the abyss, which direct the consciousness towards understanding the necessity of political changes. The Parc de La Villette was to pursue similar objectives in the city space. In his essays, Tschumi considered the problems of creating spaces that would give rise to a radical democracy. The proposed rebellious spaces should have the characteristics of a void, in which contradictory forces would occur as forms of pure activity. The means of achieving this goal was to concentrate contradictions and make them visible. The Parc de La Villette was supposed to collect differences as indelible and at the same time by showing them it was supposed to raise awareness of the social world as a conglomerate of differences. Saturation of the space of the park with subversive values results from the character of this space suppressed in the consciousness, as well as from the social diversity which has not been taken into account so far. The main contradictions contained in space relate to the division that exists between its presentation as a mental problem and a sensual one. The park was the deliberate creation of a place that transcends such a division and creates a separate space for negotiation between architectural theories and its practical applications. The purpose of the park was to become a place of future events, which would not hide their conflicting character coming from diversity of both space and society. The method of composition usually aimed at achieving a harmonious whole has been replaced by Tschumi with a system of juxtaposition of non-coherent elements or those resulting from variations and transformations. Tschumi did not seek direct influence on politics in the Parc de La Villette, but made room for thinking about the possibilities of the future. He introduced problems rather than showed solutions to them. The task of the park was to put the principles of architecture into a kind of vibration that would inspire users to participate in the new community. III Tschumi believes that the quality of architecture depends on the theoretical factor it contains. Such a view led to the creation of architecture that would achieve visibility and comprehensibility only after its interpretation. On his way to creating such an architecture he took on a purely philosophical reflection on the basic building block of architecture, which is space. In 1975, he wrote an essay entitled Questions of Space, in which he included several dozen questions about the nature of space. The questions he formulated could be regarded as analogous to the situation in the philosophy of the time, in which the interest in questioning the most obvious forms of understanding the world and intellectual categories increased. The research on space is an area common to many fields of natural sciences, humanities and artistic creation, but it also deals with other problems, such as issues of experience. The concept of space-time continuum proposed by Hermann Minkowski drew attention to the identity of time and space with the events taking place. Probably regardless of the postulates of physicists commenting on Albert Einstein’s discoveries, also in philosophy it increased the importance of the concept of the event which became dominant in Martin Heidegger’s latest work Contributions of Philosophy: Of the event. Furthermore, Tschumi’s reflections on space entered into relation with the problem of experience, which aroused the interest of a group of French philosophers trying to assimilate Georges Bataille’s concept of “inner experience”. Both Tschumi and Derrida referred to Bataille because his views could be used not only to modify the concept of the subject, but also to change the understanding of what constitutes the area of architecture. The discussion on experience has led to the recognition that the subject is not sovereign, but actually a form of what is on their outside. Such insights make it possible to treat the area of the Parc de La Villette as existing mainly when it is organised by its users. The decisive features of the park are its assumptions, according to which it is a variety of active void that leads to agreeing new social relations with it. The park does not force to participate in already existing moral or political communities, but tries to move into an unknown future in which the scope of free functioning of individuals will be increased. Doubts about the principles of functioning of the individual self and its discovery as a whole composed of non-coherent parts, as well as its dependence on its own depth full of disordered forces, influenced the understanding of architecture as a set of contradictions whose source is a fundamental void anticipating the empty phenomenal space. The use of this phenomenal void in architecture, as well as the rejection of the whole and unity, had a specific political purpose and drew its inspiration from political analyses. In the Parc de La Villette, metaphysics and politics were brought closer together because the philosophy of void was used to create new conditions for community action. It can be argued that the source of this philosophy was the perception of errors in existing societies dependent on the shortcomings of traditional metaphysics. Spacing (espacement) was one of the key terms in Derrida’s philosophy, which was also combined with the concepts of différance and chôra. The study of the nature of space, especially its transition from the level of pure possibility to the level of sensual phenomenon, also contributes to understanding how well designed space can have an impact on its audience. This explanation is based on Tschumi’s assumption that the space of the Parc de La Villette contradicts the integrating approaches and instead exposes contradictions, but it does so in a way that combines incompatible properties into a single piece of architecture. The specificity of such integration is similar to the invention of a musical phrase, which is an ideological message: moral and political. Such a thesis may raise doubts, however, if both the clearly adopted assumptions and those deduced from the work allow for their logically ordered presentation then to a limited extent it may be assumed that the work has achieved a connection between a specific philosophy of space and its practical application. Derrida combined the problem of spatiality with the problem of transcendental imagination in the philosophy of Immanuel Kant, who in the first version of Critique of Pure Reason assumed that pure imagination precedes the appearance of time and space, even in their transcendental forms. The imagination in such a situation can be described as a factor activating time and space, which indicates what function is played by movement in this activity. This leads us to recognize that the ultra originary source of pure forms of sensual intuition is movement, which in early Greek philosophy was identified with void and its lack of resistance to phenomena occurring in it. Derrida’s philosophy in search of a certain super-transcendental source of time and space pointed to différance which, like void or the chôra, does not have material features or even any other form of being. Différance is the primary cause of the disruption of motionlessness and the introduction of activity into motionless time and space, thus its activity can be described as spacing (espacement). Derrida’s discoveries in this respect are not entirely original, because Georg Wilhelm Friedrich Hegel already pointed out when examining the present that it is primarily a differential relation (differente Beziehung), which, being seemingly neutral, influences the present with supernatural force and makes it unidentifiable with itself. Differente Beziehung must similarly influence the originary space, negating its initial character by multiplying its divisions and expanding its boundaries. Différance acts by revealing contradictions wherever there is apparent undifferentiation. Tschumi, composing the Parc de La Villette as a variety of void and a set of incompatible layers, followed the rules of différance or the chôra: he made void visible together with its saturation with contradictions. If space can be considered to be the result of the activity of difference, such activity has a certain regularity, which influences the behaviour of its observers. Differences or contradictions fall into a certain rhythm, which can be considered a manifestation of transcendent order. The problem is that what can be considered the source of such order, namely the logos or God, is partly disorder and error. According to descriptions contained in Timaeus, the world is a combination of forces that drive to order with forces of erroneous necessity that resounds in every order and forces it to return to disorder. Derrida denied the possibility of understanding différance as a theological value, even if it were a negative or apophatic theology, but no categorical denial could be perfect. The assumption that différance or the chôra are not endowed with any substance properties cannot deny their activity, and thus a certain force. Already since Democritus, philosophy has multiplied the names of such a force and the contradictory variety of its manifestations, never forgetting also the necessity for reason to withdraw from the possibility of giving its correct characteristics. Such a withdrawal may be interpreted as an expression of respect and, in certain situations, as a cult of the force that precedes reasonableness. The Parc de La Villette, which is an artistic divagation about the contradictions and forces behind them, can be considered as a place of their sublimation, and therefore as a variation of the temple of what differs from order and disorder. IV In the texts that presented the theoretical assumptions of the Parc de La Villette, Tschumi used a large number of terms that contradicted not only the traditional principles of composing architecture, but also negated the rules of social order and the foundations of Western metaphysics. Tschumi’s statements, which are a continuation of his leftist political fascinations from the May 1968 revolution, as well as his interest in the philosophy of French poststructuralism and his collaboration with Derrida, prove that terms such as “disruption”, “dissociation”, “disfunction”, “disjunction” and “dispersion” not only referred to architectural problems but also applied to political criticism and the deepest foundations of thinking itself. His collaboration with Derrida manifested itself primarily in the publication La Case Vide: La Villette 1985, in which the architect’s design drawings and texts explaining his concepts related to the Parc de La Villette were accompanied by an extensive essay by Derrida, which included theoretical problems taken up by Tschumi in a philosophical context. Architectural and philosophical issues were also combined during seven discussion meetings organised by Eisenman, invited by Tschumi to collaborate on the design of the Parc de La Villette. Eisenman, who, like Tschumi, invited Derrida to participate in the design of the park and also led to the publication of Chora L Works: Jacques Derrida and Peter Eisenman, in which his ideas were confronted with Derrida’s philosophical text. In this case, Derrida’s essay was not a direct commentary on the architect’s concepts, but rather a reflection on the question of the chôra presented by Plato in Timaeus. During the discussion and in his essay, Derrida pointed out that the chôra is a component of the created world, yet it does not belong to it, but precedes it. The originality of the chôra is so radical that she also precedes all the factors of creating the world, including ideas and the Demiurge. Thus athesis appeared in the metaphysics of the West that the chôra is a form of active abyss, in relation to which all beings are secondary, both those perfect (as ideas or God) and those created, such as the world, things, people or language. This leads to the conclusion that the chôra does not exist, because all existence is a derivative of the chôra. Nor could the chôra be described, since it is a form of developing a space that is preceded by a lack of space characteristic of the chôra. Derrida intended the chôra to be an instance with an exceptional degree of transcendentalism, an anti-metaphysical instance, but also an a-theological one. However, this attempt failed, both in the field of secular philosophy and in the field of theology. Derrida’s characteristics of the chôra to strengthen its transcendentalism and negation of metaphysics had to be expressed in a language that immediately produces new concepts and a new metaphysics that reproduces the categories of the beginning, the origin or the foundation known from earlier philosophical traditions. All forms of criticism of metaphysics are also inspired by negative, apophatic and mystical theology. The undermining of many concepts of permanent meaning and the introduction of new concepts of unstable meaning, characteristic of the philosophy of deconstruction, had many features of originality, but it was directed towards problems whose solutions repeat, with the use of new vocabulary, the findings known in culture since Democritus. Thus, if apophatic philosophy can be regarded as deconstruction avant la lettre, then deconstruction itself in its late versions began to take on the features of a new religion. The exchange of inspiration between theology and deconstruction was manifested in a series of scientific conferences and publications in which Derrida’s philosophical concepts were interpreted within the scope of religious thought. Theological threads began to be found in such concepts of deconstruction as différance or the chôra, while at the same time Derrida himself undertook in his philosophy to study problems such as the Other (L’Autre) or the Impossible (Impossible), which belonged to newer theological traditions. As a consequence of the new problems, the deconstruction became closer to the features of a new religion. Philosophy, at least from Kant’s time, has tried to create a system that would take over from religion the tasks of setting moral and political goals. Similarly, Derrida has directed his interest towards the problems of democracy and ethics, which would enable their renewal. Attempts to create a new religion (cleared of old metaphors), a new community or a new democracy bring problems and threats which may be no less troublesome than the previous systems. All promises of freedom carry with them threats, the greater the more they strive for perfection. The renewal of existential orders, sometimes carried out by means of violent changes, is a certain repetitive feature of human cultures. Deep changes, however, do not protect against the return of both old gods and old demons. Tschumi and Derrida were shaped in their youth by the atmosphere of leftist rebellion against the moral and political limitations of ossified communities and the imperfections of democracy. The ethical theme distinguishes many of their works, including the Parc de La Villette. The opposition to the metaphysical traditions of philosophy and architecture contained in this park was prompted by specific political situations and resulted from bringing political issues to the level of philosophical considerations. Achievements made at the level of pure concepts were then subject to elevation, to a kind of sacralization, which made them religious concepts. The deconstruction reached for the status of the new religion especially when it found its followers and began to generate moral obligations. In the new situation, terms such as the chôra, l’Autre or the Impossible were absolutized and in relation to them a cult and attitude of adoration emerged. The Parc de La Villtette then gained new post-secular meanings, which allow it to be assigned the function of a Temple of Otherness (L’Autre) and Impossible. V In the traditional sense, a work of art creates an illustration of the outside world, or of a certain text or doctrine. Sometimes it is considered that such an illustration is not literal, but is an interpretation of what is visible, or an interpretation of a certain literary or ideological message. It can also be assumed that a work of art creates its own visual world, a separate story or a separate philosophical statement. Parc de La Villette represents the last of these possibilities: it is a philosophical statement that develops the premises derived from poststructuralist philosophies and the philosophy of deconstruction. The uniqueness of its being status, however, is that it does so not only at the level of the theoretical assumptions, but also through its functioning as an active philosophical work. This means that a park is a happening philosophy. Its activity, however, does not refer only to the present tense, but is also an attempt to penetrate the future, all otherness and impossibility. This kind of activity assumes that the work, in a sense, does not yet fully exist, but is also still produced in the processes of its interpretation. The theoretical foundations of the park included texts by Tschumi, in which he questioned traditional ways of creating a work of architecture, postulating in return the use of a long series of negations, which were comparable to the crisis of metaphysics characteristic of contemporary philosophy. It is therefore no coincidence that the publication containing Tschumi’s theoretical text on Parc de La Villette was accompanied by an essay by Derrida developing some of the architect’s concepts. The next step in integrating philosophy into the process of park design was a series of discussions between Eisenman and Derrida, who completely moved the creation of the park into the world of thoughts, without accentuating the need for their realization in the material reality. The main topic of these discussions was the problem of the chôra, which was taken up by later commentators and used to interpret the park as a work in which the philosophy of the beginning is manifested relating to issues of politics, morality and religion. The park was therefore interpreted as a space of invention within the scope of creating new rules of functioning of the community and democracy. Thinking about the political future may, however, exceed the horizon of ordinary expectations. Although philosophical thought is always connected with contemporary problems and metaphysics sometimes intertwines with current politics, yet at the same time the customs of philosophy also include crossing horizons and thinking about absolute otherness and impossibility. Initially, the chôra, différance, absolute otherness (tout autre) and the Impossible were concepts of pure philosophy of atheistic character, but with the further development of the discussion, more and more theological motifs began to emerge. One of the reasons for this phenomenon was the fact that radical negations of all being, which were contemplated in contemporary philosophy (by Heidegger and Derrida, among others), had previously been manifested in negative and apophatic theologies (by Master Eckhart, among others).Also the category of the “Other”, taken from Emmanuel Levinas, was clearly connected with the thought about God. A further reason for connecting the chôra with the theological thought was the interest in the philosophy of deconstruction expressed by some theologians. John Caputo in particular managed to persuade Derrida to participate in discussions on the current status of religion. In the late period of Derrida’s writing, further statements on religious topics appeared. All these reasons led to posing a question about the identity of the chôra and God. Although there were no satisfactory conclusions on this issue, the discussion was also important to create an interpretation of the park as a place of worship. The chôra, representing, according to Plato, the preoriginal emptiness is the place of every beginning, but it turns out that it is not neutral to the being created in it. The chôra deposits itself in every being as an irremovable beginning that interferes with its stability. The chôra, therefore, forces us into a palintropical movement, but it also turns out to be a pure compulsion, an erring necessity and a fundamental force from which, in the human perception, motifs useful to the individual and to the community are extracted. All definitions of this force, including its anthropomorphisation, are formulated in such a way that they allow for building private and collective morality upon them. Such definitions are changed depending on variable political situations. It is difficult to determine whether in the processes of changes in the formulation of “God’s names” any essential value is retained, which is not subject to change. The current definitions of the chôra (God?), which can be found, for example, in the philosophy of Caputo, stress that she is a combination of various and contradictory forces. This characteristic inherits much of Plato’s concept, reminds us of Master Eckhart’s views on Gottheit and, at the same time, is not unfamiliar to Tschumi, whose essays were an apologia of contradictions. The current concept of chôra, transferred into the sphere of politics, is the praise of social diversity and the protection of the difference from the forces of order. In the Parc de La Villette, the future community and democracy were elevated as a system of safe existence of individuals in all their singularity. The park is a temple of a future community in which individual beings have nothing in common. (shrink)

Potentialists think that the concept of set is importantly modal. Using tensed language as an heuristic, the following bar-bones story introduces the idea of a potential hierarchy of sets: 'Always: for any sets that existed, there is a set whose members are exactly those sets; there are no other sets.' Surprisingly, this story already guarantees well-foundedness and persistence. Moreover, if we assume that time is linear, the ensuing modal set theory is almost definitionally equivalent with non-modal set theories; specifically, with (...) Level Theory, as developed in Part 1. (shrink)

John Ellis McTaggart defended an idealistic view of time in the tradition of Hegel and Bradley. His famous paper makes two independent claims (McTaggart1908): First, time is a complex conception with two different logical roots. Second, time is unreal. To reject the second claim seems to commit to the first one, i.e., to a pluralistic account of time. We compare McTaggarts views to the most important concepts of time investigated in physics, neurobiology, and philosophical phenomenology. They indicate that a unique, (...) reductionist account of time is far from being plausible, even though too many conceptions of time may seem unsatisfactory from an ontological point of view. (shrink)

This paper presents a semantical analysis of the Weak Kleene Logics Kw3 and PWK from the tradition of Bochvar and Halldén. These are three-valued logics in which a formula takes the third value if at least one of its components does. The paper establishes two main results: a characterisation result for the relation of logical con- sequence in PWK – that is, we individuate necessary and sufficient conditions for a set.

In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order (...) to philosophically justify paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we show that mbC, a logic of formal inconsistency based on classical logic, may be enhanced in order to express the basic ideas of an intuitive interpretation of contradictions as conflicting evidence. (shrink)

In this article, we present a definition of a hyperintensionality appropriate to relevant logics. We then show that relevant logics are hyperintensional in this sense, drawing consequences for other non-classical logics, including HYPE and some substructural logics. We further prove results concerning extensionality in relevant logics. We close by discussing related concepts for classifying formula contexts and potential applications of these results.

In this paper we discuss the extent to which conjunction and disjunction can be rightfully regarded as such, in the context of infectious logics. Infectious logics are peculiar many-valued logics whose underlying algebra has an absorbing or infectious element, which is assigned to a compound formula whenever it is assigned to one of its components. To discuss these matters, we review the philosophical motivations for infectious logics due to Bochvar, Halldén, Fitting, Ferguson and Beall, noticing that (...) none of them discusses our main question. This is why we finally turn to the analysis of the truth-conditions for conjunction and disjunction in infectious logics, employing the framework of plurivalent logics, as discussed by Priest. In doing so, we arrive at the interesting conclusion that —in the context of infectious logics— conjunction is conjunction, whereas disjunction is not disjunction. (shrink)

We present a new frame semantics for positive relevant and substructural propositional logics. This frame semantics is both a generalisation of Routley–Meyer ternary frames and a simplification of them. The key innovation of this semantics is the use of a single accessibility relation to relate collections of points to points. Different logics are modeled by varying the kinds of collections used: they can be sets, multisets, lists or trees. We show that collection frames on trees are sound and (...) complete for the basic positive distributive substructural logic $\mathsf {B}^+$, that collection frames on multisets are sound and complete for $\mathsf {RW}^+$ (the relevant logic $\mathsf {R}^+$, without contraction, or equivalently, positive multiplicative and additive linear logic with distribution for the additive connectives), and that collection frames on sets are sound for the positive relevant logic $\mathsf {R}^+$. The completeness of set frames for $\mathsf {R}^+$ is, currently, an open question. (shrink)