The Logical Geometry of Russell's Theory of Definite Descriptions

Total Page:16

File Type:pdf, Size:1020Kb

The Logical Geometry of Russell's Theory of Definite Descriptions The Logical Geometry of Russell’s Theory of Definite Descriptions Lorenz Demey∗ Abstract This paper studies Russell’s theory of definite descriptions (TDD) from the per- spective of logical geometry, i.e. by focusing on the various Aristotelian diagrams it gives rise to. Russell analyzed sentences of the form ‘the A is B’ in terms of existence, uniqueness and universality conditions. I first show that each definite de- scription gives rise to four distinct formulas (depending on negation scope), which jointly constitute a classical square of opposition. Next, I discuss the interplay be- tween the Aristotelian square for TDD and that for the categorical statements. After arguing that the latter is already implicitly present in the former, I integrate both into a single Aristotelian diagram, viz. a so-called ‘Buridan octagon’. Finally, I study the exact role of the existence and uniqueness conditions within TDD, by introducing two new logical systems based on these conditions, and showing that this has drastic consequences for the aforementioned Buridan octagon. 1 Introduction Bertrand Russell was notoriously critical of Aristotle and his followers, writing, for ex- ample, that “Aristotle, in spite of his reputation, is full of absurdities” (Russell, 1950, p. 99), and that “[t]hroughout modern times, practically every advance in science, in logic, or in philosophy has had to be made in the teeth of opposition from Aristotle’s disciples” (Russell, 1946, p. 237). Some of his most severe criticisms were directed at Aristotle’s logical theories, which he considered “wholly false, with the exception of the formal theory of the syllogism, which is unimportant” (Russell, 1946, p. 237). One of Russell’s objections against Aristotelian logic concerns its assumption of existential im- port, which would allow one to erroneously infer the (false) conclusion ‘some mountains are golden’ from the (true) premises ‘all golden mountains are mountains’ and ‘all golden mountains are golden’ (Russell, 1946, p. 232). ∗The author holds a postdoctoral fellowship of the Research Foundation–Flanders (FWO). Thanks to Elise Frketich, Jan Heylen, Stephen Neale, Hans Smessaert and Margaux Smets for their valuable feedback on earlier versions of this paper. Also thanks to the audiences of the Center for Logic and Analytic Philos- ophy seminar (Leuven, 15 November 2016), the Logic and Epistemology Research Colloquium (Bochum, 13 July 2017) and the 4th Philosophy of Language and Mind conference (Bochum, 21 – 23 September 2017), where I presented earlier versions of this paper. The work described in this paper was partially carried out during research stays with the Faculty of Philosophy at the University of Oxford (Spring 2017) and at the Institut fur¨ Philosophie II at the Ruhr-Universitat¨ Bochum (Summer 2017). 1 Throughout the history of Aristotelian logic, the square of opposition has been used to visualize the relations of contradiction, (sub)contrariety and subalternation holding between the four categorical statements. In the past few years, there has been a revived interest in the square and its various extensions and reinterpretations, mostly under the label of logical geometry (Smessaert and Demey, 2014a, 2015). Although Russell does not seem to have discussed the square in any detail (Jager, 1972, p. 144), his criticisms of syllogistics are highly relevant here, too: if the assumption of existential import is no longer made, then the categorical square loses its (sub)contrarieties and subalternations. It seems plausible that the particular severity of Russell’s opposition to the tradition of Aristotelian logic is at least partially due to the fact that some of his own most important philosophical achievements went against exactly this tradition. Consider, for example, his statement that “[e]ven at the present day, all Catholic teachers of philosophy and many others still obstinately reject the discoveries of modern logic, and adhere with a strange tenacity to a system which is as definitely antiquated as Ptolemaic astronomy” (Russell, 1946, p. 230).1 The “discoveries of modern logic” that Russell had in mind here probably include his logicist project (Whitehead and Russell, 1910, 1912, 1913) and his theory of definite descriptions (Russell, 1905). Especially the latter has been extremely influential in logic, philosophy of language and linguistics (Neale, 2005), and Russell and his contemporaries were already well aware of its significance. For example, Frank P. Ramsey praised Russell’s theory of definite descriptions as a “paradigm of philosophy” (1931, p. 263), while Russell himself claimed On Denoting to be “his finest philosophical essay” (1956, p. 39). In this paper I will argue that despite these apparent tensions, there exists a fruitful interaction between Aristotelian diagrams (as studied in logical geometry) and Russell’s theory of definite descriptions (henceforth abbreviated as ‘TDD’). Throughout the paper it will be emphasized that this interaction has advantages for both parties involved. On the one hand, the systematic construction of Aristotelian diagrams for TDD will lead us to consider various formulas involving definite descriptions (and logical equiva- lences between such formulas) that have not been investigated in any detail in the litera- ture on TDD so far. Furthermore, these Aristotelian diagrams yield a natural connection with some linguistic-cognitive considerations that are highly relevant for TDD, e.g. con- cerning the nature of natural language negation. Finally, the use of some well-chosen Aristotelian diagrams can be of great help in explaining the features and consequences of TDD, which can be particularly relevant in educational contexts involving students who do not have a strong background in formal logic, but do have extensive knowledge of Aristotelian syllogistics.2 On the other hand, TDD is a rich source of philosophically interesting decorations for a wide variety of Aristotelian diagrams (e.g. the classical square, but also hexagons, octagons, etc.). Furthermore, these applications illustrate several key techniques and phe- nomena that are studied in logical geometry (e.g. Boolean closures, bitstring semantics, 1In a similar vein: “Ever since the beginning of the seventeenth century, almost every serious intellec- tual advance has had to begin with an attack on some Aristotelian doctrine; in logic, this is still true at the present day” (Russell, 1946, p. 237). For the role of Catholicism in the debate beween modern logic and Aristotelian syllogistics, see Jaspers and Seuren (2016). 2Although this specific type of educational context is probably less widespread now than it was a few decades ago, it still occurs quite frequently; see Demey (2017) for a partial explanation. 2 the interplay between Aristotelian and Boolean structure, logic-sensitivity, etc.). Finally, certain Aristotelian diagrams for TDD turn out to be intimately related to—and thus shed important new light on—other Aristotelian diagrams that are well-known in logical ge- ometry, but prima facie have nothing to do with definite descriptions. The paper is organized as follows. Section 2 provides a brief overview of Russell’s TDD and its later developments, focusing on those aspects that will be most relevant for our present purposes. Section 3 then introduces some of the key notions and techniques that are used in logical geometry to study Aristotelian diagrams. The next two sections develop and discuss various Aristotelian diagrams for TDD, and thus constitute the core of the paper. Section 4 first explains how TDD naturally gives rise to an Aristotelian square of opposition, and then shows that this square can be extended to an Aristotelian hexagon. Section 5 discusses the connection between the Aristotelian square for TDD and the traditional Aristotelian square for syllogistics. After arguing that the latter is already implicitly present in the former, both squares are integrated into a single Aris- totelian diagram, viz. an octagon, which is then shown to be closely related to other well-known Aristotelian diagrams. Section 6, finally, wraps things up and summarizes the main results obtained in this paper. 2 Russell’s Theory of Definite Descriptions In this section I will give a brief overview of Russell’s original TDD and some of its later developments. The focus will be on those aspects of TDD that are most relevant for the present paper, which means that some key topics—such as Donnellan’s (1966) distinction between referential and attributive uses of definite descriptions—will not be discussed in any detail.3 Definite descriptions are expressions of the form ‘the so-and-so’, such as ‘the Pres- ident of the United States’ and ‘the man standing over there’. They can occur in the subject position of a sentence (e.g. ‘the President of the United States is visiting France tomorrow’) as well as in the predicate position (e.g. ‘Barack Obama is the President of the United States’), but we will focus on the former. According to Russell’s TDD, a sentence of the form ‘the A is B’ can be translated into the language of first-order logic (FOL) as follows: 9xAx ^ 8y(Ay ! y = x) ^ Bx: For ease of notation, we will henceforth often make use of Neale’s (1990) restricted quantifier notation, and abbreviate ‘the A is B’ as [the x: Ax]Bx, which should be read as: ‘the unique x such that x is A, is B’. However, it should be emphasized that nothing of philosophical substance hinges on this notational convention. It can be shown that the first-order formalization of [the x: Ax]Bx stated above is equivalent to the conjunction of the following three formulas: (EX) 9xAx, (UN) 8x8y (Ax ^ Ay) ! x = y , (UV) 8x(Ax ! Bx). 3For more comprehensive overviews of the literature, see Neale (1990), Reimer and Bezuidenhout (2004) and Ludlow (2013); furthermore, see Elbourne (2013) for a recent alternative account. 3 These three formulas jointly express the truth conditions of [the x: Ax]Bx. First of all, the existence condition (EX) states that there exists at least one A; secondly, the unique- ness condition (UN) states that there exists at most one A; and finally, the universality condition (UV) states that all As are B.
Recommended publications
  • Analytic Philosophy and the Fall and Rise of the Kant–Hegel Tradition
    Cambridge University Press 978-0-521-87272-0 - Analytic Philosophy and the Return of Hegelian Thought Paul Redding Excerpt More information INTRODUCTION: ANALYTIC PHILOSOPHY AND THE FALL AND RISE OF THE KANT–HEGEL TRADITION Should it come as a surprise when a technical work in the philosophy of language by a prominent analytic philosopher is described as ‘an attempt to usher analytic philosophy from its Kantian to its Hegelian stage’, as has 1 Robert Brandom’s Making It Explicit? It can if one has in mind a certain picture of the relation of analytic philosophy to ‘German idealism’. This particular picture has been called analytic philosophy’s ‘creation myth’, and it was effectively established by Bertrand Russell in his various accounts of 2 the birth of the ‘new philosophy’ around the turn of the twentieth century. It was towards the end of 1898 that Moore and I rebelled against both Kant and Hegel. Moore led the way, but I followed closely in his foot- steps. I think that the first published account of the new philosophy was 1 As does Richard Rorty in his ‘Introduction’ to Wilfrid Sellars, Empiricism and the Philosophy of Mind, with introduction by Richard Rorty and study guide by Robert Brandom (Cambridge, Mass.: Harvard University Press, 1997), pp. 8–9. 2 The phrase is from Steve Gerrard, ‘Desire and Desirability: Bradley, Russell, and Moore Versus Mill’ in W. W. Tait (ed.), Early Analytic Philosophy: Frege, Russell, Wittgenstein (Chicago: Open Court, 1997): ‘The core of the myth (which has its origins in Russell’s memories) is that with philosophical argument aided by the new logic, Russell and Moore slew the dragon of British Idealism ...An additional aspect is that the war was mainly fought over two related doctrines of British Idealism ...The first doctrine is an extreme form of holism: abstraction is always falsification.
    [Show full text]
  • Reference and Definite Descriptions1
    Philosophical Review !"#"$"%&"'(%)'*"#+%+,"'*"-&$+.,+/%- 01,2/$3-45'6"+,2'78'*/%%"99(% 7/1$&"5':2"';2+9/-/.2+&(9'!"<+"=>'?/98'@A>'B/8'C'3D198>'EFGG4>'..8'HIEJCKL ;1M9+-2")'MN5'*1O"'P%+<"$-+,N';$"--'/%'M"2(9#'/#';2+9/-/.2+&(9'!"<+"= 7,(M9"'P!Q5'http://www.jstor.org/stable/2183143 0&&"--")5'KARKIRHKEK'EA5HC Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR'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. Please contact the publisher regarding any further use of this work. Publisher contact information may be obtained at http://www.jstor.org/action/showPublisher?publisherCode=duke. Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission. 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]. Duke University Press and Philosophical Review are collaborating with JSTOR to digitize, preserve and extend access to The Philosophical Review. http://www.jstor.org REFERENCE AND DEFINITE DESCRIPTIONS1 I DEFINITE descriptions, I shall argue, have two possible func- tions.
    [Show full text]
  • Automating Free Logic in HOL, with an Experimental Application in Category Theory
    Noname manuscript No. (will be inserted by the editor) Automating Free Logic in HOL, with an Experimental Application in Category Theory Christoph Benzm¨uller and Dana S. Scott Received: date / Accepted: date Abstract A shallow semantical embedding of free logic in classical higher- order logic is presented, which enables the off-the-shelf application of higher- order interactive and automated theorem provers for the formalisation and verification of free logic theories. Subsequently, this approach is applied to a selected domain of mathematics: starting from a generalization of the standard axioms for a monoid we present a stepwise development of various, mutually equivalent foundational axiom systems for category theory. As a side-effect of this work some (minor) issues in a prominent category theory textbook have been revealed. The purpose of this article is not to claim any novel results in category the- ory, but to demonstrate an elegant way to “implement” and utilize interactive and automated reasoning in free logic, and to present illustrative experiments. Keywords Free Logic · Classical Higher-Order Logic · Category Theory · Interactive and Automated Theorem Proving 1 Introduction Partiality and undefinedness are prominent challenges in various areas of math- ematics and computer science. Unfortunately, however, modern proof assistant systems and automated theorem provers based on traditional classical or intu- itionistic logics provide rather inadequate support for these challenge concepts. Free logic [24,25,30,32] offers a theoretically appealing solution, but it has been considered as rather unsuited towards practical utilization. Christoph Benzm¨uller Freie Universit¨at Berlin, Berlin, Germany & University of Luxembourg, Luxembourg E-mail: [email protected] Dana S.
    [Show full text]
  • Mathematical Logic. Introduction. by Vilnis Detlovs And
    1 Version released: May 24, 2017 Introduction to Mathematical Logic Hyper-textbook for students by Vilnis Detlovs, Dr. math., and Karlis Podnieks, Dr. math. University of Latvia This work is licensed under a Creative Commons License and is copyrighted © 2000-2017 by us, Vilnis Detlovs and Karlis Podnieks. Sections 1, 2, 3 of this book represent an extended translation of the corresponding chapters of the book: V. Detlovs, Elements of Mathematical Logic, Riga, University of Latvia, 1964, 252 pp. (in Latvian). With kind permission of Dr. Detlovs. Vilnis Detlovs. Memorial Page In preparation – forever (however, since 2000, used successfully in a real logic course for computer science students). This hyper-textbook contains links to: Wikipedia, the free encyclopedia; MacTutor History of Mathematics archive of the University of St Andrews; MathWorld of Wolfram Research. 2 Table of Contents References..........................................................................................................3 1. Introduction. What Is Logic, Really?.............................................................4 1.1. Total Formalization is Possible!..............................................................5 1.2. Predicate Languages.............................................................................10 1.3. Axioms of Logic: Minimal System, Constructive System and Classical System..........................................................................................................27 1.4. The Flavor of Proving Directly.............................................................40
    [Show full text]
  • “Silence Is Your Praise” Maimonides' Approach To
    Rabbi Rafael Salber “Silence is your praise” Maimonides’ Approach to Knowing God: An Introduction to Negative Theology Rabbi Rafael Salber The prophet Isaiah tells us, For my thoughts are not your thoughts, neither are my ways your ways, saith the Lord. For as the heavens are higher than the earth, so are my ways higher than your ways. 73 The content of this verse suggests the inability of mankind to comprehend the knowledge and thoughts of God, as well as the 73 Isaiah 55: 8- 9. The context of the verse is that Isaiah is conveying the message to the people of Israel that the ability to return to God (Teshuvah) is available to them, since the “traits” of God are conducive to this. See Moreh Nevuchim ( The Guide to the Perplexed ) 3:20 and the Sefer haIkkarim Maamar 2, Ch. 3. 65 “Silence is your praise”: Maimonides’ Approach to Knowing God: An Introduction to Negative Theology divergence of “the ways” of God and the ways of man. The extent of this dissimilarity is clarified in the second statement, i.e. that it is not merely a distance in relation, but rather it is as if they are of a different category altogether, like the difference that exists between heaven and earth 74 . What then is the relationship between mankind and God? What does the prophet mean when he describes God as having thoughts and ways; how is it even possible to describe God as having thoughts and ways? These perplexing implications are further compounded when one is introduced to the Magnum Opus of Maimonides 75 , the Mishneh Torah .
    [Show full text]
  • Proceedings and Addresses of the American Philosophical Association
    September 2007 Volume 81, Issue 1 Proceedings and Addresses of The American Philosophical Association apa THE AMERICAN PHILOSOPHICAL ASSOCIATION Eastern Division Program University of Delaware Newark, DE 19716 www.apaonline.org The American Philosophical Association Eastern Division One Hundred Fourth Annual Meeting Marriott Waterfront Hotel Baltimore, MD December 27 - 30, 2007 Proceedings and Addresses of The American Philosophical Association Proceedings and Addresses of the American Philosophical Association (ISSN 0065-972X) is published five times each year and is distributed to members of the APA as a benefit of membership and to libraries, departments, and institutions for $75 per year. It is published by The American Philosophical Association, 31 Amstel Ave., University of Delaware, Newark, DE 19716. Second-Class Postage Paid at Newark, DE and additional mailing offices. POSTMASTER: Send address changes to Proceedings and Addresses, The American Philosophical Association, University of Delaware, Newark, DE 19716. Editor: David E. Schrader Phone: (302) 831-1112 Publications Coordinator: Erin Shepherd Fax: (302) 831-8690 Associate Editor: Richard Bett Web: www.apaonline.org Meeting Coordinator: Linda Smallbrook Proceedings and Addresses of The American Philosophical Association, the major publication of The American Philosophical Association, is published five times each academic year in the months of September, November, January, February, and May. Each annual volume contains the programs for the meetings of the three Divisions; the membership list; Presidential Addresses; news of the Association, its Divisions and Committees, and announcements of interest to philosophers. Other items of interest to the community of philosophers may be included by decision of the Editor or the APA Board of Officers.
    [Show full text]
  • Gottlob Frege Patricia A
    Gottlob Frege Patricia A. Blanchette This is the penultimate version of the essay whose final version appears in the Oxford Handbook of Nineteenth-Century German Philosophy, M. Forster and K. Gjesdal (eds), Oxford University Press 2015, pp 207-227 Abstract Gottlob Frege (1848-1925) made significant contributions to both pure mathematics and philosophy. His most important technical contribution, of both mathematical and philosophical significance, is the introduction of a formal system of quantified logic. His work of a more purely- philosophical kind includes the articulation and persuasive defense of anti-psychologism in mathematics and logic, the rigorous pursuit of the thesis that arithmetic is reducible to logic, and the introduction of the distinction between sense and reference in the philosophy of language. Frege’s work has gone on to influence contemporary work across a broad spectrum, including the philosophy of mathematics and logic, the philosophy of language, and the philosophy of mind. This essay describes the historical development of Frege’s central views, and the connections between those views. Introduction Friedrich Ludwig Gottlob Frege was born on November 8, 1848 in the Hanseatic town of Wismar. He was educated in mathematics at the University of Jena and at the University of Göttingen, from which latter he received his doctorate in 1873. He defended his Habilitation the next year in Jena, and took up a position immediately at the University of Jena. Here he spent his entire academic career, lecturing in mathematics and logic, retiring in 1918. His death came on July 26, 1925 in the nearby town of Bad Kleinen.1 Frege is best known for three significant contributions to philosophy.
    [Show full text]
  • Bertrand Russell in the Great Soviet Encyclopedia
    Russell's philosophical evolution led him into a broad program of research where he applied the resources of mathematical logic to theoreti­ cal inquiry. In the neorealist and neopositivist stages of Russell's evolution this program led to the formulating of his Theory of Knowledge, and from then on he again recognized the independent significance of philosophical problems. 3 Russell created the concept of logical atomism and he founded logical analysis. Bertrand Russell in the The working out of philosophical questions in mathematics occupies a large place in his works. One of the paradoxes in set theory (Russell's Great Soviet Encyclopedia: Paradox) led him to the formation of the original version of axiomatic set theory4 (see also Theory of Types) and to the consequent attempt at l a translation from Russian reducing mathematics to logic. Russell and Whitehead coauthored the 3­ vol ume work "Principia Mathematica" (1910-1913). They systematized and developed the deductive-axiomatic formation of logic (see Logicism). USSELL2 Bertrand (18.5.1872, Trelleck, Wales--2.2.1970, Penrhyndeu­ Russell developed the original Theory of Descriptions. R draeth, Wales), English philosopher, logician, mathematician, sociolo­ In his sociological views Russell was close to Psychologism. Accord­ gist, public figure. Between 1910 and 1916 Russell was a professor at ing to him, at the foundations of the historical process and the behaviour Cambridge University, where he graduated in 1894. He was professor at of people lie instincts, passions. Russell said that from a combination various universities in Great Britain and the U.S. In 1908 he became a of factors determining historical change it is impossible to pick out the member of the Royal Society.
    [Show full text]
  • The Modal Logic of Potential Infinity, with an Application to Free Choice
    The Modal Logic of Potential Infinity, With an Application to Free Choice Sequences Dissertation Presented in Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in the Graduate School of The Ohio State University By Ethan Brauer, B.A. ∼6 6 Graduate Program in Philosophy The Ohio State University 2020 Dissertation Committee: Professor Stewart Shapiro, Co-adviser Professor Neil Tennant, Co-adviser Professor Chris Miller Professor Chris Pincock c Ethan Brauer, 2020 Abstract This dissertation is a study of potential infinity in mathematics and its contrast with actual infinity. Roughly, an actual infinity is a completed infinite totality. By contrast, a collection is potentially infinite when it is possible to expand it beyond any finite limit, despite not being a completed, actual infinite totality. The concept of potential infinity thus involves a notion of possibility. On this basis, recent progress has been made in giving an account of potential infinity using the resources of modal logic. Part I of this dissertation studies what the right modal logic is for reasoning about potential infinity. I begin Part I by rehearsing an argument|which is due to Linnebo and which I partially endorse|that the right modal logic is S4.2. Under this assumption, Linnebo has shown that a natural translation of non-modal first-order logic into modal first- order logic is sound and faithful. I argue that for the philosophical purposes at stake, the modal logic in question should be free and extend Linnebo's result to this setting. I then identify a limitation to the argument for S4.2 being the right modal logic for potential infinity.
    [Show full text]
  • Brsq 0096.Pdf
    /,,-,,,.I (hrir"M/W:|J,„'JJ(// Bulk Mail -:::-``.::`:.1:.t` U.S. Postage ci{08O#altruntr%%ditl.i PAID Permit No. 5659 CfldemmJin, ORE 23307 Alexandria, VA MR. DENNIS J. DARLAND /9999 .1965 WINDING HILLS RD. (1304) DAVENPORT IA 52807 T=..:€,,5fa=.`¥ _ atiTst:.:..¥5 3`=3 13LT„j§jLj;,:j2F,f:Lu,i,:,„„„„3.,§§.i;§„L„;j„§{j;;`„„:i THE BHRTRAND RUSSELL SOCIHTY QUARTERLY Newsletter o the Bertrand Russell Socie November 1997 No. 96 FROM THH EDITOR John Shosky ................................... 3 FROM THE PRESIDHNT John R. Lenz ................................... 4 BERTRAND RUSSELL SOCIETY CONFERENCH: 19-21 JUNE 1998 ...................... RUSSELL NEWS: Publications, etc ....................... 6 RUSSELL'S PLATO David Rodier ................................... 7 A BOOK REVIEW John Shosky .................................. 19 MEMORY COMES AND GOES: A Video Review Cliff Henke ................................... 22 THE GREATER ROCHESTER RUSSELL SET Peter Stone ................................... 24 BERTRAND RUSSELL SOCIETY Membership PI.orlles ............................ 25 BERTRAND RUSSELL SOCIETY 1998 Call for Board Nominations .................. 27 BERTRAND RUSSELL SOCIETY Membership pror]]e Form . 29 1 FROM THE EDITOR BHRTRAND RUSSELL SOCIETY John Shosky 1998 Membership Renewal Form ................... 31 American University Wc beSn this issue with a report from the society president, John Lenz. He will announce the preliminary details of the Annual Bertrand Russell Society Corferencc, which will be held June 19-21 at the Ethics Center of the University of South Florida in St. Petersburg. John's report will be followed by "Russell News", which is a column of short blurbs about Russell, works on Russell, society happenings, reports on members, general gossip, and other vital talking points for the informed and discerning society member. In my view, the standard of information one should strive for, in a Platonic sense, is Ken Blackwell, the guru of Russell trivia, realizing that Ken has a considerable head start on all of us.
    [Show full text]
  • Ludwig.Wittgenstein.-.Philosophical.Investigations.Pdf
    PHILOSOPHICAL INVESTIGATIONS By LUDWIG WITTGENSTEIN Translated by G. E. M. ANSCOMBE BASIL BLACKWELL TRANSLATOR'S NOTE Copyright © Basil Blackwell Ltd 1958 MY acknowledgments are due to the following, who either checked First published 1953 Second edition 1958 the translation or allowed me to consult them about German and Reprint of English text alone 1963 Austrian usage or read the translation through and helped me to Third edition of English and German text with index 1967 improve the English: Mr. R. Rhees, Professor G. H. von Wright, Reprint of English text with index 1968, 1972, 1974, 1976, 1978, Mr. P. Geach, Mr. G. Kreisel, Miss L. Labowsky, Mr. D. Paul, Miss I. 1981, 1986 Murdoch. Basil Blackwell Ltd 108 Cowley Road, Oxford, OX4 1JF, UK All rights reserved. Except for the quotation of short passages for the purposes of criticism and review, no part of this publication may be NOTE TO SECOND EDITION reproduced, stored in a retrieval system, or transmitted, in any form or by any means, electronic, mechanical, photocopying, recording or THE text has been revised for the new edition. A large number of otherwise, without the prior permission of the publisher. small changes have been made in the English text. The following passages have been significantly altered: Except in the United States of America, this book is sold to the In Part I: §§ 108, 109, 116, 189, 193, 251, 284, 352, 360, 393,418, condition that it shall not, by way of trade or otherwise, be lent, re- 426, 442, 456, 493, 520, 556, 582, 591, 644, 690, 692.
    [Show full text]
  • The Theory of Descriptions 1. Bertrand Russell (1872-1970): Mathematician, Logician, and Philosopher
    Louis deRosset { Spring 2019 Russell: The Theory of Descriptions 1. Bertrand Russell (1872-1970): mathematician, logician, and philosopher. He's one of the founders of analytic philosophy. \On Denoting" is a founding document of analytic philosophy. It is a paradigm of philosophical analysis. An analysis of a concept/phenomenon c: a recipe for eliminating c-vocabulary from our theories which still captures all of the facts the c-vocabulary targets. FOR EXAMPLE: \The Name View Analysis of Identity." 2. Russell's target: Denoting Phrases By a \denoting phrase" I mean a phrase such as any one of the following: a man, some man, any man, every man, all men, the present King of England, the present King of France, the centre of mass of the Solar System at the first instant of the twentieth century, the revolution of the earth round the sun, the revolution of the sun round the earth. (479) Includes: • universals: \all F 's" (\each"/\every") • existentials: \some F " (\at least one") • indefinite descriptions: \an F " • definite descriptions: \the F " Later additions: • negative existentials: \no F 's" (480) • Genitives: \my F " (\your"/\their"/\Joe's"/etc.) (484) • Empty Proper Names: \Apollo", \Hamlet", etc. (491) Russell proposes to analyze denoting phrases. 3. Why Analyze Denoting Phrases? Russell's Project: The distinction between acquaintance and knowledge about is the distinction between the things we have presentation of, and the things we only reach by means of denoting phrases. [. ] In perception we have acquaintance with the objects of perception, and in thought we have acquaintance with objects of a more abstract logical character; but we do not necessarily have acquaintance with the objects denoted by phrases composed of words with whose meanings we are ac- quainted.
    [Show full text]