Russell and the Newman Problem Revisited
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Ramsification and Inductive Inference
Forthcoming in: SYNTHESE Ramsification and Inductive Inference Panu Raatikainen Abstract. An argument, different from the Newman objection, against the view that the cognitive content of a theory is exhausted by its Ramsey sentence is reviewed. The crux of the argument is that Ramsification may ruin inductive systematization between theory and observation. The argument also has some implications concerning the issue of underdetermination. 1. Introduction Scientific realism proposes that we are justified in believing that successful theories of mature science are at least approximately true, and that the unobservable theoretical entities they postulate really exist. The standard argument in favour of this view is the so•called “no• miracles argument”: the practical and observational success of science would be miraculous if scientific theories were not at least approximately true descriptions of the world, and the theoretical objects they postulate did not exist. Then again, arguments exist which seem to undermine scientific realism, and the no•miracles argument. Most importantly, perhaps, there are arguments which lean on the actual history of science and radical theory changes therein – for example, the notorious “pessimistic meta•induction”, and also various less general arguments to the same effect. Roughly, the thesis is that many past theories in science have turned out to be to a large extent false, and their theoretical terms non•referring; therefore – it is concluded – it is not justified to expect that the theoretical entities postulated by present theories exist either (see Laudan 1981). The view known asStructural Realism has emerged over the past two decades and seems to enjoy some popularity among philosophers of science. -
To What Extent Did British Advancements in Cryptanalysis During World War II Influence the Development of Computer Technology?
Portland State University PDXScholar Young Historians Conference Young Historians Conference 2016 Apr 28th, 9:00 AM - 10:15 AM To What Extent Did British Advancements in Cryptanalysis During World War II Influence the Development of Computer Technology? Hayley A. LeBlanc Sunset High School Follow this and additional works at: https://pdxscholar.library.pdx.edu/younghistorians Part of the European History Commons, and the History of Science, Technology, and Medicine Commons Let us know how access to this document benefits ou.y LeBlanc, Hayley A., "To What Extent Did British Advancements in Cryptanalysis During World War II Influence the Development of Computer Technology?" (2016). Young Historians Conference. 1. https://pdxscholar.library.pdx.edu/younghistorians/2016/oralpres/1 This Event is brought to you for free and open access. It has been accepted for inclusion in Young Historians Conference by an authorized administrator of PDXScholar. Please contact us if we can make this document more accessible: [email protected]. To what extent did British advancements in cryptanalysis during World War 2 influence the development of computer technology? Hayley LeBlanc 1936 words 1 Table of Contents Section A: Plan of Investigation…………………………………………………………………..3 Section B: Summary of Evidence………………………………………………………………....4 Section C: Evaluation of Sources…………………………………………………………………6 Section D: Analysis………………………………………………………………………………..7 Section E: Conclusion……………………………………………………………………………10 Section F: List of Sources………………………………………………………………………..11 Appendix A: Explanation of the Enigma Machine……………………………………….……...13 Appendix B: Glossary of Cryptology Terms.…………………………………………………....16 2 Section A: Plan of Investigation This investigation will focus on the advancements made in the field of computing by British codebreakers working on German ciphers during World War 2 (19391945). -
@)"'*"'O' See Fiont Matter 0039-3681/00$
Stud.Hist. Phil. Sci.,Vol. 31, No. I, pp. l5l-112,20o0 @ 20fi) Elsevier ScienceLtd. All rights reserved Printed in Great Britain @)"'*"'o' see fiont matter www.elswier.com/locate/shpsa 0039-3681/00$ - Rudolf Carnap's oTheoreticalConcepts in Sciencet Stathis Psillos* 1. Editor's Introduction Rudolf Camapdelivered the hitherto unpublishedlecture 'TheoreticalConcepts in Science' at the meeting of the American Philosophical Association, Pacific Division, at SantaBarbarg Califomia, on 29 December1959. It was part of a symposiumon 'Camap'sviews on TheoreticalConcepts in Science'.In the bibli- ographythat appearsin the end of the volume, 'The Philosophyof Rudolf Camap', edited by Faul Arthur Schilpp, a revised version of this addressappears to be amongCamap's forthcoming papers.But although Camap startedto revise it, he never finisfusdthe revision,r and never publishedthe unrevisedtranscript. Perhaps this is becausevariants of the approachto theoreticalconcepts presented for the first time in the SantaBarbara lecture have appearedin other papersof his (cf. the editorial footnotesin Carnap'slecture). Still, I thinlq the SantaBarbara address is a little philosophical gem that needsto see the light of day. The documentthat follows is the unrevisedtanscript of Carnap's lecture.2lts style, then, is tbat of an oral presentation.I decidedto leave it as it is, making only very minor stylistic chonges-which, exceptthose related to punctuation,are indicatedby curly brack- ets.3I think that reading this lecture is a rewarding experience,punctuated as the lechne is with odd remarksand autobiographicalpoints. One can alnost envisage I Department of Philosophy and History of Science, University of Athens, Athens, Greece Received 28 Apil 1998; in revkedform I September 1998. -
Conversations with Alan Musgrave
Rationality and Reality STUDIES IN HISTORY AND PHILOSOPHY OF SCIENCE VOLUME 20 General Editor: S. GAUKROGER, University of Sydney Editorial Advisory Board: RACHEL ANKENY, University of Sydney STEVEN FRENCH, University of Leeds DAVID PAPINEAU, King’ s College London NICHOLAS RASMUSSEN, University of New South Wales JOHN SCHUSTER, University of New South Wales RICHARD YEO, Griffith University RATIONALITY AND REALITY Conversations with Alan Musgrave Edited by COLIN CHEYNE University of Otago, DDunedin, New Zealand and JOHN WORRALL London School of Economics, London, UK A C.I.P. Catalogue record for this book is available from the Library of Congress. ISBN-10 1-4020-4206-X (HB) ISBN-13 978-1-4020-4206-X (HB) ISBN-10 1-4020-4207-8 (e-book) ISBN-13 978-1-4020-4207-8 (e-book) Published by Springer, P.O. Box 17, 3300 AA Dordrecht, The Netherlands. www.springer.com Cover: Photograph of Alan Musgrave used with kind permission of Gudrun Perin, Guelph, Canada Printed on acid-free paper All Rights Reserved © 2006 Springer No part of this work may be reproduced, stored in a retrieval system, or transmitted in any form or by any means, electronic, mechanical, photocopying, microfilming, recording or otherwise, without written permission from the Publisher, with the exception of any material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work. Printed in the Netherlands. TABLE OF CONTENTS Acknowledgements vii Notes on Contributors ix COLIN CHEYNE / Introduction 1 GREGORY CURRIE / Where Does the Burden of Theory Lie? 7 COLIN CHEYNE / Testimony, Induction and Reasonable Belief 19 JOHN WORRALL / Theory-Confirmation and History 31 DEBORAH G. -
Quasi-Truth As Truth of a Ramsey Sentence
Quasi-Truth as Truth of a Ramsey Sentence Sebastian Lutz∗ Draft: 2011–08–07 Abstract I show the quasi-truth of a sentence in a partial structure to be equivalent to the truth of a specific Ramsey sentence in a structure that corresponds naturally to the partial structure. Hence quasi-truth, the core notion of the partial structures approach, can be captured in the terms of the received view on scientific theories as developed by Carnap and Hempel. I further show that a mapping is a partial homomorphism/isomorphism between two partial structures if and only if it is a homomorphism/isomorphism between their corresponding structures. It is a corollary that the partial structures approach can be expressed in first or second order model theory. Keywords: partial structure; quasi-truth; pragmatic truth; partial truth; subtruth; partial homomorphism; partial isomorphism; model theory; expansion; Ramsey sentence; received view; logical empiricism The partial structures approach is in the vanguard of the semantic view on scientific theories and models (da Costa and French 2000; Le Bihan 2011, n. 3, §5), and is one of the main reasons why the received view on scientific theories as developed by, for example, Carnap(1966) and Hempel(1958) within logical empiricism is considered inferior to the semantic view (French and Ladyman 1999). I will show that the core notion of the partial structures approach, quasi-truth, can be captured very naturally within the received view. The partial structures approach is motivated by a simple epistemological point: Most of the time, scientists do not have enough information about a domain to determine its structure with arbitrary precision. -
How to Define Theoretical Terms Author(S): David Lewis Reviewed Work(S): Source: the Journal of Philosophy, Vol
Journal of Philosophy, Inc. How to Define Theoretical Terms Author(s): David Lewis Reviewed work(s): Source: The Journal of Philosophy, Vol. 67, No. 13 (Jul. 9, 1970), pp. 427-446 Published by: Journal of Philosophy, Inc. Stable URL: http://www.jstor.org/stable/2023861 . Accessed: 14/10/2012 20:19 Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at . http://www.jstor.org/page/info/about/policies/terms.jsp . JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact [email protected]. Journal of Philosophy, Inc. is collaborating with JSTOR to digitize, preserve and extend access to The Journal of Philosophy. http://www.jstor.org THE JOURNAL OF PHILOSOPHY VOLUME LXVII, NO. I3, JULY 9, 19-0 HOW TO DEFINE THEORETICAL TERMS M OST philosophers of science agree that, when a newly proposed scientific theory introduces new terms, we usually cannot define the new terms using only the old terms we understood beforehand. On the contrary, I contend that there is a general method for defining the newly introduced theo- retical terms. Most philosophers of science also agree that, in order to reduce one scientific theory to another, we need to posit bridge laws: new laws, independent of the reducing theory, which serve to identify phenomena described in terms of the reduced theory with phe nomena described in terms of the reducing theory. -
Contemporary Issues Concerning Scientific Realism
The Future of the Scientific Realism Debate: Contemporary Issues Concerning Scientific Realism Author(s): Curtis Forbes Source: Spontaneous Generations: A Journal for the History and Philosophy of Science, Vol. 9, No. 1 (2018) 1-11. Published by: The University of Toronto DOI: 10.4245/sponge.v9i1. EDITORIALOFFICES Institute for the History and Philosophy of Science and Technology Room 316 Victoria College, 91 Charles Street West Toronto, Ontario, Canada M5S 1K7 [email protected] Published online at jps.library.utoronto.ca/index.php/SpontaneousGenerations ISSN 1913 0465 Founded in 2006, Spontaneous Generations is an online academic journal published by graduate students at the Institute for the History and Philosophy of Science and Technology, University of Toronto. There is no subscription or membership fee. Spontaneous Generations provides immediate open access to its content on the principle that making research freely available to the public supports a greater global exchange of knowledge. The Future of the Scientific Realism Debate: Contemporary Issues Concerning Scientific Realism Curtis Forbes* I. Introduction “Philosophy,” Plato’s Socrates said, “begins in wonder” (Theaetetus, 155d). Two and a half millennia later, Alfred North Whitehead saw fit to add: “And, at the end, when philosophical thought has done its best, the wonder remains” (1938, 168). Nevertheless, we tend to no longer wonder about many questions that would have stumped (if not vexed) the ancients: “Why does water expand when it freezes?” “How can one substance change into another?” “What allows the sun to continue to shine so brightly, day after day, while all other sources of light and warmth exhaust their fuel sources at a rate in proportion to their brilliance?” Whitehead’s addendum to Plato was not wrong, however, in the sense that we derive our answers to such questions from the theories, models, and methods of modern science, not the systems, speculations, and arguments of modern philosophy. -
Regularity Theories
Regularity Theories Oxford Handbooks Online Regularity Theories Stathis Psillos The Oxford Handbook of Causation Edited by Helen Beebee, Christopher Hitchcock, and Peter Menzies Print Publication Date: Nov 2009 Subject: Philosophy, Metaphysics, Philosophy of Science Online Publication Date: Jan 2010 DOI: 10.1093/oxfordhb/9780199279739.003.0008 Abstract and Keywords This article articulates Regularity View of Causation (RVC) with an eye to two things: first, its conceptual development; second, its basic commitments and implications for what causation is. The article has chosen to present RVC in a way that respects its historical origins and unravels the steps of its articulation in the face of objections and criticism. It is important for the explication and defence of RVC to see it as a view of causation that emerged in a certain intellectual milieu. RVC has been developed as an attempt to remove efficiency from causation and hence, to view causation not as a productive relation but as a relation of dependence among discrete events. In particular, the thought that causation is regularity is meant to oppose metaphysical views of causation that posit powers or other kinds of entity that are supposed to enforce the regularities that there are in the world or to explain the alleged necessity that there is in causation. Keywords: Regularity View of Causation, causation, dependence, regularities, metaphysics, regularity theories 1. Introduction David Hume has made available a view of causation as it is in the world that can be called the Regularity View of Causation (RVC). His famous first definition runs thus: ‘We may define a CAUSE to be “An object precedent and contiguous to another, and where all the objects resembling the former are plac'd in like relations of precedency and contiguity to those objects, that resemble the latter” ([1739] 1978: 170). -
The Eagle 2005
CONTENTS Message from the Master .. .. .... .. .... .. .. .. .. .. .... ..................... 5 Commemoration of Benefactors .. .............. ..... ..... ....... .. 10 Crimes and Punishments . ................................................ 17 'Gone to the Wars' .............................................. 21 The Ex-Service Generations ......................... ... ................... 27 Alexandrian Pilgrimage . .. .. .. .. .. .. .. .. .. .. .. .................. 30 A Johnian Caricaturist Among Icebergs .............................. 36 'Leaves with Frost' . .. .. .. .. .. .. ................ .. 42 'Chicago Dusk' .. .. ........ ....... ......... .. 43 New Court ........ .......... ....................................... .. 44 A Hidden Treasure in the College Library ............... .. 45 Haiku & Tanka ... 51 and sent free ...... 54 by St John's College, Cambridge, The Matterhorn . The Eagle is published annually and other interested parties. Articles members of St John's College .... 55 of charge to The Eagle, 'Teasel with Frost' ........... should be addressed to: The Editor, to be considered for publication CB2 1 TP. .. .. .... .. .. ... .. ... .. .. ... .... .. .. .. ... .. .. 56 St John's College, Cambridge, Trimmings Summertime in the Winter Mountains .. .. ... .. .. ... ... .... .. .. 62 St John's College Cambridge The Johnian Office ........... ..... .................... ........... ........... 68 CB2 1TP Book Reviews ........................... ..................................... 74 http:/ /www.joh.cam.ac.uk/ Obituaries -
Carnap on Empirical Significance
Carnap on Empirical Significance Sebastian Lutz∗ Preprint: 2014–04–30 Abstract Carnap’s search for a criterion of empirical significance is usually con- sidered a failure. I argue that the results from two out of his three different approaches are at the very least problematic, but that one approach led to success. Carnap’s criterion of translatability into logical syntax is too vague to allow definite results. His criteria for terms—introducibility by reduction sentences and his criterion from “The Methodological Character of Theoretical Concepts”—are almost trivial and have no clear relation to the empirical significance of sentences. However, his criteria for sentences— translatability, verifiability, falsifiability, confirmability—are usable, and under assumption of the Carnap sentence, verifiability, falsifiability, and translatability become equivalent. The price for the Carnap sentence approach is that metaphysics cannot always be shown to be non-significant. Keywords: empirical significance; cognitive significance; meaningfulness; Carnap; logical empiricism; Ramsey sentence; Carnap sentence; verifiabil- ity; falsifiability; testability; translatability Contents 1 Introduction 2 2 Informal Translatability 3 3 Europe 6 3.1 Criteria for Sentences............................. 6 3.2 Criteria for Terms............................... 15 ∗Munich Center for Mathematical Philosophy, Ludwig-Maximilians-Universität München. se- [email protected]. A previous version was presented in 2013 at the workshop Carnap on Logic at the Ludwig-Maximilians-Universität München, some aspects were presented in 2013 at the work- shop Formal Epistemology and the Legacy of Logical Empiricism at the University of Texas at Austin and in 2012 at the Groningen/Munich Summer School Formal Methods in Philosophy. I thank the audiences for helpful comments and discussions. -
Alan Turing's Automatic Computing Engine
5 Turing and the computer B. Jack Copeland and Diane Proudfoot The Turing machine In his first major publication, ‘On computable numbers, with an application to the Entscheidungsproblem’ (1936), Turing introduced his abstract Turing machines.1 (Turing referred to these simply as ‘computing machines’— the American logician Alonzo Church dubbed them ‘Turing machines’.2) ‘On Computable Numbers’ pioneered the idea essential to the modern computer—the concept of controlling a computing machine’s operations by means of a program of coded instructions stored in the machine’s memory. This work had a profound influence on the development in the 1940s of the electronic stored-program digital computer—an influence often neglected or denied by historians of the computer. A Turing machine is an abstract conceptual model. It consists of a scanner and a limitless memory-tape. The tape is divided into squares, each of which may be blank or may bear a single symbol (‘0’or‘1’, for example, or some other symbol taken from a finite alphabet). The scanner moves back and forth through the memory, examining one square at a time (the ‘scanned square’). It reads the symbols on the tape and writes further symbols. The tape is both the memory and the vehicle for input and output. The tape may also contain a program of instructions. (Although the tape itself is limitless—Turing’s aim was to show that there are tasks that Turing machines cannot perform, even given unlimited working memory and unlimited time—any input inscribed on the tape must consist of a finite number of symbols.) A Turing machine has a small repertoire of basic operations: move left one square, move right one square, print, and change state. -
Poincare Conventions Relations
Conventions and Relations in Poincaré’s Philosophy of Science ∗∗∗ Stathis Psillos Dept of Philosophy and History of Science University of Athens, Greece & Rotman Institute of Philosophy & Dept of Philosophy, University of Western Ontario, Canada e-mail: [email protected] 1. Introduction Henri Poincare’s La Science et l’ Hypothése was translated into English in 1905. One of the first reviews—published already in 1905—was by Bertrand Russell. After praising Poincaré for his “power of co-ordinating the whole domain of mathematics and physics in a single system of ideas” (1905, 412), Russell—in this short by pointed review—put forward the two main interpretations of Poincaré’s thought that subsequently became standard. Poincaré was a conventionalist and a structuralist. According to Russell, Poincaré argued that geometry is wholly conventional and that the principles of mechanics are definitions. He rather quickly dismissed this view by taking the line that conventions are merely hypotheses which have been willingly withdrawn from empirical testing and claimed that they were not really necessary qua a different epistemic category. 1 Interestingly, he spent more time explaining that for Poincaré “science teaches us, not about things in themselves, but about their relations” (1905, 412). As Russell understood Poincaré’s main thesis, “if a really exists, a statement about a has no meaning unless it asserts a relation to a b which also really exists” (1905, 417). His prime disagreement with Poincaré was that he took that statements about qualities of real things are not devoid of meaning but simply unknowable. But apart from that, Russell endorsed this relationist reading of Poincaré and made two important points.