Of late, evidentiality has received great attention in formal semantics. In this paper I develop ‘evidentiality-informed’ truth conditions for modal operators such as must and may . With language data drawn from Luoping Nase (a Tibeto-Burman language spoken in the P.R. of China and belonging to the Yi Nationality), I illustrate that epistemic modals clash with clauses articulating first-hand information. I then demonstrate that existing models such as Kratzer’s graded possible-worlds semantics fail to provide accurate truth conditions for modals (...) tagging clauses with first-hand information. As a remedy I propose a fuzzy version of possible-worlds semantics with various grades of belief and knowledge. In addition to preserving the expressive power of graded possible-worlds semantics, the fuzzy model will be shown to supply appropriate truth conditions for epistemic modals appended to evidential clauses (i.e. clauses expressing first-hand information). (shrink)

In this short article I discuss the variae lectiones in Il. 8.408 and 8.422. All manuscripts have ὅττι νοήσω (408) and ὅττι νοήσῃ (422), but many editors have preferred to print Aristarkhos’ corrections ὅττί κεν εἴπω and ὅττί κεν εἴπῃ respectively. By comparing the instances in which ὅττί κεν εἴπω/ῃς/ῃ and ὅττι νοήσω/ῃς/ῃ are used and by delving deeper into the use of the modal particle (MP) in epic Greek, I argue that the transmitted readings ὅττι νοήσω (408) and (...) ὅττι νοήσῃ (422) should have preference, because they have no MP and refer to repeated actions, whereas the construction ὅττί κεν εἴπω/ῃς/ῃ, which has an MP, refers to a more specific instance (which is why it has an MP in the first place). (shrink)

This paper discusses two possible formal approaches to the semantic/pragmatic characterisation of a subclass of the modal particles. It may well be that the approaches can be applied to other particles or that they can be applied to certain intonational patterns (e.g. contrastive stress), to morphemes (past tense, agreement) or to words (pronouns), constructions (some uses of definite descriptions, clefts), but I will not try to to show that here. The first approach is based on the optimality (...) theoretic reconstruction of Blutner & J¨ ager (2000) of the theory of presupposition that has become fairly standard, the Heim (1983) and van der Sandt (1992) view of presuppositions as anaphora (see Zeevat (1992) for an introduction and comparison). The first half of the paper critically reviews my earlier views on the treatment of particles in this setting, the second part introduces a novel view, again based on optimality theory, which takes as a starting point the marking constraints that are a necessary ingredient of my earlier treatment. (shrink)

Most Probably: Epistemic Modality in Old Babylonian by Nathan Wasserman is the first attempt to provide a description of the domain of epistemic modality in Old Babylonian Akkadian. This attempt is not entirely successful, for several reasons. Methodological inconsistency often impairs the author’s ability to convince the reader of his solutions. Both primary data and existing secondary literature are used only selectively, which renders the proposed description problematic. Finally, the lack of cross-referencing between the chapters evokes the feeling that the (...) different particles do not quite constitute a system. (shrink)

We propose a semantic analysis of the particles afinal (European Portuguese) and alla fine (Italian) in terms of the notion of truth unpersistence, which combines both epistemic modality and constraints on discourse structure. We argue that the felicitous use of these modal particles requires that the truth of a proposition p* fail to persist through a temporal succession of epistemic states, where p* is incompatible with the proposition modified by afinal/alla fine, and that the interlocutors share knowledge (...) of a previous epistemic attitude toward p*. We analyze two main cases, that of plan-related propositions and that of propositions without plans. We also discuss the connections between truth unpersistence and evidentiality. (shrink)

Based on three common interpretive commitments in general relativity, I raise a conceptual problem for the usual identification, in that theory, of timelike curves as those that represent the possible histories of particles in spacetime. This problem affords at least three different solutions, depending on different representational and ontological assumptions one makes about the nature of particles, fields, and their modal structure. While I advocate for a cautious pluralism regarding these options, I also suggest that re-interpreting (...) class='Hi'>particles as field processes offers the most promising route for natural integration with the physics of material phenomena, including quantum theory. (shrink)

This paper provides a semantic analysis of the particles afinal (European Portuguese) and alla fine (Italian) in terms of the notion of truth unpersistence, which can be situated at the intersection of epistemic modality and discourse structure. In the analysis proposed, the particles are propositional operators and require that the truth of a proposition p* fail to persist through a temporal succession of epistemic states, this proposition being incompatible with the prejacent, and that the interlocutors share knowledge of (...) a previous epistemic attitude toward p*. We analyze two main cases (plan-related and non plan-related propositions) and also show that these particles are indexical to one (or more) epistemic agent(s) and allow for shifts in perspective. (shrink)

The class of true modal verbs in English is usually understood to include auxiliary verbs conveying possibility and necessity (including predictive future) that lack non-finite morphological forms; from a syntactic perspective, these verbs occur only in finite clauses (as opposed to infinitives or gerunds). Nevertheless the true modals do not inflect for third-person singular agreement, unlike normal present-tense verbs. When they are negated, true modals always precede the negative particle not, regardless of their understood scope relative to negation, and (...) never give rise to do-support. (shrink)

Modal relationism is the view that our best physical theories can dispense with substantival space or spacetime in favor of possible configurations of particles. Kenneth Manders argued that the substantivalist conception is equivalent to this Leibnizian conception of space. To do so, Manders provides a translation f from the Newtonian theory T N into the Leibnizian modal relationist account T L. In this paper, we show that the translation does not establish equivalence, since there is no translation (...) g : T L → T N that preserves theoremhood. This seems to show that the modal relationist theory T L is less parsimonious than its substantivalist rival. (shrink)

Already in 1835 Lobachevski entertained the possibility of multiple geometries of the same type playing a role. This idea of rival geometries has reappeared from time to time but had yet to become a key idea in space-time philosophy prior to Brown's _Physical Relativity_. Such ideas are emphasized towards the end of Brown's book, which I suggest as the interpretive key. A crucial difference between Brown's constructivist approach to space-time theory and orthodox "space-time realism" pertains to modal scope. Constructivism (...) takes a broad modal scope in applying to all local classical field theories---modal cosmopolitanism, one might say, including theories with multiple geometries. By contrast the orthodox view is modally provincial in assuming that there exists a _unique_ geometry, as the familiar theories have. These theories serve as the "canon" for the orthodox view. Their historical roles also suggest a Whiggish story of inevitable progress. Physics literature after c. 1920 is relevant to orthodoxy primarily as commentary on the canon, which closed in the 1910s. The orthodox view explains the spatio-temporal behavior of matter in terms of the manifestation of the real geometry of space-time, an explanation works fairly well within the canon. The orthodox view, Whiggish history, and the canon have a symbiotic relationship. If one happens to philosophize about a theory outside the canon, space-time realism sheds little light on the spatio-temporal behavior of matter. Worse, it gives the _wrong_ answer when applied to an example arguably _within_ the canon, a sector of Special Relativity, namely, _massive_ scalar gravity with universal coupling. Which is the true geometry---the flat metric from the Poincare' symmetry group, the conformally flat metric exhibited by material rods and clocks, or both---or is the question faulty? How does space-time realism explain the fact that all matter fields see the same curved geometry, when so many ways to mix and match exist? Constructivist attention to dynamical details is vindicated; geometrical shortcuts can disappoint. The more exhaustive exploration of relativistic field theories in particle physics, especially massive theories, is a largely untapped resource for space-time philosophy. (shrink)

The negative particles lā/ ’al in Ugaritic change from positive to negative in modal contexts, conditional, questions, disjunctions, etc. They have usually been studied from a Semitic and linguistic points of view. On the basis of their occurrence in Ugaritic texts, we pretend to explain their uncommon behaviour from a philosophical and logico-semantic perspective. Is it possible to translate this linguistic structure in our Modern languages? Starting from a general view of their use in Ugaritic language, we claim (...) that this phenomenon can be more clearly understood in relation to modality. We interpret these negation as a negative evidential paradigm and we explain how they change in different contexts. Methodologically, we make use of formal tools of Dynamic Epistemic Logic in order to provide a more fine-grained understanding of these negations, and their dynamics. (shrink)

In present-day particle physics, empirical reasoning is highly inferential as experiments rely on complex instruments and an intensive use of computer-based methods. This paper investigates how these methods impact the evidential status of the data produced, using an expanded epistemic risk framework. Based on a case study from a top-quark physics experiment, we clarify the relationship between inductive and other epistemic risks. We argue that various epistemic risks that arise ahead of evidence affect the inductive risk of the experimental results, (...) and propose an understanding of epistemic risk in relation to different epistemic goals. Specifically, the case study shows how experimental tasks and their associated goals relate to the epistemic aim of the experiment, by revealing modalities of risk and risk dynamics throughout the experimental process. (shrink)

We propose a new approach to positive modal logics, hereby called anodic modal logics. Our treatment is completely positive since the language has neither negation nor any falsum or minimal particle. The elimination of the minimal particle of the language requires introducing the new concept of factual sets and factual deductions which permit us to talk about deductions in the actual world. We start from a positive fragment of the standard system K, denoted by K⊃, ∧, ◊, which (...) is a bimodal system with □ and ◊ as primitive. This system is then extended to a class of fragments of the Lemmon and Scott systems (cf. (Lemmon et al., 1977)), denoted by K⊃, ∧, ◊ + Gk;l;m;n + Gm;n;k;l. It is shown that such classes of systems are characterized with respect to the usual Kripke-style semantics. The proof is by way of a Henkin-style construction, with “possible worlds” being taken to be prime theories as introduced in the modal context by J. M. Dunn in (Dunn, 1995). We also obtain a surprising limiting result showing that the incompleteness phenomenon in modal logic is independent of negation. (shrink)

Two arguments have recently been advanced that Maxwell-Boltzmann particles areindistinguishable just like Bose–Einstein and Fermi–Dirac particles. Bringing modalmetaphysics to bear on these arguments shows that ontological indistinguishabilityfor classical (MB) particles does not follow. The first argument, resting on symmetryin the occupation representation for all three cases, fails since peculiar correlationsexist in the quantum (BE and FD) context as harbingers of ontic indistinguishability,while the indistinguishability of classical particles remains purely epistemic. The secondargument, deriving from the classical limits (...) of quantum statistical partition functions,embodies a conceptual confusion. After clarifying the doctrine of haecceitism, a thirdargument is considered that attempts to deflate metaphysical concerns altogether byshowing that the phase-space and distribution-space representations of MB-statisticshave contrary haecceitistic import. Careful analysis shows this argument to fail as well,leaving de re modality unproblematically grounding particle identity in the classicalcontext while genuine puzzlement about the underlying ontology remains for quantumstatistics. (shrink)

This paper investigates the interpretation of the modal particle bylo in Modern Russian. On the intuitive level, sentences in which this particle appears report events that do not proceed normally and fail to receive an expected continuation. For instance, the particle is appropriate in a context whereby an eventuality begins but fails to reach completion, is intended but fails to be realized, or reaches completion, but its result is annulled. The paper proposes an intensional analysis of the particle, making (...) use of the notion of inertia worlds, worlds in which events are not interrupted and reach their normal completion (Dowty, Word and meaning in Montague grammar, 1979 ). The particle signals that an event that takes place in the actual world is followed by an eventuality of a certain type in all of the corresponding inertia worlds but not in reality. The bylo construction is further compared to the progressive aspect, which has been argued to involve a statement about inertia worlds. It is shown that the two phenomena describe eventualities from different perspectives but are unified by their intensional flavor, as well as by pointing to a distinction between the actual world and the inertia ones. (shrink)

This paper considers the meaning and use of the English particle man . It is shown that the particle does quite different things when it appears in sentence-initial and sentence-final position; the first use involves expression of an emotional attitude as well as, on a particular intonation, intensification; this use is analyzed using a semantics for degree predicates along with a separate dimension for the expressive aspect. Further restrictions on modification with the sentence-initial particle involving monotonicity and evidence are introduced (...) and analyzed. The sentence-final use can be viewed as strengthening the action performed by the sentence. A formal semantics is given by making use of dynamic techniques and, in a sense, dynamically simulating the modification of certain speech acts. Some empirical and theoretical extensions of the analyses are proposed and some consequences discussed. (shrink)

According to the semantic view, a theory is characterized by a class of models. In this paper, we examine critically some of the assumptions that underlie this approach. First, we recall that models are models of something. Thus we cannot leave completely aside the axiomatization of the theories under consideration, nor can we ignore the metamathematics used to elaborate these models, for changes in the metamathematics often impose restrictions on the resulting models. Second, based on a parallel between van Fraassen’s (...) modal interpretation of quantum mechanics and Skolem’s relativism regarding set-theoretic concepts, we introduce a distinction between relative and absolute concepts in the context of the models of a scientific theory. And we discuss the significance of that distinction. Finally, by focusing on contemporary particle physics, we raise the question: since there is no general accepted unification of the parts of the standard model (namely, QED and QCD), we have no theory, in the usual sense of the term. This poses a difficulty: if there is no theory, how can we speak of its models? What are the latter models of? We conclude by noting that it is unclear that the semantic view can be applied to contemporary physical theories. (shrink)

The particle ulašūma in Old Babylonian Akkadian is analyzed from a functional and syntactic point of view. In addition to its known functions as a pro-polar protasis and as a disjunctive particle, it is also concluded to function as a conditional exponent. As such it is shown to belong with other expressions of epistemic modality. Its most plausible diachronic source is determined, based on comparative as well as Akkadian material, to have been a non-verbal circumstantial expression *u lā šū not’) (...) ultimately meaning ‘it not being the case...’. In the second part of the paper, a cognate origin is proposed for the Biblical Hebrew epistemic particle ʔūlay. Two possible paths are discussed—one is internal development and the other a result of language contact. Each path is considered, paying meticulous attention to the respective sets of difficulties. The difference in the synchronic function and meaning between the Akkadian and Hebrew particles is bridged based on the syntactic and functional analysis of the Old Babylonian particle, which shows it to be an epistemic particle. (shrink)

Humans are complex systems, ‘macro-entities’, whose existence, behaviour and consciousness stem out of the configurations of physical entities on the micro-level of the physical world. But an explanation of what humans do and think cannot be found through ‘tracking us back’, so to speak, to micro-particles. So, in explaining human behaviour, including linguistic behaviour on which this paper focuses, emergentism opens up a powerful opportunity to explain what it is exactly that emerged on that level, bearing in mind the (...) end product in the form of the intra- and inter-cultural diversity. Currently there is a gap in emergentism research. On one hand, there are discussions in philosophy of the emergent human reality; on the other, there are discussions of social, cultural, or individual variation of these emergent aspects of humanity in the fields of anthropology, sociology, linguistics or psychology. What I do in this paper is look for a way to ‘trace’ some such diversified emergents from what is universal about their ‘coming to being’, all the way through to their diversification. My chosen emergent is human time, my domain of inquiry is natural-language discourse, and the drive behind this project is to understand the link between ‘real’ time of spacetime on the micro-level from which we emerged and the human time devised by us, paying close attention to the overwhelming diversity in which temporal reference is expressed in human languages. The main question is, where does this diversity fit in? Does understanding of this diversity, as well as of what lurks under the surface of this diversity, aid the emergentism story? My contribution to this volume on ‘the nature of structure and the structure of nature’ thus takes the following take on the title. The structure of human communication is at the same time uniform, universal, and relative to culture, in that it is emergent as a human characteristic, and as such compatible with the micro-level correlates in some essential ways, but also free to fly in different directions that are specific to societies and cultures. I explore here the grey area between the micro-level and the linguistic reflections of time—the middle ground that is emergent itself but that tends to be by-passed by those who approach the question of human flowing time from either end: metaphysics and the philosophy of time on the one hand, and contrastive linguistics, anthropological linguistics and language documentation on the other. I illustrate the debate with examples from tensed and tenseless languages from different language families, entertaining the possibility of a conceptual universal pertaining to time as degrees of epistemic modality. Needless to say, putting the question in this way also sets out my (not unassailable) methodology. (shrink)

I analyze the exploratory function of two main modeling practices: targetless fictional models and hypothetical perspectival models. In both cases, I argue, modelers invite us to imagine or conceive something about the target system, which is known to be either nonexistent or just hypothetical. I clarify the kind of imagining or conceiving involved in each modeling practice, and I show how each—in its own right—delivers important modal knowledge. I illustrate these two kinds of exploratory models with Maxwell’s ether model (...) and supersymmetric particle models at the Large Hadron Collider. (shrink)

This paper offers a renewed construction grammar analysis of linguistic constructions in a diachronic perspective. The present theory, termedAgentive Cognitive Construction Grammar(AgCCxG), is informed byactive inference(AIF), a process theory for the comprehension of intelligent agency. AgCCxG defends the idea that language bear traces of non-linguistic, bodily-acquired information that reflects sémiotico-biological processes of energy exchange and conservation. One of the major claims of the paper is that embodied cognition has evolved to facilitate ontogenic mental alignment among humans. This is demonstrated by (...) the results of a corpus study in which the patterns of association between verbs, the particle UP and argument structure in Old and Middle English have been studied. The conclusion is that, similar to biological systems, the linguistic sign system displays patterns of equilibrium and non-equilibrium. In other words, while in Old English usage near equilibrium was reached through the use of a conservative set of constructional semiotic templates (attachment patterns), associated with motor modalities, Middle English displays high rates of randomness resulting in a less stable, yet distinct, system of constructional attachment. (shrink)

Following the experimental discovery of the Higgs boson, physicists explained the discovery to the public by appealing to analogies with condensed matter physics. The historical root of these analogies is the analogies to models of superconductivity that inspired the introduction of spontaneous symmetry breaking into particle physics in the early 1960s. We offer a historical and philosophical analysis of the analogies between the Higgs model of the electroweak interaction and the Ginsburg-Landau and Bardeen-Cooper-Schrieffer models of superconductivity, respectively. The conclusion of (...) our analysis is that both sets of analogies are purely formal in virtue of the fact that they are accompanied by substantial physical disanalogies. In particular, the formal analogies do not map the temporal, causal, or modal structures of SSB in superconductivity to temporal, causal, or modal structures in the Higgs model. These substantial physical disanalogies mean that analogies to models of superconductivity cannot supply the basis for the physical interpretation of EW SSB; however, an appreciation of the contrast between the physical interpretations of SSB in superconductivity and the Higgs model does help to clarify some foundational issues. Unlike SSB in superconductivity, SSB in the Higgs sector of the Standard Model is neither a temporal nor a causal process. We discuss the implications for the `eating' metaphor for mass gain in the Higgs model. Furthermore, the distinction between the phenomenological GL model and the dynamical BCS model does not carry over to EW models, which clarifies the desiderata for so-called `dynamical' models of EW SSB. Finally, the development of the Higgs model is an illuminating case study for philosophers of science because it illustrates how purely formal analogies can play a fruitful heuristic role in physics. (shrink)

Advocates of the Everett interpretation of quantum mechanics have long claimed that other interpretations needlessly invoke "new physics" to solve the measurement problem. Call the argument fashioned that gives voice to this claim the Redundancy Argument, or ’Redundancy’ for short. Originating right in Everett’s doctoral thesis, Redundancy has recently enjoyed much attention, having been advanced and developed by a number of commentators, as well as criticized by a few others.[1] Although versions of this argument can target collapse theories of quantum (...) mechanics, it is usually conceived with no-collapse "hidden variable" interpretations in mind, e.g., modal and Bohmian interpretations. In particular, the argument is an attack against theories committed to both realism about the quantum state and realism about entities – what Bell 1987 calls "beables" – that supplement this state. Particles, fields, value states, and more have been suggested as possible ontology to supplement the quantum state. Redundancy is the argument that this supplementation is methodologically otiose, the superfluous pomp that Newton scorned. (shrink)

Rob Clifton was one of the most brilliant and productive researchers in the foundations and philosophy of quantum theory, who died tragically at the age of 38. Jeremy Butterfield and Hans Halvorson collect fourteen of his finest papers here, drawn from the latter part of his career (1995-2002), all of which combine exciting philosophical discussion with rigorous mathematical results. Many of these papers break wholly new ground, either conceptually or technically. Others resolve a vague controversy intoa precise technical problem, which (...) is then solved; still others solve an open problem that had been in the air for soem time. All of them show scientific and philosophical creativity of a high order, genuinely among the very best work in the field. The papers are grouped into four Parts. First come four papers about the modal interpretation of quantum mechanics. Part II comprises three papers on the foundations of algebraic quantum field theory, with an emphasis on entanglement and nonlocality. The two papers in Part III concern the concept of a particle in relativistic quantum theories. One paper analyses localization; the other analyses the Unruh effect (Rindler quanta) using the algebraic approach to quantum theory. Finally, Part IV contains striking new results about such central issues as complementarity, Bohr's reply to the EPR argument, and no hidden variables theorems; and ends with a philosophical survey of the field of quantum information. The volume includes a full bibliography of Clifton's publications. Quantum Entanglements offers inspiration and substantial reward to graduates and professionals in the foundations of physics, with a background in philosophy, physics, or mathematics. (shrink)

We investigate the higher-order modal logic , which is a variant of the system presented in our previous work. A semantics for that system, founded on the theory of quasi sets, is outlined. We show how such a semantics, motivated by the very intuitive base of Schrödinger logics, provides an alternative way to formalize some intensional concepts and features which have been used in recent discussions on the logical foundations of quantum mechanics; for example, that some terms like 'electron' (...) have no precise reference and that 'identical' particles cannot be named unambiguously. In the last section, we sketch a classical semantics for quasi set theory. (shrink)

The purpose of the paper is to explore different aspects of the covariance of non-relativistic quantum mechanics. First, doubts are expressed concerning the claim that gauge fields can be 'generated' by way of imposition of gauge covariance of the single-particle wave equation. Then a brief review is given of Galilean covariance in the general case of external fields, and the connection between Galilean boosts and gauge transformations. Under time-dependent translations the geometric phase associated with Schrödinger evolution is non-invariant, and the (...) significance of this result is briefly analysed. The covariance properties of Schrödinger dynamics are then brought to bear on certain versions of the modal interpretation of quantum mechanics. The conclusion that it is only relational properties that can be considered coordinate- or gauge-independent elements of reality is reinforced by appeal to the theory of quantum reference frames due to Aharonov and Kauffher. , Cambridge University Press ; pp. 45-70.). (shrink)

Two EPR arguments are reviewed, for their own sake, and for the purpose of clarifying the status of "stochastic" hidden variables. The first is a streamlined version of the EPR argument for the incompleteness of quantum mechanics. The role of an anti-instrumentalist ("realist") interpretation of certain probability statements is emphasized. The second traces out one horn of a central foundational dilemma, the collapse dilemma; complex modal reasoning, similar to the original EPR, is used to derive determinateness (of all spin (...) components of two spin- 1 / 2 particles in the singlet state) from just (a form of) weak locality, result definiteness, and an assumption on propensities based on conservation. Theories meeting these conditions are therefore constrained by the Bell inequalities. Neither controversial assumptions of "strong locality" ("factorability") nor of determinism are employed in the derivation. The categories of "stochastic hidden variables" are then analyzed; one can focus on "quasi-definite" theories, without loss of generality. A means of excluding these is proposed, based on a demand that certain ideal cases be accurately treated. Theorems from quantum measurement theory, sometimes cited as showing that such cases are not physically possible, are found inapplicable. (shrink)

What if gravity satisfied the Klein-Gordon equation? Both particle physics from the 1920s-30s and the 1890s Neumann-Seeliger modification of Newtonian gravity with exponential decay suggest considering a "graviton mass term" for gravity, which is _algebraic_ in the potential. Unlike Nordström's "massless" theory, massive scalar gravity is strictly special relativistic in the sense of being invariant under the Poincaré group but not the 15-parameter Bateman-Cunningham conformal group. It therefore exhibits the whole of Minkowski space-time structure, albeit only indirectly concerning volumes. Massive (...) scalar gravity is plausible in terms of relativistic field theory, while violating most interesting versions of Einstein's principles of general covariance, general relativity, equivalence, and Mach. Geometry is a poor guide to understanding massive scalar gravity: matter sees a conformally flat metric due to universal coupling, but gravity also sees the rest of the flat metric in the mass term. What is the 'true' geometry, one might wonder, in line with Poincaré's modal conventionality argument? Infinitely many theories exhibit this bimetric 'geometry,' all with the total stress-energy's trace as source; thus geometry does not explain the field equations. The irrelevance of the Ehlers-Pirani-Schild construction to a critique of conventionalism becomes evident when multi-geometry theories are contemplated. Much as Seeliger envisaged, the smooth massless limit indicates underdetermination of theories by data between massless and massive scalar gravities---indeed an unconceived alternative. At least one version easily could have been developed before General Relativity; it then would have motivated thinking of Einstein's equations along the lines of Einstein's newly re-appreciated "physical strategy" and particle physics and would have suggested a rivalry from massive spin 2 variants of General Relativity. The Putnam-Grünbaum debate on conventionality is revisited with an emphasis on the broad modal scope of conventionalist views. Massive scalar gravity thus contributes to a historically plausible rational reconstruction of much of 20th-21st century space-time philosophy in the light of particle physics. An appendix reconsiders the Malament-Weatherall-Manchak conformal restriction of conventionality and constructs the 'universal force' influencing the causal structure. Subsequent works will discuss how massive gravity could have provided a template for a more Kant-friendly space-time theory that would have blocked Moritz Schlick's supposed refutation of synthetic _a priori_ knowledge, and how Einstein's false analogy between the Neumann-Seeliger-Einstein modification of Newtonian gravity and the cosmological constant \Lambda generated lasting confusion that obscured massive gravity as a conceptual possibility. (shrink)

Why is there a 'hard problem' of consciousness? Why do we seem unable to grasp intuitively that physical brain processes can be identical to experiences? Here I comment on the 'meta-problem' (Chalmers, 2018), based on previous ideas (Storm, 2014; 2018). In short: humans may be 'inborn dualists' ('neuroscepticism'), because evolution gave us two (types of) brain systems (or functional modes): one (Sp) for understanding relatively simple physical phenomena, and another (Sm) specialized for mental phenomena. Because Sp cannot deal with the (...) immense complexity of the brain processes underlying consciousness, it represents them as fundamentally different from nonmental physical phenomena (dualist intuition), using 'simulations' to produce 'Sm-type understanding'/predictions that seems radically different from 'Sp-type understanding'. (By analogy, different sensory modalities, handled by distinct brain systems, evoke qualitatively different experiences.) Brain systems for Sp representations of our brain processes never evolved, because they would be useless. When lacking a single 'template' matching different aspects of reality (objective vs. subjective = simulated), complementary 'models' are needed ('neuro-complementarity'), like the wave–particle duality in quantum mechanics. Thus, it seems plausible that Sp and Sm evolved because they were needed to cope with different challenges, and that 'problem intuitions' are side effects of these useful but different brain systems. (shrink)

We construct a local \-epistemic hidden-variable model of Bell correlations by a retrocausal adaptation of the originally superdeterministic model given by Brans. In our model, for a pair of particles the joint quantum state \\rangle \) as determined by preparation is epistemic. The model also assigns to the pair of particles a factorisable joint quantum state \\rangle \) which is different from the prepared quantum state \\rangle \) and has an ontic status. The ontic state of a single (...) particle consists of two parts. First, a single particle ontic quantum state \|i\rangle \), where \\) is a 3-space wavepacket and \ is a spin eigenstate of the future measurement setting. Second, a particle position in 3-space \\), which evolves via a de Broglie–Bohm type guidance equation with the 3-space wavepacket \\) acting as a local pilot wave. The joint ontic quantum state \\rangle \) fixes the measurement outcomes deterministically whereas the prepared quantum state \\rangle \) determines the distribution of the \\rangle \)’s over an ensemble. Both \\rangle \) and \\rangle \) evolve via the Schrodinger equation. Our model exactly reproduces the Bell correlations for any pair of measurement settings. We also consider ‘non-equilibrium’ extensions of the model with an arbitrary distribution of hidden variables. We show that, in non-equilibrium, the model generally violates no-signalling constraints while remaining local with respect to both ontology and interaction between particles. We argue that our model shares some structural similarities with the modal class of interpretations of quantum mechanics. (shrink)

There are several ways of conceiving objectivity -- scientific objectivity in particular -- and, accordingly, several ways of defending or attacking particular construals of it. According to one conception sometimes labelled "realism", objectivity in science is a semantic, modal and metaphysical notion: a scientific theory is objective insofar as it tells the truth about the way the world is independently of its epistemic accessibility to us. So, for instance, the Newtonian theory of gravition is objective insofar as it tells (...) the truth about the motion of particles submitted to gravitational forces. What it tells us, the realist contends, holds or is the case whether or not the physical world is accessible to us. The conception is semantic insofar as the notion of truth is involved, modal insofar as the conception of the possibility of a mind-independent natural world is involved and metaphysical insofar as a conception of a certain way the world is is involved. Philosophers as diverse as Berkeley, Kant and Dummett's antirealist will then ask: if this were the case, how could we know anything about it? How could we even form a bona fide conception of its possibility? (shrink)

Arguing against the claim that every dispositional property is grounded in some property other than itself, Stephen Mumford presents what he calls the ‘Ungrounded Argument’. If successful, the Ungrounded Argument would represent a major victory for anti-Humean metaphysics over its Humean rivals, as it would allow for the existence of primitive modality. Unfortunately, Humeans need not yet be worried, as the Ungrounded Argument is itself lacking in grounding. I indicate where Mumford’s argument falls down, claiming that even the dispositions of (...) the simplest particles can have categorical bases. (shrink)

Mereological nihilists are faced with a difficult challenge: explaining ordinary talk about material objects. Popular paraphrase strategies involve plurals, arrangements of particles, or fictions. In this paper, a new paraphrase strategy is put forward that has distinct advantages over its rivals: it is compatible with gunk and emergent properties of macro-objects. The only assumption is a commitment to a liberal view of the nature of simples; the nihilist must be willing to accept the possibility of heterogeneous extended simples. The (...) author suggests reinterpreting the parthood and composition relations as modal. According to this paraphrase, composition is a kind of counterpart relation. The author shows that one can accept that mereological nihilism is metaphysically necessary, while endorsing all the claims of classical mereology. As a result, the nihilists are in exactly the same position as the classical mereologist when it comes to explaining talk about ordinary objects, but without the additional ontology. (shrink)

Classical and quantum field theory provide not only realistic examples of extant notions of empirical equivalence, but also new notions of empirical equivalence, both modal and occurrent. A simple but modern gravitational case goes back to the 1890s, but there has been apparently total neglect of the simplest relativistic analog, with the result that an erroneous claim has taken root that Special Relativity could not have accommodated gravity even if there were no bending of light. The fairly recent acceptance (...) of nonzero neutrino masses shows that widely neglected possibilities for nonzero particle masses have sometimes been vindicated. In the electromagnetic case, there is permanent underdetermination at the classical and quantum levels between Maxwell's theory and the one-parameter family of Proca's electromagnetisms with massive photons, which approximate Maxwell's theory in the limit of zero photon mass. While Yang–Mills theories display similar approximate equivalence classically, quantization typically breaks this equivalence. A possible exception, including unified electroweak theory, might permit a mass term for the photons but not the Yang–Mills vector bosons. Underdetermination between massive and massless (Einstein) gravity even at the classical level is subject to contemporary controversy. (shrink)

The author argues that quantum theory admits a plurality of interpretations, each aiding further understanding of the theory, but also advocating specifically the Copenhagen Variant of the Modal Interpretation. That variant is applied to topics like the Einstein-Podolsky-Rosen paradox and the problem of 'identical' particles.

Throughout the last two decades, Newton da Costa and his collaborators have developed some frameworks to help the interpretation of science. Two of them are particularly noteworthy: partial structures and quasi-truth (that provide a way of accommodating the openness and partiality of scientific activity), and quasi-set theory (that allows one to take seriously the idea, put forward by several physicists, that we can't meaningfully apply the notion of identity to quantum particles). In this paper I explore the interconnection between (...) these two frameworks. After reviewing the extant formulations of quasi-truth and quasi-set theory, I suggest a way of combining them, advancing a formulation of quasi-truth in quasi-set theory. In this way, a good sense can be made of the idea that quantum mechanics, if not true, is at least quasi-true. I then explore an application of this combined framework, arguing that it provides a conceptual setting appropriate to overcome two (philosophical) difficulties in van Fraassen's modal interpretation of quantum mechanics. (shrink)

In this paper I examine compatibilism and incompatibilism about whether the self can be both a subject and an object in the same awareness at the same time. While this is an old debate that many traditions of philosophy have contributed to, my point of departure is the work of A.C. Mukerji who worked on the possibility of self-awareness by articulating, what he called, the paradox of ego-centricity. I also consider Patañjali, Maurice Merleau-Ponty, and Arindam Chakrabarti on the debate over (...) compatibilism. First, I present Mukerji’s paradox, then I critically examine Patañjali and Merleau-Ponty’s arguments against incompatibilism. I move on to bring Mukerji’s paradox into contact with Chakrabarti’s arguments in favor of compatibilism. I critically examine Chakrabarti’s arguments in favor of compatibilism and against incompatibilism. While insightful and powerful, I argue that they can be resisted; and should be considered alongside Mukerji’s paradox. I close by offering an argument for compatibilism based on an analogy with particle-wave duality in quantum physics and the relation between conceivability and metaphysical modality. (shrink)

We here present explicit relational theories of a class of geometrical systems (namely, inner product spaces) which includes Euclidean space and Minkowski spacetime. Using an embedding approach suggested by the theory of measurement, we prove formally that our theories express the entire empirical content of the corresponding geometric theory in terms of empirical relations among a finite set of elements (idealized point-particles or events) thought of as embedded in the space. This result is of interest within the general phenomenalist (...) tradition as well as the theory of space and time, since it seems to be the first example of an explicit phenomenalist reconstruction of a realist theory which is provably equivalent to it in observational consequences. The interesting paper "On the Space-Time Ontology of Physical Theories" by Ken Manders, Philosophy of Science, vol. 49, number 4, December 1982, p. 575-590, has significant affinities to this one. We both, in a sense, try to formally vindicate Leibniz's notion of a relational theory of space, by constructing theories of spatial relations among physical objects which are provably equivalent to the standard absolutist theories. The essential difference between our approaches is that Manders retains Leibniz's explicitly modal framework, whereas I do not. Manders constructs a spacetime theory which explicitly characterizes the totality of possible configurations of physical objects, using a modal language in which the notion of a possible configuration occurs as a primitive. There is no doubt that this is a more accurate realization of Leibniz's own conception of space than the embedding-based approach developed here. However, it also remains open to objections (such as those cited here from Sklar) on account of the special appeal to modal notions. Our approach here, by contrast, aims to avoid the special appeal to modal notions by giving directly a set of laws which are satisfied by a configuration individually, if and only if it is one of the allowable ones. One thus avoids the need for reference to possible but not actual configurations or objects, in the statement of the spacetime laws. We may then take this alternative set of laws as the actual geometric theory, and do away with the hypothetical entity called 'space'. Yet at the same time there is no invocation of modality, except in the ordinary sense in which every physical theory constrains what is possible. So that a relationalist is not forced to utilize a modal language (though Leibniz certainly does.). (shrink)

The problem of the failure of value definiteness (VD) for the idea of quantity in quantum mechanics is stated, and what VD is and how it fails is explained. An account of quantity, called BP, is outlined and used as a basis for discussing the problem. Several proposals are canvassed in view of, respectively, Forrest's indeterminate particle speculation, the "standard" interpretation of quantum mechanics and Bub's modal interpretation.

Truthmaker theorists hold that propositions about higher-level entities (e.g. the proposition that there is a heap of sand) are often made true by lower-level entities (e.g. by facts about the configuration of fundamental particles). This generates a problem: what should we say about these higher-level entities? On the one hand, they must exist (since there are true propositions about them), on the other hand, it seems that they are completely superfluous and should be banished for reasons of ontological parsimony. (...) Some truthmaker theorists—most prominently David Armstrong—have tried to solve this puzzle by arguing that these entities are ‘an ontological free lunch’, i.e. real existents that are still ‘no addition of being’. This answer is prima facie attractive, but I argue in this paper that the standard approaches to truthmaking—modal theories and grounding theories—are unable to vindicate the doctrine of the ontological free lunch, and thus fail to solve the problem of higher-level entities. Fortunately, there is a non-standard account of truthmaking available, the reductive explanation account, which succeeds where the standard approaches fail. (shrink)

Recent philosophical discussions about metaphysical indeterminacy have been substantiated with the idea that quantum mechanics, one of the most successful physical theories in the history of science, provides explicit instances of worldly indefiniteness. Against this background, several philosophers underline that there are alternative formulations of quantum theory in which such indeterminacy has no room and plays no role. A typical example is Bohmian mechanics in virtue of its clear particle ontology. Contrary to these latter claims, this paper aims at showing (...) that different pilot-wave theories do in fact instantiate diverse forms of metaphysical indeterminacy. Namely, I argue that there are various questions about worldly states of affairs that cannot be determined by looking exclusively at their ontologies and dynamical laws. Moreover, it will be claimed that Bohmian mechanics generates a new form of modal indeterminacy. Finally, it will be concluded that ontological clarity and indeterminacy are not mutually exclusive, i.e., the two can coexist in the same theory. (shrink)

Constructivism. This is an unpublished lecture read 5 years ago stating the program of constructive 'Wissenschaftstheorie' (i.e. philosophy of the sciences and humanities). Its publication now is an attempt to clarify the muddle documented in the issue 23/2 of this journal, which discussed radical constructivism (referring to biological evolution) and constructionism (referring to psychological genesis). The muddle is caused by the uncritical use of 'elaborated' speech (Bildungssprache) with terms such as: empirical, metaphysical, explanation, description, reality, actuality, object, entity, etc.). Constructivism (...) as first tought in Erlangen reconstructs its own elaborated code for use in the constructive Wissenschaftstheorie. All constructions (reconstructions) start from practice with the language reduced to unelaborated talk within practice. This is called the 'practicist' turn of Wissenschaftstheorie. This turn is limited to scientific or humanistic disciplines supporting common action in response to precritical needs, especially war and hunger. Traditional disciplines can be reformed to serve this purpose. The lecture sketches the beginnings of such a reform for mathematics and technology (including physics as a step towards better technology) and for ethical politics - in contrast to strategies for more power - (including history as a step towards more consensus). The sketch follows the terminological proposal worked out in my 'Lehrbuch' of constructive Wissenschaftstheorie (1987). Logical particles are introduced dialogically, modalities are defined syntactically. The compatibility of relativistic physics with constructive theories of space and time (protophysics) is shown. For ethical politics the starting point is, that we live in states with laws enforced with respect to all citizens alike - and that we live in a post-traditional pluralism of ways of life (Lebensformen). Without the rhetoric of values and without the abstraction of human rights, it is shown how an enlightened style of argumentation can transform our states into 'republics' with a compatible plurality of ways of life. Whether such enlightened argumentation has a chance of being accepted by intellectuals (before they have destroyed our world) - this question remains unanswered. (shrink)

The aim of this paper is modest. It is argued that if the nature of the "equivalence" between first-quantized particle theories and second-quantized (Fock Space) theories is examined closely, if the inadequacies of de Muynck's "indexed particle" version of Fock Space are recognized, and if the question is not begged against modal metaphysics, then van Fraassen's attempted deflation of ontological issues in quantum theory can be seen to fail.