Results for 'Tense logics'

1000+ found
Order:
  1. Tense Logic and Ontology of Time.Avril Styrman - 2021 - Emilio M. Sanfilippo Et Al, Eds., Proceedings of FOUST 2021: 5th Workshop on Foundational Ontology, Held at JOWO 2021: Episode VII The Bolzano Summer of Knowledge, September 11–18, 2021, Bolzano, Italy, CEURWS, Vol. 2969, 2021.
    This work aims to make tense logic a more robust tool for ontologists, philosophers, knowledge engineers and programmers by outlining a fusion of tense logic and ontology of time. In order to make tense logic better understandable, the central formal primitives of standard tense logic are derived as theorems from an informal and intuitive ontology of time. In order to make formulation of temporal propositions easier, temporal operators that were introduced by Georg Henrik von Wright are (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents.Tim Lyon, Alwen Tiu, Rajeev Gore & Ranald Clouston - 2020 - In Maribel Fernandez & Anca Muscholl (eds.), 28th EACSL Annual Conference on Computer Science Logic (CSL 2020). pp. 1-16.
    We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  3. From Display to Labelled Proofs for Tense Logics.Agata Ciabattoni, Tim Lyon & Revantha Ramanayake - 2013 - In Sergei Artemov & Anil Nerode (eds.), Logical Foundations of Computer Science (Lecture Notes in Computer Science 7734). Springer. pp. 120 - 139.
    We introduce an effective translation from proofs in the display calculus to proofs in the labelled calculus in the context of tense logics. We identify the labelled calculus proofs in the image of this translation as those built from labelled sequents whose underlying directed graph possesses certain properties. For the basic normal tense logic Kt, the image is shown to be the set of all proofs in the labelled calculus G3Kt.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  4. Display to Labeled Proofs and Back Again for Tense Logics.Agata Ciabattoni, Tim Lyon, Revantha Ramanayake & Alwen Tiu - 2021 - ACM Transactions on Computational Logic 22 (3):1-31.
    We introduce translations between display calculus proofs and labeled calculus proofs in the context of tense logics. First, we show that every derivation in the display calculus for the minimal tense logic Kt extended with general path axioms can be effectively transformed into a derivation in the corresponding labeled calculus. Concerning the converse translation, we show that for Kt extended with path axioms, every derivation in the corresponding labeled calculus can be put into a special form that (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  5. Tensed Ontology Based on Simple Partial Logic.Daisuke Kachi - 2002 - Proceedings of Ninth International Symposium on Temporal Representation and Reasoning: TIME-02:141-145.
    Simple partial logic (=SPL) is, broadly speaking, an extensional logic which allows for the truth-value gap. First I give a system of propositional SPL by partializing classical logic, as well as extending it with several non-classical truth-functional operators. Second I show a way based on SPL to construct a system of tensed ontology, by representing tensed statements as two kinds of necessary statements in a linear model that consists of the present and future worlds. Finally I compare that way with (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Tense and the logic of change.Reinhard Muskens - 1991 - In Talking about Trees and Truth-Conditions. Springer Verlag. pp. 147-183.
    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.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  7. Tense and Relativity.Andrew Bacon - 2018 - Noûs 52 (3):667-696.
    Those inclined to positions in the philosophy of time that take tense seriously have typically assumed that not all regions of space-time are equal: one special region of space-time corresponds to what is presently happening. When combined with assumptions from modern physics this has the unsettling consequence that the shape of this favored region distinguishes people in certain places or people traveling at certain velocities. In this paper I shall attempt to avoid this result by developing a tensed picture (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  8. Perspectival Tenses and Dynamic Tenses.Giuliano Torrengo - 2018 - Erkenntnis 83 (5):1045-1061.
    As far as our experience goes, we live in a dynamic present. Those two phenomenal features of experience—presentness and dynamism—are obviously connected. However, how they are connected is not obvious at all. In this paper, I criticise the view according to which the former can explain the latter, which I call sophisticated representationalism. My criticism will be based on an ambiguity in the notion of tense found in the philosophical literature, that between the perspectival understanding and the dynamic understanding (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  9. Conceptual and Metaphysical Origins and Relevance of Temporal Logic.David Jakobsen & Peter Øhrstrøm - unknown
    Logic has sometimes been seen as an alternative to metaphysics and to speculation. In this paper it is argued that a different story should be told when it comes to temporal logic and tense-logic in particular. A. N. Prior’s first formulation of tense logic was mainly established in order to qualify the discussion of certain metaphysical and conceptual problems. Although temporal logic has now been developed in various abstract and rather technical ways, it may still serve as a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Tense, mood, and centering.Maria Bittner - manuscript
    Natural languages exhibit a great variety of grammatical paradigms. For instance, in English verbs are grammatically marked for tense, whereas in the tenseless Eskimo-Aleut language Kalaallisut they are marked for illocutionary mood. Although time is a universal dimension of the human experience and speaking is part of that experience, some languages encode reference to time without any grammatical tense morphology, or reference to speech acts without any illocutionary mood morphology. Nevertheless, different grammatical systems are semantically parallel in certain (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  11. `Now' and `Then': A Formal Study in the Logic of Tense Anaphora.Frank Vlach - 1973 - Dissertation, University of California Los Angeles
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  12. A. A. Rini and M. J. Cresswell, The World-Time Parallel. Tense and Modality in Logic and Metaphysics. Reviewed by.Kristie Miller - 2013 - Philosophy in Review 33 (1):70-73.
    This book advertises itself as an exploration of the world-time parallel, that is, the parallel between the modal dimension, on the one hand, and the temporal dimension, on the other. It is that, and much more. As the authors point out, there is reasonable agreement that we can model times, through temporal logic, in ways that are analogous to those by which we model modality through the logic of possible worlds. But this formal parallel has almost universally been taken to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  14. Time and Tense.Berit Brogaard - 1997 - In Bob Hale, Crispin Wright & Alexander Miller (eds.), A Companion to the Philosophy of Language. Chichester, West Sussex, UK: Wiley-Blackwell. pp. 765-786.
    Two of the main debates in philosophy of language concerning time and tense are the debate about the semantics of the tenses in the English language and the debate over whether propositions can be transiently true or false as opposed to always being eternally true or false. The latter quarrel is also known as the "temporalism–eternalism debate." Given standard semantics, the two debates are not logically independent, as we will see. Those who believe propositions are eternally true or false (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. A Neutral Temporal Deontic STIT Logic.Kees van Berkel & Tim Lyon - 2019 - In P. Blackburn, E. Lorini & M. Guo (eds.), Logic, Rationality, and Interaction. Springer. pp. 340-354.
    In this work we answer a long standing request for temporal embeddings of deontic STIT logics by introducing the multi-agent STIT logic TDS . The logic is based upon atemporal utilitarian STIT logic. Yet, the logic presented here will be neutral: instead of committing ourselves to utilitarian theories, we prove the logic TDS sound and complete with respect to relational frames not employing any utilitarian function. We demonstrate how these neutral frames can be transformed into utilitarian temporal frames, while (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. A Framework for Intuitionistic Grammar Logics.Tim Lyon - 2006 - In O. Stock & M. Schaerf (eds.), Lecture Notes In Computer Science. Springer Verlag. pp. 495-503.
    We generalize intuitionistic tense logics to the multi-modal case by placing grammar logics on an intuitionistic footing. We provide axiomatizations for a class of base intuitionistic grammar logics as well as provide axiomatizations for extensions with combinations of seriality axioms and what we call "intuitionistic path axioms". We show that each axiomatization is sound and complete with completeness being shown via a typical canonical model construction.
    Download  
     
    Export citation  
     
    Bookmark  
  17. Times two: The tenses of linear and collapse dynamics in relational quantum mechanics.Andrew Soltau - manuscript
    The nature and topology of time remains an open question in philosophy, both tensed and tenseless concepts of time appear to have merit. A concept of time including both kinds of time evolution of physical systems in quantum mechanics subsumes the properties of both notions. The linear dynamics defines the universe probabilistically throughout space-time, and can be seen as the definition of a block universe. The collapse dynamics is the time evolution of the linear dynamics, and is thus of different (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. Nothing to come in a relativistic setting.Mauro Dorato & Carl Hoefer - 2021 - Disputatio 13 (63):433-444.
    In this paper we critically review Correia’s and Rosenkranz’s Nothing to Come. A Defence of the Growing Block Theory of Time, published by Springer in 2018. By taking into account the essential reliance of the book on tense logic, we bring out the existence of a conflict between their logical axioms, that presuppose truth bivalence even for statements concerning future contingents, and the principle of groundedness that they also advocate. According to this principle, a proposition Q is now groundedly (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Ockhamism and Quantified Modal Logic.Andrea Iacona - 2015 - Logique Et Analyse 58:353-370.
    This paper outlines a formal account of tensed sentences that is consistent with Ockhamism, a view according to which future contingents are either true or false. The account outlined substantively differs from the attempts that have been made so far to provide a formal apparatus for such a view in terms of some expressly modified version of branching time semantics. The system on which it is based is the simplest quantified modal logic.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  68
    Логика прогноза [The Logic of Prognosis].Anton Zimmerling - 1997 - In Н.Д Арутюнова & Т.Е Янко (eds.), Логический анализ языка. Язык и время. Н.Д.Арутюнова, Т.Е.Янко (отв. ред.). М.: Индрик, 1997. 352 с. [Logical Analysis of Language. Language and Time / Nina D. Arutyunova, Tatiana E. Yanko (Eds.). Moscow: Indrik, 1997. 352 p.]. pp. 337-347.
    This paper introduces and discusses three models of future: a determinist model, a stochastic model, and the model of True Prophetic Knowledge. All three models coexist in natural languages and are represented both in their grammatical systems and in the text-building discourse strategies speakers and authors apply to.
    Download  
     
    Export citation  
     
    Bookmark  
  21. A.N. PRIOR's SYSTEM Q: A REVIEW. [REVIEW]Farshad Badie - 2021 - Логико-Философские Штудии 19 (3):161-174.
    Arthur Norman Prior was born on 4 December 1914 in Masterton, New Zealand. He studied philosophy in the 1930s and was a significant, and often provocative, voice in theological debates until well into the 1950s. He became a lecturer in philosophy at Canterbury University College in Christchurch in 1946 succeeding Karl Popper. He became a full professor in 1952. He left New Zealand permanently for England in 1959, first taking a chair in philosophy at Manchester University, and then becoming a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. On Diachronic, Synchronic, and Logical Necessity.Heidi Savage - manuscript
    According to EJ Lowe, diachronic necessity and synchronic necessity are logically independent. Diachronic possibility concerns what could happen to an object over time and therefore concerns future possibilities for that object given its past history. Synchronic possibility concerns what is possible for an object in the present or at a past present moment. These are logically independent, given certain assumptions. While it may true that because I am 38, it is impossible diachronically for me to be 30 (at least once (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23.  98
    Логический анализ языка. Язык и время. Н.Д.Арутюнова, Т.Е.Янко (отв. ред.). М.: Индрик, 1997. 352 с. [Logical Analysis of Language. Language and Time / Nina D. Arutyunova, Tatiana E. Yanko (Eds.). Moscow: Indrik, 1997. 352 p.].Н.Д Арутюнова & Т.Е Янко (eds.) - 1997
    The book deals with conceptualization of time in different languages and in different kinds of discourse (folklore, poetry, fiction). Special attention is paid to some culture-specific models of time as well as to linguistic means related to temporal semantics: nouns, adjectives, adverbs, prepositions, prefixes, particles, and other temporal modifiers. The concept of time is also considered in its logical, axiological and historical aspects.
    Download  
     
    Export citation  
     
    Bookmark  
  24. Defining Original Presentism.Jesse M. Mulder - 2016 - Kriterion - Journal of Philosophy 30 (2):29-60.
    It is surprisingly hard to define presentism. Traditional definitions of the view, in terms of tensed existence statements, have turned out not to to be capable of convincingly distinguishing presentism from eternalism. Picking up on a recent proposal by Tallant, I suggest that we need to locate the break between eternalism and presentism on a much more fundamental level. The problem is that presentists have tried to express their view within a framework that is inherently eternalist. I call that framework (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  25. Time, context, and cross-temporal claims.Giuliano Torrengo - 2010 - Philosophia 38 (2):281-296.
    I present a new problem for the tense realist concerning the evaluation of cross-temporal claims, such as ‘John is now taller than Michael was in 1984’. Time can play two different roles in the evaluation of an utterance of a sentence: either as an element that completes the content expressed by the utterance (the completion role), or as part of the circumstances against which the content is evaluated (the evaluation role). It is this latter role that time plays in (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  26. Eternalism and Propositional Multitasking: in defence of the Operator Argument.Clas Weber - 2012 - Synthese 189 (1):199-219.
    It is a widely held view in philosophy that propositions perform a plethora of different theoretical roles. Amongst other things, they are believed to be the semantic values of sentences in contexts, the objects of attitudes, the contents of illocutionary acts, and the referents of that-clauses. This assumption is often combined with the claim that propositions have their truth-values eternally. In this paper I aim to show that these two assumptions are incompatible: propositions cannot both fulfill the mentioned roles and (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  27.  81
    Предикаты состояния и семантические типы предикатов [States, Events and Predicate Types].Anton Zimmerling - 2022 - In Svetla Koeva, Elena Ivanova, Yovka Tisheva & Anton Zimmerling (eds.), С.Коева, Е. Ю. Иванова, Й. Тишева, А. Циммерлинг (ред.). Онтология на ситуациите за състояние – лингвистично моделиране. Съпоставително изследване за български и руски. Cофия: "Марин Дринов", 2022. [Svetla Koeva, Elena Yu. Ivanova, Yovka Tisheva, Anton Zi. Sofia: Профессор "Марин Дринов" [Professor "Marin Drinov"]. pp. 31-52.
    I discuss the foundations of predicate ontologies based on two model notions – elementary states of affairs and eventualities, i.e. ordered pairs of initial and end states of affairs. Vendlerian classifications are oriented towards elementary states and tense logic, while Davidsonian classifications deal with eventualities and event logic. There are two kinds of atemporal predicates - fact and properties. Facts are propositional arguments of second-order predicates which add a special meaning that the embedded proposition was verified. Properties are atemporal (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. TxW Epistemic Modality.Andrea Iacona - 2012 - Logic and Philosophy of Science 10:3-14.
    So far, T×W frames have been employed to provide a semantics for a language of tense logic that includes a modal operator that expresses historical necessity. The operator is defined in terms of quantification over possible courses of events that satisfy a certain constraint, namely, that of being alike up to a given point. However, a modal operator can as well be defined without placing that constraint. This paper outlines a T×W logic where an operator of the latter kind (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. 現在主義・時制・Truthmaker.Tora Koyama - 2007 - Journal of the Japan Association for Philosophy of Science 34 (2):49-59.
    In this paper, I try to defend Presentism. First of all, I explore how Presentism diverges to its versions and show that none of them, which include the currently standard Presentism that invokes tense logic, are tenable. Next, I point out that some philosophers argue that by replacing the Quinean criterion of existence with the Truthmaker Principle, another version of Presentism, which invokes tensed properties, can emerges. However, this version has a highly implausible conclusion. Finally, I argue that it (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. Fatalism and False Futures in De Interpretatione 9.Jason W. Carter - 2022 - Oxford Studies in Ancient Philosophy 63:49-88.
    In De interpretatione 9, Aristotle argues against the fatalist view that if statements about future contingent singular events (e.g. ‘There will be a sea battle tomorrow,’ ‘There will not be a sea battle tomorrow’) are already true or false, then the events to which those statements refer will necessarily occur or necessarily not occur. Scholars have generally held that, to refute this argument, Aristotle allows that future contingent statements are exempt from either the principle of bivalence, or the law of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  31. Essays in Formal Metaphysics.Daniel Rubio - 2019 - Dissertation, Rutgers - New Brunswick
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  32. Truth and Collective Truth.Gilbert Plumer - 1996 - Dialectica 50 (1):3-24.
    The paper argues for the applicability of the notion of collective truth as opposed to distributive truth, that is, truth at times or possibilia taken in groups rather than individually. The underlying reasoning is that there are transtemporal and transworld relationships, e.g., those involving the relations of <being a descendant of> and <thinking about>. Relationships are (one type of) truth-makers. Hence, there are transtemporal and transworld truth-makers. Therefore, there is transtemporal and transworld truth, i.e., collective truth. A semantics is developed (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. How Expressivists Can and Should Solve Their Problem with Negation.Mark Schroeder - 2008 - Noûs 42 (4):573-599.
    Expressivists have a problem with negation. The problem is that they have not, to date, been able to explain why ‘murdering is wrong’ and ‘murdering is not wrong’ are inconsistent sentences. In this paper, I explain the nature of the problem, and why the best efforts of Gibbard, Dreier, and Horgan and Timmons don’t solve it. Then I show how to diagnose where the problem comes from, and consequently how it is possible for expressivists to solve it. Expressivists should accept (...)
    Download  
     
    Export citation  
     
    Bookmark   66 citations  
  34. Will done Better: Selection Semantics, Future Credence, and Indeterminacy.Fabrizio Cariani & Paolo Santorio - 2018 - Mind 127 (505):129-165.
    Statements about the future are central in everyday conversation and reasoning. How should we understand their meaning? The received view among philosophers treats will as a tense: in ‘Cynthia will pass her exam’, will shifts the reference time forward. Linguists, however, have produced substantial evidence for the view that will is a modal, on a par with must and would. The different accounts are designed to satisfy different theoretical constraints, apparently pulling in opposite directions. We show that these constraints (...)
    Download  
     
    Export citation  
     
    Bookmark   49 citations  
  35. Now there will be trouble.Giuseppe Spolaore & Fabio Del Prete - 2018 - In Patrick Blackburn, Per Hasle & Peter Ohrstrom (eds.), Logic and Philosophy of Time - Themes from Prior. Aalborg Universitetsforlag.
    The paper considers sentences in which “now” occurs in initial position and shows that the meaning they convey differs from the meaning of sentences that are otherwise identical except for “now” occurring in final position. We argue that the occurrence of “now” in initial position triggers a particular kind of modal reading for the sentence to which the adverb is prefixed. A general notion of modal forcing is proposed to provide a uniform account of this kind of reading. Armed with (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  36. Topical Referents for Individuals and Possibilities.Maria Bittner - 2001 - In Rachel Hastings, Brendan Jackson & Zsófia Zvolensky (eds.), Proceedings from SALT XI. CLC.
    Partee (1973) noted anaphoric parallels between English tenses and pronouns. Since then these parallels have been analyzed in terms of type-neutral principles of discourse anaphora. Recently, Stone (1997) extended the anaphoric parallel to English modals. In this paper I extend the story to languages of other types. This evidence also shows that centering parallels are even more detailed than previously recognized. Based on this evidence, I propose a semantic representation language (Logic of Change with Centered Worlds), in which the observed (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  37. The Neo-Molinist Square Stands Firm: A Rejoinder to Kirk MacGregor.Elijah Hess - 2019 - Philosophia Christi 21 (2):391-406.
    In a previous issue of Philosophia Christi, Kirk MacGregor responded to an essay of mine in which I argued for a neo-Molinist account of open theism. The argument demonstrated how, given standard counterfactual semantics, one could derive an “open future square of opposition,” that is, a depiction of the logical relations that hold between future-tense statements from an open theistic standpoint. Conceding the validity of the argument, MacGregor nevertheless sought to deny its soundness by criticizing both its conclusion and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. The indeterminate present and the open future.Cristian Mariani & Giuliano Torrengo - 2021 - Synthese 199 (1-2):3923-3944.
    Explanations of the genuine openness of the future often appeal to objective indeterminacy. According to the received view, such indeterminacy is indeterminacy of certain future-tensed state of affairs that presently obtain. We shall call this view the weak indeterminate present, to distinguish it from the view we will defend in this paper, which we dub the strong indeterminate present. According to our view, unsettledness of the future is grounded on the present indeterminacy of some present-tensed state of affairs. In order (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  39. Temporality: Universals and Variation.Maria Bittner - 2014 - Wiley-Blackwell.
    This book surveys the ways in which languages of different types refer to past, present, and future events and how these referents are related to the knowledge and attitudes of discourse participants. The book is the culmination of fifteen years of research by the author. Four major language types are examined in-depth: tense-based English, tense-aspect-based Polish, aspect-based Chinese, and mood-based Kalaallisut. Each contributes to a series of logical representation languages, which together define a common logical language that is (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  40. Against the Russellian open future.Anders J. Schoubye & Brian Rabern - 2017 - Mind 126 (504): 1217–1237.
    Todd (2016) proposes an analysis of future-directed sentences, in particular sentences of the form 'will(φ)', that is based on the classic Russellian analysis of definite descriptions. Todd's analysis is supposed to vindicate the claim that the future is metaphysically open while retaining a simple Ockhamist semantics of future contingents and the principles of classical logic, i.e. bivalence and the law of excluded middle. Consequently, an open futurist can straightforwardly retain classical logic without appeal to supervaluations, determinacy operators, or any further (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  41. Time: A Philosophical Treatment (Second Edition).Keith Seddon - forthcoming - London: Swaying Willow Press.
    Exploring the metaphysics of time, this book examines key questions about the nature of time. It begins by examining the distinction between the two main theories of time, the static view and the tensed view, arguing that the temporal properties of ‘past’, ‘present’ and ‘future’ are not in fact properties of events. Other topics also discussed include fatalism, the ‘open’ future, death and dying, whether there are logical impediments to travelling in time, and the metaphysical implications of precognition. Revised and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. Man death ethics.Walentin Wasielewski - 2022 - Ridero.
    1. Good and evil are not entities, but parameters. The only moral fact is death, and morality is the attitude towards death: everything that leads the system to destruction is evil; everything that overcomes the death of the system is good. The open-question argument is removed without appeal to a naturalistic fallacy. 2. All problems are linked to death. What does not lead to death is not a problem. Any obstacle, barrier, difficulty, or limit is a problem for us only (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. Cień Boga w ogrodzie filozofa. Parc de La Villette w Paryżu w kontekście filozofii chôry.Wąs Cezary - 2021 - Wrocław: Wydawnictwo Uniwersytetu Wrocławskiego.
    The Shadow of God in the Philosopher’s Garden. The Parc de La Villette in Paris in the context of the philosophy of chôra I Bernard Tschumi’s project of the Parc de La Villette could have won the competition and was implemented thanks to the political atmosphere that accompanied the victory of the left-wing candidate in the French presidential elections in 1981. François Mitterand’s revision of the political programme and the replacement of radical reforms with the construction of prestigious architectural objects (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. Level theory, part 2: Axiomatizing the bare idea of a potential hierarchy.Tim Button - 2021 - Bulletin of Symbolic Logic 27 (4):461-484.
    Potentialists think that the concept of set is importantly modal. Using tensed language as an heuristic, the following bar-bones story introduces the idea of a potential hierarchy of sets: 'Always: for any sets that existed, there is a set whose members are exactly those sets; there are no other sets.' Surprisingly, this story already guarantees well-foundedness and persistence. Moreover, if we assume that time is linear, the ensuing modal set theory is almost definitionally equivalent with non-modal set theories; specifically, with (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Too Many Conceptions of Time? McTaggart's Views Revisited.Gregor Schiemann & Brigitte Falkenburg - 2016 - In Stamatios Gerogiorgakis (ed.), Time and tense: unifying the old and the new. Munich: Philosophia.
    John Ellis McTaggart defended an idealistic view of time in the tradition of Hegel and Bradley. His famous paper makes two independent claims (McTaggart1908): First, time is a complex conception with two different logical roots. Second, time is unreal. To reject the second claim seems to commit to the first one, i.e., to a pluralistic account of time. We compare McTaggarts views to the most important concepts of time investigated in physics, neurobiology, and philosophical phenomenology. They indicate that a unique, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. Semantical analysis of weak Kleene logics.Roberto Ciuni & Massimiliano Carrara - 2019 - Journal of Applied Non-Classical Logics 29 (1):1-36.
    This paper presents a semantical analysis of the Weak Kleene Logics Kw3 and PWK from the tradition of Bochvar and Halldén. These are three-valued logics in which a formula takes the third value if at least one of its components does. The paper establishes two main results: a characterisation result for the relation of logical con- sequence in PWK – that is, we individuate necessary and sufficient conditions for a set.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  47. First-order swap structures semantics for some Logics of Formal Inconsistency.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana Claudia Golzio - 2020 - Journal of Logic and Computation 30 (6):1257-1290.
    The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  48. Towards a philosophical understanding of the logics of formal inconsistency.Walter Carnielli & Abílio Rodrigues - 2015 - Manuscrito 38 (2):155-184.
    In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  49. On graph-theoretic fibring of logics.A. Sernadas, C. Sernadas, J. Rasga & M. Coniglio - 2009 - Journal of Logic and Computation 19 (6):1321-1357.
    A graph-theoretic account of fibring of logics is developed, capitalizing on the interleaving characteristics of fibring at the linguistic, semantic and proof levels. Fibring of two signatures is seen as a multi-graph (m-graph) where the nodes and the m-edges include the sorts and the constructors of the signatures at hand. Fibring of two models is a multi-graph (m-graph) where the nodes and the m-edges are the values and the operations in the models, respectively. Fibring of two deductive systems is (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  50. More Problems for Parsimonious Logics of Location: A Reply to Kleinschmidt.Michael J. Duncan - manuscript
    In a recent paper Shieva Kleinschmidt has argued that if certain scenarios involving extended simple regions are possible (so-called ‘Place Cases’), then no logic of location with only one primitive locative notion (i.e., no ‘parsimonious logic of location’) will suffice to describe all of the locative possibilities. Since almost all existing logics of location are parsimonious (and apparently for good reason) the argument is a considerable obstacle to the development of a satisfactory logic of location. Kleinschmidt suggests that the (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000