Gregory Landini

Confronted with Russell's Paradox, Frege wrote an appendix to volume II of his _Grundgesetze der Arithmetik_. In it he offered a revision to Basic Law V, and proclaimed with confidence that the major theorems for arithmetic are recoverable. This paper shows that Frege's revised system has been seriously undermined by interpretations that transcribe his system into a predicate logic that is inattentive to important details of his concept-script. By examining the revised system as a concept-script, we see how Frege imagined that minor modifications of his former proofs would recover arithmetic.

This dissertation is a study in the comparative formal ontology of fiction. We deal primarily with the alternative ontological frameworks of Alexius Meinong and early Bertrand Russell as each appears in or has influenced the development of intensional logics reconstructing their basic insights. Our aim is to develop an early Russellian account of fiction--an account that can handle the semantics of stories about any manner of "object" of thought, purple gnomes, "round-squares", paradoxical sets, or anything else one might imagine. We develop such an account of fiction from within the type-free intensional logic HST*D), which is a theory of nominalized predicates formulated by Professor Nino Cocchiarella. ;Our Russellian theory is compared with reconstructions of Meinongian views, for example, Terence Parsons' Nonexistent Objects, and Edward Zalta'sObjects. These frameworks present intensional logics which formalize alternative approaches to a Meinongian theory of objects; the former adopts a distinction in kinds of predicates, the latter distinguishes modes of predication. It is found that the valuable applications of both Meinongian frameworks are captured in our early Russellian theory--and without the oddities of Meinongianism. ;The Meinogian regards all reference in our common place intentional activities such as planning, the framing of scientific hypotheses, story telling, deceiving, and the like, as semantically on par. He thus introduces nonexistents, both possible and impossible, as legitimate concrete objects "before the mind". In contrast, our Russellian account treats "reference to the nonexistent" as a part of a general account of nominalization to the linguistic expressions we have for denoting concepts which purport to refer. In this way, we provide new insights for resolving perplexing issues involved in formulating the semantics of fiction, and of natural language in general. It is revealed by comparing our Russellian approach with Hector-Neri Castaneda's Guise Theory, that the representation of the "content" of thought requires only that we represent the conceptual activity of thought, and not that we postulate objects, intentional and otherwise, which are literally "before" the mind. Thus, our Russellian account has many important applications for the development of a general semantics for natural language, and for the philosophy of mind

Zermelo once wrote that he had anticipated Russell's contradiction of the set of all sets that are not members of themselves. Is this sufficient for having anticipated Russell's Paradox — the paradox that revealed the untenability of the logical notion of a set as an extension? This paper argues that it is not sufficient and offers criteria that are necessary and sufficient for having discovered Russell's Paradox. It is shown that there is ample evidence that Russell satisfied the criteria and that Zermelo did not

In his "Grundgesetze", Frege hints that prior to his theory that cardinal numbers are objects he had an "almost completed" manuscript on cardinals. Taking this early theory to have been an account of cardinals as second-level functions, this paper works out the significance of the fact that Frege's cardinal numbers is a theory of concept-correlates. Frege held that, where n > 2, there is a one—one correlation between each n-level function and an n—1 level function, and a one—one correlation between each first-level function and an object. Applied to cardinals, the correlation offers new answers to some perplexing features of Frege's philosophy. It is shown that within Frege's concept-script, a generalized form of Hume's Principle is equivalent to Russell's Principle ofion — a principle Russell employed to demonstrate the inadequacy of definition by abstraction. Accordingly, Frege's rejection of definition of cardinal number by Hume's Principle parallels Russell's objection to definition by abstraction. Frege's correlation thesis reveals that he has a way of meeting the structuralist challenge that it is arithmetic, and not a privileged progression of objects, that matters to the finite cardinals.

This paper examines Russell's substitutional theory of classes and relations, and its influence on the development of the theory of logical types between the years 1906 and the publication of Principia Mathematica (volume I) in 1910. The substitutional theory proves to have been much more influential on Russell's writings than has been hitherto thought. After a brief introduction, the paper traces Russell's published works on type-theory up to Principia. Each is interpreted as presenting a version or modification of the substitutional theory. New motivations for Russell's 1908 axiom of infinity and axiom of reducibility are revealed

This article compares the theory of Meinongian objects proposed by Edward Zalta with a theory of fiction formulated within an early Russellian framework. The Russellian framework is the second-order intensional logic proposed by Nino B. Cocchiarelly as a reconstruction of the form of Logicism Russell was examining shortly after writing The Principles of Mathematics. A Russellian theory of denoting concepts is developed in this intensional logic and applied as a theory of the "objects' of fiction. The framework retains the Orthodox early Russellian ontology of existents, possible non-existents, and properties and relations in intension. This avoids the assumption, found in Meinongian theories, of impossible and incomplete objects. It also obviates the need to preserve consistency by distinguishing a new "mode of predication", or a "distinction in kinds of predicates". Thus, it is argued that an early Russellian theory forms a powerful rival to a Meinongian theory of objects.

In his new introduction to the 1925 second edition of Principia Mathematica, Russell maintained that by adopting Wittgenstein's idea that a logically perfect language should be extensional mathematical induction could be rectified for finite cardinals without the axiom of reducibility. In an Appendix B, Russell set forth a proof. Godel caught a defect in the proof at *89.16, so that the matter of rectification remained open. Myhill later arrived at a negative result: Principia with extensionality principles and without reducibility cannot recover mathematical induction. The finite cardinals are indefinable in it. This paper shows that while Gödel and Myhill are correct, Russell was not wrong. The 1925 system employs a different grammar than the original Principia. A new proof for *89.16 is given and induction is recovered

This book explores an important central thread that unifies Russell's thoughts on logic in two works previously considered at odds with each other, the Principles of Mathematics and the later Principia Mathematica. This thread is Russell's doctrine that logic is an absolutely general science and that any calculus for it must embrace wholly unrestricted variables. The heart of Landini's book is a careful analysis of Russell's largely unpublished "substitutional" theory. On Landini's showing, the substitutional theory reveals the unity of Russell's philosophy of logic and offers new avenues for a genuine solution of the paradoxes plaguing Logicism.

The second printing of Principia Mathematica in 1925 offered Russell an occasion to assess some criticisms of the Principia and make some suggestions for possible improvements. In Appendix A, Russell offered *8 as a new quantification theory to replace *9 of the original text. As Russell explained in the new introduction to the second edition, the system of *8 sets out quantification theory without free variables. Unfortunately, the system has not been well understood. This paper shows that Russell successfully antedates Quine's system of quantification theory without free variables. It is shown as well, that as with Quine's system, a slight modification yields a quantification theory inclusive of the empty domain

It is well known that in _Principia Mathematica_ Russell offers a theory of definite descriptions and holds that ‘existence’ is not a property. It is less well known that in “On Denoting” he discusses the version of Anselm’s ontological argument for God formulated by Descartes, accepting the premiss “Existence is a perfection” and assessing the argument as valid but question-begging. This is different from his later comments in _A History of Western Philosophy_ which find the argument invalid. Indeed, given the sanctions of _Principia_, one might have thought he would find the argument logically ungrammatical. This paper shows how Russell might formulate and evaluate Anselm’s ontological argument and the version offered by Descartes in a way that avoids the conflict.1.

Hume's Principle, dear to neo-Logicists, maintains that equinumerosity is both necessary and sufficient for sameness of cardinal number. All the same, Whitehead demonstrated in Principia Mathematica's logic of relations that Cantor's power-class theorem entails that Hume's Principle admits of exceptions. Of course, Hume's Principle concerns cardinals and in Principia's ‘no-classes’ theory cardinals are not objects in Frege's sense. But this paper shows that the result applies as well to the theory of cardinal numbers as objects set out in Frege's Grundgesetze. Though Frege did not realize it, Cantor's power-theorem entails that Frege's cardinals as objects do not always obey Hume's Principle.

Wittgenstein's Tractatus has generated many interpretations since its publication in 1921, but over the years a consensus has developed concerning its criticisms of Russell's philosophy. In Wittgenstein's Apprenticeship with Russell, Gregory Landini draws extensively from his work on Russell's unpublished manuscripts to show that the consensus characterises Russell with positions he did not hold. Using a careful analysis of Wittgenstein's writings he traces the 'Doctrine of Showing' and the 'fundamental idea' of the Tractatus to Russell's logical atomist research program, which dissolves philosophical problems by employing variables with structure. He argues that Russell and his apprentice Wittgenstein were allies in a research program that makes logical analysis and reconstruction the essence of philosophy. His sharp and controversial study will be essential reading for all who are interested in this rich period in the history of analytic philosophy.

In lieu of an abstract, here is a brief excerpt of the content:RUSSELL TO FREGE, 24 MAY 1903: "I BELIEVE I HAVE DISCOVERED THAT CLASSES ARE ENTIRELY SUPERFLUOUS" GREGORY LANDINI Philosophy / University of Iowa Iowa City, IA 52242, USA It was his consideration of Cantor's proof that there is no greatest cardinal, Russell recalls in My Philosophical Development, that led in the spring of 1901 to the discovery of the paradox of the class of all classes not members of themselves. "Never glad confident morning again", were Whitehead's reported words (MPD, p. 58). Whitehead was, of course, wrong. Russell had many new confident mornings. One in particular apparently occurred on 19 May 1903. On 23 May Russell wrote in his journal: "Four days ago 1 solved the Contradiction -the relief of this is unspeakable" (Papm 12: 24). The "solution" was communicated to Whitehead, who responded by telegram: "Heartiest congratulations Aristoteles secundus. 1 am delighted" (Clark, p. III). But it was not long before Russell knew his proposal was inadequate. On the form he would scrawl: "A propos of solVing the Contradiction. [But the solution was wrong]" (ibid; Russell's brackets). The episode is intriguing. What was the proposal? Russell's correspondence with Frege sheds some light. On 20 October 1902 Frege had sent a letter suggesting a way to avoid the contradiction. Frege's suggestion, formulated in a great hurry so that it might appear in the Appendix of Vol. II of the Grundgesetze der Arithmetik, was to abandon his Basic Law V; zcj>z =zez. ==. (x)(x. ==. ex), and to replace it by Russell to Frege, 24 May I903 161 V' zz =zez. ==. (x)(x *zz & x* zez: ~ : x. ==. ex). The underlying idea was to accept that one concept may have the same extension as another even though the two concepts are not coextensive. Though he thought the underlying idea "probably correct",! Russell expressed reservation in a reply of 12 December:... I find it difficult to accept your solution even though it is probably correct. Do you deny, e.g., that all classes form a class? And if this is admitted, then it is possible that - ana. Moreover, the class of non-humans is a. non-human. Otherwise it must be admitted that not ail objects fall either under a or not-a; namely, if a is a range of values, then a fails neither under a nor under not-a. This contradicts the law of excluded middle, which will be inconvenient to say the least.2 (Frege I980, p. 151) Frege's response of 28 December does not mention the contradiction, and Volume II of his Grundgesetze appeared early in 1903. Russell's reservations concerning Frege's solution· continue in a letter to Frege of 20 February 1903: What you say about my contradiction is of the greatest interest to me. Do you believe that the range of values remains unchanged if some subclass of the class is assigned to it as a new member? Extension seems to fit this view better than intension. Bur I fe;el far from clear about this question. (Frege I980, p. 155) Frege replied on 21 May, explaining that in general a class does not remain unchanged when a particular subclass is added to it, but that two concepts may have the same extension (the same class) when the only difference between them is that this class falls under the first concept but not under the second (p. 157). Then on 24 May 1903 Russell excitedly wrote Frege of a solution of the paradox of classes: "I received your letter this morning, and 1 am replying to it at once, for russell: the Journal of the Berrrand Russdl Archives McMasrer University Library Press n.S.•2 (wincer 1992-93): 160-85 ISSN 0036-01631 • The same evaluation appears in Russell's Appendix to The Principles ofMathematics (p. 522). 2 Frege's '\- a II b" is Peano and Russell's "a E b". Russell should have put "~ana". 162 GREGORY LANDINI I believe I have discovered that classes are entirely superfluous. Your designation i(z) can be used for itself, and x E i(z) for (x).... this seems to me to avoid the contradiction" (p. 159). The proposal is also mentioned in a...

Frege seems to hold two incompatible theses:(i) that sentences differing in structure can yet express the same sense; and (ii) that the senses of the meaningful parts of a complex term are determinate parts of the sense of the term. Dummett offered a solution, distinguishing analysis from decomposition. The present paper offers an embellishment of Dummett’s distinction by providing a way of depicting the internal structures of complex senses—determinate structures that yield distinct decompositions. Decomposition is then shown to be adequate as a foundation for the informativity and analyticity of logic.