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 thesis of the empirical underdetermination of theories (U-thesis) maintains that there are incompatible theories which are empirically equivalent. Whether this is an interesting thesis depends on how the term incompatible is understood. In this paper a structural explication is proposed. More precisely, the U-thesis is studied in the framework of the model theoretic or emantic approach according to which theories are not to be taken as linguistic entities, but rather as families of mathematical structures. (...) class='Hi'>Theories of similarity structures are studied as a paradigmatic case. The structural approach further reveals that the U-thesis is related to problems of uniqueness in the representational theory of measurement, questions of geometric conventionalism, and problems of structural underdetermination in mathematics. (shrink)

In 1991 Larry Laudan and Jarret Leplin proposed a solution for the problem of empirical equivalence and the empirical underdetermination that is often thought to result from it. In this paper we argue that, even though Laudan and Leplin’s reasoning is essentially correct, their solution should be accurately assessed in order to appreciate its nature and scope. Indeed, Laudan and Leplin’s analysis does not succeed in completely removing the problem or, as they put it, in refuting the thesis of underdetermination (...) as a consequence of empirical equivalence. Instead, what they show is merely that science possesses tools that may eventually lead out of an underdetermination impasse. We apply their argument to a real case of two empirically equivalent theories: Lorentz’s ether theory and Einstein’s special relativity. This example illustrates the validity of Laudan and Leplin’s reasoning, but also shows the importance of the reassessment we argue for. (shrink)

We present a theory VF of partial truth over Peano arithmetic and we prove that VF and ID 1 have the same arithmetical content. The semantics of VF is inspired by van Fraassen's notion of supervaluation.

In this paper I discuss the rule of inference proposed by Kuipers under the name of Inference to the Best Theory. In particular, I argue that the rule needs to be strengthened if it is to serve realist purposes. I further describe a method for testing, and perhaps eventually justifying, a suitably strengthened version of it.

This paper presents a simple pair of first-order theories that are not definitionally (nor Morita) equivalent, yet are mutually conservatively translatable and mutually 'surjectively' translatable. We use these results to clarify the overall geography of standards of equivalence and to show that the structural commitments that theories make behave in a more subtle manner than has been recognized.

Halvorson argues through a series of examples and a general result due to Myers that the “semantic view” of theories has no available account of formal theoretical equivalence. De Bouvere provides criteria overlooked in Halvorson’s paper that are immune to his counterexamples and to the theorem he cites. Those criteria accord with a modest version of the semantic view that rejects some of Van Fraassen’s apparent claims while retaining the core of Patrick Suppes’s proposal. I do not endorse any (...) version of the semantic view of theories. (shrink)

This paper offers a modified version of the certainty equivalence (CE) theory of utility for uncertain prospects and a new set of axioms as its basis. It shows that the CE and the von Neumann-Morgenstern (NM) approaches to uncertainty are opposite in spirit: The CE approach represents a flight from the world of uncertainty to the rules of certainty while the NM approach represents a flight from the world of certainty to one of uncertainty. The two approaches differ even in (...) their treatment of compound prospects and their actuarially identical simple counterparts. (shrink)

In this paper I argue that the case of Einstein׳s special relativity vs. Hendrik Lorentz׳s ether theory can be decided in terms of empirical evidence, in spite of the predictive equivalence between the theories. In the historical and philosophical literature this case has been typically addressed focusing on non-empirical features. I claim that non-empirical features are not enough to provide a fully objective and uniquely determined choice in instances of empirical equivalence. However, I argue that if we consider arguments (...) proposed by Richard Boyd, and by Larry Laudan and Jarret Leplin, a choice based on non-entailed empirical evidence favoring Einstein׳s theory can be made. (shrink)

A number of theories have been developed to characterize ALogTime (or uniform NC 1, or just NC 1), the class of languages accepted by alternating logtime Turing machines, in the same way that Buss’s theory ${{\bf S}^{1}_{2}}$ characterizes polytime functions. Among these, ALV′ (by Clote) is particularly interesting because it is developed based on Barrington’s theorem that the word problem for the permutation group S 5 is complete for ALogTime. On the other hand, ALV (by Clote), T 0 NC (...) 0 (by Clote and Takeuti) as well as Arai’s theory ${{\bf AID}+\Sigma_0^B{-}{\bf CA}}$ and its two-sorted version VNC 1 (by Cook and Morioka) are based on the circuit characterization of ALogTime. While the last three theories have been known to be equivalent, their relationship to ALV′ has been an open problem. Here we show that ALV′ is indeed equivalent to the other theories. (shrink)

We present a theory VF of partial truth over Peano arithmetic and we prove that VF and ID 1 have the same arithmetical content. The semantics of VF is inspired by van Fraassen's notion of supervaluation.

The neutral theory of biodiversity assumes that coexisting organisms are equally able to survive, reproduce and disperse, but predicts that stochastic fluctuations of these abilities drive diversity dynamics. It predicts remarkably well many biodiversity patterns, although substantial evidence for the role of niche variation across organisms seems contradictory. Here, we discuss this apparent paradox by exploring the meaning and implications of ecological equivalence. We address the question whether neutral theory provides an explanation for biodiversity patterns and acknowledges causal processes. We (...) underline that ecological equivalence, although central to neutral theory, can emerge at local and regional scales from niche-based processes through equalizing and stabilizing mechanisms. Such emerging equivalence corresponds to a weak conception of neutral theory, as opposed to the assumption of strict equivalence at individual level in the strong conception. We show that this duality is related to diverging views on hypothesis-testing and modeling in ecology. In addition, the stochastic dynamics exposed in neutral theory are pervasive in ecological systems and, rather than a null hypothesis, ecological equivalence is best understood as a parsimonious baseline to address biodiversity dynamics at multiple scales. (shrink)

It is widely accepted that EinstcinRi7;s general theory of relativity is an satisfactory description of gravity 0nly in the macroscopic limit, where quantum eiTcc1;s may be neglected. Presumably this theory is inapplicable at the Planck length, but recently much attention has been devoted to gravitational theory at intermediate length scales where quantum affects 0f matter are inescapable, but where there is an general assumption that the gravitational Held may bc treated as a classical background, augmented if necessary by quamtizcd linearized (...) pertur-. (shrink)

The main aim of this paper is to make a remark about the relation between dualities between theories, as `duality' is understood in physics and equivalence of theories, as `equivalence' is understood in logic and philosophy. The remark is that in physics, two theories can be dual, and accordingly get called `the same theory', though we interpret them as disagreeing---so that they are certainly not equivalent, as `equivalent' is normally understood. So the remark is simple: (...) but, I shall argue, worth stressing---since often neglected. My argument for this is based on the account of duality developed by De Haro: which is illustrated here with several examples, from both elementary physics and string theory. Thus I argue that in some examples, including in string theory, two dual theories disagree in their claims about the world. I also spell out how this remark implies a limitation of proposals to understand theoretical equivalence as either logical equivalence or a weakening of it. (shrink)

Metaphysical theories are beautiful. I mean it literally. At the end of this book, I defend the view that metaphysical theories possess aesthetic properties and that these play a crucial role when it comes to theory evaluation and theory choice. But this is the end of a long journey – a journey that is perhaps more important than the destination. Before we get there, the philosophical path I propose to follow starts with three discussions of metaphysical equivalence. I (...) argue that there are cases of metaphysical equivalence, cases of partial metaphysical equivalence, as well as interesting cases of theories that are not equivalent. Thus, claims of metaphysical equivalence can only be raised locally. My slogan is : the best way to do meta -metaphysics is to do first-level metaphysics. To do this work, I focus on the nature of primitives and on the role they play in each of the theories involved. I emphasize the utmost importance of primitives in the construction of metaphysical theories and in the subsequent evaluation of them. I then raise the simple but complicated question: how to make a choice between competing metaphysical theories? If two theories are equivalent, then perhaps we do not need to make a choice. But what about all the other cases of non-equivalent "equally good" theories? I use some of the theories discussed in the first part of the book as examples and I examine some traditional meta -theoretical criteria for theory choice only to show that they do not allow us to make a choice. But if the standard meta -theoretical criteria cannot help us in deciding between competing non-equivalent metaphysical theories, how then shall we make that choice? This is where I argue that metaphysical theories possess aesthetic properties – grounded in non-aesthetic properties – and that these play a crucial role in theory choice and evaluation. This view, as well as all the meta -metaphysical considerations discussed throughout the book, then naturally lead me to a form of anti-realism, and at the end of the journey I offer reasons to think better of the kind of anti-realist view I propose to embrace. (shrink)

We introduce an analogue of the theory of Borel equivalence relations in which we study equivalence relations that are decidable by an infinite time Turing machine. The Borel reductions are replaced by the more general class of infinite time computable functions. Many basic aspects of the classical theory remain intact, with the added bonus that it becomes sensible to study some special equivalence relations whose complexity is beyond Borel or even analytic. We also introduce an infinite time generalization of the (...) countable Borel equivalence relations, a key subclass of the Borel equivalence relations, and again show that several key properties carry over to the larger class. Lastly, we collect together several results from the literature regarding Borel reducibility which apply also to absolutely $\Delta^1_2$ reductions, and hence to the infinite time computable reductions. (shrink)

The instrumentalist argument from the underdetermination of theories by data runs as follows: (1) every theory has empirically equivalent rivals; (2) the only warrant for believing one theory over another is its possession of a greater measure of empirical virtue; (3) therefore belief in any theory is arbitrary. In this paper, I examine the status of the first premise. Several arguments against the universal availability of empirically equivalent theoretical rivals are criticized, and four algorithms for producing empirically (...) equivalent rivals are defended. I conclude that the case for the first premise of the argument from underdetermination is very strong. The disposition of the argument itself depends on the fate of the second premise. (shrink)

Decompositional equivalence is the principle that there is no preferred decomposition of the universe into subsystems. It is shown here, by using a simple thought experiment, that quantum theory follows from decompositional equivalence together with Landauer’s principle. This demonstration raises within physics a question previously left to psychology: how do human—or any—observers identify or agree about what constitutes a “system of interest”?

The main result of this paper is the equivalence of several definition schemas of bar recursion occurring in the literature on functionals of finite type. We present the theory of functionals of finite type, in [T] denoted byqf-WE-HA ω, which is necessary for giving the equivalence proofs. Moreover we prove two results on this theory that cannot be found in the literature, namely the deduction theorem and a derivation of Spector's rule of extensionality from [S]: ifP→T 1=T 2 and Q[X∶≡T1], (...) then P→Q[X∶≡ T2], from the at first sight weaker rule obtained by omitting “P→”. (shrink)

An ω-model (a model in which all natural numbers are standard) of the predicative fragment of Quine's set theory "New Foundations" (NF) is constructed. Marcel Crabbe has shown that a theory NFI extending predicative NF is consistent, and the model constructed is actually a model of NFI as well. The construction follows the construction of ω-models of NFU (NF with urelements) by R. B. Jensen, and, like the construction of Jensen for NFU, it can be used to construct α-models for (...) any ordinal α. The construction proceeds via a model of a type theory of a peculiar kind; we first discuss such "tangled type theories" in general, exhibiting a "tangled type theory" (and also an extension of Zermelo set theory with Δ 0 comprehension) which is equiconsistent with NF (for which the consistency problem seems no easier than the corresponding problem for NF (still open)), and pointing out that "tangled type theory with urelements" has a quite natural interpretation, which seems to provide an explanation for the more natural behaviour of NFU relative to the other set theories of this kind, and can be seen anachronistically as underlying Jensen's consistency proof for NFU. (shrink)

This paper formulates generalized versions of the general principle of relativity and of the principle of equivalence that can be applied to general abstract spaces. It is shown that when the principles are applied to the Hilbert space of a quantum particle, its law of coupling to electromagnetic fields is obtained. It is suggested to understand the Aharonov-Bohm effect in light of these principles, and the implications for some related foundational controversies are discussed.

The aim of this paper is to describe and analyze the epistemological justification of a proposal initially made by the bio-mathematician Robert Rosen in 1958. In this theoretical proposal, Rosen suggests using the mathematical concept of « category » and the correlative concept of « natural equivalence » in mathematical modeling applied to living beings. Our questions are the following: according to Rosen, to what extent does the mathematical notion of category give access to more « natural » formalisms in (...) the modeling of living beings? Is the so-called « naturalness » of some kinds of equivalences (which the mathematical notion of category makes it possible to generalize and to put at the forefront) analogous to the naturalness of living systems? Rosen appears to answer « yes » and to ground this transfer of the concept of « natural equivalence » in biology on such an analogy. But this hypothesis, although fertile, remains debatable. Finally, this paper makes a brief account of the later evolution of Rosen’s arguments about this topic. In particular, it sheds light on the new role played by the notion of « category » in his more recent objections against computational models that since the 1990’s are pervading almost every domain of biology. (shrink)

Two Lagrangians L and L′ are equivalent if the equations of motion derived from them have the same set of solutions. In that case, a matrix Λ may be defined which has the property that the trace of any analytic function of Λ is a constant of the motion. We extend this trace theorem to the case of classical field theory and discuss some of the implications for quantum theory and for procedures for finding equivalent Lagrangians.

Asperó and Schindler have completely solved the Axiom [Formula: see text] vs. [Formula: see text] problem. They have proved that if [Formula: see text] holds then Axiom [Formula: see text] holds, with no additional assumptions. The key question now concerns the relationship between [Formula: see text] and Axiom [Formula: see text]. This is because the foundational issues raised by the problem of Axiom [Formula: see text] vs. [Formula: see text] arguably persist in the problem of Axiom [Formula: see text] vs. (...) [Formula: see text]. The first of our two main theorems is that Axiom [Formula: see text] is equivalent to Axiom [Formula: see text], and as a corollary we show that Axiom [Formula: see text] fails in all the known models of [Formula: see text]. This suggests that [Formula: see text] actually refutes Axiom [Formula: see text]. Our second main theorem is that the [Formula: see text] Conjecture holds assuming [Formula: see text]. This is the strongest partial result known on this conjecture which is one of the central open problems of [Formula: see text]-theory and [Formula: see text]-logic. These results identify a fundamental asymmetry between the Continuum Hypothesis and any axiom which is both [Formula: see text]-expressible and which implies [Formula: see text], on the basis of generic absoluteness for the simplest of the nontrivial sentences of Third-Order Number Theory. These are the [Formula: see text]-sentences with no parameters. Such sentences are those which simply assert the existence of a set [Formula: see text] for which some property involving only quantification over [Formula: see text] holds. (shrink)

We introduce a new framework for classifying logics on finite structures and studying their expressive power. This framework is based on the concept of almost everywhere equivalence of logics, that is to say, two logics having the same expressive power on a class of asymptotic measure 1. More precisely, if L, L ′ are two logics and μ is an asymptotic measure on finite structures, then $\scr{L}\equiv _{\text{a.e.}}\scr{L}^{\prime}(\mu)$ means that there is a class C of finite structures with μ (C)=1 (...) and such that L and L ′ define the same queries on C. We carry out a systematic investigation of $\equiv _{\text{a.e.}}$ with respect to the uniform measure and analyze the $\equiv _{\text{a.e.}}$ -equivalence classes of several logics that have been studied extensively in finite model theory. Moreover, we explore connections with descriptive complexity theory and examine the status of certain classical results of model theory in the context of this new framework. (shrink)

Two first-order logic theories are definitionally equivalent if and only if there is a bijection between their model classes that preserves isomorphisms and ultraproducts (Theorem 2). This is a variant of a prior theorem of van Benthem and Pearce. In Example 2, uncountably many pairs of definitionally inequivalent theories are given such that their model categories are concretely isomorphic via bijections that preserve ultraproducts in the model categories up to isomorphism. Based on these results, we settle several (...) conjectures of Barrett, Glymour and Halvorson. (shrink)

The purpose of this paper is to prove the decidability ofstit theory (a logic of seeing to it that) with a single agent andRefref Equivalence. This result is obtained through an axiomatization of the theory and a proof that it has thefinite model property. A notion ofcompanions to stit formulas is introduced and extensively used in the proof.

If T is an unstable theory of cardinality <λ or countable stable theory with OTOP or countable superstable theory with DOP, λω λω1 in the superstable with DOP case) is regular and λ<λ=λ, then we construct for T strongly equivalent nonisomorphic models of cardinality λ. This can be viewed as a strong nonstructure theorem for such theories. We also consider the case when T is unsuperstable and develop further a result of Shelah about the existence of L∞,λ-equivalent (...) nonisomorphic models for such T. In addition, we show that a natural analogue of Scott's isomorphism theorem fails for models of power κ, if κω is regular, assuming κ<κ=κ. (shrink)

Necessitism, Contingentism, and Theory Equivalence is a dissertation on issues in higher-order modal metaphysics. Consider a modal higher-order language with identity in which the universal quantifier is interpreted as expressing universal quantification and the necessity operator is interpreted as expressing metaphysical necessity. The main question addressed in the dissertation concerns the correct theory formulated in this language. A different question that also takes centre stage in the dissertation is what it takes for theories to be equivalent.The whole dissertation (...) consists of an extended argument in defence of the truth of two seemingly inconsistent higher-order modal theories, specifically: 1.Plantingan Moderate Contingentism, a theory based on Plantinga’s [1] modal metaphysics that is committed to, among other things, the contingent being of some individuals and the necessary being of all possible higher-order entities;2.Williamsonian Thorough Necessitism, a theory advocated by Williamson [3] which is committed to, among other things, the necessary being of every possible individual as well as of every possible higher-order entity.Part of the case for these theories’ joint truth relies on defences of the following metaphysical theses: Thorough Serious Actualism, the thesis that no things could have been related while being nothing, and Higher-Order Necessitism, the thesis that necessarily, every higher-order entity is necessarily something. It is shown that Thorough Serious Actualism and Higher-Order Necessitism are both implicit commitments of very weak logical theories. The defence of Higher-Order Necessitism constitutes a powerful challenge to Stalnaker’s [2] Thorough Contingentism, a theory committed to, among other things, the view that there could have been some individuals as well as some entities of any higher-order that could have been nothing.In the dissertation it is argued that Plantingan Moderate Contingentism and Williamsonian Thorough Necessitism are in fact equivalent, even if they appear to be jointly inconsistent. The case for this claim relies on the Synonymy account, a novel account of theory equivalence developed and defended in the dissertation. According to this account, theories are equivalent just in case they have the same commitments and conception of logical space.By way of defending the Synonymy account’s adequacy, the account is applied to the debate between noneists, proponents of the view that some things do not exist, and Quineans, proponents of the view that to exist just is to be some thing. The Synonymy account is shown to afford a more nuanced and better understanding of that debate by revealing that what noneists and Quineans are really disagreeing about is what expressive resources are available to appropriately describe the world.By coupling a metatheoretical result with tools from the philosophy of language, it is argued that Plantingan Moderate Contingentism and Williamsonian Thorough Necessitism are synonymous theories, and so, by the lights of the Synonymy account, equivalent. Given the defence of their extant commitments made in the dissertation, it is concluded that Plantingan Moderate Contingentism and Williamsonian Thorough Necessitism are both correct. A corollary of this result is that the dispute between Plantingans and Williamsonians is, in an important sense, merely verbal. For if two theories are equivalent, then they “require the same of the world for their truth.”Thus, the results of the dissertation reveal that if one speaks as a Plantingan while advocating Plantingan Moderate Contingentism, or as a Williamsonian while advocating Williamsonian Thorough Necessitism, then one will not go wrong. Notwithstanding, one will still go wrong if one speaks as a Plantingan while advocating Williamsonian Thorough Necessitism, or as a Williamsonian while advocating Plantingan Moderate Contingentism.On the basis of a conception of the individual constants and predicates of second-order modal languages as strongly Millian, i.e., as having actually existing entities as their semantic values, in the appendix are presented second-order modal logics consistent with Stalnaker’s Thorough Contingentism. Furthermore, it is shown there that these logics are strong enough for applications of higher-order modal logic in mathematics, a result that constitutes a reply to an argument to the contrary by Williamson [3]. Finally, these logics are proven to be complete relative to particular “thoroughly contingentist” classes of models. (shrink)

Resumo Neste artigo, vamos considerar o recente debate na metafísica da evolução, no que diz respeito tanto à persistência como à “mudança” em espécies biológicas, segundo a tese que considera a espécie como o agregado de indivíduos. Centrar-nos-emos na proposta de Thomas Reydon, que argumenta que em biologia, o termo “espécie” refere-se a duas entidades biológicas, por si denominadas evolverons e phylons, que desempenham vários papéis epistemológicos em pelo menos duas disciplinas diferentes, nomeadamente na biologia sistemática e na biologia evolutiva. (...) Em particular, analisamos criticamente a alegação de Reydon, que estas duas entidades biológicas geraram um problema para a tese que sustém a equivalência entre duas teorias de persistência, desenvolvidas pela metafísica analítica contemporânea: o tri–Dimensionalismo e tetra–Dimensionalismo. Neste artigo, pretende-se restaurar a tese da equivalência metafísica, recorrendo a uma tripla estratégia: promover a ideia de que os evolverons e os “phylons” são duas dimensões de uma mesma realidade; recorrer a uma noção menos problemática noção de endurantismo e, por último, destacar alguns problemas que surgem dos exemplos biológicos empregues por Reydon para basear o desenvolvimento dos seus argumentos. Palavras-chave : conceito de espécie, endurantismo, equivalência metafísica entre 3D e 4D, espécies biológicas sincrónicas e diacrónicas, persistênciaIn this paper we revise a recent debate on the metaphysics of evolution pertaining to both the persistence and change of biological species, and the species-as-individuals thesis. We focus on Thomas Reydon’s proposal that, in biology, the term “species” refers to two different biological entities, which he calls evolverons and phylons, and plays different epistemological roles in at least two different disciplines in which it is used, namely, evolutionary and systematic biology. In particular, we critically revise Reydon’s claim that these two biological entities raise a problem for the thesis of the equivalence between the two theories of persistence developed in contemporary analytic metaphysics: three–dimensionalism and four–dimensionalism. In this paper, we aim to reinstate the thesis of metaphysical equivalence by a threefold strategy: motivation of the idea that evolverons and phylons are two dimensions of the same entity, shifting to a less problematic notion of endurance, and an exploration of doubts about the particular biological examples upon which Reydon bases his arguments. Keywords : 3D / 4D metaphysical equivalence, endurantism, persistence, species concept, synchronic and diachronic biological species. (shrink)

We generalize the notion of analytic/Borel equivalence relations, orbit equivalence relations, and Borel reductions between them to their continuous and quantitative counterparts: analytic/Borel pseudometrics, orbit pseudometrics, and Borel reductions between them. We motivate these concepts on examples and we set some basic general theory. We illustrate the new notion of reduction by showing that the Gromov–Hausdorff distance maintains the same complexity if it is defined on the class of all Polish metric spaces, spaces bounded from below, from above, and from (...) both below and above. Then we show that [Formula: see text] is not reducible to equivalences induced by orbit pseudometrics, generalizing the seminal result of Kechris and Louveau. We answer in negative a question of Ben Yaacov, Doucha, Nies, and Tsankov on whether balls in the Gromov–Hausdorff and Kadets distances are Borel. In appendix, we provide new methods using games showing that the distance-zero classes in certain pseudometrics are Borel, extending the results of Ben Yaacov, Doucha, Nies, and Tsankov. There is a complementary paper of the authors where reductions between the most common pseudometrics from functional analysis and metric geometry are provided. (shrink)

We study how equivalent nonisomorphic models an unsuperstable theory can have. We measure the equivalence by Ehrenfeucht-Fraisse games. This paper continues the work started in $[HT]$.

A recent rethinking of the early history of Quantum Mechanics deemed the late 1920s agreement on the equivalence of Matrix Mechanics and Wave Mechanics, prompted by Schrödinger’s 1926 proof, a myth. Schrödinger supposedly failed to achieve the goal of proving isomorphism of the mathematical structures of the two theories, while only later developments in the early 1930s, especially the work of mathematician John von Neumman (1932) provided sound proof of equivalence. The alleged agreement about the Copenhagen Interpretation, predicated to (...) a large extent on this equivalence, was deemed a myth as well. If such analysis is correct, it provides considerable evidence that, in its critical moments, the foundations of scientific practice might not live up to the minimal standards of rigor, as such standards are established in the practice of logic, mathematics, and mathematical physics, thereby prompting one to question the rationality of the practice of physics. In response, I argue that Schrödinger’s proof concerned primarily a domain-specific ontological equivalence, rather than the isomorphism. It stemmed initially from the agreement of the eigenvalues of Wave Mechanics and energy-states of Bohr’s Model that was discovered and published by Schrödinger in his First and Second Communications of 1926. Schrödinger demonstrated in this proof that the laws of motion arrived at by the method of Matrix Mechanics could be derived successfully from eigenfunctions as well (while he only outlined the reversed derivation of eigenfunctions from Matrix Mechanics, which was necessary for the proof of isomorphism of the two theories). This result was intended to demonstrate the domain-specific ontological equivalence of Matrix Mechanics and Wave Mechanics, with respect to the domain of Bohr’s atom. And although the full-fledged mathematico-logical equivalence of the theories did not seem out of the reach of existing theories and methods, Schrödinger never intended to fully explore such a possibility in his proof paper. In a further development of Quantum Mechanics, Bohr’s complementarity and Copenhagen Interpretation captured a more substantial convergence of the subsequently revised (in light of the experimental results) Wave and Matrix Mechanics. I argue that both the equivalence and Copenhagen Interpretation can be deemed myths if one predicates the philosophical and historical analysis on a narrow model of physical theory which disregards its historical context, and focuses exclusively on its formal aspects and the exploration of the logical models supposedly implicit in it. (shrink)