1. Reference and modality by W. V. O. Quine.--2. Modality and description by A. F. Smullyan.--3. Extensionality by R. B. Marcus.--4. Quantification into causal contexts by D. Føllesdal.--5. Semantical considerations on modal logic by S. A. Kripke.--6. Essentialism and quantified modal logic by T. Parsons.--7. Reference, essentialism, and modality by L. Linsky.--8. Quantifiers and propositional attitudes by W. V. O. Quine.--9. Quantifying in by D. Kaplan.--10. Semantics for propositional attitudes by J. Hintikka.--11. On Carnap's analysis of statements of assertion (...) and belief by A. Church.--Bibliography (p. [173]-175). (shrink)

This is a companion article to the translation of ‘Zasada sprzeczności a logika symboliczna’, the appendix on symbolic logic of Jan Łukasiewicz's 1910 book O zasadzie sprzeczności u Arytotelesa (On the Principle of Contradiction in Aristotle). While the appendix closely follows Couturat's 1905 book L'algebra de la logique (The Algebra of Logic), footnotes show that Łukasiewicz was aware of the work of Peirce, Huntington and Russell (before Principia Mathematica). This appendix was influential in the development of the Polish school of (...) logic, directly inspiring Stanisław Leśniewski and Leon Chwistek and more widely by serving as a text of the new symbolic logic. This appendix was an important source of the dominant algebraic logic in Poland, but also indicates that Łukasiewicz appreciated Russell's axiomatic approach to logic. (shrink)

This critical notice of Stephen Neale's "Descriptions", (MIT Press, 1990) summarizes the content of the book and presents several objections to its arguments, as well as praising Neale for showing just how close the linguistic notion of L F is to the analytic philosopher's notion of "logical form". It is claimed that Neale's use of generalized quantifiers to represent definite descriptions from Russell's account by which descriptions are "incomplete symbols". I also argue that his assessment of the Quine/Smullyan exchange about (...) "Necessarily the number of the planets is greater than seven" is incorrect. (shrink)

This collection, with an agreeable proportion of new material and a sensible selection of old, is worth the money and ought to be on the shelf of anyone interested in recent work on language by philosophers, psychologists, and linguists. The section by linguists proper is the longer and more up to date but this seems quite in order: today neither work in philosophy nor psychology can provide a plausible center-of-attention that will take in the other and linguistics as flanking material. (...) For better and worse linguistics is the centerpiece: and the debate between "interpretive" and "generative" semanticists, here respectively represented by Chomsky and George Lakoff, is the center, most likely, of the centerpiece. The generative semanticists suggest that the base and semantic components ultimately come to the same: the distinction between syntactic rules and semantic rules is presumed as in the Chomskian position but it is thought that the algorithm of wellformedness will turn out to provide all the rules needed for semantic interpretation. The interpretive semantic alternative, here argued by Chomsky in a paper otherwise difficult to obtain except in mimeo, distinguishes semantic from base component by insisting, particularly in matters respecting reference and quantification, that transformations are not meaning-invariant, and that, hence, the semantic component is fed by both the base and surface structures independently. To put the interpretive view in terms of Tarski-cum-Davidsonian biconditionals, we would no longer have on the left side of the biconditional one ’structural-descriptive’ string but rather two separate strings, one surface and the other deep, that would jointly and independently determine meaning. The generative semanticists, following James McCawley, stress that their argument against autonomous deep syntax follows in form Morris Halle’s well-known argument against a phonemic level of description supposed intermediate between superficial surface syntax and systematic phonetics. The basic question one raises against this argument is whether logico-semantic form constitutes itself for linguistic science as one level of description and as an essentially linguistic level of description. One can see an obvious place for philosophers in these arguments, though one finds in this volume very little suggestion of philosophical-semantic work, in the Frege-Carnap tradition, that Donald Davidson, Richard Montague, John Wallace, etc., have been carrying on lately. There is a previously unpublished paper by David Wiggins in this vein, but though Wiggins is his usual brilliant and playfully convoluted self, this is too idiosyncratic and occasional a piece to represent what is by way of a movement. Indeed, aside from the Wiggins-Alston material, the philosopher’s section is solid but familiar material: H. P. Grice’s famous paper on meaning and Paul Ziff’s criticism of Grice’s theory; Gilbert Harman’s "Three Levels of Meaning"; late-1960s papers by Donnellan, Linsky, Quine, Strawson, Vendler, and Searle on reference. But this aside this volume vividly makes the point that philosophy and linguistics have never been more entangled with each other in a genuine working relationship. Chomsky’s arguments come in part from recent philosopher’s work. There is evident concern by linguists with presuppositions and performatives. "Fact," an important and not easily available paper by Paul and Carol Kilparski, sparks the philosophic imagination—as do new pieces on lexical entries, semantic features, and categories by Charles Fillmore, Manfried Bierwisch, and others. Almost enough to justify J. L. Austin’s hopes for a joint endeavor of linguists, philosophers, and psychologists: one sees in the footnotes and bibliographies, in the issue and vocabulary, that disciplines are joining and reflecting upon each other in day-to-day work. The psychology section also contains one large new piece: a splendidly energetic defense of linguistic behaviorism by Charles Osgood. One finds balance for this in Jerry Fodor’s "Could meaning be an rm?" And some good, current, and often not easily available material by George Miller, Eric Lennberg, and others. The "overviews" for the various sections are quite distinguished themselves: but this is only in keeping with general character of this reader.—J. L. (shrink)

I show that Frege's statement (In the Epilogue to his Grundgesetze der Arithmetic v. II) of a way to avoid Russell's paradox is defective, in that he presents two different methods as if they were one. One of these "ways out" is notably more plausible than the other, and is almost surely what Frege really intended. The well-known arguments of Lesniewski, Geach, and Quine that Frege's revision of his system is inadequate to avoid paradox are not affected by the ambiguity (...) of Frede's statement. But a rectnt argument by Linsky and Schumm (Analysis 82 (1971-72), 5-7), intended as a very simple derivation of a contradiction within Frege's revised system, is valid only for the less plausible of the two versions of Frege's way out, and thus is not an effective attack on the revision that Frege intended to make. (shrink)

In the case of an actual proper name such as ‘Aristotle’ opinions as to the Sinn may differ. It might, for instance, be taken to be the following: the pupil of Plato and teacher of Alexander the Great. Anybody who does this will attach another Sinn to the sentence ‘Aristotle was born in Stagira’ than will a man who takes as the Sinn of the name: the teacher of Alexander the Great who was born in Stagira. So long as the (...) Bedeutung remains the same, such variations of Sinn may be tolerated, although they are to be avoided.. (shrink)

Leon Chwistek's 1924 paper ?The Theory of Constructive Types? is cited in the list of recent ?contributions to mathematical logic? in the second edition of Principia Mathematica, yet its prefatory criticisms of the no-classes theory have been seldom noticed. This paper presents a transcription of the relevant section of Chwistek's paper, comments on the significance of his arguments, and traces the reception of the paper. It is suggested that while Russell was aware of Chwistek's points, they were not important in (...) leading him to the adoption of extensionality that marks the second edition of PM. Rudolf Carnap seems to have independently rediscovered Chwistek's issue about the scope of class expressions in identity contexts in his Meaning and Necessity in 1947. (shrink)

Originally published in 1910, Principia Mathematica led to the development of mathematical logic and computers and thus to information sciences. It became a model for modern analytic philosophy and remains an important work. In the late 1960s the Bertrand Russell Archives at McMaster University in Canada obtained Russell's papers, letters and library. These archives contained the manuscripts for the new Introduction and three Appendices that Russell added to the second edition in 1925. Also included was another manuscript, 'The Hierarchy of (...) Propositions and Functions', which was divided up and re-used to create the final changes for the second edition. These documents provide fascinating insight, including Russell's attempts to work out the theorems in the flawed Appendix B, 'On Induction'. An extensive introduction describes the stages of the manuscript material on the way to print and analyzes the proposed changes in the context of the development of symbolic logic after 1910. (shrink)

BERTRAND RUSSELL ON MODALITY AND LOGICAL RELEVANCE - SECOND EDITION of 2015. Praise for the first edition of 1999: "In the twenty-nine years since Russell's death, much of the major scholarship has drawn heavily on his manuscripts and unpublished correspondence. The author shows that the published Russell is capable of new interpretations; in particular, that modal notions such as possibility have a greater place in various aspects of his logical and philosophical thought than has been previously imagined." -Ivor Grattan-Guinness, Foreword (...) to the first edition. EXCERPT FROM PUBLISHED REVIEW: "Dejnožka's book is the first full-length study of modality in Russell. It is useful for its very full survey of passages in which Russell makes use of or alludes to modal notions. Dejnožka's command of Russell's huge output is indeed impressive and his utilization of it thorough...." - Nicholas Griffin, Studia Logica. EXCERPT FROM PUBLISHED REVIEW: "Dejnožka's book raises a very important point in the history of formal logic. Until now the major studies on this topic have drawn heavily on the development of classical logic as standardized by Gottlob Frege and Bertrand Russell. Dejnožka challenges the reader to open his mind for a new interpretation of Russell's work, in particular that modal and relevance notions have a greater place in his philosophy of logic than has been stressed before.... "Dejnožka rightly observes that many of Russell's insights on modality are a result of his discussions with Hugh MacColl, who was indeed the first to seriously attempt to develop formal modal logic. This particularly applies to Russell's conception of a modal logic without modal operators....That is, classical logic can be used to simulate modal expressions. Thus, the notions of (logical) necessity and possibility are not 'fundamental notions'....On this basis, Dejnožka develops a higher level of modality, where the quantification scope extends to the predicates yielding what Russell calls 'fully general propositions'.... "The best studied translation method is known as the standard translation, and it is quite compatible with Dejnožka's suggestions.... "Dejnožka's book is full of material which stimulates [one] to rethink Russell's philosophy of logic and...it is greatly to the author's credit that he brings to light such a wealth of crucial issues in the history and philosophy of logic. - Shahid Rahman, History and Philosophy of Logic. BOOK DESCRIPTION: This book is the only exhaustive study of Russell on modality and logical relevance ever written. This is the second edition, revised over a period of over sixteen years, and over twice as long. Russell initially rejects the possibility of a modal logic in an unpublished paper written ca. 1903-05 and read to an audience in 1905. But the very next year, he adopts the theory of modality he had rejected, and he repeats that theory in published works for many years to come. That theory, together with other texts scattered among Russell's writings, implies eight modal logics which Russell himself never expressly accepted. And Russell's express acceptance of the early Wittgenstein's theory of entailment ("following from") as truth-ground containment implies a deductive relevance logic in Russell's writings which Russell himself never expressly accepted. The book ends with a look at John Maynard Keynes and Anglo-American evidence law as the origins of Russell's theory of probability as degree of logical relevance. Thus the book is written toward the reunion of modern classical logicians with modal logicians and relevantists. On the reunion of modern classical logicians with relevantists, please see also The Concept of Relevance and the Logic Diagram Tradition (2012). Thus I hope to have created two new fields of Russell studies. I may have created a new legal field as well: the history of logical relevance in evidence law: 132 pages (368-500) in chapter 10. (shrink)

A Companion to Analytic Philosophy is a comprehensive guide to many significant analytic philosophers and concepts of the last hundred years. Provides a comprehensive guide to many of the most significant analytic philosophers of the last one hundred years. Offers clear and extensive analysis of profound concepts such as truth, goodness, knowledge, and beauty. Written by some of the most distinguished philosophers alive, some of whom have entries in the book devoted to them.

In the Grundlagen Frege says that "line a is parallel to line b" differs from "the direction of a = the direction of b" in that "we carve up the content in a way different from the original way". It seems that such recarving is crucial to Frege's logicist program of defining numbers, but it also seems incompatible with his later theory of sense and reference. I formulate a restriction on recarving, in particular, that no names may be introduced that (...) introduce new possibilities of reference failure, which is observed by Frege's examples. This restriction discriminates between various relatives of the "slingshot" argument which rely on a step of recarving. I offer an argument for the restriction based on Fregean principles, which I formalize in Church's "Logic of Sense and Denotation", and briefly discuss various axioms of his "Alternative (0)" which are incompatible with recarving. (shrink)

In 1921 Bertrand Russell delivered two lectures on mathematical logic at Peking University. Manuscripts for the lectures have not been found, but two sets of Chinese notes, which were based on a simultaneous oral translation of Russell’s lecturing, were published. The notes are translated into English based on the best readings of both sets. An introduc­tion and notes with a glossary discuss the background and content of the lectures as well as the linguistic difficulties in translating logical terms.

This paper investigates the strange case of an argument that was directed against a positivist verification principle. We find an early occurrence of the argument in a talk by the phenomenologist Roman Ingarden at the 1934 International Congress of Philosophy in Prague, where Carnap and Neurath were present and contributed short rejoinders. We discuss the underlying presuppositons of the argument, and we evaluate whether the attempts by Carnap (especially) actually succeed in answering this argument. We think they don’t, and offer (...) instead a few sociological thoughts about why the argument seems to have disappeared from the profession’s evaluaton of the positivist criterion of verifiability. (shrink)

The simplest quantified modal logic combines classical quantification theory with the propositional modal logic K. The models of simple QML relativize predication to possible worlds and treat the quantifier as ranging over a single fixed domain of objects. But this simple QML has features that are objectionable to actualists. By contrast, Kripke-models, with their varying domains and restricted quantifiers, seem to eliminate these features. But in fact, Kripke-models also have features to which actualists object. Though these philosophers have introduced variations (...) on Kripke-models to eliminate their objectionable features, the most well-known variations all have difficulties of their own. The present authors reexamine simple QML and discover that, in addition to having a possibilist interpretation, it has an actualist interpretation as well. By introducing a new sort of existing abstract entity, the contingently nonconcrete, they show that the seeming drawbacks of the simplest QML are not drawbacks at all. Thus, simple QML is independent of certain metaphysical questions. (shrink)

To mark the centenary of the 1910 to 1913 publication of the monumental Principia Mathematica by Alfred N. Whitehead and Bertrand Russell, this collection of fifteen new essays by distinguished scholars considers the influence and history of PM over the last hundred years.

In "Actualism or Possibilism?" (Philosophical Studies, 84 (2-3), December 1996), James Tomberlin develops two challenges for actualism. The challenges are to account for the truth of certain sentences without appealing to merely possible objects. After canvassing the main actualist attempts to account for these phenomena, he then criticizes the new conception of actualism that we described in our paper "In Defense of the Simplest Quantified Modal Logic" (Philosophical Perspectives 8: Philosophy of Logic and Language, Atascadero, CA: Ridgeview, 1994). We respond (...) to Tomberlin's criticism by showing that we wouldn't analyze the problematic claim (e.g., "Ponce de Leon searched for the fountain of youth") in the way he suggests. (shrink)

In this paper, we develop an alternative strategy, Platonized Naturalism, for reconciling naturalism and Platonism and to account for our knowledge of mathematical objects and properties. A systematic (Principled) Platonism based on a comprehension principle that asserts the existence of a plenitude of abstract objects is not just consistent with, but required (on transcendental grounds) for naturalism. Such a comprehension principle is synthetic, and it is known a priori. Its synthetic a priori character is grounded in the fact that it (...) is an essential part of the logic in which any scientific theory will be formulated and so underlies (our understanding of) the meaningfulness of any such theory (this is why it is required for naturalism). Moreover, the comprehension principle satisfies naturalist standards of reference, knowledge, and ontological parsimony! As part of our argument, we identify mathematical objects as abstract individuals in the domain governed by the comprehension principle, and we show that our knowledge of mathematical truths is linked to our knowledge of that principle. (shrink)

In ‘On Denoting’ and to some extent in ‘Review of Meinong and Others, Untersuchungen zur Gegenstandstheorie und Psychologie’, published in the same issue of Mind (Russell, 1905a,b), Russell presents not only his famous elimination (or contextual defi nition) of defi nite descriptions, but also a series of considerations against understanding defi nite descriptions as singular terms. At the end of ‘On Denoting’, Russell believes he has shown that all the theories that do treat defi nite descriptions as singular terms fall (...) logically short: Meinong’s, Mally’s, his own earlier (1903) theory, and Frege’s. (He also believes that at least some of them fall short on other grounds—epistemological and metaphysical—but we do not discuss these criticisms except in passing). Our aim in the present paper is to discuss whether his criticisms actually refute Frege’s theory. We fi rst attempt to specify just what Frege’s theory is and present the evidence that has moved scholars to attribute one of three different theories to Frege in this area. We think that each of these theories has some claim to be Fregean, even though they are logically quite different from each other. This raises the issue of determining Frege’s attitude towards these three theories. We consider whether he changed his mind and came to replace one theory with another, or whether he perhaps thought that the different theories applied to different realms, for example, to natural language versus a language for formal logic and arithmetic. We do not come to any hard and fast conclusion here, but instead just note that all these theories treat defi nite descriptions as singular terms, and that Russell proceeds as if he has refuted them all. After taking a brief look at the formal properties of the Fregean theories (particularly the logical status of various sentences containing nonproper defi - nite descriptions) and comparing them to Russell’s theory in this regard, we turn to Russell’s actual criticisms in the above-mentioned articles to examine the extent to which the criticisms hold.. (shrink)

This study offers a novel integration of distinct aspects of Russell's thought.

This is the first English translation of Leon Chwistek’s “Tragedia werbalnej metafizyki,” Kwartalnik Filozoficzny, Vol. X, 1932, 46–76. Chwistek offers a scathing critique of Roman Ingarden’s Das literarische Kunstwerk and of the entire Phenomenology movement. The text also contains many hints at Chwistek’s own philosophical and formal ideas. The book that Chwistek reviews attracted wide attention and was instrumental in winning Ingarden a position as Professor of Philosophy at the University of Lwów in 1933. Chwistek’s alienation from his fellow logicians (...) of the Lvov-Warsaw school is clear from his ridicule of Leśniewski’s project. (shrink)

The article describes the background of Roman Ingarden's 1922 review of Leon Chwistek's book Wielość rzeczywistości, and the back-and-forth that followed. Despite the differences, the two shared some interesting similarities. Both authors had important ties to the intellectual happenings outside Poland and were not considerd mainstream at home. In the end, however, it is these connections that allowed them to gain recognition. Ingarden, who had been a student of Husserl, became the leading phenomenologist in the postwar Poland. For Chwistek, a (...) painter, philosopher, and logician interested in Russell’s work, such connections meant that he won the competition for a professorship at the university in Lwów over Alfred Tarski. Until recently, Chwistek’s place in Polish logic remains unclear and Ingarden’s interactions with Polish logic and the Vienna Circle have not been investigated extensively. A deeper look at this intellectual fracas between Ingarden and Chwistek helps one in the study of the complicated mesh of alliances within the Lwów-Warsaw School. The article also identifies the origins of the split between phenomenology and the analytic philosophical tradition in Poland. The article is also accompanied by the translations of the reviews. (shrink)

In this paper, we investigate (1) what can be salvaged from the original project of "logicism" and (2) what is the best that can be done if we lower our sights a bit. Logicism is the view that "mathematics is reducible to logic alone", and there are a variety of reasons why it was a non-starter. We consider the various ways of weakening this claim so as to produce a "neologicism". Three ways are discussed: (1) expand the conception of logic (...) used in the reduction, (2) allow the addition of analytic-sounding principles to logic so that the reduction is not to "logic alone" but to logic and truths knowable a priori, and (3) revise the conception of "reducible". We show how the current versions of neologicism fit into this classification scheme, and then focus on a kind of neologicism which we take to have the most potential for achieving the epistemological goals of the original logicist project. We argue that that the "weaker" the form of neologicism, the more likely it is to be a new form of logicism, and show how our preferred system, though mathematically weak, is metaphysically and epistemogically strong, and can "reduce" arbitrary mathematical theories to logic and analytic truths, if given a legitimate new sense of "reduction". (shrink)

Introduction In this introduction I will comment on some of the central issues of the papers included in this volume and point out some of the relations ...

This chapter summarizes Russell’s The Problems of Philosophy, presents new biographical details about how and why Russell wrote it, and highlights its continued significance for contemporary philosophy. It also surveys Russell’s famous distinction between “knowledge by acquaintance” and “knowledge by description,” his developing views about our knowledge of physical reality, and his views about our knowledge of logic, mathematics, and other abstract objects.