Switch to: References

Add citations

You must login to add citations.
  1. Tense Logic.Ulrich Meyer - 2015 - Philosophy Compass 10 (6):406-419.
    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.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Combinations of Stit with Ought and Know.Ming Xu - 2015 - Journal of Philosophical Logic 44 (6):851-877.
    This paper presents a short survey of recent developments in stit theories, with an emphasis on combinations of stit and deontic logic, and those of stit and epistemic logic.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Time and Determinism.Thomas Müller - 2015 - Journal of Philosophical Logic 44 (6):729-740.
    This paper gives an overview of logico-philosophical issues of time and determinism. After a brief review of historical roots and 20th century developments, three current research areas are discussed: the definition of determinism, space-time indeterminism, and the temporality of individual things and their possibilities.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Relativism 1: Representational Content.Max Kölbel - 2015 - Philosophy Compass 10 (1):38-51.
    In the pair of articles of which this is the first, I shall present a set of problems and philosophical proposals that have in recent years been associated with the term “relativism”. All these problems and proposals concern the question of how we should represent thought and speech about certain topics. The main issue here is whether we should model such mental states or linguistic acts as involving representational contents that are absolutely correct or incorrect, or whether, alternatively, their correctness (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Expressive Power of “Now” and “Then” Operators.Igor Yanovich - 2015 - Journal of Logic, Language and Information 24 (1):65-93.
    Natural language provides motivation for studying modal backwards-looking operators such as “now”, “then” and “actually” that evaluate their argument formula at some previously considered point instead of the current one. This paper investigates the expressive power over models of both propositional and first-order basic modal language enriched with such operators. Having defined an appropriate notion of bisimulation for first-order modal logic, I show that backwards-looking operators increase its expressive power quite mildly, contrary to beliefs widespread among philosophers of language and (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Tense, the Dynamic Lexicon, and the Flow of Time.Peter Ludlow - 2015 - Topoi 34 (1):137-142.
    One of the most gripping intuitions that people have about time is that it, in some sense “flows.” This sense of flow has been articulated in a number of ways, ranging from us moving into the future or the future rushing towards us, and there has been no shortage of metaphors and descriptions to characterize this sense of passage. Despite the many forms of the metaphor and its widespread occurrence, it has been argued that there is a deep conceptual problem (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Discourse transparency and the meaning of temporal locating adverbs.Daniel Altshuler - 2014 - Natural Language Semantics 22 (1):55-88.
    This paper proposes that a core semantic property of temporal locating adverbs is the ability to introduce a new time discourse referent. The core data comes from that same day in narrative discourse. I argue that unlike other previously studied temporal locating adverbs—which introduce a new time discourse referent and relate it to the speech time or a salient time introduced into the discourse context—that same day is ‘twice anaphoric’, i.e. it retrieves two salient times from the input context without (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Suggestion Regarding the Semantical Analysis of Performatives.Michael J. White - 1976 - Dialectica 30 (2‐3):117-134.
    SummaryThis paper develops a semantical account of sentences containing performative principal verbs in which these verbs are analyzed as indexical expressions: the proposition picked out by a sentence containing a performative verb depends on aspects of the context of use of the sentence; and these same aspects of context of use also determine the truth value of the proposition picked out. A two‐dimensional modal operator is utilized in analyzing non‐ performative sentences that contain principal verb which, in other contexts, have (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Tense and the psychology of relief.Christoph Hoerl - 2015 - Topoi 34 (1):217-231.
    At the centre of Arthur Prior’s ‘Thank goodness’ argument for the A-theory of time is a particular form of relief. Time must objectively pass, Prior argues, or else the relief felt when a painful experience has ended is not intelligible. In this paper, I offer a detailed analysis of the type of relief at issue in this argument, which I call temporal relief, and distinguish it from another form of relief, which I refer to as counterfactual relief. I also argue (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Situation economy.Ezra Keshet - 2010 - Natural Language Semantics 18 (4):385-434.
    Researchers often assume that possible worlds and times are represented in the syntax of natural languages. However, it has been noted that such a system can overgenerate. This paper proposes a constraint on systems where worlds and times are represented as situation pronouns. The Intersective Predicate Generalization, based on and extending work by R. Musan, states that two items composed via Predicate Modification, such as a noun and an intersective modifier, must be evaluated in the same world and time. To (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Structured contexts and anaphoric dependencies.Julie Hunter - 2014 - Philosophical Studies 168 (1):35-58.
    Sensitivity to the extra-linguistic context, as exhibited by indexical and demonstrative expressions, and sensitivity to the linguistic context, as exhibited by, for example, anaphoric uses of third person pronouns, are regularly regarded as different and independent phenomena. The data on indexicals, demonstratives, and third person pronouns, however, call for a more unified notion of context and of context sensitivity. This paper aims to develop such a unified picture by generalizing the notion of anaphora to encompass extra-linguistic context dependency and generalizing (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • What is the correct logic of necessity, actuality and apriority?Peter Fritz - 2014 - Review of Symbolic Logic 7 (3):385-414.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Situation Pronouns in Determiner Phrases.Florian Schwarz - 2012 - Natural Language Semantics 20 (4):431-475.
    It is commonly argued that natural language has the expressive power of quantifying over intensional entities, such as times, worlds, or situations. A standard way of modelling this assumes that there are unpronounced but syntactically represented variables of the corresponding type. Not all that much as has been said, however, about the exact syntactic location of these variables. Meanwhile, recent work has highlighted a number of problems that arise because the interpretive options for situation pronouns seem to be subject to (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • How many notions of necessity?Jordan Stein - 2013 - Philosophical Studies 165 (2):605-627.
    Evans distinguishes between superficial necessity and deep necessity in his analysis of the contingent a priori. The distinction between these two notions of necessity is formalized by Davies and Humberstone through the addition of the operator Fixedly to Actuality Modal Logic (AML, S5A), where deep necessity is represented by the combination Fixedly Actually. Wehmeier’s Subjunctive Modal Logic (SML) provides an extension of the expressive capacity of ordinary modal predicate logic alternative to AML. I add Fixedly to SML and show that (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Propositions and Multiple Indexing.Brian Rabern - 2012 - Thought: A Journal of Philosophy 1 (2):116-124.
    It is argued that propositions cannot be the compositional semantic values of sentences (in context) simply due to issues stemming from the compositional semantics of modal operators (or modal quantifiers). In particular, the fact that the arguments for double indexing generalize to multiple indexing exposes a fundamental tension in the default philosophical conception of semantic theory. This provides further motivation for making a distinction between two sentential semantic contents—what (Dummett 1973) called “ingredient sense” and “assertoric content”.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • A logic for epistemic two-dimensional semantics.Peter Fritz - 2013 - Synthese 190 (10):1753-1770.
    Epistemic two-dimensional semantics is a theory in the philosophy of language that provides an account of meaning which is sensitive to the distinction between necessity and apriority. While this theory is usually presented in an informal manner, I take some steps in formalizing it in this paper. To do so, I define a semantics for a propositional modal logic with operators for the modalities of necessity, actuality, and apriority that captures the relevant ideas of epistemic two-dimensional semantics. I also describe (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • Zwei modallogische Argumente für den Determinismus: Aristoteles und Diodor. [REVIEW]Franz von Kutschera - 1986 - Erkenntnis 24 (2):203 - 217.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Aristotle on the fallacies of combination and division in Sophistici Elenchi 4.Annamaria Schiaparelli - 2003 - History and Philosophy of Logic 24 (2):111-129.
    This paper discusses the fallacies of combination and division as they are presented by Aristotle in chapter 4 of his Sophistici Elenchi. Aristotle's examples are concise, their discussion is unclear, and it is difficult to distinguish the cases of combination from those of division. I analyse the Aristotelian examples and the interpretations offered so far. I show that these interpretations suffer from a major defect: they fail to identify a common characteristic whereby the Aristotelian examples can be classified as instances (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Sentence-relativity and the necessary a posteriori.Kai-Yee Wong - 1996 - Philosophical Studies 83 (1):53 - 91.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Two notions of necessity.Martin Davies & Lloyd Humberstone - 1980 - Philosophical Studies 38 (1):1-31.
    Download  
     
    Export citation  
     
    Bookmark   250 citations  
  • The logic of 'unless'.Marthe Chandler - 1982 - Philosophical Studies 41 (3):383 - 405.
    Download  
     
    Export citation  
     
    Bookmark  
  • Branching-time logic with quantification over branches: The point of view of modal logic.Alberto Zanardo - 1996 - Journal of Symbolic Logic 61 (1):1-39.
    In Ockhamist branching-time logic [Prior 67], formulas are meant to be evaluated on a specified branch, or history, passing through the moment at hand. The linguistic counterpart of the manifoldness of future is a possibility operator which is read as `at some branch, or history (passing through the moment at hand)'. Both the bundled-trees semantics [Burgess 79] and the $\langle moment, history\rangle$ semantics [Thomason 84] for the possibility operator involve a quantification over sets of moments. The Ockhamist frames are (3-modal) (...)
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  • Proper Names and Relational Modality.Peter Pagin & Kathrin Gluer - 2006 - Linguistics and Philosophy 29 (5):507 - 535.
    Saul Kripke's thesis that ordinary proper names are rigid designators is supported by widely shared intuitions about the occurrence of names in ordinary modal contexts. By those intuitions names are scopeless with respect to the modal expressions. That is, sentences in a pair like (a) Aristotle might have been fond of dogs, (b) Concerning Aristotle, it is true that he might have been fond of dogs will have the same truth value. The same does not in general hold for definite (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • First-order expressivity for s5-models: Modal vs. two-sorted languages.Holger Sturm & Frank Wolter - 2001 - Journal of Philosophical Logic 30 (6):571-591.
    Standard models for model predicate logic consist of a Kripke frame whose worlds come equipped with relational structures. Both modal and two-sorted predicate logic are natural languages for speaking about such models. In this paper we compare their expressivity. We determine a fragment of the two-sorted language for which the modal language is expressively complete on S5-models. Decidable criteria for modal definability are presented.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Ontological symmetry in language: A brief manifesto.Philippe Schlenker - 2006 - Mind and Language 21 (4):504–539.
    In the tradition of quantified modal logic, it was assumed that significantly different linguistic systems underlie reference to individuals, to times and to 'possible worlds'. Various results from recent research in formal semantics suggest that this is not so, and that there is in fact a pervasive symmetry between the linguistic means with which we refer to these three domains. Reference to individuals, times and worlds is uniformly effected through generalized quantifiers, definite descriptions, and pronouns, and in each domain grammatical (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • Intentional identity interpreted: A case study of the relations among quantifiers, pronouns, and propositional attitudes. [REVIEW]Esa Saarinen - 1978 - Linguistics and Philosophy 2 (2):151 - 223.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Temporal semantics in a superficially tenseless language.Lisa Matthewson - 2006 - Linguistics and Philosophy 29 (6):673 - 713.
    This paper contributes to the debate about ‘tenseless languages’ by defending a tensed analysis of a superficially tenseless language. The language investigated is St’át’imcets (Lillooet Salish). I argue that although St’át’imcets lacks overt tense morphology, every finite clause in the language possesses a phonologically covert tense morpheme; this tense morpheme restricts the reference time to being non-future. Future interpretations, as well as ‘past future’ would-readings, are obtained by the combination of covert tense with an operator analogous to Abusch’s (1985) WOLL. (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Scope and subjunctivity.I. L. Humberstone - 1982 - Philosophia 12 (1-2):99-126.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Tenses, time adverbs, and compositional semantic theory.David R. Dowty - 1982 - Linguistics and Philosophy 5 (1):23 - 55.
    I might summarize this section by saying that the English tenses, according to this analysis, form quite a motley group. PAST, PRES and FUT serve to relate reference time to speech time, while WOULD and USED-TO behave like Priorian operators, shifting the point of evaluation away from the reference time. HAVE also shifts the point of evaluation away from the reference time, but in a more complicated way. And FUT, in contrast to PRES and PAST, is a substitution operator, putting (...)
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • Time and modality in the logic of agency.Brian F. Chellas - 1992 - Studia Logica 51 (3-4):485 - 517.
    Recent theories of agency (sees to it that) of Nuel Belnap and Michael Perloff are examined, particularly in the context of an early proposal of the author.
    Download  
     
    Export citation  
     
    Bookmark   46 citations  
  • Counterpart Theory and Actuality.James Milford - 2024 - Journal of Philosophical Logic 53 (3):679-694.
    Lewis (The Journal of Philosophy, 65(5), 113–126, 1968) attempts to provide an account of modal talk in terms of the resources of counterpart theory, a first-order theory that eschews transworld identity. First, a regimentation of natural language modal claims into sentences of a formal first-order modal language L is assumed. Second, a translation scheme from L-sentences to sentences of the language of the theory is provided. According to Hazen (The Journal of Philosophy, 76(6), 319–338, 1979) and Fara & Williamson (Mind, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Questions & Indexicality.Thom van Gessel - 2024 - Journal of Philosophical Logic 53 (3):593-621.
    The truth conditions of sentences with indexicals like ‘I’ and ‘here’ cannot be given directly, but only relative to a context of utterance. Something similar applies to questions: depending on the semantic framework, they are given truth conditions relative to an actual world, or support conditions instead of truth conditions. Two-dimensional semantics can capture the meaning of indexicals and shed light on notions like apriority, necessity and context-sensitivity. However, its scope is limited to statements, while indexicals also occur in questions. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Now‐thoughts.Komarine Romdenh-Romluc - 2021 - European Journal of Philosophy 30 (2):623-638.
    European Journal of Philosophy, Volume 30, Issue 2, Page 623-638, June 2022.
    Download  
     
    Export citation  
     
    Bookmark  
  • Maybe Some Other Time.Martin Glazier - 2023 - Australasian Journal of Philosophy 101 (1):197-212.
    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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Time and Indexicality in Buridan’s Concept of Logical Consequence.Manuel A. Dahlquist - 2021 - History and Philosophy of Logic 42 (4):374-397.
    Jean Buridan developed his theory of consequence within a semantical framework compatible with what we now call token-based semantics. In his Treatise on Consequences and Sophismata, Buridan showed...
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Predicates of personal taste, semantic incompleteness, and necessitarianism.Markus Https://Orcidorg Kneer - 2020 - Linguistics and Philosophy 44 (5):981-1011.
    According to indexical contextualism, the perspectival element of taste predicates and epistemic modals is part of the content expressed. According to nonindexicalism, the perspectival element must be conceived as a parameter in the circumstance of evaluation, which engenders “thin” or perspective-neutral semantic contents. Echoing Evans, thin contents have frequently been criticized. It is doubtful whether such coarse-grained quasi-propositions can do any meaningful work as objects of propositional attitudes. In this paper, I assess recent responses by Recanati, Kölbel, Lasersohn and MacFarlane (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Tracking and managing deemed abilities.Nicolas Troquard - 2019 - Synthese 198 (6):5027-5045.
    Information about the powers and abilities of acting entities is used to coordinate their actions in societies, either physical or digital. Yet, the commonsensical meaning of an acting entity being deemed able to do something is still missing from the existing specification languages for the web or for multi-agent systems. We advance a general purpose abstract logical account of evidence-based ability. A basic model can be thought of as the ongoing trace of a multi-agent system. Every state records systemic confirmations (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Modality and expressibility.Matthew Mandelkern - 2019 - Review of Symbolic Logic 12 (4):768-805.
    When embedding data are used to argue against semantic theory A and in favor of semantic theory B, it is important to ask whether A could make sense of those data. It is possible to ask that question on a case-by-case basis. But suppose we could show that A can make sense of all the embedding data which B can possibly make sense of. This would, on the one hand, undermine arguments in favor of B over A on the basis (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Diamonds are Forever.Cian Dorr & Jeremy Goodman - 2019 - Noûs 54 (3):632-665.
    We defend the thesis that every necessarily true proposition is always true. Since not every proposition that is always true is necessarily true, our thesis is at odds with theories of modality and time, such as those of Kit Fine and David Kaplan, which posit a fundamental symmetry between modal and tense operators. According to such theories, just as it is a contingent matter what is true at a given time, it is likewise a temporary matter what is true at (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • Positing covert variables and the quantifier theory of tense.Matthew McKeever - 2021 - Inquiry: An Interdisciplinary Journal of Philosophy 64 (5-6):624-645.
    ABSTRACT A crucial issue in the debate about the correct treatment of natural language tense concerns covert variables: do we have reason to think there are any in the syntax, as the quantifier theorist maintains? If not, it seems we can quickly discount the quantifier theory from consideration, without even considering the data in its favour. And, indeed, there is a good reason to doubt that there are such variables: contemporary syntactic theory, notably, does not seem to posit them. I (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Confessions of a schmentencite: towards an explicit semantics.Jonathan Schaffer - 2021 - Inquiry: An Interdisciplinary Journal of Philosophy 64 (5-6):593-623.
    ABSTRACT Natural language semantics is heir to two formalisms. There is the extensional machinery of explicit variables traditionally used to model reference to individuals, and the intensional machinery of implicit index parameters traditionally used to model reference to worlds and times. I propose instead a simple and unified extensional formalism – explicit semantics – on which all sentences include explicit individual, world and time variables. No implicit index parameters are needed.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Exclusively indexical deduction.Paul Dekker - 2016 - Review of Symbolic Logic 9 (3):603-637.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Past Tense and Past Times in Subjunctive Conditionals.John Mackay - 2017 - Pacific Philosophical Quarterly 98 (S1):520-535.
    Some theories of conditionals maintain that the difference between indicative and subjunctive conditionals involves the standard temporal interpretation of past tense. I provide an argument against such theories. The argument is based on the claim that these views do not correctly predict the correspondence between tense marking and temporal interpretation in certain conditionals.
    Download  
     
    Export citation  
     
    Bookmark  
  • Monsters and the theoretical role of context.Brian Rabern & Derek Ball - 2019 - Philosophy and Phenomenological Research 98 (2):392-416.
    Kaplan (1989) famously claimed that monsters--operators that shift the context--do not exist in English and "could not be added to it". Several recent theorists have pointed out a range of data that seem to refute Kaplan's claim, but others (most explicitly Stalnaker 2014) have offered a principled argument that monsters are impossible. This paper interprets and resolves the dispute. Contra appearances, this is no dry, technical matter: it cuts to the heart of a deep disagreement about the fundamental structure of (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Vagueness & Modality—An Ecumenical Approach.Jon Erling Litland & Juhani Yli-Vakkuri - 2016 - Philosophical Perspectives 30 (1):229-269.
    How does vagueness interact with metaphysical modality and with restrictions of it, such as nomological modality? In particular, how do definiteness, necessity (understood as restricted in some way or not), and actuality interact? This paper proposes a model-theoretic framework for investigating the logic and semantics of that interaction. The framework is put forward in an ecumenical spirit: it is intended to be applicable to all theories of vagueness that express vagueness using a definiteness (or: determinacy) operator. We will show how (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Actuality and the a priori.Fabio Lampert - 2018 - Philosophical Studies 175 (3):809-830.
    We consider a natural-language sentence that cannot be formally represented in a first-order language for epistemic two-dimensional semantics. We also prove this claim in the “Appendix” section. It turns out, however, that the most natural ways to repair the expressive inadequacy of the first-order language render moot the original philosophical motivation of formalizing a priori knowability as necessity along the diagonal.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Tense, aspect and time adverbials.Barry Richards - 1982 - Linguistics and Philosophy 5 (1):59-107.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • The A-Theory of Time, The B-Theory of Time, and ‘Taking Tense Seriously’.Dean W. Zimmerman - 2005 - Dialectica 59 (4):401-457.
    The paper has two parts: First, I describe a relatively popular thesis in the philosophy of propositional attitudes, worthy of the name ‘taking tense seriously’; and I distinguish it from a family of views in the metaphysics of time, namely, the A-theories (or what are sometimes called ‘tensed theories of time’). Once the distinction is in focus, a skeptical worry arises. Some A-theorists maintain that the difference between past, present, and future, is to be drawn in terms of what exists: (...)
    Download  
     
    Export citation  
     
    Bookmark   75 citations  
  • Modal Realism with Modal Tense.Takashi Yagisawa - 2008 - Australasian Journal of Philosophy 86 (2):309-327.
    Modal realists should fashion their theory by postulating and taking seriously the modal equivalent of tense, or modal tense. This will give them a uniform way to respond to five different objections, one each by Skyrms, Quine, and Peacocke, and two by van Inwagen, and suggest a non-Lewisian path to modal realism.
    Download  
     
    Export citation  
     
    Bookmark  
  • Model theory for tense logics.Dov M. Gabbay - 1975 - Annals of Mathematical Logic 8 (1):185.
    Download  
     
    Export citation  
     
    Bookmark   18 citations