Online research in philosophy

It is proved that all bimodal tense logics which contain the logic of the weak orderings and have unbounded depth do not have the interpolation property.

We consider a formal language whose logical syntax involves both modal and tense propositional operators, as well as sortal quantifiers, sortal identities and (second order) quantifiers over sortals. We construct an intensional semantics for the language and characterize a formal logical system which we prove to be sound and complete with respect to the semantics. Conceptualism is the philosophical background of the semantic system.

Tense logics in the bimodal propositional language are investigated with respect to the Finite Model Property. In order to prove positive results techniques from investigations of modal logics above K4 are extended to tense logic. General negative results show the limits of the transfer.

In this paper we show the adequacy of tense logic with unary operators for dealing with finite trees. We prove that models on finite trees can be characterized by tense formulas, and describe an effective method to find an axiomatization of the theory of a given finite tree in tense logic. The strength of the characterization is shown by proving that adding the binary operators "Until" and "Since" to the language does not result in a better description than that given by unary tense logic; although the greater expressive power of "Until" and "Since" can be exploited by using the semantics of e-frames instead of traditional Kripke semantics.

The paper introduces a first-order theory in the language of predicate tense logic which contains a single simple axiom. It is shewn that this theory enables times to be referred to and sentences involving ‘now’ and ‘then’ to be formalised. The paper then compares this way of increasing the expressive capacity of predicate tense logic with other mechanisms, and indicates how to generalise the results to other modal and tense systems.

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.

In this paper we examine Prior’s reconstruction of Master Argument [4] in some modal-tense logic. This logic consists of a purely tense part and Diodorean definitions of modal alethic operators. Next we study this tense logic in the pure tense language. It is the logic K t 4 plus a new axiom ( P ): ‘ p Λ G p ⊃ P G p ’. This formula was used by Prior in his original analysis of Master Argument. ( P ) is usually added as an extra axiom to an axiomatization of the logic of linear time. In that case the set of moments is a total order and must be left-discrete without the least moment. However, the logic of Master Argument does not require linear time. We show what properties of the set of moments are exactly forced by ( P ) in the reconstruction of Prior. We make also some philosophical remarks on the analyzed reconstruction.

There are many parallels between the role of possible worlds in modal logic and that of times in tense logic. But the similarities only go so far, and it is important to note where the two come apart. This paper argues that even though worlds and times play similar roles in the model theories of modal and tense logic, there is no tense analogue of the possible-worlds analysis of modal operators. An important corollary of this result is that presentism cannot be the tense analogue of actualism.

According to Hans Kamp and Frank Vlach, the two-dimensional tense operators "now" and "then" are ineliminable in quantified tense logic. This is often adduced as an argument against tense logic, and in favor of an extensional account that makes use of explicit quantification over times. The aim of this paper is to defend tense logic against this attack. It shows that "now" and "then" are eliminable in quantified tense logic, provided we endow it with enough quantificational structure. The operators might not be redundant in some other systems of tense logic, but this merely indicates a lack of quantificational resources and does not show any deep-seated inability of tense logic to express claims about time. The paper closes with a brief discussion of the modal analogue of this issue, which concerns the role of the actuality operator in quantified modal logic.