Most of us would want to say that it is true that Socrates taught Plato. According to realists about past facts, this is made true by the fact that there is, located in the past, i.e., earlier than now, at least one real event that is the teaching of Plato by Socrates. Presentists, however, in denying that past events and facts exist cannot appeal to such facts to make their past-tensed Statements true. So what is a presentist to do?There are (...) at least three conditions that would ideally be met in a satisfactory solution to this problem:a) It must preserve our views about which Statements are true and which falseb) It must be transparent what the truthmakers are for those Statementsc) It must accommodate the truth-value links between various times. (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)

European Journal of Philosophy, Volume 30, Issue 2, Page 623-638, June 2022.

The paper deals with the problem of axiomatizing a system T1 of discrete tense logic, where one thinks of time as the set Z of all the integers together with the operations +1 ("immediate successor") and-1 ("immediate predecessor"). T1 is like the Segerberg-Sundholm system WI in working with so-called infinitary inference ruldes; on the other hand, it differs from W I with respect to (i) proof-theoretical setting, (ii) presence of past tense operators and a "now" operator, and, most importantly, with (...) respect to (iii) the presence in T1 of so-called systematic frame constants, which are meant to hold at exactly one point in a temporal structure and to enable us to express the irreflexivity of such structures. Those frame constants will be seen to play a paramount role in our axiomatization of T1. (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.

Montague, Prior, von Wright and others drew attention to resemblances between modal operators and quantifiers. In this paper we show that classical quantifiers can, in fact, be regarded as S5-like operators in a purely propositional modal logic. This logic is axiomatized and some interesting fragments of it are investigated.

I develop a puzzle, the resolution of which, I argue, requires an unfamiliar distinction between two forms or senses of metaphysical modality, each bearing a different relationship to time. In one sense of ‘metaphysically possible’, it is metaphysically possible for it to be a time other than the time it is now; in another sense, this is not metaphysically possible.

This paper is concerned with a propositional modal logic with operators for necessity, actuality and apriority. The logic is characterized by a class of relational structures defined according to ideas of epistemic two-dimensional semantics, and can therefore be seen as formalizing the relations between necessity, actuality and apriority according to epistemic two-dimensional semantics. We can ask whether this logic is correct, in the sense that its theorems are all and only the informally valid formulas. This paper gives outlines of two (...) arguments that jointly show that this is the case. The first is intended to show that the logic is informally sound, in the sense that all of its theorems are informally valid. The second is intended to show that it is informally complete, in the sense that all informal validities are among its theorems. In order to give these arguments, a number of independently interesting results concerning the logic are proven. In particular, the soundness and completeness of two proof systems with respect to the semantics is proven (Theorems 2.11 and 2.15), as well as a normal form theorem (Theorem 3.2), an elimination theorem for the actuality operator (Corollary 3.6), and the decidability of the logic (Corollary 3.7). It turns out that the logic invalidates a plausible principle concerning the interaction of apriority and necessity; consequently, a variant semantics is briefly explored on which this principle is valid. The paper concludes by assessing the implications of these results for epistemic two-dimensional semantics. (shrink)

Does the A-theory have an intuitive advantage over the B-theory? Many A-theorists have claimed so, arguing that their theory has a much better explanation for the fact that we all experience the passage of time: we experience time as passing because time really does pass. In this paper I expose and reject the argument behind the A-theorist’s claim. I argue that all parties have conceded far too easily that there is an experience that needs explaining in the first place. For (...) what exactly is an experience of temporal passage? One natural thought is that we experience passage in virtue of experiencing change, or in virtue of experiencing change as ‘dynamic’. Another is that we experience passage in virtue of experiencing events as (successively) present. None of these experiences, I argue, amounts to an experience of passage. Although there might still be other ways to experience passage, A-theorists would have to provide us with a plausible candidate experience. If there is such an experience at all, it won’t be one that qualifies as what we intuitively take to be an experience of passage. The ‘intuitive advantage’, it seems, has dissolved in any case. (shrink)

This paper deals with the truth-Conditions and the logic for vague languages. The use of supervaluations and of classical logic is defended; and other approaches are criticized. The truth-Conditions are extended to a language that contains a definitely-Operator and that is subject to higher order vagueness.