Presentism states that everything is present. Crucial to our understanding of this thesis is how we interpret the ‘is’. Recently, several philosophers have claimed that on any interpretation presentism comes out as either trivially true or manifestly false. Yet, presentism is meant to be a substantive and interesting thesis. I outline in detail the nature of the problem and the standard interpretative options. After unfavourably assessing several popular responses in the literature, I offer an alternative interpretation that provides the desired (...) result. This interpretation is then used to clarify the distinction between ‘real change’ from mere variation and temporal relativisation. Reflecting on my solution, I try to diagnose the source of confusion over these issues. Then, building upon Fine’s distinction between ontic and factive presentism, I elucidate what the presentist thesis specifically concerns and how best to formalise it. In the process I distinguish a weak and strong version of the presentist thesis. Finally, I end by drawing out some limitations of the paper. (shrink)

In this paper I explore how the tenseless copula is to be interpreted in sentences of the form “a is F at t”, where “a” denotes a persisting, changeable object, “F” stands for a prima facie intrinsic property and “t” for a B-time. I argue that the interpretation of the copula depends on the logical role assigned to the time clause. Having rejected the idea that the time clause is to be treated as a sentence operator, I argue: that if (...) “at t” is thought of as being associated with “a” or “F”, then the tenseless copula is most plausibly read as an “is” simpliciter; and that if “at t” is treated as being associated with the copula, then the tenseless copula is most plausibly understood as expressing a disjunction of tensed copulas. I end the paper by explaining the importance of the issue. I indicate the ramifications interpretation of the tenseless copula has for the so-called problem of temporary intrinsics. (shrink)

In the article "Podstawy analizy metodologicznej kanonów Milla" [2] Jerzy Łoś proposed an operator that refered sentences to temporal moments. Let us look, for example, at a sentence ‘It is raining in Toruń’. From a logical point of view it is a propositional function, which does not have any logical value, unless we point at a temporal context from a fixed set of such contexts. If the sentence was considered today as a description of a state of affairs, it could (...) be true. If it was considered yesterday, it could be false. 1 The operator enables us to connect any sentence p with any temporal context t. Such a complex sentence we read as: a sentence p is realized at a temporal context t (a point of time, an interval of some kind, etc). (shrink)

The important switch from the so-called old B-theory to the new tenseless theory of time (NTT), which had significant implications for the field of tense and indexicals, occurred after Carnap’s era. Against this new background, Carnap’s original inter-translatability thesis can no longer be upheld. The most natural way out would be to modify Carnap’s position according to the NTT; but this is not compatible with Carnap’s metaphysical neutrality thesis. Even worse, Carnap’s work on measurement theory can be used to develop (...) an argument in favour of the A-theory. I argue that there are tensed basic sentences which are needed in order to construct a tenseless system and thus cannot be translated without loss of meaning into tenseless ones (old B-theory) or made true by tenseless facts (NTT). (shrink)

At some point during the 1950s, mainstream American philosophy of science began increasingly to avoid questions about the role of non-cognitive values in science and, accordingly, increasingly to avoid active engagement with social, political and moral concerns. Such questions and engagement eventually ceased to be part of the mainstream. Here we show that the eventual dominance of 'value-free' philosophy of science can be attributed, at least in part, to the policies of the U.S. National Science Foundation's "History and Philosophy of (...) Science" sub-program. In turn, the sub-program's policies were set by logical empiricists who espoused value-free philosophy of science; these philosophers' actions, we also point out, fit a broad pattern, one in which analytic philosophers used institutional control to marginalize rival approaches to philosophy. We go on to draw on existing knowledge of this pattern to suggest two further, similar, contributors to the withdrawal from value-laden philosophy of science, namely decisions by the editors of Philosophy of Science and by the editors of The Journal of Philosophy. Political climate was, we argue, at most an indirect contributor to the withdrawal and was neither a factor that decided whether it occurred nor one that was sufficient to bring it about. Moreover, we argue that the actions at the National Science Foundation went beyond what was required by its senior administrators and are better viewed as part of what drove, rather than as what was being driven by, the adoption of logical empiricism by the philosophy of science community. (shrink)

Book Reviews: Tomasz Jarmużek and Marcin Tkaczyk, Normalne logiki pozycyjne, Wydawnictwo KUL, Lublin, 2015, 202 pages, ISBN 978-838061-114-6.

The purpose of this paper is to present a very versatile family of logical systems ofpositionalortopologicallogic. These systems—obtained by generalizing the existing systems of chronological logic—are to have a very general nature, capable of reflecting the characteristics of a wide range of logical systems, including not only chronological (alsotemporalortense) logic, but also what we may call locative or place logic, and even a logic of “possible worlds”.

A basic aim of E. Beth's work in philosophy of science was to explore the use of formal semantic methods in the analysis of physical theories. We hope to show that a general framework for Beth's semantic analysis is provided by the theory of semi-interpreted languages, introduced in a previous paper. After developing Beth's analysis of nonrelativistic physical theories in a more general form, we turn to the notion of the 'logic' of a physical theory. Here we prove a result (...) concerning the conditions under which semantic entailment in such a theory is finitary. We argue, finally, that Beth's approach provides a characterization of physical theory which is more faithful to current practice in foundational research in the sciences than the familiar picture of a partly interpreted axiomatic theory. (shrink)

It is argued that reconstructions of the so-called ‘Master Argument’ of Dideros Cronos to the effect that possibility should be understood as present or future truth, essentially relies on two axioms: i) that every true proposition concerning the past is necessary, and ii) that it follows necessarily from a proposition being true that it always has been the case that it would be true. It is furthermore argued that these two axioms are inconsistent in the sense that any tense/modal semantics (...) which incorporates both collapses either modally (fails to distinguish between truth simpliciter and modalised truth) or temporally (fails to offer a plausible semantical account for propositions about the future). This finding is, furthermore, taken as indicator for the more generel claim that there are principled difficulties involved in construing semantics for combined tense/modal logical systems. (shrink)

The goal of the article is twofold. The first one is to provide logics based on positional semantics which will be suitable for the analysis of epistemic modalities such as ‘agent... knows/beliefs that...’. The second one is to define tableau systemsfor such logics. Firstly, we present the minimal positional logic MR. Then, we change the notion of formulas and semantics in order to consider iterations of the operator of realization and “free” classical formulas. After that, we move on to weaker (...) logics in order to avoid the well known problem of logical omniscience. At the same time, we keep the positional counterparts of modal axioms, and. For all of the considered logics we present sound and complete tableau systems. (shrink)

Besides the observable properties it exhibits and the actual processes it undergoes, a thing is full of threats and promises. The dispositions or capacities of a thing — its flexibility, its inflammability, its solubility — are no less important to us than its overt behaviour, but they strike us by comparison as rather ethereal. And so we are moved to inquire whether we can bring them down to earth; whether, that is, we can explain disposition terms without any reference to (...) occult powers. (shrink)