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)
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)
According to Scott Soames’ Beyond Rigidity, there are two important pieces of unfinished business left over from Saul Kripke’s influential Naming and Necessity. Soames reads Kripke’s arguments about names as primarily negative, that is, as proving that names don’t have a meaning expressible by definite descriptions or clusters of them. The famous Kripkean doctrine that names are rigid designators is really only part of the negative case. The thesis that names refer to the same object with respect to every possible (...) world is a byproduct of their meaning, not a positive account of what they mean. As well, the hints about causal chains and dubbings are no more than a picture, as Kripke says, and not a positive theory of meaning. Thus one piece of unfinished business, to which Soames devotes the most attention, is to give a positive account of the meanings of names. To do this Soames proposes that the meaning of a singular term is the contribution it makes to the semantic content of the sentences in which it occurs. The semantic content of a sentence is ordinarily a proposition, that proposition expressed by the most commonly intended assertion using the sentence. Soames’ proposal for a positive account is that the meaning of a proper name is its contribution to those propositions, simply the object to which it refers. Arguing for this positive account occupies the bulk of the book but I will not discuss it in my contribution to this symposium. (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)
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 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 introduction and notes with a glossary discuss the background and content of the lectures as well as the linguistic difficulties in translating logical terms.
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.
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.
The views of David Lewis and the Meinongians are both often met with an incredulous stare. This is not by accident. The stunned disbelief that usually accompanies the stare is a natural first reaction to a large ontology. Indeed, Lewis has been explicitly linked with Meinong, a charge that he has taken great pains to deny. However, the issue is not a simple one. "Meinongianism" is a complex set of distinctions and doctrines about existence and predication, in addition to the (...) famously large ontology. While there are clearly non-Meinongian features of Lewis' views, it is our thesis that many of the characteristic elements of Meinongian metaphysics appear in Lewis' theory. Moreover, though Lewis rejects incomplete and inconsistent Meinongian objects, his ontology may exceed that of a Meinongian who doesn't accept his possibilia. Thus, Lewis explains the truth of "there might have been talking donkeys" by appealing to possibilia which are talking donkeys. But the Meinongian need not accept that there exist things which are talking donkeys. Indeed, we show that a Meinongian even need not accept that there are nonexistent things which are talking donkeys! (shrink)
In this paper, the authors briefly summarize how object theory uses definite descriptions to identify the denotations of the individual terms of theoretical mathematics and then further develop their object-theoretic philosophy of mathematics by showing how it has the resources to address some objections recently raised against the theory. Certain ‘canonical’ descriptions of object theory, which are guaranteed to denote, correctly identify mathematical objects for each mathematical theory T, independently of how well someone understands the descriptive condition. And to have (...) a false belief about some particular mathematical object is not to have a true belief about some different mathematical object. (shrink)
According to Richard Gaskin, The Problem of the Unity of the Proposition is to explain 'what distinguishes propositions from mere aggregates, and enables them to be true or false' (18).1 This problem arises from the simpler problem of distinguishing a sentence from a 'mere list' of words (1). The unity of a sentence is due to its syntax, a level of structure which is not apparent in the string of words which are uttered or written, and which distinguishes a sentence (...) from a list. However, if one holds that sentences express propositions that are composed of objects which serve as semantic referents of its words, then the problem of unity becomes one about the metaphysics of propositions. What constitutes a .. (shrink)
This note presents a transcription of Russell's letter to Hawtrey of 22 January 1907 accompanied by some proposed emendations. In that letter Russell describes the paradox that he says "pilled" the "substitutional theory" developed just before he turned to the theory of types. A close paraphrase of the derivation of the paradox in a contemporary Lemmon-style natural deduction system shows which axioms the theory must assume to govern its characteristic notion of substituting individuals and propositions for each other in other (...) propositions. Other discussions of this paradox in the literature are mentioned. I conclude with remarks about the significance of the paradox for Russell. (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 deﬁ nition) of deﬁ nite descriptions, but also a series of considerations against understanding deﬁ nite descriptions as singular terms. At the end of ‘On Denoting’, Russell believes he has shown that all the theories that do treat deﬁ 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 ﬁ 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 deﬁ 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 deﬁ - 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)
A transcription of Russell's marginal comments in his copies of Frege's works, from his readings of Frege in 1902. The greatest number are in the early sections of Grundgesetze der Arithmetik, Vol. I, but there are also marginal comments in Begriffsschrift, Grundlagen der Arithmetik, "Ueber Formale Theorien der Arithmetik", "Ueber Begriff und Gegenstand", "Function und Begriff", "Kritische Beleuchtung einiger Punkte in E. Schroeders ..." and two corrections of typographical errors in "Ueber Sinn und Bedeutung".
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)
I compare Russell’s theory of mathematical functions, the “descriptive functions” from Principia Mathematica ∗30, with Frege’s well known account of functions as “unsaturated” entities. Russell analyses functional terms with propositional functions and the theory of deﬁnite descriptions. This is the primary technical role of the theory of descriptions in P M . In Principles of Mathematics and some unpublished writings from before 1905, Russell offered explicit criticisms of Frege’s account of functions. Consequenly, the theory of descriptions in “On Denoting” can (...) be seen as a crucial part of Russell’s larger logicist reduction of mathematics,aswellasanexcursionintothetheoryof reference. . (shrink)
In "the meaning of 'meaning'," hilary putnam uses three "twin earth" examples to argue that natural kind terms do not have a sense. I argue that the first two only show that kind terms are like indexicals and that they are rigid designators but that this is compatible with having a sense. The third argument relies on a theory about the epistemological role of kind terms and the claim that there are no analytic truths about kinds that could arise from (...) a sense. (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 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)
As a survey included in an issue devoted to W.V. Quine this article contains a list of sixteen distinctively Quinean theses and a brief discussion of the influence of several of them on contemporary philosophy. In particular, I mention how Quine's views have had a profound influence on contemporary discussions of the nature of logic, the theory of meaning and on realism. Many who explicitly reject some of his more controversial doctrines may not have worked out the interconnections of theses (...) on the list and so can still be said to do philosophy in the manner of, or "after," Quine. (shrink)
A discussion of views first presented by this author and Edward Zalta in 1995 in the paper “Naturalized Platonism vs. Platonized Naturalism”. That paper presents an application of Zalta’s “object theory” to the ontology of mathematics, and claims that there is a plenitude of abstract objects, all the creatures of distinct mathematical theories. After a summary of the position, two questions concerning the view are singled out for discussion: just how many mathematical objects there are by our account, and the (...) nature of the properties we use to characterize abstract objects. The difference between the authors in more recent developments of the view are also discussed. (shrink)
This article presents notes that Russell made while reading the works of Gottlob Frege in 1902. These works include Frege's books as well as the packet of off-prints Frege sent at Russell's request in June of that year. Russell relied on these notes while composing "Appendix A: The Logical and Arithmetical Doctrines of Frege" to add to The Principles of Mathematics, which was then in press. A transcription of the marginal comments in those works of Frege appeared in the previous (...) issue of this journal. (shrink)