This paper is about The Truthmaker Problem for Presentism. I spell out a solution to the problem that involves appealing to indeterministic laws of nature and branching semantics for past- and future-tensed sentences. Then I discuss a potential glitch for this solution, and propose a way to get around that glitch. Finally, I consider some likely objections to the view offered here, as well as replies to those objections.

The chapter considers two semantic issues concerning will-sentences: Stalnaker’s Asymmetry and modal subordination in Karttunen-type discourses. The former points to a distinction between will and modal verbs, seeming to show that will does not license non-specific indefinites. The latter, conversely, suggests that will-sentences involve some kind of modality. To account for the data, the chapter proposes that will is semantically a tense, hence it doesn’t contribute a quantifier over modal alternatives; a modal feature, however, is introduced in the (...) interpretation of a will-sentence through a supervaluational strategy universally quantifying over possible futures. That this is not part of will’s lexical semantics is shown to have consequences that ultimately contribute to explain Stalnaker’s Asymmetry. Furthermore, that a modal quantification is present in the interpretation of a will-sentence is shown to imply the availability of modal subordination in Karttunen-type discourses. (shrink)

In “The Open Future” (2021) Patrick Todd argues that the future is open, and that as a consequence all future contingents are false (as opposed to the more common view that they are neither true nor false). Very roughly, this latter claim is motivated by the idea that (a) presentism is true, and so future (and indeed past) things do not exist and (b) if future things do not exist, then the only thing that (...) could ground there being future tensed facts, and hence make those future tensed claims true, is the present and the laws of nature. But (c) the present and the laws of nature cannot ground there being future tensed facts because they do not necessitate there being any such fact. Hence future tensed claims are all false. Todd then goes on to present a semantics for his version of the open future on which all future contingents are false. In what follows we take up two strands of Todd’s view. First, we begin, in Section 2, by outlining Todd’s argument that future contingents are all false. We suggest that the considerations that Todd adduces for this conclusion do not support this being so. Then in Section 3 we consider the semantics that Todd offers, and argue that it yields implausible consequences. (shrink)

A fairly simple theory of the semantics of tense is obtained by combining three claims: (i) for any time t, a present-tense sentence `p' is either true or false at t; (ii) for any time t0 earlier than t, the future-tense sentence `It will be the case that p at t' is true at t0 if `p' is true at t, false otherwise; (iii) for any time t0 later than t, the past-tense sentence `It was the case (...) that p at t' is true at t0 if `p' is true at t, false otherwise. This theory, which has been called the theory of timeless truth, is often dismissed on the basis of its alleged incapacity to comply with indeterminism. Here, instead, it will be suggested that there is no reason to be dismissive. Section 1 provides some elucidations about the theory. Sections 2 and 3 explain how a foregone objection to it can be resisted. Sections 4 and 5 show that there is a plausible sense in which (i)-(iii) are compatible with indeterminism. Sections 6 and 7 dispel some misunderstandings that may lead to think that indeterminism is not vindicated in some important sense other than that outlined. (shrink)

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.

Our aim in the present paper is to investigate, from the standpoint of truth-theoretic semantics, English tense, temporal designators and quantifiers, and other expressions we use to relate ourselves and other things to the temporal order. Truth-theoretic semantics provides a particularly illuminating standpoint from which to discuss issues about the semantics of tense, and their relation to thoughts at, and about, times. Tense, and temporal modifiers, contribute systematically to conditions under which sentences we utter are true (...) or false. A Tarski-style truth-theoretic semantics, by requiring explicitly represented truth conditions, helps to sharpen questions about the function of tense, and to deepen our insight into the contribution the tenses and temporal modifiers make to what we say by using them. (shrink)

A central tenet of truthmaker theory is that necessitation is necessary for truthmaking (NEC). This paper defends NEC in a novel, piecemeal way, namely by responding to a potential counterexample involving a changing past. If Carter won a race at t1 but is later disqualified at t2, then Carter no longer won at t1. A wholly past event seems to have changed in the future. The event makes ‘Carter won the race at t1’ (RACE) true between t1‐2 (...) but fails to make it true at t2. So, we have a potential counterexample to necessitation: a truthmaker of RACE fails in another context to make the same truthbearer RACE true. I argue that the best solution to this challenge is not that there are different truthbearers at t1‐2 and t2 (the semantic response), or that RACE was never true because of the future disqualification or will always be true despite the future disqualification. The best solution is to accept that the past can change: past events can change based on what happens in the future (e.g., via their effects). This paper's novel defence of necessitation will illustrate the importance of utilising explicitly ontological and commonsensical tools in accounting for truth. (shrink)

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 controversial semantical or metaphysical complication. In this paper, we will show that this quasi-Russellian analysis of 'will' both lacks linguistic motivation and faces a variety of significant problems. In particular, we show that the standard arguments for Russell's treatment of definite descriptions fail to apply to statements of the form 'will(φ)'. (shrink)

We construct a presentist semantics on which there are no truth-makers for past and future tensed statements. The semantics is not an expressivist or projectivist one, and is not susceptible to the semantical difficulties that confront such theories. We discuss how the approach handles some standard concerns with presentism.

Experimental philosophy is the name for a recent movement whose participants use the methods of experimental psychology to probe the way people think about philosophical issues and then examine how the results of such studies bear on traditional philosophical debates. Given both the breadth of the research being carried out by experimental philosophers and the controversial nature of some of their central methodological assumptions, it is of no surprise that their work has recently come under attack. In this paper we (...) respond to some criticisms of experimental philosophy that have recently been put forward by Antti Kauppinen. Unlike the critics of experimental philosophy, we do not think the fledgling movement either will or should fall before it has even had a chance to rise up to explain what it is, what it seeks to do (and not to do), and exactly how it plans to do it. Filling in some of the salient details is the main goal of the present paper. (shrink)

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 (...) are jointly satisfied by a novel modal account of will. On this account, will is a modal but doesn't work as a quantifier over worlds. Rather, the meaning of will involves a selection function similar to the one used by Stalnaker in his semantics for conditionals. The resulting theory yields a plausible semantics and logic for will and vindicates our intuitive views about the attitudes that rational agents should have towards future-directed contents. (shrink)

The present volume has grown out of a conference organized jointly by the History of Philosophy Department of the University of Miskolc and the History and Philosophy of Science Department of Eötvös Loránd University (Budapest), which took place in June 2002. The aim of the conference was to explore the various angles from which intentionality can be studied, how it is related to other philosophical issues, and how it figures in the works of major philosophers in the past. It (...) also aimed at facilitating the interaction between the analytic and phenomenological traditions, which both regard intentionality as one of the most important problems for philosophy. Indeed intentionality has sometimes provided inspiration for works bridging the gap between the two traditions, like Roderick Chisholm’s in the sixties and Dagfin Føllesdall’s and his students’ in the early eighties. These objectives were also instrumental in the selection of the papers for this volume. Instead of very specialized papers on narrow issues, we gave preference to papers with a broader focus, which (1) juxtapose different approaches and traditions or (2) link the issues of intentionality with other philosophical concerns. (shrink)

In this chapter I argue that there can be no mental representation of objective ‘tensed’ features of reality of the kind that might be thought to occur when we experience time passing or think of times as past, present or future, whether or not such features are part of mind-independent reality. This, I hold, has important consequences for metaphysics; but (as will be most relevant to this volume) it is also likely to have important consequences for a (...) correct semantics for tense. In a nutshell, no correct semantics for tense can treat what philosophers call ‘A-properties’ (such as real pastness, presentness or futurity) as semantic values. (shrink)

One of the most widely discussed philosophical issues is the problem of future contingents. Basically, the challenge is to create an adequate semantic theory of future-tensed sentences. Twardowski (1900) suggests that future contingent statements should be analyzed using the concept of probability. The aim of this paper is to show that (1) such an analysis is not appropriate and (2) that Twardowski’s main theses imply the Thin Red Line Theory. I discuss three potential arguments against (...) my proposal and sketch the connection with Schaffer’s Parallelism Thesis (2012). (shrink)

We direct different attitudes towards states of affairs depending on where in time those states of affairs are located. Call this the type asymmetry. The type asymmetry appears fitting. For instance, it seems fitting to feel guilt or regret only about states of affairs that are past, and anticipation only of states of affairs that are future. It has been argued that the type asymmetry could only be fitting if there are tensed facts, and hence that since (...) it is fitting, there are tensed facts. In this paper I argue that tensed facts are not necessary to ground the fittingness of the type asymmetry, and thus we have no reason, arising from the fittingness of the asymmetry, to posit such facts. I also argue for a stronger conclusion: even if these facts obtain they are no part of what grounds the fittingness of the type asymmetry. These facts are explanatorily redundant. (shrink)

Generative artificial intelligence has given us synthetic media that are increasingly easy to create and increasingly hard to distinguish from photographs and videos. Whereas an existing literature has been concerned with how these new media might make a difference for would-be knowers—the viewers of photographs and videos—I advance a thesis about how they will make a difference for would-be communicators—those who embed photos and videos in their speech acts. I claim that the presence of these media in our information environment (...) reduces our ability to show one another things, even as it may increase our resources for telling. And I argue that this has consequences beyond the disruption of knowledge acquisition; showing is a way that we preserve relational equality through superficial asymmetries in political communication, and thereby express respect for our audiences. If synthetic media reduce our options for showing, they then interfere in the way that we manage our relationships in the context of collective political action. (shrink)

Continuists maintain that, aside from their distinct temporal orientations, episodic memory and future-oriented mental time travel (FMTT) are qualitatively continuous. Discontinuists deny this, arguing that, in addition to their distinct temporal orientations, there are qualitative metaphysical or epistemological differences between episodic memory and FMTT. This chapter defends continuism by responding both to arguments for metaphysical discontinuism, based on alleged discontinuities between episodic memory and FMTT at the causal, intentional, and phenomenological levels, and to arguments for epistemological discontinuism, based on (...) alleged discontinuities with respect to the epistemic openness of the past and future, the directness or indirectness of our knowledge of past and future, and immunity to error through misidentification. The chapter concludes by sketching a positive argument for continuism. (shrink)

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)

Presentists hold that only present things exist. But we all, presentists included, utter sentences that appear to involve quantification over non-present objects, and so we all, presentists included, seem to commit ourselves to such objects. Equally, we all, presentists included, take utterances of many past-tensed (and some future-tensed) sentences to be true. But if no past or future things exist, it’s hard to see how there can be anything that those utterances are (...) about, which makes them true. This paper presents a hitherto unexplored response to both problems: pretence fictionalism about the non-present. This view combines semantic factualism with psychological non-cognitivism. Sentences that appear to quantify over the non-present have propositional content and (almost all of) those propositions are false because the thing they are about—the non-present—does not exist. Nevertheless when we utter such sentences we don’t thereby utter something false. Our utterances do not report the belief that the propositional content of the sentence uttered is true; rather, they express a non-cognitive attitude towards that content: namely an attitude of pretence. Hence by thinking various thoughts, and uttering various sentences we are, collectively, pretending as though things were (or will be) thus and so. (shrink)

Let us call non-presentist dynamism any view according to which (a) a single moment of time is objectively present and (b) which time is objectively present changes and (c) objectively non-present times exist, and at least some of these are occupied by objects, events, or properties. Non-presentist dynamism has an advantage over presentist dynamism—the view that only present objects, properties, and events exist, and that which objects, properties and events there are, changes—in the truthmaking arena. Presentists have trouble finding plausible (...) truthmakers for past (and future) tensed propositions, since no past, (or future) objects, properties, or events exist, which could make true said propositions. Hence presentists have to resort to one of two strategies. According to the first, nothing makes past (or future) tensed propositions true, though some are true nonetheless. For some class of propositions, the truth of said propositions does not in any way depend on ontology. This strategy rejects even the fairly weak requirement that for any proposition P, and worlds w and v, if P is true in w but not in v, then either something exists in v but not in w or else some n-tuple of things stands in some fundamental relation in v but not in w . Call this account No Truthmaker: -/- No Truthmaker: There are no truthmakers for past-tensed truths. -/- Embracing No Truthmaker is typically taken to be a cost of presentism. According to the second strategy, some presently existing thing makes true past-tensed truths. Advocates of this strategy embrace anti-aboutness truthmaking, the view that while all truths are grounded in being, the truth of a proposition need not grounded in the thing(s) the proposition is about. Since past things do not exist, past-tensed propositions are made true by something other than what they are about. Such presentists endorse some version of Present Record Truthmaking. (shrink)

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 incompatibility between the way branching-tree models account for the open future and the possibility of time travel. That is, I argue that once time travel enters the picture, branching time fails to model the openness of the future by means of alternative future branches. I show how this holds independently of whether branching-time models are cashed out in A-theoretic or B-theoretic terms. (shrink)

This paper identifies a new source of differences in religiosity: the type of future tense marking in language. We argue that the rewards and punishments that incentivize religious behaviour are more effective for speakers of languages without inflectional future tense. Consistent with this prediction, we show that speakers of languages without inflectional future tense are more likely to be religious and to take up the short-term costs associated with religiosity. What is likely to drive this behaviour, according (...) to our results, is the relatively greater appeal of the religious rewards to these individuals. Our analysis is based on within-country regressions comparing individuals with identical observable characteristics who speak a different language. (shrink)

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 this account, we offer a solution to two tense-modal puzzles, which have to do with fatalism and the possibility of a changing past. (shrink)

Presentists face a familiar problem. If only present objects exist, then what 'makes true' our true claims about the past? According to Ross Cameron, the 'truth-makers' for past and future tensed propositions are presently instantiated Temporal Distributional Properties. We present an argument against Cameron's view. There are two ways that we might understand the term 'distribute' as it appears. On one reading, the resulting properties are not up to the task of playing the truth-maker role; on (...) the other, the properties are incompatible with presentism. (shrink)

We show that five important elements of the ‘nomological package’— laws, counterfactuals, chances, dispositions, and counterfactuals—needn’t be a problem for the Growing-Block view. We begin with the framework given in Briggs and Forbes (in The real truth about the unreal future. Oxford studies in metaphysics. Oxford University Press, Oxford, 2012 ), and, taking laws as primitive, we show that the Growing-Block view has the resources to provide an account of possibility, and a natural semantics for non-backtracking causal counterfactuals. (...) We show how objective chances might ground a more fine-grained concept of feasibility, and furnished a places in the structure where causation and dispositions might fit. The Growing-Block view, thus understood, provides the resources to explain the close link between modality and tense, so that it predicts modal change as time passes. This account lets us capture not only what the future might hold for us, and also what might have been. (shrink)

This book discusses fundamental topics on contemporary Ockhamism. The collected essays show how contemporary Ockhamism can impact areas of research such as semantics, metaphysics and also the philosophy of science. In addition, the volume hosts one historian of Medieval philosophy who investigates the way in which William of Ockham “in flesh and bone” construed time and, more generally, future contingency. The essays explore the different meanings of this theory. They cover three main topics, in particular. The first examines (...) the thesis that sentences and propositions about the future have a definite truth value, without any ensuing commitment to determinism or fatalism. The second topic looks at the problem whether the branching-time model needs to countenance a privileged branch (the so-called Thin Red Line). Finally, the third topic considers the idea that there are so-called soft facts. These would be the subject matter of sentences and propositions verbally about the present or the past, but metaphysically about a later time, and which might change in the future. Overall, the book provides an updated and rigorous idea of the debate about Ockhamism. It gives readers a deeper understanding into this philosophical approach influenced by William of Ockham, characterized by the rejection of the Aristotelian idea that, in order to preserve the contingency of the future, future contingents must be deemed neither true nor false. (shrink)

Human beings seem to capture time and the temporal properties of events and things in thought by having beliefs usually expressed with statements using tense, or notions such as ‘now’, ‘past’ or ‘future’. Tensed beliefs like these seem indispensable for correct reasoning and timely action. For instance, my belief that my root canal is over seems inexpressible with a statement that does not use tense or a temporal indexical. However, the dominant view on the nature of time (...) is that it forms, with space, a four-dimensional continuum where time does not encompass private perspectives or an absolute, fixed present. This ‘tenseless’ theory of time encounters a challenge in integrating tensed belief, because it cannot easily explain what constitutes a tensed belief in a tenseless world and how such a belief works inside our cognitive network to bring about the actions it does. Providing such an account is the main goal of this dissertation. -/- I argue here that the correct way to proceed would be to utilize philosophical theories dealing with indexicality, as the puzzling features of tensed belief are shared with beliefs expressed by first-person or spatial indexicals. In chapters II and III I expand the dominant theories about indexicality (Lewis, Perry, Kaplan) and apply them to tensed belief. I show that each is in certain respects incomplete or inadequate. -/- My preferred account critiques the preceding theories as mis-attributing the indexicality involved to a fully conceptual element in the way people think about time. I argue that we should instead connect tensed belief to not fully conceptual elements thought. For support I turn to work in perceptual psychology that connects beliefs about space to perceptions of spatial features. In chapter IV I develop an analogous argument about temporal thought and discuss how mental representations involved in perceptions are constitutively related to the formation and preservation of tensed beliefs. Combining this story with a tenseless theory of time should give us a complete, metaphysically uncontroversial, account of the way a tensed belief functions in reasoning and produces timely action. (shrink)

The basic principles of Cipra's metaphysics (according to his book "Metamorphoses of Metaphysics") are analyzed with respect to Cipra's request for the revision of classical logical principles (of identity, excluded middle and contradiction). In Cipra's metaphysics, the principle of identity holds for being, necessity and past only, the principle of excluded middle does not hold for coming-to-be, possibility and present, and the principle of contradiction does not hold for the actuality, reality (freedom) and future. A propositional and first-order (...) temporal model and semantics are defined for such a concept of metaphysical time. The propositional ockhamistic branching time model is extended, in a first-order model, with a non-empty set of object shapes and an equivalence relation between object shapes in time, so that, for example, different, previously equivalent object shapes can in future contradict one another. (shrink)

One of the theories that have been produced in linguistics in the light of J. E. McTaggart’s influential essay “The Unreality of Time” (1908) is a critique of reality that may be attributed to the semantics of tenses in natural languages. This chapter from my book The Linguistic Picture of the World: Alice’s Adventures in Many Languages proposes an alternative approach to the semantics of time, not as a dubious product of linguists’ imagination, i.e. not as something that (...) can easily be discarded from the philosophy of language but rather as a firm category of human thinking. Particular emphasis is placed on the idea of time as it is expressed by the seemingly rather contradictory morphology of the past, present, and future. (shrink)

Since the first lockdown in March 2020, time seems to have slowed to a continuous present tense. The Greek language has three words to express different experiences of time: aion, chronos and kairos. If aion is the boundless and limbo-like time of eternity, chronos represents chronological, sequential, and linear time. Kairos, however, signifies the rupture of ordinary time with the opportune moment, epiphany and redemption, revolution, and most broadly, crisis and emergency. This paper argues that the pandemic is impacting how (...) individuals perceive time in two ways: first, as a distortion of time in which individuals are caught between linear time (chronos) and rupture (kairos) invoking the state of emergency and second, as an extended present that blurs the passing of chronological time with its seeming eternity (aion). As a result of the perceived suspension of ordinary time, temporal understandings of the future are postponed, while the past hovers like a ghost over the present. (shrink)

I present a ‘stage-theoretical’ interpretation of the supervaluationist semantics for the growing-block theory of time according to which the ‘nodes’ on the branching tree of historical possibilities are taken to be possible stages of the growth of the growing-block. As I will argue, the resulting interpretation (i) is very intuitive, (ii) can easily ward off an objection to supervaluationist treatments of the growing-block theory presented by Fabrice Correia and Sven Rosenkranz, and (iii) is also not saddled by the (...) problems affecting the supervaluationist version of the growing-block theory defended by R. A. Briggs and Graeme A. Forbes. (shrink)

The aim of this paper is to argue that the adoption of an unrestricted principle of bivalence is compatible with a metaphysics that (i) denies that the future is real, (ii) adopts nomological indeterminism, and (iii) exploits a branching structure to provide a semantics for future contingent claims. To this end, we elaborate what we call Flow Fragmentalism, a view inspired by Kit Fine (2005)’s non-standard tense realism, according to which reality is divided up into maximally (...) coherent collections of tensed facts. In this way, we show how to reconcile a genuinely A-theoretic branching-time model with the idea that there is a branch corresponding to the thin red line, that is, the branch that will turn out to be the actual future history of the world. (shrink)

Jaakko Hintikka proposed treating objectual perception sentences, such as “Alice sees Bob,” as de re propositional perception sentences. Esa Saarinen extended Hintikka’s idea to eventive perception sentences, such as “Alice sees Bob smile.” These approaches, elegant as they may be, are not philosophically neutral, for they presuppose, controversially, that the content of all perceptual experiences is propositional in nature. The aim of this paper is to propose a formal treatment of objectual and eventive perception sentences that (...) builds on Hintikka’s modal approach to propositional attitude ascriptions while avoiding controversial assumptions on the nature of perceptual experiences. Despite being simple and theoretically frugal, our approach is powerful enough to express a variety of interesting philosophical views about propositional, objectual, and eventive perception sentences, thus enabling the study of their inferential relationships. (shrink)

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 other two ways based on Łukasiewicz’s three-valued logic and branching temporal logic. (shrink)

Jeffrey King has recently argued: (i) that the semantic value of a sentence at a context is (or determines) a function from possible worlds to truth values, and (ii) that this undermines Jason Stanley's argument against the rigidity thesis, the claim that no rigid term has the same content as a non-rigid term. I show that King's main argument for (i) fails, and that Stanley's argument is consistent with the claim that the semantic value of a sentence at a context (...) is (or determines) a function from worlds to truth values. (shrink)

Virtual environments engage millions of people and billions of dollars each year. What is the ontological status of the virtual objects that populate those environments? An adequate answer to that question requires a developed semantics for virtual environments. The truth-conditions must be identified for “tree”-sentences when uttered by speakers immersed in a virtual environment (VE). It will be argued that statements about virtual objects have truth-conditions roughly comparable to the verificationist conditions popular amongst some contemporary antirealists. This does (...) not mean that the virtual objects lack ontological standing. There is an important sense in which virtual objects are no less real for being mind-dependent. (shrink)

Against the background of standard possible-worlds semantics, this paper outlines a truthmaker approach to the semantics of attitude reports and modal sentences based on an ontology of attitudinal and modal objects.

This book is the culmination of the COST Action CA15212 Citizen Science to Promote Creativity, Scientific Literacy, and Innovation throughout Europe. It represents the final stage of a shared journey taken over the last 4 years. During this relatively short period, our citizen science practices and perspectives have rapidly evolved. In this chapter we discuss what we have learnt about the recent past of citizen science and what we expect and hope for the future.

This essay seeks to expose readers from the social sciences to current debates in their fields, beyond the discussions of induction and deduction one learns about in a typical research methods course. It provides glimpses of social science from its dawn in 17th century empiricism, through the rise of postpositivism and antipositivism, to the infamous “science wars” in the 1990s, and expresses a hope for a broader and more inclusive future. Specifically, the paper compares the traditional positivist method of (...) scientific inquiry to a phenomenological approach, and attempts to demonstrate the relevance of philosophical investigation in social science research. (shrink)

This essay is part of a larger project aimed at making sense of rational thought and agency as part of the natural world. It provides a semantic framework for thinking about the contents of: 1) descriptive thoughts and sentences having a representational or mind-to-world direction of fit, and which manifest our capacity for theoretical rationality; and 2) prescriptive and intentional sentences having an expressive or world-to-mind direction of fit, and which manifest our capacity for practical rationality. I use (...) a modified version of Allan Gibbard’s hyperstate semantics, employing both maximally determinate possible worlds and maximally determinate plans of action, as a basis for providing a unified understanding of moral judgments and expressions of individual and collective intentionality – they one and all give voice to our ability as rational agents to adopt the perspectives of various individuals within a community and consider how we would behave were we in their positions. In the course of spelling out the view I draw on and criticize ideas that Wilfrid Sellars advanced in the middle of the 20th century, while employing the tools of contemporary modal logic and model-theoretic semantics to give perspicuous formulation to his thought that the moral judgment ‘one ought to do A’ should be understood in terms of the collective intention ‘we shall do A’, where the pronoun denotes the unrestricted class of rational agents and the ‘ought’ is in some sense unconditionally binding. (shrink)

The automatic integration of rapidly expanding information resources in the life sciences is one of the most challenging goals facing biomedical research today. Controlled vocabularies, terminologies, and coding systems play an important role in realizing this goal, by making it possible to draw together information from heterogeneous sources – for example pertaining to genes and proteins, drugs and diseases – secure in the knowledge that the same terms will also represent the same entities on all occasions of use. In the (...) naming of genes, proteins, and other molecular structures, considerable efforts are under way to reduce the effects of the different naming conventions which have been spawned by different groups of researchers. Electronic patient records, too, increasingly involve the use of standardized terminologies, and tremendous efforts are currently being devoted to the creation of terminology resources that can meet the needs of a future era of personalized medicine, in which genomic and clinical data can be aligned in such a way that the corresponding information systems become interoperable. (shrink)

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 we restrict the degree of relevant possibility), it is possible, given that at some point in the past, I may have been conceived slightly earlier than I was, that I am now 37. Likewise, it is possible diachronically for me to be somewhere other than where I am, but given that one object cannot be in different places at the same time, it is impossible for me now to be somewhere other than where I am, and this is true at each past point in my history too. There are, then, two axis upon which to distinguish what is and is not possible: tensed possibilities and possibilities of degree, which include nomic, metaphysical, and logical necessities, among others. I examine the interactions between these possibilities and I come to the conclusion that logical necessity is not in fact logical necessity simpliciter. Whether something is logically necessary depends upon tensed possibilities. I argue that while synchronic logical necessity entails diachronic logical necessity, the reverse entailment does not hold. I explore the consequences of this for certain philosophical debates in semantics including the concept of rigid designation, and descriptive names. (shrink)

The Global Forum on Bioethics in Research (GFBR) served as a global platform for debate on ethical issues in international health research between 1999 and 2008, bringing together research ethics experts, researchers, policy makers and community members from developing and developed countries. In total, nine GFBR meetings were held on six continents. Work is currently underway to revive the GFBR. This paper describes the purpose and history of the GFBR and presents key elements for its reinstatement, future functioning and (...) sustainability. Potential participants and sponsors are encouraged to contribute actively to the future of this unique international research ethics event. (shrink)

Replacing the value-free ideal (VFI) for science requires attention to the broader understanding of how science in society should function. In public spaces, science needed to project the VFI in norms for science advising, science education, and science communication. This resulted in the independent science advisor model and a focus on science literacy for science education and communication. Attending to these broader implications of the VFI which structure science and society relationships is crucial if we are to properly replace the (...) VFI with a better ideal. (shrink)

Vector models of language are based on the contextual aspects of language, the distributions of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, compositional properties of words and how they compose to form sentences. In the truth conditional approach, the denotation of a sentence determines its truth conditions, which can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In the vector (...) models, the degree of co-occurrence of words in context determines how similar the meanings of words are. In this paper, we put these two models together and develop a vector semantics for language based on the simply typed lambda calculus models of natural language. We provide two types of vector semantics: a static one that uses techniques familiar from the truth conditional tradition and a dynamic one based on a form of dynamic interpretation inspired by Heim’s context change potentials. We show how the dynamic model can be applied to entailment between a corpus and a sentence and provide examples. (shrink)

In this paper, we articulate a version of non-standard A-theory—which we call Flow Fragmentalism—in relation to its take on the issue of supervenience of truth on being. According to the Truth Supervenes on Being (TSB) Principle, the truth of past- and future-tensed propositions supervenes, respectively, on past and future facts. Since the standard presentist denies the existence of past and future entities and facts concerning them that do not obtain in the present, she (...) seems to lack the resources to accept both past and future-tensed truths and the TSB Principle. Contrariwise, positions in philosophy of time that accept an eternalist ontology (e.g., B-theory, moving spotlight, and Fine’s and Lipman’s versions of fragmentalism) allow for a “direct” supervenience base for past- and future-tensed truths. We argue that Flow Fragmentalism constitutes a middle ground, which retains most of the advantages of both views, and allows us to articulate a novel account of the passage of time. (shrink)

Growing-Block theorists hold that past and present things are real, while future things do not yet exist. This generates a puzzle: how can Growing-Block theorists explain the fact that some sentences about the future appear to be true? Briggs and Forbes develop a modal ersatzist framework, on which the concrete actual world is associated with a branching-time structure of ersatz possible worlds. They then show how this branching structure might be used to determine the (...) truth values of future contingents. They point out three different ways of interpreting the logical connectives, which give rise to three different logics of the open future: one supervaluationist, one corresponding to Lukasiewicz's strong Kleene logic, and one intuitionist. (shrink)

Philosophers have spilled a lot of ink over the past few years exploring the nature and significance of grounding. Kit Fine has made several seminal contributions to this discussion, including an exact treatment of the formal features of grounding [Fine, 2012a]. He has specified a language in which grounding claims may be expressed, proposed a system of axioms which capture the relevant formal features, and offered a semantics which interprets the language. Unfortunately, the semantics Fine offers faces (...) a number of problems. In this paper, I review the problems and offer an alternative that avoids them. I offer a semantics for the pure logic of ground that is motivated by ideas already present in the grounding literature, and for which a natural axiomatization capturing central formal features of grounding is sound and complete. I also show how the semantics I offer avoids the problems faced by Fine’s semantics. (shrink)

Mathematics has always been a core part of western education, from the medieval quadrivium to the large amount of arithmetic and algebra still compulsory in high schools. It is an essential part. Its commitment to exactitude and to rigid demonstration balances humanist subjects devoted to appreciation and rhetoric as well as giving the lie to postmodernist insinuations that all “truths” are subject to political negotiation. In recent decades, the character of mathematics has changed – or rather broadened: it has become (...) the enabling science behind the complexity of contemporary knowledge, from gene interpretation to bank risk. Mathematical understanding is all the more necessary for future jobs, as well as remaining, as ever, a prophylactic against the more corrosive philosophical views emanating from the humanities. (shrink)

What makes us persons? Is it our bodies, our minds, or our consciousness? For centuries, philosophers have sought to answer these questions. While some believe humans are physical or biological, others claim we have an immaterial soul. This book proposes a new alternative. Selves were formed in evolution through connections and commitments to others when early hominins lived in tribal groups and developed languages. As humans learned to fulfill these commitments, they not only cultivated relationships but also created their personal (...) identities. Their habits of responsibility established their characters and therefore their reputations within their communities. This naturalistic approach proposes that a self is defined by the history of its commitments to cultural and personal norms. While brain processes are required, the self is not some internal, private mind but primarily a role within its community. As technology advances, selfhood could in the future be enabled by electronic, quantum, or other non-biological means. So if a self is formed through norms, could artificial intelligence evolve to have self-identity? (shrink)