The purpose of the paper is to rethink the role of actuality in the branching model of possibilities. We investigate the idea that the model should be enriched with an additional factor—the so-called Thin Red Line—which is supposed to represent the single possible course of events that gets actualized in time. We believe that this idea was often misconceived which prompted some unfortunate reactions. On the one hand, it suggested problematic semantic models of future tense and and on the other, (...) it provoked questionable lines of criticism. We reassess the debate and point to potential pitfalls, focusing on the semantic dimension of the Thin Red Line theory. Our agenda transcends the semantics, however. We conclude that semantic considerations do not threaten the Thin Red Line theory and that the proper debate should be carried in the domain of metaphysics. (shrink)

This paper specifies classes of framesmaximally omnitemporally characteristic for Thomas' normal modal logicT 2 + and for each logic in the ascending chain of Segerberg logics investigated by Segerberg and Hughes and Cresswell. It is shown that distinct a,scending chains of generalized Segerberg logics can be constructed from eachT n + logic (n 2). The set containing allT n + and Segerberg logics can be totally- (linearly-) ordered but not well-ordered by the inclusion relation. The order type of this ordered (...) set is *( + 1). Throughout the paper my approach is fundamentally semantical. (shrink)

This paper aims to clarify the connection between the logic of temporal distinctions and the temporal features of propositions. Contra Prior, it argues that the adoption of tense operators does not commit one to the view that propositions can change their truth value over time.

In this article, I offer two different formalizations for prescriptions which correspond to two different forms of biblical prohibitions. I discuss the known fact that the prohibitive commandments of the Decalogue according to the Septuagint and the Vulgate, Exodus 20 and Deuteronomy 5, are formulated with normative future tense indicatives. However, the Greek and Latin sources provide in Mark 10:19 variants of five biblical prohibitive commandments which are formulated with prohibitive subjunctives. I argue that there are semantic differences between normative (...) future tense indicatives and prohibitive subjunctives. These semantic differences are of importance for the understanding of the Decalogue. (shrink)

The Lazy Argument, as it is preserved in historical testimonies, is not logically conclusive. In this form, it appears to have been proposed in favor of part-time fatalism (including past time fatalism). The argument assumes that free will assumption is unacceptable from the standpoint of the logical fatalist but plausible for some of the nonuniversal or part-time fatalists. There are indications that the layout of argument is not genuine, but taken over from a Megarian source and later transformed. The genuine (...) form of the argument seems to be given in different form and far closer to Megarian logical fatalism and its purpose is not to defend laziness. If the historical argument has to lead to a logically satisfactory solution, some additional assumptions and additional tuning is needed. (shrink)

The purpose of this paper is to work toward an explicit logic and semantics for a game theoretically inspired theory of action. The purpose of the logic is to explicate the conceptual machinery implicit in the dialogue-game model of rational discourse developed in Carlson (1983).A variety of ideas and techniques of modal and philosophical logic are used to define a model structure that generalizes the game theoretical notion of a game in extensive form (von Neumann and Morgenstern, 1944). Relative to (...) this model structure, semantic characterizations are given to the action-theoretic notions oftime, possibility, belief, preference, ability, intention, action, andrationality. The unification of these characterizations under the game-theoretical paradigm leads to insights about the logical interdependences between these concepts. (shrink)

ABSTRACT In this paper we introduce a set of six logical values, arising in the application of three-valued logics to time intervals, find its algebraic structure, and use it to define a six-valued logic. We then prove, by using algebraic properties of the class of De Morgan algebras, that this semantically defined logic can be axiomatized as Belnap's ?useful? four-valued logic. Other directions of research suggested by the construction of this set of six logical values are described.

A new theory of problem solving is presented, which embeds problem solving in the theory of action; in this theory, a problem is just a difficult action. Making this work requires a sophisticated language for‐talking about plans and their execution. This language allows a broad range of types of action, and can also be used to express rules for choosing and scheduling plans. To ensure flexibility, the problem solver consists of an interpreter driven by a theorem prover which actually manipulates (...) formulas of the language. Many examples of the use of the system six given. including an extended treatment of the world of blocks. Limitations and extensions of the system are discussed at length. It is concluded that a rule‐based problem solver is necessary and feasible, but that much more work remains to be done on the underlying theory of planning and acting. (shrink)

The paper concerns time, change and contradiction, and is in three parts. The first is an analysis of the problem of the instant of change. It is argued that some changes are such that at the instant of change the system is in both the prior and the posterior state. In particular there are some changes from p being true to p being true where a contradiction is realized. The second part of the paper specifies a formal logic which accommodates (...) this possibility. It is a tense logic based on an underlying paraconsistent prepositional logic, the logic of paradox. (See the author's article of the same name Journal of Philosophical Logic 8 (1979).) Soundness and completeness are established, the latter by the canonical model construction, and extensions of the basic system briefly considered. The final part of the paper discusses Leibniz's principle of continuity: Whatever holds up to the limit holds at the limit. It argues that in the context of physical changes this is a very plausible principle. When it is built into the logic of the previous part, it allows a rigorous proof that change entails contradictions. Finally the relation of this to remarks on dialectics by Hegel and Engels is briefly discussed. (shrink)

Hybrid languages have both modal and first-order characteristics: a Kripke semantics, and explicit variable binding apparatus. This paper motivates the development of hybrid languages, sketches their history, and examines the expressive power of three hybrid binders. We show that all three binders give rise to languages strictly weaker than the corresponding first-order language, that full first-order expressivity can be gained by adding the universal modality, and that all three binders can force the existence of infinite models and have undecidable satisfiability (...) problems. (shrink)

Der Ausdruck "Soziotektonik" bezeichnet das Netzwerk menschlicher Wechselwirkungen, welche durch Symbole und Signale übermittelt werden und die Koordination und Integration verschiedener Sozialsysteme ermöglichen. Jedes Sozialnetzwerk ist zeitbedingt und seine Evolution ist das Ergebnis menschlicher Entscheidungen. Die Entwicklung kann im Rückblick beschrieben werden; im Vorausblick können nur Wahrscheinlichkeitsaussagen gemacht werden. Die Teilsysteme sind nicht hierarchisch untergeordnet, sondern heterarchisch beigeordnet und unterliegen infolgedessen unvereinbaren Einflüssen. Der Grad der möglichen Harmonisierung kann mathematisch-topologisch formuliert werden.

This article surveys some of the key issues that arise when one tries to use tense logic as a metaphysical theory of the nature of time. Topics discussed include basic tense logic, tense logic and verb tense, the structure of the time series, instants of time, quantified tense logic, and the expressive resources of tense logic.

Arthur N. Prior, in the Preface of Past, Present and Future, made clear his indebtedness to “the very lively tense-logicians of California for many discussions”. Strangely,with a notable exception of Copeland, there is no extensive discussion of these scholars in the literature on the history of tense logic. In this paper, I propose to study how Nino B. Cocchiarella, as one of the Californian tense-logicians, interacted with Prior in the late 1960s. By gathering clues from their correspondence available at Virtual (...) Lab for Prior Studies, I will highlight some of the differences between their views on tense-logic, which might still have far-reaching philosophical implications. I will conclude with a sketchof how to study in what ways Prior and Cocchiarella influenced some other Californian tense-logicians. (shrink)

Much previous work in artificial intelligence has neglected representing time in all its complexity. In particular, it has neglected continuous change and the indeterminacy of the future. To rectify this, I have developed a first‐order temporal logic, in which it is possible to name and prove things about facts, events, plans, and world histories. In particular, the logic provides analyses of causality, continuous change in quantities, the persistence of facts (the frame problem), and the relationship between tasks and actions. It (...) may be possible to implement a temporal‐inference machine based on this logic, which keeps track of several “maps” of a time line, one per possible history. (shrink)

This article concerns the metatheory of a class of modal logics whose language includes propositional constants of various kinds. The main novelties are the use of general frames with specific restrictions and the definition of the strict range of a formula. Many examples from the literature are treated within the framework provided and some traditional model-theoretic issues such as preservation results concerning the validity of formulas and definability results concerning frame properties are addressed.

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