Working in the fragment of Martin-Löfs extensional type theory [12] which has products (but not sums) of dependent types, we consider two additional assumptions: firstly, that there are (strong) equality types; and secondly, that there is a type which is universal in the sense that terms of that type name all types, up to isomorphism. For such a type theory, we give a version of Russell's paradox showing that each type possesses a closed term and (hence) that all terms (...) of each type are provably equal. We consider the kind of category theoretic structure which corresponds to this kind of type theory and obtain a categorical version of the paradox. A special case of this result is the degeneracy of a locally cartesian closed category with a morphism which is generic in the sense that every other morphism in the category can be obtained from it via pullback. (shrink)

Since Leibniz's time, Cartesian mental causation has been criticized for violating the conservation of energy and momentum. Many dualist responses clearly fail. But conservation laws have important neglected features generally undermining the objection. Conservation is _local_, holding first not for the universe, but for everywhere separately. The energy in any volume changes only due to what flows through the boundaries. Constant total energy holds if the global summing-up of local conservation laws converges; it probably doesn't in reality. Energy conservation holds (...) if there is symmetry, the sameness of the laws over time. Thus, if there are time-places where symmetries fail due to nonphysical influence, conservation laws fail there and then, while holding elsewhere, such as refrigerators and stars. Noether's converse first theorem shows that conservation laws imply symmetries. Thus conservation trivially nearly entails the causal closure of the physical. But expecting conservation to hold in the brain simply assumes the falsehood of Cartesianism. Hence Leibniz's objection begs the question. Empirical neuroscience is another matter. So is Einstein's General Relativity: far from providing a loophole, General Relativity makes mental causation _harder_. (shrink)

We prove the following surprising property of Heyting's intuitionistic propositional calculus, IpC. Consider the collection of formulas, φ, built up from propositional variables (p,q,r,...) and falsity $(\perp)$ using conjunction $(\wedge)$ , disjunction (∨) and implication (→). Write $\vdash\phi$ to indicate that such a formula is intuitionistically valid. We show that for each variable p and formula φ there exists a formula Apφ (effectively computable from φ), containing only variables not equal to p which occur in φ, and such that for (...) all formulas ψ not involving $p, \vdash \psi \rightarrow A_p\phi$ if and only if $\vdash \psi \rightarrow \phi$ . Consequently quantification over propositional variables can be modelled in IpC, and there is an interpretation of the second order propositional calculus, IpC2, in IpC which restricts to the identity on first order propositions. An immediate corollary is the strengthening of the usual interpolation theorem for IpC to the statement that there are least and greatest interpolant formulas for any given pair of formulas. The result also has a number of interesting consequences for the algebraic counterpart of IpC, the theory of Heyting algebras. In particular we show that a model of IpC2 can be constructed whose algebra of truth-values is equal to any given Heyting algebra. (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)

Kantian philosophy of space, time and gravity is significantly affected in three ways by particle physics. First, particle physics deflects Schlick’s General Relativity-based critique of synthetic a priori knowledge. Schlick argued that since geometry was not synthetic a priori, nothing was—a key step toward logical empiricism. Particle physics suggests a Kant-friendlier theory of space-time and gravity presumably approximating General Relativity arbitrarily well, massive spin-2 gravity, while retaining a flat space-time geometry that is indirectly observable at large distances. The theory’s roots (...) include Seeliger and Neumann in the 1890s and Einstein in 1917 as well as 1920s–1930s physics. Such theories have seen renewed scientific attention since 2000 and especially since 2010 due to breakthroughs addressing early 1970s technical difficulties. Second, particle physics casts additional doubt on Friedman’s constitutive a priori role for the principle of equivalence. Massive spin-2 gravity presumably should have nearly the same empirical content as General Relativity while differing radically on foundational issues. Empirical content even in General Relativity resides in partial differential equations, not in an additional principle identifying gravity and inertia. Third, Kant’s apparent claim that Newton’s results could be known a priori is undermined by an alternate gravitational equation. The modified theory has a smaller symmetry group than does Newton’s. What Kant wanted from Newton’s gravity is impossible due its large symmetry group, but is closer to achievable given the alternative theory. (shrink)

The conservation of energy and momentum have been viewed as undermining Cartesian mental causation since the 1690s. Modern discussions of the topic tend to use mid-nineteenth century physics, neglecting both locality and Noether’s theorem and its converse. The relevance of General Relativity has rarely been considered. But a few authors have proposed that the non-localizability of gravitational energy and consequent lack of physically meaningful local conservation laws answers the conservation objection to mental causation: conservation already fails in GR, so there (...) is nothing for minds to violate. This paper is motivated by two ideas. First, one might take seriously the fact that GR formally has an infinity of rigid symmetries of the action and hence, by Noether’s first theorem, an infinity of conserved energies-momenta. Second, Sean Carroll has asked how one should modify the Dirac–Maxwell–Einstein equations to describe mental causation. This paper uses the generalized Bianchi identities to show that General Relativity tends to exclude, not facilitate, such Cartesian mental causation. In the simplest case, Cartesian mental influence must be spatio-temporally constant, and hence 0. The difficulty may diminish for more complicated models. Its persuasiveness is also affected by larger world-view considerations. The new general relativistic objection provides some support for realism about gravitational energy-momentum in GR. Such realism also might help to answer an objection to theories of causation involving conserved quantities, because energies-momenta would be conserved even in GR. (shrink)

Recent work on the history of General Relativity by Renn, Sauer, Janssen et al. shows that Einstein found his field equations partly by a physical strategy including the Newtonian limit, the electromagnetic analogy, and energy conservation. Such themes are similar to those later used by particle physicists. How do Einstein's physical strategy and the particle physics derivations compare? What energy-momentum complex did he use and why? Did Einstein tie conservation to symmetries, and if so, to which? How did his work (...) relate to emerging knowledge of the canonical energy-momentum tensor and its translation-induced conservation? After initially using energy-momentum tensors hand-crafted from the gravitational field equations, Einstein used an identity from his assumed linear coordinate covariance x'=Mx to relate it to the canonical tensor. Usually he avoided using matter Euler-Lagrange equations and so was not well positioned to use or reinvent the Herglotz-Mie-Born understanding that the canonical tensor was conserved due to translation symmetries, a result with roots in Lagrange, Hamilton and Jacobi. Whereas Mie and Born were concerned about the canonical tensor's asymmetry, Einstein did not need to worry because his Entwurf Lagrangian is modeled not so much on Maxwell's theory as on a scalar theory. Einstein's theory thus has a symmetric canonical energy-momentum tensor. But as a result, it also has 3 negative-energy field degrees of freedom. Thus the Entwurf theory fails a 1920s-30s a priori particle physics stability test with antecedents in Lagrange's and Dirichlet's stability work; one might anticipate possible gravitational instability. This critique of the Entwurf theory can be compared with Einstein's 1915 critique of his Entwurf theory for not admitting rotating coordinates and not getting Mercury's perihelion right. One can live with absolute rotation but cannot live with instability. Particle physics also can be useful in the historiography of gravity and space-time, both in assessing the growth of objective knowledge and in suggesting novel lines of inquiry to see whether and how Einstein faced the substantially mathematical issues later encountered in particle physics. This topic can be a useful case study in the history of science on recently reconsidered questions of presentism, whiggism and the like. Future work will show how the history of General Relativity, especially Noether's work, sheds light on particle physics. (shrink)

The general aim of this paper is to provide insight into the relevance of critical phenomenology for the study of the patient-provider relationship in health care systems in U.S. jails, prisons, and detention facilities. In particular, I utilize tools from the work of scholars studying phenomenological approaches to health care and structural forms of oppression to analyze several harms that arise from the provision of medical care under the punitive constraints of carceral facilities.

In Dirac-Bergmann constrained dynamics, a first-class constraint typically does not _alone_ generate a gauge transformation. By direct calculation it is found that each first-class constraint in Maxwell's theory generates a change in the electric field E by an arbitrary gradient, spoiling Gauss's law. The secondary first-class constraint p^i,_i=0 still holds, but being a function of derivatives of momenta, it is not directly about E. Only a special combination of the two first-class constraints, the Anderson-Bergmann -Castellani gauge generator G, leaves E (...) unchanged. This problem is avoided if one uses a first-class constraint as the generator of a _canonical transformation_; but that partly strips the canonical coordinates of physical meaning as electromagnetic potentials and makes the electric field depend on the smearing function, bad behavior illustrating the wisdom of the Anderson-Bergmann Lagrangian orientation of interesting canonical transformations. The need to keep gauge-invariant the relation dot{q}- dH/dp= -E_i -p^i=0 supports using the primary Hamiltonian rather than the extended Hamiltonian. The results extend the Lagrangian-oriented reforms of Castellani, Sugano, Pons, Salisbury, Shepley, _etc._ by showing the inequivalence of the extended Hamiltonian to the primary Hamiltonian even for _observables_, properly construed in the sense implying empirical equivalence. Dirac and others have noticed the arbitrary velocities multiplying the primary constraints outside the canonical Hamiltonian while apparently overlooking the corresponding arbitrary coordinates multiplying the secondary constraints _inside_ the canonical Hamiltonian, and so wrongly ascribed the gauge quality to the primaries alone, not the primary-secondary team G. Hence the Dirac conjecture about secondary first-class constraints rests upon a false presupposition. The usual concept of Dirac observables should also be modified to employ the gauge generator G, not the first-class constraints separately, so that the Hamiltonian observables become equivalent to the Lagrangian ones such as the electromagnetic field F. (shrink)

An overlap between the general relativist and particle physicist views of Einstein gravity is uncovered. Noether's 1918 paper developed Hilbert's and Klein's reflections on the conservation laws. Energy-momentum is just a term proportional to the field equations and a "curl" term with identically zero divergence. Noether proved a \emph{converse} "Hilbertian assertion": such "improper" conservation laws imply a generally covariant action. Later and independently, particle physicists derived the nonlinear Einstein equations assuming the absence of negative-energy degrees of freedom for stability, along (...) with universal coupling: all energy-momentum including gravity's serves as a source for gravity. Those assumptions imply that the energy-momentum is only a term proportional to the field equations and a symmetric curl, which implies the coalescence of the flat background geometry and the gravitational potential into an effective curved geometry. The flat metric, though useful in Rosenfeld's stress-energy definition, disappears from the field equations. Thus the particle physics derivation uses a reinvented Noetherian converse Hilbertian assertion in Rosenfeld-tinged form. The Rosenfeld stress-energy is identically the canonical stress-energy plus a Belinfante curl and terms proportional to the field equations, so the flat metric is only a convenient mathematical trick without ontological commitment. Neither generalized relativity of motion, nor the identity of gravity and inertia, nor substantive general covariance is assumed. The more compelling criterion of lacking ghosts yields substantive general covariance as an output. Hence the particle physics derivation, though logically impressive, is neither as novel nor as ontologically laden as it has seemed. (shrink)

Misconceptions about energy conservation abound due to the gap between physics and secondary school chemistry. This paper surveys this difference and its relevance to the 1690s–2010s Leibnizian argument that mind-body interaction is impossible due to conservation laws. Justifications for energy conservation are partly empirical, such as Joule’s paddle wheel experiment, and partly theoretical, such as Lagrange’s statement in 1811 that energy is conserved if the potential energy does not depend on time. In 1918 Noether generalized results like Lagrange’s and proved (...) a converse: symmetries imply conservation laws and vice versa. Conservation holds if and only if nature is uniform. The rise of field physics during the 1860s–1920s implied that energy is located in particular places and conservation is primordially local: energy cannot disappear in Cambridge and reappear in Lincoln instantaneously or later; neither can it simply disappear in Cambridge or simply appear in Lincoln. A global conservation law can be inferred in some circumstances. Einstein’s General Relativity, which stimulated Noether’s work, is another source of difficulty for conservation laws. As is too rarely realized, the theory admits conserved quantities due to symmetries of the Lagrangian, like other theories. Indeed General Relativity has more symmetries and hence more conserved energies. An argument akin to Leibniz’s finally gets some force. While the mathematics is too advanced for secondary school, the ideas that conservation is tied to uniformities of nature and that energy is in particular places, are accessible. Improved science teaching would serve the truth and enhance the social credibility of science. (shrink)

The rise of neuroplasticity has led to new fields of study about the relation between social inequalities and neurobiology, including investigations into the “neuroscience of poverty.” The neural phenotype of poverty proposed in recent neuroscientific research emerges out of classed, gendered, and racialized inequalities that not only affect bodies in material ways but also shape scientific understandings of difference. An intersectional, sociomaterial approach is needed to grasp the implications of neuroscientific research that aims to both produce and repair neurobiological difference. (...) Following Benjamin’s critique of the “carceral imagination” of technoscience, this article considers how such research may fix in terms of helping, or in contrast, fix by classifying and reifying, vulnerable subjects. I address the potential for biosocial determinism in linking neural phenotypes and social problems. I use an intersectional approach to consider the presence and absence of race in this body of research and explore how some methodological and conceptual framings of the “brain on poverty” mark poor and minority children for intervention in concert with neoliberal approaches to poverty. (shrink)

In this article, I examine the relationship between self-knowledge practices among women of color and structural patterns of ignorance by offering an analysis of Gloria E. Anzaldúa's discussions of self-writing. I propose that by writing about her own experiences in a manner that hails others to critically interrogate their own identities, Anzaldúa develops important theoretical resources for understanding self-knowledge, self-ignorance, and practices of knowing others. In particular, I claim that in her later writings, Anzaldúa offers a rich epistemological account of (...) these themes through her notion of autohistoria-teoría. The notion of autohistoria-teoría demonstrates that self-knowledge practices, like all knowledge practices, are social and relational. Moreover, such self-knowledge practices require contestation and affirmation as well, including, resistance and productive friction. (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)

Change and local spatial variation are missing in canonical General Relativity's observables as usually defined, an aspect of the problem of time. Definitions can be tested using equivalent formulations of a theory, non-gauge and gauge, because they must have equivalent observables and everything is observable in the non-gauge formulation. Taking an observable from the non-gauge formulation and finding the equivalent in the gauge formulation, one requires that the equivalent be an observable, thus constraining definitions. For massive photons, the de Broglie-Proca (...) non-gauge formulation observable A_{\mu} is equivalent to the Stueckelberg-Utiyama gauge formulation quantity A_{\mu} + \partial_{\mu} \phi, which must therefore be an observable. To achieve that result, observables must have 0 Poisson bracket not with each first-class constraint, but with the Rosenfeld-Anderson-Bergmann-Castellani gauge generator G, a tuned sum of first-class constraints, in accord with the Pons-Salisbury-Sundermeyer definition of observables. The definition for external gauge symmetries can be tested using massive gravity, where one can install gauge freedom by parametrization with clock fields X^A. The non-gauge observable g^{\mu\nu} has the gauge equivalent X^A,_{\mu} g^{\mu\nu} X^B,_{\nu}. The Poisson bracket of X^A,_{\mu} g^{\mu\nu} X^B,_{\nu} with G turns out to be not 0 but a Lie derivative. This non-zero Poisson bracket refines and systematizes Kuchař's proposal to relax the 0 Poisson bracket condition with the Hamiltonian constraint. Thus observables need covariance, not invariance, in relation to external gauge symmetries. The Lagrangian and Hamiltonian for massive gravity are those of General Relativity + \Lambda + 4 scalars, so the same definition of observables applies to General Relativity. Local fields such as g_{\mu\nu} are observables. Thus observables change. Requiring equivalent observables for equivalent theories also recovers Hamiltonian-Lagrangian equivalence. (shrink)

Change and local spatial variation are missing in Hamiltonian general relativity according to the most common definition of observables as having 0 Poisson bracket with all first-class constraints. But other definitions of observables have been proposed. In pursuit of Hamiltonian–Lagrangian equivalence, Pons, Salisbury and Sundermeyer use the Anderson–Bergmann–Castellani gauge generator G, a tuned sum of first-class constraints. Kuchař waived the 0 Poisson bracket condition for the Hamiltonian constraint to achieve changing observables. A systematic combination of the two reforms might use (...) the gauge generator but permit non-zero Lie derivative Poisson brackets for the external gauge symmetry of General Relativity. Fortunately one can test definitions of observables by calculation using two formulations of a theory, one without gauge freedom and one with gauge freedom. The formulations, being empirically equivalent, must have equivalent observables. For de Broglie-Proca non-gauge massive electromagnetism, all constraints are second-class, so everything is observable. Demanding equivalent observables from gauge Stueckelberg–Utiyama electromagnetism, one finds that the usual definition fails while the Pons–Salisbury–Sundermeyer definition with G succeeds. This definition does not readily yield change in GR, however. Should GR’s external gauge freedom of general relativity share with internal gauge symmetries the 0 Poisson bracket, or is covariance sufficient? A graviton mass breaks the gauge symmetry, but it can be restored by parametrization with clock fields. By requiring equivalent observables, one can test whether observables should have 0 or the Lie derivative as the Poisson bracket with the gauge generator G. The latter definition is vindicated by calculation. While this conclusion has been reported previously, here the calculation is given in some detail. (shrink)

The questions of what represents space-time in GR, the status of gravitational energy, the substantivalist-relationalist issue, and the exceptional status of gravity are interrelated. If space-time has energy-momentum, then space-time is substantival. Two extant ways to avoid the substantivalist conclusion deny that the energy-bearing metric is part of space-time or deny that gravitational energy exists. Feynman linked doubts about gravitational energy to GR-exceptionalism, as do Curiel and Duerr; particle physics egalitarianism encourages realism about gravitational energy. In that spirit, this essay (...) proposes a third possible view about space-time, one involving a particle physics-inspired non-perturbative split that characterizes space-time with a constant background _matrix_, a sort of vacuum value, thus avoiding the inference from gravitational _energy to substantivalism. On this proposal, space-time is, where eta=diag is a spatio-temporally constant numerical signature matrix, a matrix already used in GR with spinors. The gravitational potential, to which any gravitational energy can be ascribed, is g_{\mu\nu}- eta, an _affine_ geometric object with a tensorial Lie derivative and a vanishing covariant derivative. This non-perturbative split permits strong fields, arbitrary coordinates, and arbitrary topology, and hence is pure GR by almost any standard. This razor-thin background, unlike more familiar backgrounds, involves no extra gauge freedom and so lacks their obscurities and carpet lump-moving. After a discussion of Curiel's GR exceptionalist denial of the localizability of gravitational energy and his rejection of energy conservation, the two traditional objections to pseudotensors, coordinate dependence and nonuniqueness, are explored. Both objections are inconclusive and getting weaker. A literal interpretation involving infinitely many energies corresponding by Noether's first theorem to the infinite symmetries of the _action_ largely answers Schroedinger's false-negative coordinate dependence problem. Bauer's false-positive objection has multiple answers. Non-uniqueness might be handled by Nester et al.'s finding physical meaning in multiplicity in relation to boundary conditions, by an optimal candidate, or by Bergmann's identifying the non-uniqueness and coordinate dependence ambiguities as one. (shrink)

Many scientific disciplines rely on the construction and use of models: biomedical sciences are no exception. This PhD thesis addresses several aspects of the practice of scientific modeling. First, I discuss the nature of modeling as such, proposing a novel, complementary account of scientific modeling which I term the experimentation-driven modeling account and which drives the construction of mechanistic models in many fields of biological and biomedical research, such as cancer immunology. Second, I scrutinize an objection to the mechanistic account (...) of explanation according to which the account fails to accommodate the common practice of idealizing difference-making factors. I argue that this objection ultimately fails because it is riddled with a number of conceptual inconsistencies. Third, I analyze the roles of similarity judgments in some fields of cancer research which employ a variety of mouse models to learn about the disease mechanisms, arguing that by appreciating the epistemic complexities it is possible to shed new light on more general philosophical debates regarding scientific representation. Fourth, mechanisms can also be studied using more theoretical apparatus in the form of simulations. I investigate an example of an agent-based model used to model the outbreak of SARS-CoV-2... (shrink)

Este trabajo se propone estudiar las características de los paralogismos de composición y división (Retórica II 24.II, 1401a), de la consecuencia (Retórica II 24.VI, 1401b20-30) y de la causa aparente (Retórica II 24.VII, 1401b30-34), de modo de analizar si Eurípides los utiliza en el agón de Andrómaca de los versos 577 a 746 This paper intends to study the characteristics of paralogisms due to composition and division (Rhetoric II 24.II, 1401a), due to consequent (Rhetoric II 24.VI, 1401b20-30), and due to (...) false cause (Rhetoric II 24.VII, 1401b30-34), in order to analyze if Euripides uses them in the agon in Andromache (577-746). (shrink)

According to the Feigl–Reichenbach–Salmon–Schurz pragmatic justification of induction, no predictive method is guaranteed or even likely to work for predicting the future; but if anything will work, induction will work—at least when induction is employed at the meta-level of predictive methods in light of their track records. One entertains a priori all manner of esoteric prediction methods, and is said to arrive a posteriori at the conclusion, based on the actual past, that object-level induction is optimal. Schurz’s refinements largely solve (...) the notorious short-run problem. A difficulty is noted, however, related to short-run worries but based on localized disagreement about the past, a feature characteristic of real debates (especially early modern) involving induction in intellectual history. Given the evidence about past events, _unfiltered by induction_, meta-induction might support a partly non-inductive method—especially as judged by proponents of esoteric prediction methods, who presumably believe that their methods have worked. Thus induction is justified meta-inductively in contexts where it was uncontroversial, while not obviously justified in key contexts where it has been disputed. This objection, momentarily sensed by Reichenbach regarding clairvoyance, is borne out by the Stoics’ use of meta-induction to justify both science and divination and by ancient Hebrew examples of meta-induction. Schurz’s recently introduced criteria for acceptance of testimony play a crucial role in arriving at object-level induction using meta-induction, but one might question them. Given the need for judgment in accepting testimony, it is unclear that the subjectivity of Howson’s Bayesian answer to Hume’s problem is overcome. (shrink)

Reflective equilibrium between physics and philosophy, and between GR and particle physics, is fruitful and rational. I consider the virtues of simplicity, conservatism, and conceptual coherence, along with perturbative expansions. There are too many theories to consider. Simplicity supplies initial guidance, after which evidence increasingly dominates. One should start with scalar gravity; evidence required spin 2. Good beliefs are scarce, so don't change without reason. But does conservatism prevent conceptual innovation? No: considering all serious possibilities could lead to Einstein's equations. (...) GR is surprisingly intelligible. Energy localization makes sense if one believes Noether mathematics: an infinity of symmetries shouldn't produce just one energy. Hamiltonian change results from Lagrangian-equivalence. Causality poses conceptual questions. For GR, what are canonical 'equal-time' commutators? For massive spin 2, background causality exists but is violated. Both might be cured by engineering a background null cone respected by a gauge groupoid. Perturbative expansions can enlighten. They diagnose Einstein's 1917 'mass'-Lambda analogy. Ogievetsky-Polubarinov invented an infinity of massive spin 2 gravities---including ghost-free de Rham-Gabadadze-Tolley theories!---perturbatively, and achieved the impossible : spinors in coordinates. (shrink)

College of Medicine, University of South Alabama Mobile, AL 36688-0002, USA wbp501{at}jaguar1.usouthal.edu ' + u + '@' + d + ' '//--> Abstract Recent work in viral genomics has shown that bacteriophages exhibit a high degree of mosaicism, which is most likely due to a long history of prolific horizontal gene transfer (HGT). Given these findings, we argue that each of the most plausible attempts to properly classify bacteriophages into distinct species fail. Mayr's biological species concept fails because there is (...) no useful viral analog to sexual reproduction. Phenetic species concepts fail because they obscure the mosaicism and the rich reticulated viral histories. Phylogenetic species concepts, even when extended to take into account reticulation, fail because there is no non-arbitrary distinction between recombination events that create a new viral species and those that do not. There is good reason to think that bacteriophages, arguably the Earth's most abundant biological agent, evolve without forming species. Introduction The Biology of Viruses 2.1 Bacteriophage life cycles 2.2 Mechanisms of HGT The Species Problem and Species Concepts 3.1 Phenetic species concepts 3.2 The biological species concept 3.3 Phylogenetic species concepts 3.4 The ecological species concept 3.5 Homeostatic property cluster species Viruses and Species Taxonomy Reticular Phylogenies Conclusion CiteULike Connotea Del.icio.us What's this? (shrink)

The widely touted discovery of mirror neurons has generated intense scientific interest in the neurobiology of intersubjectivity. Social neuroscientists have claimed that mirror neurons, located in brain regions associated with motor action, facial recognition, and somatosensory processing, allow us to automatically grasp other people's intentions and emotions. Despite controversies, mirror neuron research is animating materialist, affective, and embodied accounts of intersubjectivity. My view is that mirror neurons raise issues that are directly relevant to feminism and cultural studies, but interventions are (...) needed for the work to be compatible with nonreductionist critical thought. In this article I critique the dominant neuroscientific account of mirror neurons, called embodied simulation theory. I draw from feminist epistemologies as well as alternative interpretations of mirror neurons in cognitive science and philosophy of mind to consider mirroring as situated, embodied perception. (shrink)

Is change missing in Hamiltonian Einstein–Maxwell theory? Given the most common definition of observables, observables are constants of the motion and nonlocal. Unfortunately this definition also implies that the observables for massive electromagnetism with gauge freedom are inequivalent to those of massive electromagnetism without gauge freedom. The alternative Pons–Salisbury–Sundermeyer definition of observables, aiming for Hamiltonian–Lagrangian equivalence, uses the gauge generator G, a tuned sum of first-class constraints, rather than each first-class constraint separately, and implies equivalent observables for equivalent massive electromagnetisms. (...) For General Relativity, G generates 4-dimensional Lie derivatives for solutions. The Lie derivative compares different space-time points with the same coordinate value in different coordinate systems, like 1 a.m. summer time versus 1 a.m. standard time, so a vanishing Lie derivative implies constancy rather than covariance. Requiring equivalent observables for equivalent formulations of massive gravity confirms that G must generate the 4-dimensional Lie derivative for observables. These separate results indicate that observables are invariant under internal gauge symmetries but covariant under external gauge symmetries, but can this bifurcated definition work for mixed theories such as Einstein–Maxwell theory? Pons, Salisbury and Shepley have studied G for Einstein–Yang–Mills. For Einstein–Maxwell, both \ and \ are invariant under electromagnetic gauge transformations and covariant under 4-dimensional coordinate transformations. Using the bifurcated definition, these quantities count as observables, as one would expect on non-Hamiltonian grounds. (shrink)

Drawing from Frantz Fanon’s writings on racialized alienation and psychopathology, this paper argues that Fanon’s engagement with phenomenology shaped his framing of the sociogenic origins of racialized perceptions of criminality in French psychiatry and that such a novel etiology reflects a commitment to political transformation. First, I trace Fanon’s notion of sociogeny as it develops both in his early writings, and in secondary scholarship on Fanon that highlights the phenomenological dimensions of sociogeny. In the second section, I turn specifically to (...) racialized conceptions of criminality within French colonial medicine and Fanon’s writings on psychiatry to trace some complicated aspects of his critique of colonization and its relationship to medical institutions, including the forced confinement of psychiatric patients. I then conclude by briefly returning to how Fanon’s conception of sociogeny functions in a phenomenological register, and I propose that Fanon’s interests in Merleau-Ponty are based on important shared political and sociological commitments across their respective writings. However, I propose that Fanon’s interventions in phenomenology during the mid-twentieth century contain core critical insights, not shared by his predecessor, that remain relevant for critical phenomenologists today. (shrink)

Philosophizing the Americas establishes the field of inter-American philosophy. Bringing together contributors who work in Africana Philosophy, Afro-Caribbean philosophy, Latin American philosophy, Afro-Latin philosophy, decolonial theory, and African American philosophy, the volume examines the full range of traditions that have, separately and in conversation with each other, worked through how philosophy in both establishes itself in the Americas and engages with the world from which it emerges. The book traces a range of questions, from the history of philosophy in the (...) Americas to philosophical questions of race, feminism, racial eliminativism, creolization, epistemology, coloniality, aesthetics, and literature. The essays place an impressive range of philosophical traditions and figures into dialogue with one another: some familiar, such as José Martí, Sylvia Wynter, Martin R. Delany, José Vasconcelos, Alain Locke, as well as such less familiar thinkers as Arturo Alfonso Schomburg, Hilda Hilst, and George Lamming. In each chapter, the contributors find fascinating and productive matrices of tension or convergence in works throughout the Americas. The result is an original and important contribution to knowledge that introduces readers from various disciplines to unfamiliar yet compelling ideas and considers familiar texts from novel and prescient perspectives. Philosophizing the Americas stands alone as a representation of current scholarly debates in the field of inter-American philosophy. Contributors: Stephanie Rivera Berruz, Jacoby Adeshei Carter, Nadia Celis, Tommy J. Curry, Hernando A. Estévez, Daniel Fryer, James B. Haile III, Chike Jeffers, Lee A. McBride III, Michael Monahan, Adriana Novoa, Susana Nuccetelli, Andrea J. Pitts, Dwayne A. Tunstall, and Alejandro A. Vallega. (shrink)

This paper argues that debates regarding legal protections to preserve the privacy of data subjects, such as those involving the European Union’s right to be forgotten, have tended to overlook group-level forms of epistemic asymmetry and their impact on members of historically oppressed groups. In response, I develop what I consider an abolitionist approach to issues of digital justice. I begin by exploring international debates regarding digital privacy and the right to be forgotten. Then, I turn to the long history (...) of informational asymmetries impacting racialized populations in the United States. Such asymmetries, I argue, comprise epistemic injustices that are also implicated within the patterns of racialized incarceration in the United States. The final section brings together questions regarding the impact of such epistemic injustices on incarcerated peoples and focuses specifically on the public availability of criminal histories in online search databases as a fundamental issue within conversations regarding digital justice. I thus conclude by building from the work of contemporary abolitionist writers to argue that the underlying concerns of an individualized right to be forgotten should be transformed into a collective effort to undermine societal carceral imaginaries. (shrink)

In this article, I focus on the media's framing of non-mainstream body modification as a social problem. I demonstrate, through an analysis of a sample of 35 newspaper articles on body modification, that a mutilation discourse is one of the dominant frames of meaning used to make sense of body modifiers in the mainstream media. This framing, which effects the pathologization of body modifiers, utilizes the claims making of mental-health experts and relies on a gendered account of body modification as (...) a social problem. While news accounts are a medium for presenting body modification to a large `community of speakers', I find that they have precluded the legitimacy of the claims of subcultural actors. I argue from a poststructuralist perspective that body modifiers' `claims from the underside' are subjugated by accounts that problematize body modification through the dominant discourse of the mental-health model. I suggest that this frame is problematic for its silencing of `underside' or marginal embodied knowledges, which include, for example, alternative accounts of female embodiment. (shrink)

In General Relativity in Hamiltonian form, change has seemed to be missing, defined only asymptotically, or otherwise obscured at best, because the Hamiltonian is a sum of first-class constraints and a boundary term and thus supposedly generates gauge transformations. By construing change as essential time dependence, one can find change locally in vacuum GR in the Hamiltonian formulation just where it should be. But what if spinors are present? This paper is motivated by the tendency in space-time philosophy tends to (...) slight fermionic/spinorial matter, the tendency in Hamiltonian GR to misplace changes of time coordinate, and the tendency in treatments of the Einstein-Dirac equation to include a gratuitous local Lorentz gauge symmetry along with the physically significant coordinate freedom. Spatial dependence is dropped in most of the paper, both restricting the physical situation and largely fixing the spatial coordinates. In the interest of including all and only the coordinate freedom, the Einstein-Dirac equation is investigated using the Schwinger time gauge and Kibble-Deser symmetric triad condition are employed as a \ version of the DeWitt-Ogievetsky-Polubarinov nonlinear group realization formalism that dispenses with a tetrad and local Lorentz gauge freedom. Change is the lack of a time-like stronger-than-Killing field for which the Lie derivative of the metric-spinor complex vanishes. An appropriate \-friendly form of the Rosenfeld-Anderson-Bergmann-Castellani gauge generator G, a tuned sum of first class-constraints, is shown to change the canonical Lagrangian by a total derivative, implying the preservation of Hamilton’s equations. Given the essential presence of second-class constraints with spinors and their lack of resemblance to a gauge theory, it is useful to have an explicit physically interesting example. This gauge generator implements changes of time coordinate for solutions of the equations of motion, showing that the gauge generator makes sense even with spinors. (shrink)

The oft-neglected issue of the causal structure in the flat spacetime approach to Einstein's theory of gravity is considered. Consistency requires that the flat metric's null cone be respected, but this does not automatically happen. After reviewing the history of this problem, we introduce a generalized eigenvector formalism to give a kinematic description of the relation between the two null cones, based on the Segre' classification of symmetric rank 2 tensors with respect to a Lorentzian metric. Then we propose a (...) method to enforce special relativistic causality by using the gauge freedom to restrict the configuration space suitably. A set of new variables just covers this smaller configuration space and respects the flat metric's null cone automatically. Respecting the flat metric's null cone ensures that the spacetime is globally hyperbolic, indicating that the Hawking black hole information loss paradox does not arise in the special relativistic approach to Einstein's theory. (shrink)

Recently the neglected issue of the causal structure in the flat space-time approach to Einstein's theory of gravity has been substantially resolved. Consistency requires that the flat metric's null cone be respected by the null cone of the effective curved metric. While consistency is not automatic, thoughtful use of the naive gauge freedom resolves the problem. After briefly recapitulating how consistent causality is achieved, we consider the flat Robertson–Walker Big Bang model. The Big Bang singularity in the spatially flat Robertson–Walker (...) cosmological model is banished to past infinity in Minkowski space-time. A modified notion of singularity is proposed to fit the special relativistic approach, so that the Big Bang becomes nonsingular. (shrink)

This article critically examines the transition from Marx to Spinoza within Antonio Negri’s postoperaist thought and explores a potential alternative rooted in Mario Tronti’s concept of the ‘autonomy of the political’. In Negri’s postoperaismo, the embrace of Spinoza reevaluates Marx’s critique of political economy through an optimistic lens, suggesting a tendency beyond capitalism. However, Negri’s embrace of a Spinozian plane of immanence entails a problematic affirmation of what exists. The article argues that Negri’s worldview, despite its beginnings, ends up resembling (...) deterministic historical materialism. While critical theory exposes flaws in Negri’s theory, it falls short in providing a practical alternative. Returning to Negri’s interpretation of Spinoza’s Political Treatise uncovers earlier arguments, rooted in paradoxes inherent to practical politics. However, reliance on the concept of the multitude highlights deeper issues in Negri’s approach. Rather than adhering to postoperaismo or critical theory, the article suggests an alternative in Tronti’s journey from operaismo, particularly in the concept of the ‘autonomy of the political’. Notwithstanding critiques, this attempted liberation from Marxist determinism allows for a clearer confrontation with politics. The article concludes that Hardt and Negri’s recent critical engagement with this concept advances their arguments but does not entirely overcome inherent limitations in their approach. (shrink)

This essay argues that attention to Adam Smith’s ironic framing of his historical narratives in the Wealth of Nations shows his critique of modern commercial society to have been more radical than is generally recognized. These narratives traced the pathologies of European development and the complex chains of causation that linked Smith’s readers—with often destructive and even catastrophic results—to other human beings distant from themselves. While Smith gave reasons to doubt that sympathy for distant others could bring about reform, I (...) argue that he used irony and what he called ridicule to make the book’s British audience aware of the violence of the global commercial system and their place in it as both abettors and lesser victims of its abuses. (shrink)