We define and investigate from a logical point of view a family of consequence relations defined in probabilistic terms. We call them relations of supporting, and write: |≈w where w is a probability function on a Boolean language. A |≈w B iff the fact that A is the case does not decrease a probability of being B the case. Finally, we examine the intersection of |≈w, for all w, and give some formal properties of it.

There is a long-standing disagreement among Branching-Time theorists. Even though they all believe that the branching representation accurately grasps the idea that the future, contrary to the past, is open, they argue whether this representation is compatible with the claim that one among many possible futures is distinguished—the single future that will come to be. This disagreement is paralleled in an argument about the bivalence of future contingents. The single, privileged future is often called the Thin Red Line. I reconstruct (...) the history of the arguments for and against this idea. Then, I propose my own version of the Thin Red Line theory which is immune to the major objections found in the literature. I argue that the semantic disagreement is grounded in distinct metaphysical presuppositions. My solution is expressed in a conceptual framework proposed by John MacFarlane, who distinguishes semantics from postsemantics. I extend his distinction and introduce a new notion of presemantics to elucidate my idea. (shrink)

The paper addresses the question how descriptive language is used to express legal norms. Sentences we find in legislative acts, i.e. statutes, constitutions and regulations, express legal norms. Linguistically speaking, there are various grammatical and lexical ways of expressing norms, such as imperative mood, modal verbs, deontic verbs, etc. However, norms may also be expressed by descriptive sentences, namely sentences in present or future tense and indicative (declarative) mood (i.e. _The minister determines the tax rate_). In many civil law countries (...) (including Poland), this is a very common, if not the default, form of expressing norms in legislative texts. Often presented as a legal peculiarity, this phenomenon has yet to draw much academic attention. The normative meaning of descriptive sentences is usually attributed to purely pragmatic factors stemming from our shared assumptions about the legal system. However, a closer look reveals that similar grammatical constructions are ubiquitous in everyday communication and in different languages. We tend to utter various sorts of directives using descriptive sentences (_Now we add a spoon of salt to the sauce_; _credit cards are not accepted_). This suggests the possibility for a linguistic (as opposed to exclusively legal) explanation. This paper aims to offer such an explanation. Rather than resorting to formal semantics, so prevalent in legal theory, it borrows from Cognitive Linguistics to reveal the cognitive underpinnings of our surprising tendency to express normativity in descriptive terms. This involves four different, yet complementary, theories. Firstly, the theory of conceptual metaphor by George Lakoff and Mark Johnson which explains the phenomenon in question in terms of the metaphor “ ought is is ”; with “ ought ” as the more abstract target domain and “ is ” as the more concrete, cognitively simpler source domain. Secondly, the theory of speech act metonymy by Panther and Thornburg which presents descriptive legal sentences as referring to various components of the underlying cognitive scenario of obligation. Thirdly, Ronald Langacker’s notion of the virtuality of language as the explanation for non-present, including future, perpetual and directive, uses of the present tense. Fourtly, the notion of normative generics which points to the nominal, as opposed to verbal, structure of descriptive legal sentences as the source of their normativity. (shrink)

This study offers an experiential and practical way of understanding Plotinus' thought and philosophy through a focus on the act of contemplation. Mateusz Stróżyński argues that contemplation, or direct seeing of the principles of reality, is not merely a part of Plotinus' thought, but rather a significant dimension of it.

We assess Cartwright's models for probabilistic causality, and in particular, her models for EPR-like experiments of quantum mechanics. We show that her models for the EPR are mathematically incorrect and physically implausible. Finally, we argue that her models are not adequate for EPR-phenomena, since they ignore modal and spatiotemporal aspects inherent in their setup.

The kernel of this volume is an English translation of Jan Łukasiewicz’s classic work on the concept of cause (1906). It is the starting point for analytical considerations on causality of two generations of philosophers belonging to the tradition of the Lvov-Warsaw School.

In this paper, we focus on the development of geometric cognition. We argue that to understand how geometric cognition has been constituted, one must appreciate not only individual cognitive factors, such as phylogenetically ancient and ontogenetically early core cognitive systems, but also the social history of the spread and use of cognitive artifacts. In particular, we show that the development of Greek mathematics, enshrined in Euclid’s Elements, was driven by the use of two tightly intertwined cognitive artifacts: the use of (...) lettered diagrams; and the creation of linguistic formulae. Together, these artifacts formed the professional language of geometry. In this respect, the case of Greek geometry clearly shows that explanations of geometric reasoning have to go beyond the confines of methodological individualism to account for how the distributed practice of artifact use has stabilized over time. This practice, as we suggest, has also contributed heavily to the understanding of what mathematical proof is; classically, it has been assumed that proofs are not merely deductively correct but also remain invariant over various individuals sharing the same cognitive practice. Cognitive artifacts in Greek geometry constrained the repertoire of admissible inferential operations, which made these proofs inter-subjectively testable and compelling. By focusing on the cognitive operations on artifacts, we also stress that mental mechanisms that contribute to these operations are still poorly understood, in contrast to those mechanisms which drive symbolic logical inference. (shrink)

The cognitive foundations of geometry have puzzled academics for a long time, and even today are mostly unknown to many scholars, including mathematical cognition researchers. -/- Foundations of Geometric Cognition shows that basic geometric skills are deeply hardwired in the visuospatial cognitive capacities of our brains, namely spatial navigation and object recognition. These capacities, shared with non-human animals and appearing in early stages of the human ontogeny, cannot, however, fully explain a uniquely human form of geometric cognition. In the book, (...) Hohol argues that Euclidean geometry would not be possible without the human capacity to create and use abstract concepts, demonstrating how language and diagrams provide cognitive scaffolding for abstract geometric thinking, within a context of a Euclidean system of thought. -/- Taking an interdisciplinary approach and drawing on research from diverse fields including psychology, cognitive science, and mathematics, this book is a must-read for cognitive psychologists and cognitive scientists of mathematics, alongside anyone interested in mathematical education or the philosophical and historical aspects of geometry. (shrink)

Celem artykułu jest prezentacja i krytyczna analiza koncepcji uczuć egzystencjalnych, autorstwa współczesnego filozofa psychiatrii o orientacji fenomenologicznej — Matthew Ratcliffe’a. Uczucia egzystencjalne są specjalną klasą stanów afektywnych, nadającą emocjonalnego zabarwienia subiektywnemu doświadczeniu rzeczywistości. Mają one charakter przedrefleksyjny i stanowią niejawne tło świadomości fenomenalnej, które w potocznym doświadczeniu pozostaje poza polem uwagi. Uczucia te mają ścisły związek z emocjami, determinując typy przedmiotów intencjonalnych zawartych w stanach emocjonalnych i wyznaczając repertuar możliwych do doświadczenia emocji. Najważniejsze uczucia egzystencjalne, które wyróżnia Ratcliffe, to: (1) (...) poczucie rzeczywistości, czyli przedrefleksyjne i fenomenalne wrażenie o realnym istnieniu świata jako takiego; (2) poczucie przynależności, czyli przedrefleksyjne i fenomenalne wrażenie własnego istnienia i osadzenia w świecie pośród osób i rzeczy. Te dwie kategorie stanowią fundamentalne składowe pierwszoosobowego doświadczenia podmiotu, wyznaczając tym samym jego relację do innych ludzi oraz rzeczywistości w jej najbardziej ogólnym sensie. W artykule przedstawiam główne cechy i typy uczuć egzystencjalnych. Zwracam także uwagę na szczególną rolę psychopatologii w analizie i uzasadnianiu istnienia tego zjawiska. W związku z tym, za Ratcliffem, opisuję w jaki sposób określone aspekty uczuć egzystencjalnych ulegają dezintegracji w przebiegu epizodów zaburzeń psychicznych, takich jak depresja czy schizofrenia. Pokazuję także różnicę pomiędzy fenomenologicznym i poznawczo-behoawioralnym podejściem do zaburzeń psychicznych. Powołując się na badania neurobiologiczne staram się wskazać potencjalne neuronalne korelaty uczuć egzystencjalnych. Tekst wieńczą krytyczne uwagi na temat koncepcji uczuć egzystencjalnych w ujęciu Matthew Ratcliffe’a. Rozwiązanie zidentyfikowanych wad i niedociągnięć tej teorii filozoficznej zarazem nakreśla przyszłe perspektywy jej rozwoju. (shrink)

In consequence of significant social, political, economic, and demographic changes several wildlife species are currently growing in numbers and recolonizing Europe. While this is rightly hailed as a success of the environmental movement, the return of wildlife brings its own issues. As the animals arrive in the places we inhabit, we are learning anew that life with wild nature is not easy, especially when the accumulated cultural knowledge and experience pertaining to such coexistence have been all but lost. This book (...) provides a hermeneutic study of the ways we come to understand the troubling impacts of wildlife by exploring and critically discussing the meanings of 'ecological discomforts'. Thus, it begins the work of rebuilding the culture of coexistence. The cases presented in this book range from crocodile attacks to mice infestations, and their analysis consequently builds up an ethics that sees wildlife as active participants in the shaping of human moral and existential reality. This book is of interest not only to environmental philosophers, who will find here an original contribution to the established ethical discussions, but also to wildlife managers, and even to those members of the public who themselves struggle to make sense of encounters with their new wild neighbors. (shrink)

We introduce a principle of local collection for compositional truth predicates and show that it is arithmetically conservative over the classically compositional theory of truth. This axiom states that upon restriction to formulae of any syntactic complexity, the resulting predicate satisfies full collection. In particular, arguments using collection for the truth predicate applied to sentences occurring in any given (code of a) proof do not suffice to show that the conclusion of that proof is true, in stark contrast to the (...) case of the induction scheme. We analyse various further results concerning end-extensions of models of compositional truth and the collection scheme for the compositional truth predicate. (shrink)

In this article we investigate the relationship between legal translation and legal interpretation. The common wisdom is that these activities are closely related, but the nature of that relationship remains disputable. We adopt the perspective of legal theory—as opposed to the perspective of translation studies—which seems to be underrepresented in the literature of the subject. We start with distinguishing between the two notions of legal interpretation: the wide sense and the narrow sense. We argue that the relationship between legal translation (...) and legal interpretation changes significantly depending on the notion of legal interpretation that is assumed. The wide sense is often assumed by translation scholars and it renders legal interpretation as a necessary prerequisite for legal translation. Jurists, on the other hand, usually assume the narrow sense which renders legal interpretation and legal translation as two distinct activities with some shared features. We then focus on four issues of legal interpretation in the narrow sense: the types of legal interpretive problems, the creation of legal interpretive problems, the methods of legal interpretation, the resolution of legal interpretive problems. We conclude with a detailed comparison of legal translation and legal interpretation in the context of those four issues. (shrink)

Idea słowiańska” jest terminem ogólnym, odnoszącym się do wielu politycznych, historiozoficznych i kulturowych wątków, dla których inspiracją było językowe i kulturowe pokrewieństwo między narodami słowiańskimi. Takie ruchy jak słowianofilstwo i panslawizm miały na celu kulturalne i polityczne zjednoczenie Słowian. Idea ta wywarła silny wpływ na muzykę krajów środkowej i wschodniej Europy w XIX i XX wieku. Pod jej wpływem powstała znaczna liczba utworów muzycznych. Można utwory te podzielić na kilka grup. W jednych „słowiańskość” podkreślana była poprzez tytuł. Kompozytorzy używali również (...) typowo słowiańskich gatunków tanecznych i pieśniowych, jak polski mazurek i ukraińska dumka. Innym sposobem realizacji idei słowiańskiej były muzyczne kontakty między twórcami. Idea muzyki słowiańskiej pojawia się również w komentarzach muzykologicznych: słowiański „charakter” muzyczny bywał najczęściej łączony ze specyficznymi kategoriami emocjonalnymi, takimi jak smutek, tęsknota, szczególnie zaś żal, które to określenie stosowano do opisu przemożnego nastroju panującego w dziełach Chopina. (shrink)

Name der Zeitschrift: Frühmittelalterliche Studien Jahrgang: 46 Heft: 1 Seiten: 99-156.

The aim of the article is to analyze the relationship between Singapore and the People’s Republic of China in the light of the current policy of the President of the United States Donald Trump. The point of reference for the presented analysis is the foreign policy of the former President Barack Obama, based on the strategy known as “pivot to Asia” – the strategic turnabout of the United States to the Asia-Pacific region. One of its main objectives was the signing (...) of a multilateral agreement on the establishment of a free trade zone, the Trans-Pacific Partnership (TPP), bringing together 12 countries. The main subject of the present analysis is to examine the impact of Donald Trump’s decision of January 2017 to withdraw from the TPP trade agreement on the relations between the remaining signatories of the agreement, as well as to examine Beijing’s actions, which may seek to increase its sphere of influence in Asia through the breakdown of TPP. The main part of the research is focused on the triangle politics concept in international politics, which will include China, Singapore and the United States. Besides the two largest economic powers, Singapore is included because of its membership in the TPP and ASEAN, and due to its strong economy and its population (predominantly) of Chinese origin it can be viewed as the “fifth column” or may otherwise play a role in the Greater China concept. (shrink)

Aphasia is an acquired impairment of language functions resulting from a brain lesion. It is usually accompanied by deficits in non-linguistic cognitive processes. This study aimed to investigate in patients with aphasia the complex interrelationships between selected cognitive functions: auditory speech comprehension, working memory, and temporal information processing in the millisecond time range. Thirty right-handed subjects aged from 27 to 82 years suffering from post-stroke aphasia participated in the study. Verbal working memory and spatial working memory were assessed with: a (...) receptive verbal test and the Corsi Block-Tapping Test, respectively. Both these WM tests used the forward tasks and backward tasks. Auditory comprehension was assessed by receptive language tests, and TIP efficiency was assessed by auditory perception of temporal order in the millisecond time range. We observed better performance of forward WM tasks than backward ones, independently of the type of material used. Furthermore, the severity of auditory comprehension impairment correlated with the efficiency on both forward and backward VWM tasks and the backward SWM task. Further analysis revealed that TIP plays a crucial role only in the latter task. These results indicate the divergent pattern of interactions between WM and TIP depending on the type of WM tasks. Level of verbal competency appeared to play an important role in both VWM tasks, whereas TIP appeared to be important for SWM, but only on the backward task. (shrink)

Europe is the community of nations which, in the favorable conditions of a small yet extremely diversified continent, took over and developed the legacy of Greco-Roman civilization transformed and enriched by Christianity. Philosophy, theology, liturgy, religion, national culture and tradition are still manifestations of this heritage. Europe is not merely a region or geographical location. It is an idea that expresses cultural and social ideals. The nature of Europeanness is not defined by race or place but by freedom and culture (...) in the broad sense. Latin Europe created a sphere of civilization. Though ridden by contrasts and differences, not merely an organic unity was established but also a unity of a spiritual kind by accentuating and merging of values all Europeans have in common. This was also made possible by Christianity whose ethos came to pervade a multiplicity of socio-cultural phenomena. (shrink)

Artykuł jest próbą analizy koncepcji minimalistycznej neurofilozofii autorstwa Henrika Waltera w kontekście dyskusji dotyczącej problemu psychofizycznego. Bezpośrednio związana z ową koncepcją teoria o „zróżnicowanej metafizyce” została w tekście powiązana z ideą pluralizmu eksplanacyjnego i ukazana jako metodologiczna alternatywa dla poszukiwania fundamentalnych teorii świadomości. Jednocześnie poza ewentualnymi zaletami metafilozoficznej refleksji podejmowanej w ramach minimalistycznej neurofilozofii zarysowane zostały jej podstawowe ograniczenia i problemy związane m.in. z uznaniem superweniencji za punkt łączący różnorodne stanowiska neurofilozoficzne.

This paper is a follow-up to [4], in which a mistake in [6] was corrected. We give a strenghtening of the main result on the semantical nonconservativity of the theory of PT−with internal induction for total formulae${$, denoted by PT−in [9]). We show that if to PT−the axiom of internal induction forallarithmetical formulae is added, then this theory is semantically stronger than${\rm{P}}{{\rm{T}}^ - } + {\rm{INT}}\left$. In particular the latter is not relatively truth definable in the former. Last but not (...) least, we provide an axiomatic theory of truth which meets the requirements put forward by Fischer and Horsten in [9]. The truth theory we define is based on Weak Kleene Logic instead of the Strong one. (shrink)

The current paper studies the formal properties of the Global Reflection Principle, to wit the assertion “All theorems of$\mathrm {Th}$are true,” where$\mathrm {Th}$is a theory in the language of arithmetic and the truth predicate satisfies the usual Tarskian inductive conditions for formulae in the language of arithmetic. We fix the gap in Kotlarski’s proof from [15], showing that the Global Reflection Principle for Peano Arithmetic is provable in the theory of compositional truth with bounded induction only ($\mathrm {CT}_0$). Furthermore, we (...) extend the above result showing that$\Sigma _1$-uniform reflection over a theory of uniform Tarski biconditionals ($\mathrm {UTB}^-$) is provable in$\mathrm {CT}_0$, thus answering the question of Beklemishev and Pakhomov [2]. Finally, we introduce the notion of a prolongable satisfaction class and use it to study the structure of models of$\mathrm {CT}_0$. In particular, we provide a new model-theoretical characterization of theories of finite iterations of uniform reflection and present a new proof characterizing the arithmetical consequences of$\mathrm {CT}_0$. (shrink)

AbstraktPEŁNY TEKST: PDF References Heidegger Martin, Bycie i czas, przeł. B. Baran, PWN, Warszawa 1994. Hoły-Łuczaj Magdalena, Kształtowalność. Postheideggerowskie pytanie o inny wymiar bycia, Copernicus Center Press, Kraków 2022. Hoły-Łuczaj Magdalena, Radykalny nonantropocentryzm. Martin Heidegger i ekologia głęboka, Wydawnictwa Uniwersytetu Warszawskiego, Warszawa–Rzeszów 2018.

In the following paper we propose a model-theoretical way of comparing the “strength” of various truth theories which are conservative over PA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ PA $$\end{document}. Let Th\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathfrak {Th}}$$\end{document} denote the class of models of PA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ PA $$\end{document} which admit an expansion to a model of theory Th\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} (...) \begin{document}$${ Th}$$\end{document}. We show that PA⊃TB⊃RS⊃UTB⊇CT-,\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\begin{aligned} {{\mathfrak {PA}}}\supset {\mathfrak {TB}}\supset {{\mathfrak {RS}}}\supset {\mathfrak {UTB}}\supseteq \mathfrak {CT^-}, \end{aligned}$$\end{document}where PA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathfrak {PA}}$$\end{document} denotes simply the class of all models of PA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ PA $$\end{document} and RS\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathfrak {RS}}$$\end{document} denotes the class of recursively saturated models of PA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ PA $$\end{document}. Our main original result is that every model of PA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ PA $$\end{document} which admits an expansion to a model of CT-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ CT ^-$$\end{document}, admits also an expansion to a model of UTB\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ UTB $$\end{document}. Moreover, as a corollary to one of the results we conclude that UTB\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ UTB $$\end{document} is not relatively interpretable in TB\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ TB $$\end{document}, thus answering the question from Fujimoto. (shrink)

The aim of the paper is to discuss the idea of dialogue with nature. Even though the idea of dialogue with animals, plants – even objects of inanimate nature – is well known, it has usually been treated as an expression of a naive or folk view. Yet, it has recently gained in importance as an idea that is used to describe an ecological approach to natural environment and tends to be treated as a foundation for an ecological culture. A (...) noteworthy contribution to the reconsideration of the concept of human-nature dialogue has also been given by a number of contemporary philosophers who have offered an environmental reinterpretation of phenomenology and hermeneutics based on, among other things, Martin Buber’s concept of the I-You relationship. The paper will focus on two aspects of the concept of dialogue, namely on its epistemological and ethical implications. Following Erazim Kohák’s theory, which will be presented as a key figure of a particular manner of speaking about nature, one that leads to ecological personalism. (shrink)

The notion of implicit commitment has played a prominent role in recent works in logic and philosophy of mathematics. Although implicit commitment is often associated with highly technical studies, it remains an elusive notion. In particular, it is often claimed that the acceptance of a mathematical theory implicitly commits one to the acceptance of a Uniform Reflection Principle for it. However, philosophers agree that a satisfactory analysis of the transition from a theory to its reflection principle is still lacking. We (...) provide an axiomatization of the minimal commitments implicit in the acceptance of a mathematical theory. The theory entails that the Uniform Reflection Principle is part of one’s implicit commitments, and sheds light on why this is so. We argue that the theory has significant epistemological consequences in that it explains how justified belief in the axioms of a theory can be preserved to the corresponding reflection principle. The theory also improves on recent analyses of implicit commitment based on truth or epistemic notions. (shrink)

It is argued that the assignment of truth values to future contingents is threatened not by a tensed metaphysics but by a temporally “local” notion of truth, i.e., by the assumption that whatever is true at a given time needs to be grounded in what exists at that time. If this assumption is accepted, tensed and tenseless metaphysics are equally vulnerable; if it is rejected, both can accommodate true future contingents. This means that semantic decisions are largely independent of metaphysical (...) considerations. The work of Correia and Rosenkranz (2018) is a clear example of how the tensed metaphysics of the growing block can incorporate true future contingents. Two potential worries are discussed in the context of their work: (a) that their grounding strategy overgeneralizes and admits true counterfactual contingents; and (b) that the growing block theory lacks sufficient resources to distinguish the unique possible future course of events that is relevant for the grounding of future contingents. (shrink)