Gregory Landini

Simple-type theory is widely regarded as inadequate to capture the metaphysics of mathematics. The problem, however, is not that some kinds of structure cannot be studied within simple-type theory. Even structures that violate simple-types are isomorphic to structures that can be studied in simple-type theory. In disputes over the logicist foundations of mathematics, the central issue concerns the problem that simple-type theory fails to assure an infinity of natural numbers as objects. This paper argues that the problem of infinity is based on a metaphysical prejudice in favor of numbers as objects — a prejudice that mathematics can get along without.

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

The quantification theory of propositions in Russell’s Principles of Mathematics has been the subject of an intensive study and in reconstruction has been found to be complete with respect to analogs of the truths of modern quantification theory. A difficulty arises in the reconstruction, however, because it presents universally quantified exportations of five of Russell’s axioms. This paper investigates whether a formal system can be found that is more faithful to Russell’s original prose. Russell offers axioms that are universally quantified implications that have antecedent clauses that are conjunctions. The presence of conjunctions as antecedent clauses seems to doom the theory from the onset, it will be found that there is no way to prove conjunctions so that, after universal instantiation, one can detach the needed antecedent clauses. Amalgamating two of Russell’s axioms, this paper overcomes the difficulty.

In his Tractatus, Wittgenstein sets out what he calls his N-operator notation which can be used to calculate whether an expression is a tautology. In his Laws of Form, George Spencer Brown offers what he calls a “primary algebra” for such calculation. Both systems are perplexing. But comparing two blurry images can reduce noise, producing a focus. This paper reveals that Spencer Brown independently rediscovered the quantifier-free part of the N-operator calculus. The comparison sheds a flood light on each and from the letters of correspondence we shall find that Russell, as one might have surmised, was a catalyst for both.

“Tell me," Wittgenstein once asked a friend, "why do people always say, it was natural for man to assume that the sun went round the earth rather than that the earth was rotating?" His friend replied, "Well, obviously because it just looks as though the Sun is going round the Earth." Wittgenstein replied, "Well, what would it have looked like if it had looked as though the Earth was rotating?” What would it have looked like if we looked at all sciences from the viewpoint of Wittgenstein’s philosophy? Wittgenstein is undoubtedly one of the most influential philosophers of the twentieth century. His complex body of work has been analysed by numerous scholars, from mathematicians and physicists, to philosophers, linguists, and beyond. This volume brings together some of his central perspectives as applied to the modern sciences and studies the influence they may have on the thought processes underlying science and on the world view it engenders. The contributions stem from leading scholars in philosophy, mathematics, physics, economics, psychology and human sciences; all of them have written in an accessible style that demands little specialist knowledge, whilst clearly portraying and discussing the deep issues at hand.

This paper offers an interpretation of Russell's multiple-relation theory of judgment which characterizes it as direct application of the 1905 theory of definite descriptions. The paper maintains that it was by regarding propositional symbols (when occurring as subordinate clauses) as disguised descriptions of complexes, that Russell generated the philosophical explanation of the hierarchy of orders and the ramified theory of types of _Principia mathematica (1910). The interpretation provides a new understanding of Russell's abandoned book _Theory of Knowledge (1913), the 'direction problems' and Wittgenstein's criticisms

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.

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.

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

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.

In truth theory one aims at general formal laws governing the attribution of truth to statements. Gupta’s and Belnap’s revision-theoretic approach provides various well-motivated theories of truth, in particular T* and T#, which tame the Liar and related paradoxes without a Tarskian hierarchy of languages. In property theory, one similarly aims at general formal laws governing the predication of properties. To avoid Russell’s paradox in this area a recourse to type theory is still popular, as testified by recent work in formal metaphysics by Williamson and Hale. There is a contingent Liar that has been taken to be a problem for type theory. But this is because this Liar has been presented without an explicit recourse to a truth predicate. Thus, type theory could avoid this paradox by incorporating such a predicate and accepting an appropriate theory of truth. There is however a contingent paradox of predication that more clearly undermines the viability of type theory. It is then suggested that a type-free property theory is a better option. One can pursue it, by generalizing the revision-theoretic approach to predication, as it has been done by Orilia with his system P*, based on T*. Although Gupta and Belnap do not explicitly declare a preference for T# over T*, they show that the latter has some advantages, such as the recovery of intuitively acceptable principles concerning truth and a better reconstruction of informal arguments involving this notion. A type-free system based on T# rather than T* extends these advantages to predication and thus fares better than P* in the intended applications of property theory.

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.

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

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.

On investigating a theorem that Russell used in discussing paradoxes of classes, Graham Priest distills a schema and then extends it to form an Inclosure Schema, which he argues is the common structure underlying both class-theoretical paradoxes (such as that of Russell, Cantor, Burali-Forti) and the paradoxes of ?definability? (offered by Richard, König-Dixon and Berry). This article shows that Russell's theorem is not Priest's schema and questions the application of Priest's Inclosure Schema to the paradoxes of ?definability?.1 1?Special thanks to Francesco Orilia for criticisms of an early draft of this article

Unaware of Frege's 1879 Begriffsschrift, Russell's 1903 The Principles of Mathematics set out a calculus for logic whose foundation was the doctrine that any such calculus must adopt only one style of variables–entity (individual) variables. The idea was that logic is a universal and all-encompassing science, applying alike to whatever there is–propositions, universals, classes, concrete particulars. Unfortunately, Russell's early calculus has appeared archaic if not completely obscure. This paper is an attempt to recover the formal system, showing its philosophical background and its semantic completeness with respect to the tautologies of a modern sentential calculus

Abstract: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.

The so-called “Slingshot” argument purports to show that an ontology of facts is untenable. In this paper, we address a minimal slingshot restricted to an ontology of physical facts as truth-makers for empirical physical statements. Accepting that logical matters have no bearing on the physical facts that are truth-makers for empirical physical statements and that objects are themselves constituents of such facts, our minimal slingshot argument purportedly shows that any two physical statements with empirical content are made true by one and the same fact. It is well-known that Russell’s theory of descriptions may be employed to reveal a scope fallacy in the slingshot argument. This paper reveals that there is a quite independent Russellian criticism of the slingshot argument based on the thesis that facts are structured entities

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.

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.

This book offers a comprehensive critical survey of issues of historical interpretation and evaluation in Bertrand Russell's 1918 logical atomism lectures and logical atomism itself. These lectures record the culmination of Russell's thought in response to discussions with Wittgenstein on the nature of judgement and philosophy of logic and with Moore and other philosophical realists about epistemology and ontological atomism, and to Whitehead and Russell’s novel extension of revolutionary nineteenth-century work in mathematics and logic. Russell's logical atomism lectures have had a lasting impact on analytic philosophy and on Russell's contemporaries including Carnap, Ramsey, Stebbing, and Wittgenstein. Comprised of 14 original essays, this book will demonstrate how the direct and indirect influence of these lectures thus runs deep and wide.