Switch to: Citations

Add references

You must login to add references.
  1. Fixing Frege.John P. Burgess - 2005 - Princeton University Press.
    The great logician Gottlob Frege attempted to provide a purely logical foundation for mathematics. His system collapsed when Bertrand Russell discovered a contradiction in it. Thereafter, mathematicians and logicians, beginning with Russell himself, turned in other directions to look for a framework for modern abstract mathematics. Over the past couple of decades, however, logicians and philosophers have discovered that much more is salvageable from the rubble of Frege's system than had previously been assumed. A variety of repaired systems have been (...)
    Download  
     
    Export citation  
     
    Bookmark   49 citations  
  • Word and Object.Willard Van Orman Quine - 1960 - Les Etudes Philosophiques 17 (2):278-279.
    Download  
     
    Export citation  
     
    Bookmark   2882 citations  
  • Understanding Gauge.James Owen Weatherall - 2015 - Philosophy of Science 83 (5):1039-1049.
    I consider two usages of the expression "gauge theory". On one, a gauge theory is a theory with excess structure; on the other, a gauge theory is any theory appropriately related to classical electromagnetism. I make precise one sense in which one formulation of electromagnetism, the paradigmatic gauge theory on both usages, may be understood to have excess structure, and then argue that gauge theories on the second usage, including Yang-Mills theory and general relativity, do not generally have excess structure (...)
    Download  
     
    Export citation  
     
    Bookmark   51 citations  
  • Scientific Theories.Hans Halvorson - 2014 - In Paul Humphreys (ed.), The Oxford Handbook of Philosophy of Science. New York, NY, USA: Oxford University Press. pp. 585-608.
    Since the beginning of the 20th century, philosophers of science have asked, "what kind of thing is a scientific theory?" The logical positivists answered: a scientific theory is a mathematical theory, plus an empirical interpretation of that theory. Moreover, they assumed that a mathematical theory is specified by a set of axioms in a formal language. Later 20th century philosophers questioned this account, arguing instead that a scientific theory need not include a mathematical component; or that the mathematical component need (...)
    Download  
     
    Export citation  
     
    Bookmark   39 citations  
  • New Foundations for Mathematical Logic.W. V. Quine - 1937 - Journal of Symbolic Logic 2 (2):86-87.
    Download  
     
    Export citation  
     
    Bookmark   78 citations  
  • One or Two Gentle Remarks about Hans Halvorson’s Critique of the Semantic View.Bas C. van Fraassen - 2014 - Philosophy of Science 81 (2):276-283,.
    In recent papers Hans Halvorson has offered a critique of the semantic view of theories, showing that theories may be the same although the corresponding sets of models are different and, conversely, that theories may be different although the corresponding sets of models are the same. This critique will be assessed, first, as it pertains to issues concerning scientific models in the empirical sciences and, second, independent of any concern with empirical science.
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  • Newtonian Spacetime Structure in Light of the Equivalence Principle.Eleanor Knox - 2014 - British Journal for the Philosophy of Science 65 (4):863-880.
    I argue that the best spacetime setting for Newtonian gravitation (NG) is the curved spacetime setting associated with geometrized Newtonian gravitation (GNG). Appreciation of the ‘Newtonian equivalence principle’ leads us to conclude that the gravitational field in NG itself is a gauge quantity, and that the freely falling frames are naturally identified with inertial frames. In this context, the spacetime structure of NG is represented not by the flat neo-Newtonian connection usually made explicit in formulations, but by the sum of (...)
    Download  
     
    Export citation  
     
    Bookmark   66 citations  
  • Classical Mechanics Is Lagrangian; It Is Not Hamiltonian.Erik Curiel - 2014 - British Journal for the Philosophy of Science 65 (2):269-321.
    One can (for the most part) formulate a model of a classical system in either the Lagrangian or the Hamiltonian framework. Though it is often thought that those two formulations are equivalent in all important ways, this is not true: the underlying geometrical structures one uses to formulate each theory are not isomorphic. This raises the question of whether one of the two is a more natural framework for the representation of classical systems. In the event, the answer is yes: (...)
    Download  
     
    Export citation  
     
    Bookmark   59 citations  
  • The Semantic View, If Plausible, Is Syntactic.Hans Halvorson - 2013 - Philosophy of Science 80 (3):475-478.
    Halvorson argues that the semantic view of theories leads to absurdities. Glymour shows how to inoculate the semantic view against Halvorson's criticisms, namely by making it into a syntactic view of theories. I argue that this modified semantic-syntactic view cannot do the philosophical work that the original "language-free" semantic view was supposed to do.
    Download  
     
    Export citation  
     
    Bookmark   55 citations  
  • What Scientific Theories Could Not Be.Hans Halvorson - 2012 - Philosophy of Science 79 (2):183-206.
    According to the semantic view of scientific theories, theories are classes of models. I show that this view -- if taken seriously as a formal explication -- leads to absurdities. In particular, this view equates theories that are truly distinct, and it distinguishes theories that are truly equivalent. Furthermore, the semantic view lacks the resources to explicate interesting theoretical relations, such as embeddability of one theory into another. The untenability of the semantic view -- as currently formulated -- threatens to (...)
    Download  
     
    Export citation  
     
    Bookmark   127 citations  
  • On empirically equivalent systems of the world.Willard van Orman Quine - 1975 - Erkenntnis 9 (3):313-28.
    Download  
     
    Export citation  
     
    Bookmark   278 citations  
  • Theoretical Realism and Theoretical Equivalence.Clark Glymour - 1970 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1970:275 - 288.
    Your use of the JSTOR archive indicates your acceptance of J STOR’s Terms and Conditions of Use, available at http://www.jstor.org/about/tenns.htm1. J STOR’s Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your personal, non—commercial use.
    Download  
     
    Export citation  
     
    Bookmark   59 citations  
  • (1 other version)On Carnap’s Views on Ontology.Willard van Orman Quine - 1951 - Philosophical Studies 2 (5):65--72.
    Download  
     
    Export citation  
     
    Bookmark   97 citations  
  • Ontological Pluralism.Jason Turner - 2010 - Journal of Philosophy 107 (1):5-34.
    Ontological Pluralism is the view that there are different modes, ways, or kinds of being. In this paper, I characterize the view more fully (drawing on some recent work by Kris McDaniel) and then defend the view against a number of arguments. (All of the arguments I can think of against it, anyway.).
    Download  
     
    Export citation  
     
    Bookmark   138 citations  
  • Abbreviations.[author unknown] - 2016 - Erasmus Studies 36 (1):3-3.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Are Newtonian Gravitation and Geometrized Newtonian Gravitation Theoretically Equivalent?James Owen Weatherall - 2016 - Erkenntnis 81 (5):1073-1091.
    I argue that a criterion of theoretical equivalence due to Glymour :227–251, 1977) does not capture an important sense in which two theories may be equivalent. I then motivate and state an alternative criterion that does capture the sense of equivalence I have in mind. The principal claim of the paper is that relative to this second criterion, the answer to the question posed in the title is “yes”, at least on one natural understanding of Newtonian gravitation.
    Download  
     
    Export citation  
     
    Bookmark   77 citations  
  • Categories for the Working Mathematician.Saunders Maclane - 1971 - Springer.
    Category Theory has developed rapidly. This book aims to present those ideas and methods which can now be effectively used by Mathe­ maticians working in a variety of other fields of Mathematical research. This occurs at several levels. On the first level, categories provide a convenient conceptual language, based on the notions of category, functor, natural transformation, contravariance, and functor category. These notions are presented, with appropriate examples, in Chapters I and II. Next comes the fundamental idea of an adjoint (...)
    Download  
     
    Export citation  
     
    Bookmark   173 citations  
  • Theoretical Equivalence as Interpretative Equivalence.Kevin Coffey - 2014 - British Journal for the Philosophy of Science 65 (4):821-844.
    The problem of theoretical equivalence is traditionally understood as the problem of specifying when superficially dissimilar accounts of the world are reformulations of a single underlying theory. One important strategy for answering this question has been to appeal to formal relations between theoretical structures. This article presents two reasons to think that such an approach will be unsuccessful and suggests an alternative account of theoretical equivalence, based on the notion of interpretive equivalence, in which the problem is merely an instance (...)
    Download  
     
    Export citation  
     
    Bookmark   40 citations  
  • Extensions of first order logic.María Manzano - 1996 - New York: Cambridge University Press.
    Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to place, for example, second-order logic, type theory, modal and dynamic logics and MSL itself. The aim is two fold: only one theorem-prover is needed; proofs of the metaproperties of the different existing calculi can be avoided by borrowing them from (...)
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  • Model theory.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   144 citations  
  • Synonymous logics.Francis Jeffry Pelletier & Alasdair Urquhart - 2003 - Journal of Philosophical Logic 32 (3):259-285.
    This paper discusses the general problem of translation functions between logics, given in axiomatic form, and in particular, the problem of determining when two such logics are "synonymous" or "translationally equivalent." We discuss a proposed formal definition of translational equivalence, show why it is reasonable, and also discuss its relation to earlier definitions in the literature. We also give a simple criterion for showing that two modal logics are not translationally equivalent, and apply this to well-known examples. Some philosophical morals (...)
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  • (1 other version)[Introduction].Wilfrid Hodges - 1988 - Journal of Symbolic Logic 53 (1):1.
    We consider two formalisations of the notion of a compositionalsemantics for a language, and find some equivalent statements in termsof substitutions. We prove a theorem stating necessary and sufficientconditions for the existence of a canonical compositional semanticsextending a given partial semantics, after discussing what features onewould want such an extension to have. The theorem involves someassumptions about semantical categories in the spirit of Husserl andTarski.
    Download  
     
    Export citation  
     
    Bookmark   72 citations  
  • The epistemology of geometry.Clark Glymour - 1977 - Noûs 11 (3):227-251.
    Your use of the JSTOR archive indicates your acceptance of J STOR’s Terms and Conditions of Use, available at http://www.jstor.org/about/terms.html. J STOR’s Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your personal, non—commercial use.
    Download  
     
    Export citation  
     
    Bookmark   61 citations  
  • (2 other versions)Set Theory and its Logic.Willard van Orman Quine - 1963 - Cambridge, MA, USA: Harvard University Press.
    This is an extensively revised edition of Mr. Quine's introduction to abstract set theory and to various axiomatic systematizations of the subject. The treatment of ordinal numbers has been strengthened and much simplified, especially in the theory of transfinite recursions, by adding an axiom and reworking the proofs. Infinite cardinals are treated anew in clearer and fuller terms than before. Improvements have been made all through the book; in various instances a proof has been shortened, a theorem strengthened, a space-saving (...)
    Download  
     
    Export citation  
     
    Bookmark   53 citations  
  • The ’Structure’ of Physics.Jill North - 2009 - Journal of Philosophy 106 (2):57–88.
    We are used to talking about the “structure” posited by a given theory of physics, such as the spacetime structure of relativity. What is “structure”? What does the mathematical structure used to formulate a theory tell us about the physical world according to the theory? What if there are different mathematical formulations of a given theory? Do different formulations posit different structures, or are they merely notational variants? I consider the case of Lagrangian and Hamiltonian classical mechanics. I argue that, (...)
    Download  
     
    Export citation  
     
    Bookmark   91 citations  
  • Morita Equivalence.Thomas William Barrett & Hans Halvorson - 2016 - Review of Symbolic Logic 9 (3):556-582.
    Logicians and philosophers of science have proposed various formal criteria for theoretical equivalence. In this paper, we examine two such proposals: definitional equivalence and categorical equivalence. In order to show precisely how these two well-known criteria are related to one another, we investigate an intermediate criterion called Morita equivalence.
    Download  
     
    Export citation  
     
    Bookmark   50 citations  
  • Glymour and Quine on Theoretical Equivalence.Thomas William Barrett & Hans Halvorson - 2016 - Journal of Philosophical Logic 45 (5):467-483.
    Glymour and Quine propose two different formal criteria for theoretical equivalence. In this paper we examine the relationships between these criteria.
    Download  
     
    Export citation  
     
    Bookmark   54 citations  
  • From Geometry to Conceptual Relativity.Thomas William Barrett & Hans Halvorson - 2017 - Erkenntnis 82 (5):1043-1063.
    The purported fact that geometric theories formulated in terms of points and geometric theories formulated in terms of lines are “equally correct” is often invoked in arguments for conceptual relativity, in particular by Putnam and Goodman. We discuss a few notions of equivalence between first-order theories, and we then demonstrate a precise sense in which this purported fact is true. We argue, however, that this fact does not undermine metaphysical realism.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • (3 other versions)Theory and Evidence.Clark Glymour - 1981 - British Journal for the Philosophy of Science 32 (3):314-318.
    Download  
     
    Export citation  
     
    Bookmark   141 citations  
  • Properties Preserved under Definitional Equivalence and Interpretations.Charles C. Pinter - 1978 - Mathematical Logic Quarterly 24 (31-36):481-488.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • On Einstein Algebras and Relativistic Spacetimes.Sarita Rosenstock, Thomas William Barrett & James Owen Weatherall - 2015 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 52 (Part B):309-316.
    In this paper, we examine the relationship between general relativity and the theory of Einstein algebras. We show that according to a formal criterion for theoretical equivalence recently proposed by Halvorson and Weatherall, the two are equivalent theories.
    Download  
     
    Export citation  
     
    Bookmark   46 citations  
  • Mutual definability does not imply definitional equivalence, a simple example.Hajnal Andréka, Judit X. Madarász & István Németi - 2005 - Mathematical Logic Quarterly 51 (6):591-597.
    We give two theories, Th1 and Th2, which are explicitly definable over each other , but are not definitionally equivalent. The languages of the two theories are disjoint.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • John P. Burgess, Fixing Frege. [REVIEW]Pierre Swiggers - 2006 - Tijdschrift Voor Filosofie 68 (3):665-665.
    Download  
     
    Export citation  
     
    Bookmark   56 citations  
  • Abbreviations.[author unknown] - 2016 - Kierkegaard Studies Yearbook 2016 (1):315-322.
    Name der Zeitschrift: Kierkegaard Studies Yearbook Jahrgang: 2016 Heft: 1 Seiten: 315-322.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Theory and Evidence.Isaac Levi - 1982 - Philosophical Review 91 (1):124.
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • (1 other version)On Carnap's Views on Ontology.John Myhill & W. V. Quine - 1955 - Journal of Symbolic Logic 20 (1):61.
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • Categories and the Foundations of Classical Field Theories.James Owen Weatherall - 2017 - In Elaine M. Landry (ed.), Categories for the Working Philosopher. Oxford, England: Oxford University Press.
    I review some recent work on applications of category theory to questions concerning theoretical structure and theoretical equivalence of classical field theories, including Newtonian gravitation, general relativity, and Yang-Mills theories.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • (2 other versions)Set Theory and its Logic: Revised Edition.Willard Van Orman Quine - 1963 - Harvard University Press.
    This is an extensively revised edition of Mr. Quine's introduction to abstract set theory and to various axiomatic systematizations of the subject.
    Download  
     
    Export citation  
     
    Bookmark   115 citations  
  • Set Theory and Its Logic.Joseph S. Ullian & Willard Van Orman Quine - 1966 - Philosophical Review 75 (3):383.
    Download  
     
    Export citation  
     
    Bookmark   40 citations  
  • Set Theory and Its Logic.J. C. Shepherdson & Willard Van Orman Quine - 1965 - Philosophical Quarterly 15 (61):371.
    Download  
     
    Export citation  
     
    Bookmark   67 citations  
  • Word and Object.Henry W. Johnstone - 1961 - Philosophy and Phenomenological Research 22 (1):115-116.
    Download  
     
    Export citation  
     
    Bookmark   301 citations  
  • (1 other version)[Introduction].Wilfrid Hodges - 1986 - Journal of Symbolic Logic 51 (4):865.
    We consider two formalisations of the notion of a compositionalsemantics for a language, and find some equivalent statements in termsof substitutions. We prove a theorem stating necessary and sufficientconditions for the existence of a canonical compositional semanticsextending a given partial semantics, after discussing what features onewould want such an extension to have. The theorem involves someassumptions about semantical categories in the spirit of Husserl andTarski.
    Download  
     
    Export citation  
     
    Bookmark   72 citations  
  • (3 other versions)Theory and Evidence.Clark Glymour - 1981 - Philosophy of Science 48 (3):498-500.
    Download  
     
    Export citation  
     
    Bookmark   296 citations  
  • On North's "The Structure of Physics".Noel Swanson & Hans Halvorson - 2012
    Jill North argues that Hamiltonian mechanics provides the most spare -- and hence most accurate -- account of the structure of a classical world. We point out some difficulties for her argument, and raise some general points about attempts to minimize structural commitments.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • (1 other version)Unification of universes in set theory.W. V. Quine - 1956 - Journal of Symbolic Logic 21 (3):267-279.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Dear Carnap, Dear Van: The Quine--Carnap Correspondence and Related Work.W. V. Quine - 1993 - Philosophical Quarterly 43 (170):121.
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  • Newton–Cartan theory and teleparallel gravity: The force of a formulation.Eleanor Knox - 2011 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 42 (4):264-275.
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  • Saving the Noumena.Lawrence Sklar - 1982 - Philosophical Topics 13 (1):89-110.
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • Dear Carnap, Dean Van: The Quine-Carnap Correspondence and Related Work by W. V. Quine and Rudolf Carnap. Richard Creath, ed. [REVIEW]Barry Stroud - 1992 - Journal of Philosophy 89 (7):383-386.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • On the Structure of Classical Mechanics.Thomas William Barrett - 2015 - British Journal for the Philosophy of Science 66 (4):801-828.
    The standard view is that the Lagrangian and Hamiltonian formulations of classical mechanics are theoretically equivalent. Jill North, however, argues that they are not. In particular, she argues that the state-space of Hamiltonian mechanics has less structure than the state-space of Lagrangian mechanics. I will isolate two arguments that North puts forward for this conclusion and argue that neither yet succeeds. 1 Introduction2 Hamiltonian State-space Has less Structure than Lagrangian State-space2.1 Lagrangian state-space is metrical2.2 Hamiltonian state-space is symplectic2.3 Metric > (...)
    Download  
     
    Export citation  
     
    Bookmark   38 citations