Switch to: References

Add citations

You must login to add citations.
  1. Human Imprints of Real Time: from Semantics to Metaphysics.K. M. Jaszczolt - 2020 - Philosophia 48 (5):1855-1879.
    Investigation into the reality of time can be pursued within the ontological domain or it can also span human thought and natural language. I propose to approach time by correlating three domains of inquiry: metaphysical time, the human concept of time, and temporal reference in natural language, entertaining the possibility of what I call a ‘horizontal reduction’ and ‘vertical reduction’. I present a view of temporalityL/E as epistemic modality, drawing on evidence from the L domain and its correlates in the (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • The Nature of Appearance in Kant’s Transcendentalism: A Seman- Tico-Cognitive Analysis.Sergey L. Katrechko - 2018 - Kantian Journal 37 (3):41-55.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Rethinking Sellars’ Myth of the Given: From the Epistemological to the Modal Relevance of Givenness in Kant and Hegel.Paul Redding - 2019 - International Journal of Philosophical Studies 27 (3):379-398.
    ABSTRACTHere, I pursue consequences, for the interpretation of Sellars’ critique of the ‘Myth of the Given’, of separating the modal significance that Kant attributed to empirical intuition from th...
    Download  
     
    Export citation  
     
    Bookmark  
  • 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. 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: growing‐block theorists eschew ontological commitment to future entities; presentists, (...)
    Download  
     
    Export citation  
     
    Bookmark   53 citations  
  • On A- and B-Theoretic Elements of Branching Spacetimes.Matt Farr - 2012 - Synthese 188 (1):85-116.
    This paper assesses branching spacetime theories in light of metaphysical considerations concerning time. I present the A, B, and C series in terms of the temporal structure they impose on sets of events, and raise problems for two elements of extant branching spacetime theories—McCall’s ‘branch attrition’, and the ‘no backward branching’ feature of Belnap’s ‘branching space-time’—in terms of their respective A- and B-theoretic nature. I argue that McCall’s presentation of branch attrition can only be coherently formulated on a model with (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • The Hard Road to Presentism.Jamin Asay & Sam Baron - 2014 - Pacific Philosophical Quarterly 95 (3):314-335.
    It is a common criticism of presentism – the view according to which only the present exists – that it errs against truthmaker theory. Recent attempts to resolve the truthmaker objection against presentism proceed by restricting truthmaker maximalism (the view that all truths have truthmakers), maintaining that propositions concerning the past are not made true by anything, but are true nonetheless. Support for this view is typically garnered from the case for negative existential propositions, which some philosophers contend are exceptions (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Temporal Location of Events in Language and (Non) Persistence of the Past.Fabio Del Prete - manuscript
    The article reviews some analyses of temporal language in logical approaches to natural language semantics. It considers some asymmetries between past and future, manifested in language, which motivate the “standard view” of the non-reversibility of time and the persistence of the past. It concludes with a puzzle about the changing past which challenges the standard view.
    Download  
     
    Export citation  
     
    Bookmark  
  • CRITIQUE OF IMPURE REASON: Horizons of Possibility and Meaning.Steven James Bartlett - 2020 - Salem, USA: Studies in Theory and Behavior.
    The _Critique of Impure Reason: Horizons of Possibility and Meaning_ comprises a major and important contribution to philosophy. Thanks to the generosity of its publisher, this massive 885-page volume has been published as a free open access eBook (3.2MB). It inaugurates a revolutionary paradigm shift in philosophical thought by providing compelling and long-sought-for solutions to a wide range of philosophical problems. In the process, the work fundamentally transforms the way in which the concepts of reference, meaning, and possibility are understood. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Proceedings of Sinn Und Bedeutung 9.Emar Maier, Corien Bary & Janneke Huitink (eds.) - 2005 - Nijmegen Centre for Semantics.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On the Relation Between Modality and Tense.Fabrice Correia & Sven Rosenkranz - 2020 - Inquiry: An Interdisciplinary Journal of Philosophy 63 (6):586-604.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Sideways Music.Ned Markosian - 2019 - Analysis (1):anz039.
    There is a popular theory in the metaphysics of time according to which time is one of four similar dimensions that make up a single manifold that is appropriately called spacetime. One consequence of this thesis is that changing an object’s orientation in the manifold does not change its intrinsic features. In this paper I offer a new argument against this popular theory. I claim that an especially good performance of a particularly beautiful piece of music, when oriented within the (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • On What Grounds What.Jonathan Schaffer - 2009 - In David Manley, David J. Chalmers & Ryan Wasserman (eds.), Metametaphysics: New Essays on the Foundations of Ontology. Oxford University Press. pp. 347-383.
    On the now dominant Quinean view, metaphysics is about what there is. Metaphysics so conceived is concerned with such questions as whether properties exist, whether meanings exist, and whether numbers exist. I will argue for the revival of a more traditional Aristotelian view, on which metaphysics is about what grounds what. Metaphysics so revived does not bother asking whether properties, meanings, and numbers exist (of course they do!) The question is whether or not they are fundamental.
    Download  
     
    Export citation  
     
    Bookmark   424 citations  
  • VIII—Vagueness at Every Order.Andrew Bacon - 2020 - Proceedings of the Aristotelian Society 120 (2):165-201.
    There are some properties, like being bald, for which it is vague where the boundary between the things that have it and the things that do not lies. A number of arguments threaten to show that such properties can still be associated with determinate and knowable boundaries: not between the things that have it and those that don’t, but between the things such that it is borderline at some order whether they have it and the things for which it is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • B-Theory and Time Biases.Sayid Bnefsi - 2019 - In Patrick Blackburn, Per Hasle & Peter Øhrstrøm (eds.), Logic and Philosophy of Time: Further Themes from Prior. Aalborg, Denmark: Aalborg University Press. pp. 41-52.
    We care not only about what experiences we have, but when we have them too. However, on the B-theory of time, something’s timing isn’t an intrinsic way for that thing to be or become. Given B-theory, should we be rationally indifferent about the timing per se of an experience? In this paper, I argue that B-theorists can justify time-biased preferences for pains to be past rather than present and for pleasures to be present rather than past. In support of this (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Modal Science.Timothy Williamson - 2016 - Canadian Journal of Philosophy 46 (4-5):453-492.
    This paper explains and defends the idea that metaphysical necessity is the strongest kind of objective necessity. Plausible closure conditions on the family of objective modalities are shown to entail that the logic of metaphysical necessity is S5. Evidence is provided that some objective modalities are studied in the natural sciences. In particular, the modal assumptions implicit in physical applications of dynamical systems theory are made explicit by using such systems to define models of a modal temporal logic. Those assumptions (...)
    Download  
     
    Export citation  
     
    Bookmark   43 citations  
  • Von der Ontologie des Raums zur Ontologie der Raumzeit.Niko Strobach - 2006 - History of Philosophy & Logical Analysis 9 (1):105-133.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Philosophical Investigation Series: Selected Texts on Logic / Série Investigação Filosófica: Textos Selecionados de Lógica.Danilo Fraga Dantas & Rodrigo Cid - 2020 - Pelotas - Princesa, Pelotas - RS, Brasil: UFPEL's Publisher / Editora da UFPEL.
    Este livro marca o início da Série Investigação Filosófica. Uma série de livros de traduções de textos de plataformas internacionalmente reconhecidas, que possa servir tanto como material didático para os professores das diferentes subáreas e níveis da Filosofia quanto como material de estudo para o desenvolvimento pesquisas relevantes na área. Nós, professores, sabemos o quão difícil é encontrar bons materiais em português para indicarmos. E há uma certa deficiência na graduação brasileira de filosofia, principalmente em localizações menos favorecidas, com relação (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Transient Things and Permanent Stuff.Paul Needham - 2010 - Australasian Journal of Philosophy 88 (1):147 – 166.
    A view of individuals as constituted of quantities of matter, both understood as continuants enduring over time, is elaborated in some detail. Constitution is a three-place relation which can't be collapsed to identity because of the place-holder for a time and because individuals and quantities of matter have such a radically different character. Individuals are transient entities with limited lifetimes, whereas quantities are permanent existents undergoing change in physical and chemical properties from time to time. Coincidence, considered as a matter (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • The 3d/4d Controversy and Non-Present Objects.Ned Markosian - 1994 - Philosophical Papers 23 (3):243-249.
    Worlds, Lewis says this: Let us say that something persists iff, somehow or other, it exists at various times; this is the neutral word. Something perdures iff it persists by having different temporal parts, or stages, at different times, though no one part of it is wholly present at more than one time; whereas it endures iff it persists by being wholly present at more than one time. Perdurance corresponds to the way a road persists through space; part of it (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • The Buck Passing Account of Value: Assessing the Negative Thesis.Philip Stratton-Lake - 2016 - In Simon Kirchin (ed.), Reading Parfit: On on What Matters. pp. 82-95.
    The buck-passing account of value involves a positive and a negative claim. The positive claim is that to be good is to have reasons for a pro-attitude. The negative claim is that goodness itself is not a reason for a pro-attitude. Unlike Scanlon, Parfit rejects the negative claim. He maintains that goodness is reason-providing, but that the reason provided is not an additional reason, additional, that is, to the reason provided by the good-making property. I consider various ways in which (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Back to the (Branching) Future.Giacomo Andreoletti - 2020 - Acta Analytica 35 (2):181-194.
    The future is different from the past. What is past is fixed and set in stone. The future, on the other hand, is open insofar as it holds numerous possibilities. Branching-tree models of time account for this asymmetry by positing an ontological difference between the past and the future. Given a time t, a unique unified past lies behind t, whereas multiple alternative existing futures lie ahead of t. My goal in this paper is to show that there is an (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • The Thin Red Line, Molinism, and the Flow of Time.Ciro De Florio & Aldo Frigerio - 2020 - Journal of Logic, Language and Information 29 (3):307-329.
    In addressing the problem of the compatibility of divine foreknowledge and human freedom, philosophers of religion encounter problems regarding the metaphysics and structure of time. Some models of temporal logic developed for completely independent reasons have proved especially appropriate for representing the temporal structure of the world as Molinism conceives it. In particular, some models of the Thin Red Line ) seem to imply that conditionals of freedom are true or false, as Molinists maintain. Noting the resemblance between Molinism and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Measuring Inconsistency in Generalized Propositional Logic.John Grant - 2020 - Logica Universalis 14 (3):331-356.
    Consistency is one of the key concepts of logic; logicians have put a great deal of effort into proving the consistency of many logics. Understanding what causes inconsistency is also important; some logicians have developed paraconsistent logics that, unlike classical logics, allow some contradictions without making all formulas provable. Another direction of research studies inconsistency by measuring the amount of inconsistency of sets of formulas. While the initial attempt in 1978 was too ambitious in trying to do this for first-order (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Different Arguments, Same Problems. Modal Ambiguity and Tricky Substitutions.Rafal Urbaniak - 2017 - European Journal of Analytic Philosophy 13 (2):5-22.
    I illustrate with three classical examples the mistakes arising from using a modal operator admitting multiple interpretations in the same argument; the flaws arise especially easily if no attention is paid to the range of propositional variables. Premisses taken separately might seem convincing and a substitution for a propositional variable in a modal context might seem legitimate. But there is no single interpretation of the modal operators involved under which all the premisses are plausible and the substitution successful.
    Download  
     
    Export citation  
     
    Bookmark  
  • Future Contingents, Branching Time and Assertion.Alessio Santelli - forthcoming - Philosophia:1-23.
    According to an influential line of thought, from the assumption that indeterminism makes future contingents neither true nor false, one can conclude that assertions of future contingents are never permissible. This conclusion, however, fails to recognize that we ordinarily assert future contingents even when we take the future to be unsettled. Several attempts have been made to solve this puzzle, either by arguing that, albeit truth-valueless, future contingents can be correctly assertable, or by rejecting the claim that future contingents are (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Perspectival Thought: A Plea for (Moderate) Relativism.François Récanati - 2007 - Critica 42 (124):77-100.
    MY NEW BOOK, TO BE PUBLISHED BY OXFORD UNIVERSITY PRESS IN THE FALL.
    Download  
     
    Export citation  
     
    Bookmark   97 citations  
  • A Generalized Manifold Topology for Branching Space-Times.Thomas Müller - 2013 - Philosophy of Science 80 (5):1089-1100.
    The logical theory of branching space-times, which provides a relativistic framework for studying objective indeterminism, remains mostly disconnected from discussions of space-time theories in philosophy of physics. Earman has criticized the branching approach and suggested “pruning some branches from branching space-time.” This article identifies the different—order-theoretic versus topological—perspective of both discussions as a reason for certain misunderstandings and tries to remove them. Most important, we give a novel, topological criterion of modal consistency that usefully generalizes an earlier criterion, and we (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Branching Space-Times, General Relativity, the Hausdorff Property, and Modal Consistency.Thomas Muller - unknown
    The logical theory of branching space-times, which is intended to provide a framework for studying objective indeterminism, remains at a certain distance from the discussion of space-time theories in the philosophy of physics. In a welcome attempt to clarify the connection, Earman has recently found fault with the branching approach and suggested ``pruning some branches from branching space-time''. The present note identifies the different---order theoretic vs. topological---points of view of both discussion as a reason for certain misunderstandings, and tries to (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • BH-CIFOL: Case-Intensional First Order Logic: Branching Histories.Nuel Belnap & Thomas Müller - 2014 - Journal of Philosophical Logic 43 (5):835-866.
    This paper follows Part I of our essay on case-intensional first-order logic ). We introduce a framework of branching histories to take account of indeterminism. Our system BH-CIFOL adds structure to the cases, which in Part I formed just a set: a case in BH-CIFOL is a moment/history pair, specifying both an element of a partial ordering of moments and one of the total courses of events that that moment is part of. This framework allows us to define the familiar (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Transition Semantics for Branching Time.Antje Rumberg - 2016 - Journal of Logic, Language and Information 25 (1):77-108.
    In this paper we develop a novel propositional semantics based on the framework of branching time. The basic idea is to replace the moment-history pairs employed as parameters of truth in the standard Ockhamist semantics by pairs consisting of a moment and a consistent, downward closed set of so-called transitions. Whereas histories represent complete possible courses of events, sets of transitions can represent incomplete parts thereof as well. Each transition captures one of the alternative immediate future possibilities open at a (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • The Machine Scenario: A Computational Perspective on Alternative Representations of Indeterminism.Vincent Grandjean & Matteo Pascucci - forthcoming - Minds and Machines:1-16.
    In philosophical logic and metaphysics there is a long-standing debate around the most appropriate structures to represent indeterministic scenarios concerning the future. We reconstruct here such a debate in a computational setting, focusing on the fundamental difference between moment-based and history-based structures. Our presentation is centered around two versions of an indeterministic scenario in which a programmer wants a machine to perform a given task at some point after a specified time. One of the two versions includes an assumption about (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Presentism, Eternalism and Where Things Are Located.Emanuel Viebahn - forthcoming - Synthese 197 (7):2963-2974.
    In several recent papers, Daniel Deasy has argued that the presentism–eternalism debate is unclear and should be abandoned. According to Deasy, there is no way of spelling out the predicate ‘is present’ that leads to a satisfactory definition of presentism: on some interpretations, presentism turns out to be compatible with eternalism, on others, it is clearly false or unacceptable for other reasons. The aim of this paper is to show that this line of argument should be resisted: if the predicate (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Modality in Physics.Gábor Hofer-Szabó, Joanna Luc & Tomasz Placek - 2020 - Foundations of Physics 50 (6):515-521.
    Download  
     
    Export citation  
     
    Bookmark  
  • Defining a Relativity-Proof Notion of the Present via Spatio-temporal Indeterminism.Thomas Müller - 2020 - Foundations of Physics 50 (6):644-664.
    In this paper we describe a novel approach to defining an ontologically fundamental notion of co-presentness that does not go against the tenets of relativity theory. We survey the possible reactions to the problem of the present in relativity theory, introducing a terminological distinction between a static role of the present, which is served by the relation of simultaneity, and a dynamic role of the present, with the corresponding relation of co-presentness. We argue that both of these relations need to (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Agency and Fictional Truth: A Formal Study on Fiction-Making.Giuseppe Spolaore - 2015 - Synthese 192 (5):1235-1265.
    Fictional truth, or truth in fiction/pretense, has been the object of extended scrutiny among philosophers and logicians in recent decades. Comparatively little attention, however, has been paid to its inferential relationships with time and with certain deliberate and contingent human activities, namely, the creation of fictional works. The aim of the paper is to contribute to filling the gap. Toward this goal, a formal framework is outlined that is consistent with a variety of conceptions of fictional truth and based upon (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The Problem of Index-Initialisation in the Tempo-Modal Semantics.Jacek Wawer - 2019 - Studia Semiotyczne—English Supplement 30:21-41.
    In Kripke-semantics for modal logic, the truth value of a sentence depends on the choice of a semantic index. It means that application of such semantics to natural language analysis requires indication of an index relevant for semantic analysis. It is commonly accepted that the relevant index is initialised by the context of an utterance. The idea has been rejected by the semanticists investigating tempo-modal languages in the framework of indeterminism, which generated the problem of initialization of the semantic index. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Problem ustalania indeksu w semantyce temporalno-modalnej.Jacek Wawer - 2017 - Studia Semiotyczne 31 (1):109-130.
    W ramach semantyk Kripkego dla języków modalnych wartość logiczna zdania może zmieniać się wraz ze zmianą parametru indeksu semantycznego. Oznacza to, że stosując tego typu semantykę do analizy zdań języka naturalnego, musimy wskazać indeks istotny dla analizy semantycznej. Zwykło się przyjmować, że odpowiedni indeks jest ustalany przez kontekst wypowiedzi. Pomysł ten został odrzucony przez semantyków analizujących języki temporalno-modalne w kontekście indeterminizmu, co wygenerowało problem ustalania indeksu. W artykule przedstawię argument owych semantyków, a następnie zarysuję kilka odpowiedzi na problem ustalania indeksu. (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • How Contingent and How a Priori Are Contingent a Priori Truths?Jacek Wawer - 2016 - Studia Semiotyczne—English Supplement 28:25-56.
    In the presented article, I have analyzed the famous Saul Kripke statement that some a priori truths are contingent. I show, that despite Kripke’s thesis, in the historical understanding of contingency, the notions of contingency and apriority are in deep conflict with each other. In this understanding of contingency, the past, which can be known a priori, is not contingent, and the future, which is contingent, has difficulty acquiring a priori knowledge. Having stated Kripke’s thesis more precisely, I propose three (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Relativized Propositions.François Recanati - 2007 - In Michael O'Rourke & Corey Washington (eds.), Situating Semantics : Essays on the Work of John Perry. MIT Press. pp. 119-153.
    Can we solve the problem of the essential indexical, and account for de se belief, by appealing to 'relativized propositions' (functions from rich indices to truth-values)? According to John Perry, we cannot. This paper offers a detailed examination and a critique of Perry's argument.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   6 citations  
  • Reichenbach, Prior and Hybrid Tense Logic.Patrick Blackburn & Klaus Frovin Jørgensen - 2016 - Synthese 193 (11):3677-3689.
    In this paper we argue that Prior and Reichenbach are best viewed as allies, not antagonists. We do so by combining the central insights of Prior and Reichenbach in the framework of hybrid tense logic. This overcomes a well-known defect of Reichenbach’s tense schema, namely that it gives multiple representations to sentences in the future perfect and the future-in-the-past. It also makes it easy to define an iterative schema for tense that allows for multiple points of reference, a possibility noted (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Stoics on World-Conflagration and Everlasting Recurrence.A. A. Long - 1985 - Southern Journal of Philosophy 23 (S1):13-37.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Is Our Naïve Theory of Time Dynamical?Andrew James Latham, Kristie Miller & James Norton - forthcoming - Synthese.
    We investigated, experimentally, the contention that the folk view, or naïve theory, of time, amongst the population we investigated (i.e. U.S. residents) is dynamical. We found that amongst that population, (i) ~70% have an extant theory of time (the theory they deploy after some reflection, whether it be naïve or sophisticated) that is more similar to a dynamical than a non-dynamical theory, and (ii) ~70% of those who deploy a naïve theory of time (the theory that have on the basis (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Précis.Berit Brogaard - 2013 - Disputatio 5 (37):311-314.
    Download  
     
    Export citation  
     
    Bookmark  
  • Précis.Berit Brogaard - 2013 - Disputatio 5 (37):311-314.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Mind the Metaphor! A Systematic Fallacy in Analogical Reasoning.Eugen Fischer - 2015 - Analysis 75 (1):67-77.
    Conceptual metaphors facilitate both productive and pernicious analogical reasoning. This article addresses the question: When and why does the frequently helpful use of metaphor become pernicious? By applying the most influential theoretical framework from cognitive psychology in analysing the philosophically most prominent example of pernicious metaphorical reasoning, we identify a philosophically relevant but previously undescribed fallacy in analogical reasoning with metaphors. We then outline an explanation of why even competent thinkers commit this fallacy and obtain a psychologically informed ‘debunking’ explanation (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Counterfactuality and past.Kilu von Prince - 2019 - Linguistics and Philosophy 42 (6):577-615.
    Many languages have past-and-counterfactuality markers such as English simple past. There have been various attempts to find a common definition for both uses, but I will argue in this paper that they all have problems with ruling out unacceptable interpretations, or accounting for the contrary-to-fact implicature of counterfactual conditionals, or predicting the observed cross-linguistic variation, or a combination thereof. By combining insights from two basic lines of reasoning, I will propose a simple and transparent approach that solves all the observed (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Introducing H, an Institution-Based Formal Specification and Verification Language.Răzvan Diaconescu - 2020 - Logica Universalis 14 (2):259-277.
    This is a short survey on the development of the formal specification and verification language H with emphasis on the scientific part. H is a modern highly expressive language solidly based upon advanced mathematical theories such as the internalisation of Kripke semantics within institution theory.
    Download  
     
    Export citation  
     
    Bookmark  
  • Back to the actual future.Jacek Wawer & Alex Malpass - 2020 - Synthese 197 (5):2193-2213.
    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, (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  • Separation Logics and Modalities: A Survey.Stéphane Demri & Morgan Deters - 2015 - Journal of Applied Non-Classical Logics 25 (1):50-99.
    Like modal logic, temporal logic, and description logic, separation logic has become a popular class of logical formalisms in computer science, conceived as assertion languages for Hoare-style proof systems with the goal to perform automatic program analysis. In a broad sense, separation logic is often understood as a programming language, an assertion language and a family of rules involving Hoare triples. In this survey, we present similarities between separation logic as an assertion language and modal and temporal logics. Moreover, we (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Variation in Tense and Aspect, and the Temporal Interpretation of Complement Clauses.M. Ryan Bochnak, Vera Hohaus & Anne Mucha - 2019 - Journal of Semantics 36 (3):407-452.
    In this paper, we investigate the temporal interpretation of propositional attitude complement clauses in four typologically unrelated languages: Washo, Medumba, Hausa, and Samoan. Of these languages, Washo and Medumba are optional-tense languages, while Hausa and Samoan are tenseless. Just like in obligatory-tense languages, we observe variation among these languages when it comes to the availability of so-called simultaneous and backward-shifted readings of complement clauses. For our optional-tense languages, we argue that a Sequence of Tense parameter is active in these languages, (...)
    Download  
     
    Export citation  
     
    Bookmark