In this paper, I consider the role of exact symmetries in theories of physics, working throughout with the example of gravitation set in Newtonian spacetime. First, I spend some time setting up a means of thinking about symmetries in this context; second, I consider arguments from the seeming undetectability of absolute velocities to an anti-realism about velocities; and finally, I claim that the structure of the theory licences us to interpret models which differ only with regards to the absolute velocities (...) of objects as depicting the same physical state of affairs. In defending this last claim, I consider how ideas and resources from the philosophy of language may usefully be brought to bear on this topic. (shrink)

There are well-known problems associated with the idea of gravitational energy in general relativity. We offer a new perspective on those problems by comparison with Newtonian gravitation, and particularly geometrized Newtonian gravitation. We show that there is a natural candidate for the energy density of a Newtonian gravitational field. But we observe that this quantity is gauge dependent, and that it cannot be defined in the geometrized theory without introducing further structure. We then address a potential response by showing that (...) there is an analogue to the Weyl tensor in geometrized Newtonian gravitation. (shrink)

This essay is about how the notion of “structure” in ontic structuralism might be made precise. More specifically, my aim is to make precise the idea that the structure of the world is given by the relations inhering in the world, in such a way that the relations are ontologically prior to their relata. The central claim is the following: one can do so by giving due attention to the relationships that hold between those relations, by making use of certain (...) notions from algebraic logic. (shrink)

This article gives an explicit presentation of Newtonian gravitation on the backdrop of Maxwell space-time, giving a sense in which acceleration is relative in gravitational theory. However, caution is needed: assessing whether this is a robust or interesting sense of the relativity of acceleration depends on some subtle technical issues and on substantive philosophical questions over how to identify the space-time structure of a theory.

Suppose that one thinks that certain symmetries of a theory reveal “surplus structure”. What would a formalism without that surplus structure look like? The conventional answer is that it would be a reduced theory: a theory which traffics only in structures invariant under the relevant symmetry. In this paper, I argue that there is a neglected alternative: one can work with a sophisticated version of the theory, in which the symmetries act as isomorphisms.

In a recent paper, Wigglesworth claims that syntactic criteria of theoretical equivalence are not appropriate for settling questions of equivalence between logical theories, since such criteria judge classical and intuitionistic logic to be equivalent; he concludes that logicians should use semantic criteria instead. However, this is an artefact of the particular syntactic criterion chosen, which is an implausible criterion of theoretical equivalence. Correspondingly, there is nothing to suggest that a more plausible syntactic criterion should not be used to settle questions (...) of equivalence between different logical theories; such a criterion is exhibited and shown to judge classical and intuitionistic logic to be inequivalent. (shrink)

This paper critically assesses whether quantum entanglement can be made compatible with Humean supervenience. After reviewing the prima facie tension between entanglement and Humeanism, I outline a recently-proposed Humean response, and argue that it is subject to two problems: one concerning the determinacy of quantities, and one concerning its relationship to scientific practice.

How may we characterize the intrinsic structure of physical quantities such as mass, length, or electric charge? This article shows that group-theoretic methods—specifically, the notion of a free and transitive group action—provide an elegant way of characterizing the structure of scalar quantities, and uses this to give an intrinsic treatment of vector quantities. It also gives a general account of how different scalar or vector quantities may be algebraically combined with one another. Finally, it uses this apparatus to give a (...) simple intrinsic treatment of Newtonian gravitation. (shrink)

In the literature over the Ramsey-sentence approach to structural realism, there is often debate over whether structural realists can legitimately restrict the range of the second-order quantifiers, in order to avoid the Newman problem. In this paper, I argue that even if they are allowed to, it won’t help: even if the Ramsey sentence is interpreted using such restricted quantifiers, it is still an implausible candidate to capture a theory’s structural content. To do so, I use the following observation: if (...) a Ramsey sentence did encode a theory’s structural content, then two theories would be structurally equivalent just in case they have logically equivalent Ramsey sentences. I then argue that this criterion for structural equivalence is implausible, even where frame or Henkin semantics are used. (shrink)

This paper argues that much of the literature on interpreting scientific theories presupposes a certain picture of what interpretation involves: a picture according to which interpreting a theory is like translating from one language to another. In place of this “external” approach to interpretation, this paper proposes an “internal” approach, according to which interpretation is more concerned with delineating a theory’s internal semantic architecture.

This Element explores what it means for two theories in physics to be equivalent, and what lessons can be drawn about their structure as a result. It does so through a twofold approach. On the one hand, it provides a synoptic overview of the logical tools that have been employed in recent philosophy of physics to explore these topics: definition, translation, Ramsey sentences, and category theory. On the other, it provides a detailed case study of how these ideas may be (...) applied to understand the dynamical and spatiotemporal structure of Newtonian mechanics - in particular, in light of the symmetries of Newtonian theory. In so doing, it brings together a great deal of exciting recent work in the literature, and is sure to be a valuable companion for all those interested in these topics. (shrink)

This article considers the following question: What is the relationship between supervenience and reduction? I investigate this formally: first, by introducing a recent argument by Christian List to the effect that one can have supervenience without reduction; then, by considering how the notion of Nagelian reduction can be related to the formal apparatus of definability and translation theory; then, by showing how, in the context of propositional theories, topological constraints on supervenience serve to enforce reducibility; and, finally, by showing how (...) constraints derived from the theory of ultraproducts can enforce reducibility in the context of first-order theories. (shrink)

A central issue in the philosophical debates over general relativity concerns the status of the metric field: should it be regarded as part of the background arena in which physical fields evolve, or as a physical field itself? In this paper, we approach this debate through its relationship to the so-called "Problem of Space": the problem of determining which abstract, mathematical geometries are candidate descriptions of physical space. In particular, we explore the way that Hermann Weyl tackled the Problem of (...) Space in the wake of general relativity, and argue that Weyl’s proposed solution reveals a “middle way” between bare-manifold and manifold-plus-metric accounts of spacetime. (shrink)

This is an essay about general covariance, and what it says about spacetime structure. After outlining a version of the dynamical approach to spacetime theories, and how it struggles to deal with generally covariant theories, I argue that we should think about the symmetry structure of spacetime rather differently in generally-covariant theories compared to non-generally-covariant theories: namely, as a form of internal rather than external symmetry structure.

Data science, and the related field of big data, is an emerging discipline involving the analysis of data to solve problems and develop insights. This rapidly growing domain promises many benefits to both consumers and businesses. However, the use of big data analytics can also introduce many ethical concerns, stemming from, for example, the possible loss of privacy or the harming of a sub-category of the population via a classification algorithm. To help address these potential ethical challenges, this paper maps (...) and describes the main ethical themes that were identified via systematic literature review. It then identifies a possible structure to integrate these themes within a data science project, thus helping to provide some structure in the on-going debate with respect to the possible ethical situations that can arise when using data science analytics. (shrink)

It is well-known that the conformal structure of a relativistic spacetime is of profound physical and conceptual interest. In this note, we consider the analogous structure for Newtonian theories. We show that the Newtonian Weyl tensor is an invariant of this structure.

Philosophy Compass, Volume 17, Issue 4, April 2022.

If categorical equivalence is a good criterion of theoretical equivalence, then it would seem that if some class of mathematical structures is represented as a category, then any other class of structures categorically equivalent to it will have the same representational capacities. Hudetz (2019a) has presented an apparent counterexample to this claim; in this note, I argue that the counterexample fails.

Philosophy Compass, Volume 17, Issue 10, October 2022.

This paper seeks to give an account of what could be involved in interpreting a theory. The aim is to try and provide a robust conception of theory-interpretation which operates in terms internal to the representational architecture of the theory, rather than importing meaning by stipulative correspondence to external terms.

There has recently been debate in the literature over whether the metaphysical doctrine popularly known as Humean supervenience can be reconciled—in whole or in part—with certain empirical facts about quantum entanglement. In this paper, I undertake a critical analysis of Humean efforts to effect such a reconciliation. I begin with a discussion of the relationship between Humeanism and quantum mechanics; I suggest that there are some difficulties even when considering single-particle quantum mechanics, but agree that the real problems come when (...) considering many-particle quantum mechanics. I then review the available strategies for overcoming this problem, and find them wanting. (shrink)

Structural realists contend that the properties and relations in the world are more fundamental than the individuals. However, the standard model theory used to analyse the structure of logical theories can make it difficult to see how such an idea could be coherent or workable: for in that theory, properties and relations are constructed as sets of individuals. In this paper, I look at three ways in which structuralists might hope for an alternative: by appealing to predicate-functor logic, Tractarian geometry, (...) or cylindric algebras. I argue that the first two are problematic, but that the third is promising. (shrink)

Steven French’s new book is a bold and ambitious look at the question of what sorts of things scientific theories are—or rather, what they are not. For the purp.

Tomasz Bigaj’s new book is an authoritative and comprehensive discussion of recent issues concerning the means and metaphysical implications of individuating identical quantum particles. This review briefly summarises the book’s contributions and considers some of its implications for the debate over indiscernibility in quantum mechanics.

Neil Levy presents a new theory of freedom and responsibility. He defends a particular account of consciousness--the global workspace view--and argues that consciousness plays an especially important role in action. There are good reasons to think that the naïve assumption, that consciousness is needed for moral responsibility, is in fact true.

This article draws attention to a pattern of development within science and other intellectual research communities that has received virtually no mention. We propose that subsequent dominance of a research community by a figure responsible for significant innovation often delays progress in the field. During the period in which the revolutionary continues to influence research in a community, far too frequently the effect is to freeze progress within the limited directions which the revolutionary sanctions.

Consider two deeply appealing thoughts: first, that we experience external particulars, and second, that what it’s like to have an experience – the phenomenal character of an experience – is somehow independent of external particulars. The first thought is readily captured by phenomenal particularism, the view that external particulars are sometimes part of the phenomenal character of experience. The second thought is readily captured by phenomenal generalism, the view that external particulars are never part of phenomenal character. -/- Here I (...) show that a novel version of phenomenal generalism can capture both thoughts in a satisfying fashion. Along the way, I reveal severe problems facing phenomenal particularism and also shed light on the mental kinds under which experiences fall. (shrink)

The aim here is to describe how to complete the constructive logicist program, in the author’s book Anti-Realism and Logic, of deriving all the Peano-Dedekind postulates for arithmetic within a theory of natural numbers that also accounts for their applicability in counting finite collections of objects. The axioms still to be derived are those for addition and multiplication. Frege did not derive them in a fully explicit, conceptually illuminating way. Nor has any neo-Fregean done so.

A liberal state based on propositions about the desirability of individual autonomy is bound to be committed to educational programmes which are incompatible with the beliefs and values of parents from non- liberal religious and cultural minorities. One response to this has been support for public funding of those separate schools which offer an education culturally congruent with the values of parents in non- liberal communities. To resolve the potential threat to liberal individualist ideals a condition of support for individual (...) autonomy is usually attached to liberal acceptance of this solution. This condition is in conflict with the motivation which underpins the setting up of such schools. Despite the growing literature on this debate surprisingly little attention has been given to the work of Isaiah Berlin. This article draws on Berlin's version of liberalism developed within the context of a commitment to value pluralism in order to seek clarification of this liberal dilemma. (shrink)

I provide a positive expressivist account of the permissibility of ‘standing one’s ground’ in some cases of moral conflict, based in part on an illustrative analogy with political disputes. This account suffices to undermine Enoch’s recent argument against expressivism.

This is a reply to Timothy Williamson ’s paper ‘Tennant’s Troubles’. It defends against Williamson ’s objections the anti-realist’s knowability principle based on the author’s ‘local’ restriction strategy involving Cartesian propositions, set out in The Taming of the True. Williamson ’s purported Fitchian reductio, involving the unknown number of books on his table, is analyzed in detail and shown to be fallacious. Williamson ’s attempt to cause problems for the anti-realist by means of a supposed rigid designator generates a contradiction (...) with arithmetic right away, upon instantiating the obviously relevant theorem that every natural number is provably odd or provably even. The paper also explains and formulates a globally restricted knowability principle, which likewise blocks the attempted reductio. (shrink)

We bring together some facts about the weak pigeonhole principle from bounded arithmetic, complexity theory, cryptography and abstract model theory. We characterize the models of arithmetic in which WPHP fails as those which are determined by an initial segment and prove a conditional separation result in bounded arithmetic, that PV + lies strictly between PV and S21 in strength, assuming that the cryptosystem RSA is secure.

We explore the consequences, for logical system-building, of taking seriously the aim of having irredundant rules of inference, and a preference for proofs of stronger results over proofs of weaker ones. This leads one to reconsider the structural rules of REFLEXIVITY, THINNING, and CUT. REFLEXIVITY survives in the minimally necessary form $\varphi:\varphi$. Proofs have to get started. CUT is subject to a CUT-elimination theorem, to the effect that one can always make do without applications of CUT. So CUT is redundant, (...) and should not be a rule of the system. CUT-elimination, however, in the context of the usual forms of logical rules, requires the presence, in the system, of THINNING. But THINNING, it turns out, is not really necessary. Provided only that one liberalizes the statement of certain logical rules in an appropriate way, one can make do without CUT or THINNING. From the methodological point of view of this study, the logical rules ought to be framed in this newly liberalized form. These liberalized logical rules determine the system of core logic. Given any intuitionistic Gentzen proof of $\Delta:\varphi$, one can determine from it a Core proof of some subsequent of $\Delta:\varphi$. Given any classical Gentzen proof of $\Delta:\varphi$, one can determine from it a classical Core proof of some subsequent of $\Delta:\varphi$. In both cases the Core proof is of a result at least as strong as that of the Gentzen proof; and the only structural rule used is $\varphi:\varphi$. (shrink)

Dewey continues to offer arguments that remain powerful on the need to break down the divisions between ‘academic’ and ‘vocational’ in terms of his specific theory of knowledge. Dewey's writings are used to argue that a democratic curriculum needs to challenge such divisions to encompass the many forms of knowledge necessary in the contemporary classroom. Gandin and Apple's investigation of community participation (Orçamento Participativo or Participatory Budgeting) in the curriculum of the Citizen School in Porto Alegre, Brazil, will be explored (...) as an example of democratic structures informing educational planning. The work of Paul Hirst, Atli Harđarson and Chris Jane Brough is analysed regarding the issue of curriculum aims and student negotiation. Dewey's emphasis on learning as a collective enterprise will resonate here. Brough offers innovative research on student-centred curriculum integration that suggests even very young children are able to participate in debate over their own learning. Hirst and Harđarson provide contrasting views on the issue of curriculum aims—Hirst arguing that a curriculum cannot exist without definable aims while Harđarson challenges the very notion of settled aims if students are to be reflexive regarding their education. The article also refers to the work of Alexander on the use of dialogic questioning in the classroom. Such questioning, it is suggested, enhances and encourages collaborative forms of enquiry necessary for a democratic curriculum through discussion between teachers, students and other stakeholders. (shrink)

Ausonio Marras has argued that Jaegwon Kim's principle of explanatory exclusion depends on an implausibly strong interpretation of explanatory realism that should be rejected because it leads to an extensional criterion of individuation for explanations. I examine the role explanatory realism plays in Kim's justification for the exclusion principle and explore two ways in which Kim can respond to Marras's criticism. The first involves separating criteria for explanatory truth from questions of explanatory adequacy, while the second appeals to Kim's fine-grained (...) theory of events. I argue that the first response is unconvincing on its own but when coupled with the second might provide a viable way for Kim to avoid Marras's criticism. However, I show that the second strategy is weak from a polemical point of view because Kim's theory of events already assumes what the principle of explanatory exclusion was introduced to establish: the falsity of nonreductive physicalism. (shrink)