F. A. Muller

In the spirit of B. C. van Fraassen's view of science called Constructive Empiricism, we propose a scientific criterion to decide whether a concrete object is observable, as well as a coextensive scientific-philosophical definition of observability, and we sketch a rigorous account of modal language occurring in science. We claim that our account of observability solves three problems to which current accounts of observability, notably van Fraassen's own accounts, give rise. We further claim that our account of modal propositions (subjunctive conditionals included), which proceeds wholly within the framework of the semantic view on scientific theories, grounds his claim that such an account is possible without relying on ‘inflationary metaphysics’, notably without postulating an infinitude of different universes besides the universe we inhabit. We thus claim to solve a fourth problem: how to give a precise nominalist account of modal language in science tailor-made for Constructive Empiricism. Introduction: Rough Guides The semantic view and the wave theory of light A scientific guide and a scientific criterion A New Rough Guide and a definition The Context Problem and Psillos' Problem Musgrave's Problem Modality without inflationary metaphysics Exitum.

In his 2009 PSA Recent Ph.D. Award winning contribution to the bi-annual PSA Conference at Pittsburgh in 2008, C. Wu ̈thrich mounted an argument against struc- turalism about space-time in the context of the General Theory of Relativity, to the effect that structuralists cannot discern space-time points. An “abysmal embarrass- ment” for the structuralist, Wu ̈thrich judged. Wu ̈thrich’s characterisation of space-time structuralism is however incorrect. We demonstrate how, on the basis of a correct char- acterisation of space-time structuralism, it is possible to discern space-time points in the GTR-structures under consideration. Thus Wu ̈thrich’s argument crumbles

The quest for finding the right interpretation of Quantum Mechanics is as old as QM and still has not ended, and may never end. The question what an interpretation of QM is has hardly ever been raised explicitly, let alone answered. We raise it and answer it. Then the quest for the right interpretation can continue self-consciously, for we then know exactly what we are after. We present a list of minimal requirements that something has to meet in order to qualify as an interpretation of QM. We also raise, as a side issue, the question how the discourse on the interpretation of QM relates to hermeneutics in Continental Philosophy.

In a recent issue of this journal, P.E. Vermaas ([2005]) claims to have demonstrated that standard quantum mechanics is technologically inadequate in that it violates the 'technical functions condition'. We argue that this claim is false because based on a 'narrow' interpretation of this technical functions condition that Vermaas can only accept on pain of contradiction. We also argue that if, in order to avoid this contradiction, the technical functions condition is interpreted 'widely' rather than 'narrowly', then Vermaas, argument for his claim collapses. The conclusion is that Vermaas' claim that standard quantum mechanics is technologically inadequate evaporates

We maximally extend the quantum‐mechanical results of Muller and Saunders ( 2008 ) establishing the ‘weak discernibility’ of an arbitrary number of similar fermions in finite‐dimensional Hilbert spaces. This confutes the currently dominant view that ( A ) the quantum‐mechanical description of similar particles conflicts with Leibniz’s Principle of the Identity of Indiscernibles (PII); and that ( B ) the only way to save PII is by adopting some heavy metaphysical notion such as Scotusian haecceitas or Adamsian primitive thisness. We take sides with Muller and Saunders ( 2008 ) against this currently dominant view, which has been expounded and defended by many. *Received July 2008; revised May 2009. †To contact the authors, please write to: F. A. Muller, Faculty of Philosophy, Erasmus University Rotterdam, Burg. Oudlaan 50, H5–16, 3062 PA Rotterdam, The Netherlands; e‐mail: [email protected] , and Institute for the History and Foundations of Science, Utrecht University, Budapestlaan 6, IGG–3.08, 3584 CD Utrecht, The Netherlands; e‐mail: [email protected] . M. P. Seevinck, Institute for the History and Foundations of Science, Utrecht University, Budapestlaan 6, IGG–3.08, 3584 CD Utrecht, The Netherlands; e‐mail: [email protected].

The author endeavours to show two things: first, that Schrödingers (and Eckarts) demonstration in March (September) 1926 of the equivalence of matrix mechanics, as created by Heisenberg, Born, Jordan and Dirac in 1925, and wave mechanics, as created by Schrödinger in 1926, is not foolproof; and second, that it could not have been foolproof, because at the time matrix mechanics and wave mechanics were neither mathematically nor empirically equivalent. That they were is the Equivalence Myth. In order to make the theories equivalent and to prove this, one has to leave the historical scene of 1926 and wait until 1932, when von Neumann finished his magisterial edifice. During the period 1926–1932 the original families of mathematical structures of matrix mechanics and of wave mechanics were stretched, parts were chopped off and novel structures were added. To Procrustean places we go, where we can demonstrate the mathematical, empirical and ontological equivalence of ‘the final versions of’ matrix mechanics and wave mechanics. The present paper claims to be a comprehensive analysis of one of the pivotal papers in the history of quantum mechanics: Schrödingers equivalence paper. Since the analysis is performed from the perspective of Suppes structural view (‘semantic view’) of physical theories, the present paper can be regarded not only as a morsel of the internal history of quantum mechanics, but also as a morsel of applied philosophy of science. The paper is self-contained and presupposes only basic knowledge of quantum mechanics. For reasons of length, the paper is published in two parts; Part I appeared in the previous issue of this journal. Section 1 contains, besides an introduction, also the papers five claims and a preview of the arguments supporting these claims; so Part I, Section 1 may serve as a summary of the paper for those readers who are not interested in the detailed arguments.

In this journal (Studia Logica), D. Rizza [2010: 176] expounded a solution of what he called “the indiscernibility problem for ante rem structuralism”, which is the problem to make sense of the presence, in structures, of objects that are indiscernible yet distinct, by only appealing to what that structure provides. We argue that Rizza’s solution is circular and expound a different solution that not only solves the problem for completely extensive structures, treated by Rizza, but for nearly (but not) all mathematical structures

Once Hilbert asserted that the axioms of a theory `define` theprimitive concepts of its language `implicitly''. Thus whensomeone inquires about the meaning of the set-concept, thestandard response reads that axiomatic set-theory defines itimplicitly and that is the end of it. But can we explainthis assertion in a manner that meets minimum standards ofphilosophical scrutiny? Is Jané (2001) wrong when hesays that implicit definability is ``an obscure notion''''? Doesan explanation of it presuppose any particular view on meaning?Is it not a scandal of the philosophy of mathematics that no answersto these questions are around? We submit affirmative answers to allquestions. We argue that a Wittgensteinian conception of meaninglooms large beneath Hilbert''s conception of implicit definability.Within the specific framework of Horwich''s recent Wittgensteiniantheory of meaning called semantic deflationism, we explain anexplicit conception of implicit definability, and then go on toargue that, indeed, set-theory, defines the set-conceptimplicitly according to this conception. We also defend Horwich''sconception against a recent objection from the Neo-Fregeans Hale and Wright (2001). Further, we employ the philosophicalresources gathered to dissolve all traditional worries about thecoherence of the set-concept, raisedby Frege, Russell and Max Black, and whichrecently have been defended vigorously by Hallett (1984) in hismagisterial monograph Cantorian set-theory and limitationof size. Until this day, scandalously, these worries havebeen ignored too by philosophers of mathematics.

This paper, accessible for a general philosophical audience having only some fleeting acquaintance with set-theory and category-theory, concerns the philosophy of mathematics, specifically the bearing of category-theory on the foundations of mathematics. We argue for six claims. (I) A founding theory for category-theory based on the primitive concept of a set or a class is worthwile to pursue. (II) The extant set-theoretical founding theories for category-theory are conceptually flawed. (III) The conceptual distinction between a set and a class can be seen to be formally codified in Ackermann's axiomatisation of set-theory. (IV) A slight but significant deductive extension of Ackermann's theory of sets and classes founds Cantorian set-theory as well as category-theory, and therefore can pass as a founding theory of the whole of mathematics. (V) The extended theory does not suffer from the conceptual flaws of the extant set-theoretical founding theories. (VI) The extended theory is not only conceptually but also logically superior to the competing set-theories because its consistency can be proved on the basis of weaker assumptions than the consistency of the competition.

.  Remarkably, despite the tremendous success of axiomatic set-theory in mathematics, logic and meta-mathematics, e.g., model-theory, two philosophical worries about axiomatic set-theory as the adequate catch of the set-concept keep haunting it. Having dealt with one worry in a previous paper in this journal, we now fulfil a promise made there, namely to deal with the second worry. The second worry is the Skolem Paradox and its ensuing Skolemite skepticism. We present a comparatively novel and simple analysis of the argument of the Skolemite skeptic, which will reveal a general assumption concerning the meaning of the set-concept (we call it Connexion M). We argue that the Skolemite skeptics argument is a petitio principii and that consequently we find ourselves in a dialectical situation of stalemate.Few (if any) working set-theoreticians feel a tension – let alone see a paradox – between, on the one hand, what the Löwenheim–Skolem theorems and related results seem to be telling us about the set-concept, and, on the other hand, their uncompromising and successful use of the set-concept and their continuing enthusiasm about it, in other words: their lack of skepticism about the set-concept. Further, most (if not all) working settheoreticians have a relaxed attitude towards the ubiquitous undecidability phenomenon in set-theory, rather than a worrying one. We argue these are genuine philosophical problems about the practice of set-theory. We propound solutions, which crucially involve a renunciation of Connexion M. This breaks the dialectical situation of stalemate against the Skolemite skeptic.

I begin by criticizing an elaboration of an argument in this journal due to Hawley , who argued that, where Leibniz’s Principle of the Identity of Indiscernibles faces counterexamples, invoking relations to save PII fails. I argue that insufficient attention has been paid to a particular distinction. I proceed by demonstrating that in most putative counterexamples to PII , the so-called Discerning Defence trumps the Summing Defence of PII. The general kind of objects that do the discerning in all cases form a category that has received little if any attention in metaphysics. This category of objects lies between indiscernibles and individuals and is called relationals: objects that can be discerned by means of relations only and not by properties. Remarkably, relationals turn out to populate the universe