Along with offering an historically-oriented interpretive reconstruction of the syntax of PM ( rst ed.), I argue for a certain understanding of its use of propositional function abstracts formed by placing a circum ex on a variable. I argue that this notation is used in PM only when de nitions are stated schematically in the metalanguage, and in argument-position when higher-type variables are involved. My aim throughout is to explain how the usage of function abstracts as “terms” (loosely speaking) is (...) not inconsistent with a philosophy of types that does not think of propositional functions as mind- and language-independent objects, and adopts a nominalist/substitutional semantics instead. I contrast PM’s approach here both to function abstraction found in the typed λ-calculus, and also to Frege’s notation for functions of various levels that forgoes abstracts altogether, between which it is a kind of intermediary. (shrink)

This compelling reevaluation of the relationship between logic and knowledge affirms the key role that the notion of judgement must play in such a review. The commentary repatriates the concept of judgement in the discussion, banished in recent times by the logical positivism of Wittgenstein, Hilbert and Schlick, and the Platonism of Bolzano. The volume commences with the insights of Swedish philosopher Per Martin-Löf, the father of constructive type theory, for whom logic is a demonstrative science in which judgement is (...) a settled feature of the landscape. His paper opens the first of four sections that examine, in turn, historical philosophical assessments of judgement and reason; their place in early modern philosophy; the notion of judgement and logical theory in Wolff, Kant and Neo-Kantians like Windelband; their development in the Husserlian phenomenological paradigm; and the work of Bolzano, Russell and Frege. The papers, whose authors include Per Martin-Löf, Göran Sundholm, Michael Della Rocca and Robin Rollinger, represent a finely judged editorial selection highlighting work on philosophers exercised by the question of whether or not an epistemic notion of judgement has a role to play in logic. The volume will be of profound interest to students and academicians for its application of historical developments in philosophy to the solution of vexatious contemporary issues in the foundation of logic. ​. (shrink)

In this excellent book Sebastien Gandon focuses mainly on Russell's two major texts, Principa Mathematica and Principle of Mathematics, meticulously unpicking the details of these texts and bringing a new interpretation of both the mathematical and the philosophical content. Winner of The Bertrand Russell Society Book Award 2013.

The notion of a proposition is central to philosophy. But it is subject to paradoxes. A natural response is a hierarchical account and, ever since Russell proposed his theory of types in 1908, this has been the strategy of choice. But in this paper I raise a problem for such accounts. While this does not seem to have been recognized before, it would seem to render existing such accounts inadequate. The main purpose of the paper, however, is to provide a (...) new hierarchical account that solves the problem. (shrink)

The axiom of reducibility plays an important role in the logic of Principia Mathematica, but has generally been condemned as an ad hoc non-logical axiom which was added simply because the ramified type theory without it would not yield all the required theorems. In this paper I examine the status of the axiom of reducibility. Whether the axiom can plausibly be included as a logical axiom will depend in no small part on the understanding of propositional functions. If we understand (...) propositional functions as constructions of the mind, it is clear that the axiom is clearly not a logical axiom and in fact makes an implausible claim. I look at two other ways of understanding propositional functions, a nominalist interpretation along the lines of Landini and a realist interpretation along the lines of Linsky and Mares. I argue that while on either of these interpretations it is not easy to see the axiom as a non-logical claim about the world, there are also appear to be difficulties in accepting it as a purely logical axiom. (shrink)

Bertrand Russell's 1903 masterpiece "The Principles of Mathematics" places great emphasis on the need to separate propositions from psychological items such as thoughts. In 1919 Russell explicitly retracts this view, however, and defines propositions as "psychological occurrences". These psychological occurrences are held by Russell to be mental images. In this paper, I seek to explain this radical change of heart. I argue that Russell's re-psychologising of the proposition in 1919 can only be understood against the background of his struggle with (...) the problem of the unity of the proposition in earlier work. Once this is recognized, and the solution to the problem offered by the 1919 theory is appreciated, new light is also shed on Russell's naturalism. I go on to compare Russell's psychological "picture theory" with the vehemently anti-psychological picture theory of Wittgenstein's "Tractatus Logico-Philosophicus" and suggest that, once the background of the dispute is brought into clearer focus, Russell's position can be seen to have many advantages over its more celebrated rival. (shrink)

In this article I present a summary of Bertrand Russell's protracted attempts to solve the problem of the unity of the proposition, and explain the significance of the problem for Russell's philosophy. Unlike many other accounts which take the problem to be confined to Russell's early theories of propositional content, I argue that the problem (or variants of it) is a recurring theme throughout the whole of Russell's career.

The paper argues that philosophers commonly misidentify the substitutivity principle involved in Russell’s puzzle about substitutivity in “On Denoting”. This matters because when that principle is properly identified the puzzle becomes considerably sharper and more interesting than it is often taken to be. This article describes both the puzzle itself and Russell's solution to it, which involves resources beyond the theory of descriptions. It then explores the epistemological and metaphysical consequences of that solution. One such consequence, it argues, is that (...) Russell must abandon his commitment to propositions. (shrink)

Russell's version of the multiple-relation theory from the "Theory of Knowledge" manuscript is presented and defended against some objections. A new problem, related to defining truth via correspondence, is reconstructed from Russell's remarks and what we know of Wittgenstein's objection to Russell's theory. In the end, understanding this objection in terms of correspondence helps to link Russell's multiple-relation theory to his later views on propositions.

An account of validity that makes what is invalid conditional on how many individuals there are is what I call a conditional account of validity. Here I defend conditional accounts against a criticism derived from Etchemendy’s well-known criticism of the model-theoretic analysis of validity. The criticism is essentially that knowledge of the size of the universe is non-logical and so by making knowledge of the extension of validity depend on knowledge of how many individuals there are, conditional accounts fail to (...) reflect that the former knowledge is basic, i.e., independent of knowledge derived from other sciences. Appealing to Russell’s pre-Principia logic, I defend conditional accounts against this criticism by sketching a rationale for thinking that there are infinitely many logical objects. (shrink)

Certain commentators on Russell's “no class” theory, in which apparent reference to classes or sets is eliminated using higher-order quantification, including W. V. Quine and (recently) Scott Soames, have doubted its success, noting the obscurity of Russell’s understanding of so-called “propositional functions”. These critics allege that realist readings of propositional functions fail to avoid commitment to classes or sets (or something equally problematic), and that nominalist readings fail to meet the demands placed on classes by mathematics. I show that Russell (...) did thoroughly explore these issues, and had good reasons for rejecting accounts of propositional functions as extra-linguistic entities. I argue in favor of a reading taking propositional functions to be nothing over and above open formulas which addresses many such worries, and in particular, does not interpret Russell as reducing classes to language. (shrink)

Sequel to Part I. In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions and equivalence classes of coextensional properties. Part II addresses Russell’s own various attempts to solve these paradoxes, (...) including strategies that he considered and rejected (limitation of size, the zigzag theory, etc.), as well as his own final views whereupon many purported entities that, if reified, lead to these contradictions, must not be genuine entities, but ‘logical fictions’ or ‘logical constructions’ instead. (shrink)

In 1913 Wittgenstein raised an objection to Russell’s multiple relation theory of judgment that eventually led Russell to abandon his theory. As he put it in the Tractatus, the objection was that “the correct explanation of the form of the proposition, ‘A makes the judgement p’, must show that it is impossible for a judgement to be a piece of nonsense. (Russell’s theory does not satisfy this requirement,” (5.5422). This objection has been widely interpreted to concern type restrictions on the (...) constituents of judgment. I argue that this interpretation is mistaken and that Wittgenstein’s objection is in fact a form of the problem of the unity of the proposition. (shrink)

In this article, I examine the ramified-type theory set out in the first edition of Russell and Whitehead's Principia Mathematica. My starting point is the ‘no loss of generality’ problem: Russell, in the Introduction (Russell, B. and Whitehead, A. N. 1910. Principia Mathematica, Volume I, 1st ed., Cambridge: Cambridge University Press, pp. 53–54), says that one can account for all propositional functions using predicative variables only, that is, dismissing non-predicative variables. That claim is not self-evident at all, hence a problem. (...) The purpose of this article is to clarify Russell's claim and to solve the ‘no loss of generality’ problem. I first remark that the hierarchy of propositional functions calls for a fine-grained conception of ramified types as propositional forms (‘ramif-types’). Then, comparing different important interpretations of Principia’s theory of types, I consider the question as to whether Principia allows for non-predicative propositional functions and variables thereof. I explain how the distinction between the formal system of the theory, on the one hand, and its realizations in different epistemic universes, on the other hand, makes it possible to give us a more satisfactory answer to that question than those given by previous commentators, and, as a consequence, to solve the ‘no loss of generality’ problem. The solution consists in a substitutional semantics for non-predicative variables and non-predicative complex terms, based on an epistemic understanding of the order component of ramified types. The rest of the article then develops that epistemic understanding, adding an original epistemic model theory to the formal system of types. This shows that the universality sought by Russell for logic does not preclude semantical considerations, contrary to what van Heijenoort and Hintikka have claimed. (shrink)

It is widely assumed that Russell's problems with the unity of the proposition were recurring and insoluble within the framework of the logical theory of his Principles of Mathematics. By contrast, Frege's functional analysis of thoughts (grounded in a type-theoretic distinction between concepts and objects) is commonly assumed to provide a solution to the problem or, at least, a means of avoiding the difficulty altogether. The Fregean solution is unavailable to Russell because of his commitment to the thesis that there (...) is only one ultimate ontological category. This, combined with Russell's reification of propositions, ensures that he must hold concepts and objects to be of the same logical and ontological type. In this paper I argue that, while Frege's treatment of the unity of the proposition has immediate advantages over Russell's, a deeper consideration of the philosophical underpinnings and metaphysical consequences of the two approaches reveals that Frege's supposed solution is, in fact, far from satisfactory. Russell's repudiation of the Fregean position in the Principles is, I contend, convincing and Russell's own position, despite its problems, conforms to a greater extent than Frege's with common sense and, furthermore, with certain ideas which are central to our understanding of the origins of the analytical tradition. (shrink)

Russell's philosophy is rightly described as a programme of reduction of mathematics to logic. Now the theory of geometry developed in 1903 does not fit this picture well, since it is deeply rooted in the purely synthetic projective approach, which conflicts with all the endeavours to reduce geometry to analytical geometry. The first goal of this paper is to present an overview of this conception. The second aim is more far-reaching. The fact that such a theory of geometry was sustained (...) by Russell compels us to question the meaning of logicism: how is it possible to reconcile Russell's global reductionist standpoint with his local defence of the specificities of geometry? * This paper was first presented at the conference ‘Qu'est ce que la géométrie aux époques modernes et contemporaines?’, organized by the Universität Köln and the Archives Poincaré. I would like to thank Philippe Nabonnand for having enlightened me about the issues relative to projective geometry. I would like also to thank Nicholas Griffin, Brice Halimi, Bernard Linsky, Marco Panza, Ivahn Smadja for their helpful discussions. Many thanks also to the two anonymous referees for their useful suggestions. CiteULike Connotea Del.icio.us What's this? (shrink)

This article is an attempt to present Gödel's discussion on concepts, from 1944 to the late 1970s, in particular relation to the thought of Frege and Russell. The discussion takes its point of departure from Gödel's claim in notes on Bernay's review of ?Russell's mathematical logic?. It then retraces the historical background of the notion of intension which both Russell and Gödel use, and offers some grounds for claiming that Gödel consistently considered logic as a free-type theory of concepts, called (...) intensions, considered as the denotations of predicate names. (shrink)

In Appendix B of Russell's The Principles of Mathematics occurs a paradox, the paradox of propositions, which a simple theory of types is unable to resolve. This fact is frequently taken to be one of the principal reasons for calling ramification onto the Russellian stage. The paper presents a detaiFled exposition of the paradox and its discussion in the correspondence between Frege and Russell. It is argued that Russell finally adopted a very simple solution to the paradox. This solution had (...) nothing to do with ramified types but marked an important shift in his theory of propositions. (shrink)

An argument going back to Russell shows that the view that propositions are structured is inconsistent in standard type theories. Here, it is shown that such type theories may nevertheless provide entities which can serve as proxies for structured propositions. As an illustration, such proxies are applied to the case of grounding, as standard views of grounding require a degree of propositional structure which suffices for a version of Russell’s argument. While this application solves some of the problems grounding faces, (...) it introduces problematic limitations: it becomes impossible to quantify unrestrictedly over the relata of ground. The proposed proxies may thus not save grounding, but they shed light on what exactly Russell’s argument does and does not show. (shrink)

O presente manual tem como intenção constituir um guia para uma disciplina introdutória de filosofia da linguagem. Foi elaborado a partir da leccionação da disciplina de Filosofia da Linguagem I na Faculdade de Letras da Universidade do Porto desde 2001. A disciplina de Filosofia da Linguagem I ocupa um semestre lectivo e proporciona aos estudantes o primeiro contacto sistemático com a área da filosofia da linguagem. Pretende-se que este manual ofereça aos estudantes os instrumentos necessários não apenas para acompanhar uma (...) iniciação ao campo da filosofia da linguagem mas também para o estudo e a investigação autónomos posteriores. Para isso é percorrido um trajecto que conduz das intuições pré-teóricas acerca de linguagem, de que todos dispomos, até um conhecimento disciplinar específico, histórico e temático, da filosofia da linguagem. Em termos práticos, são considerados como precedentes da disciplina de Filosofia da Linguagem I – mesmo se, pelo existem actualmente precedências em sentido estrito – as disciplinas de Lógica I e II e de Filosofia do Conhecimento I e II. Os programas dessas disciplinas nos últimos anos estiveram presentes por trás da elaboração do manual. (shrink)

Bertrand Russell: Logic For Russell, Aristotelian syllogistic inference does not do justice to the subject of logic. This is surely not surprising. It may well be something of a surprise, however, to learn that in Russell’s view neither Boolean algebra nor modern quantification theory do justice to the subject. For Russell, logic is a synthetic … Continue reading Russell: Logic →.

The positions of Frege, Russell and Wittgenstein on the priority of complexes over (propositional) functions are sketched, challenging those who take the "judgment centered" aspects of the Tractatus to be inherited from Frege not Russell. Frege's views on the priority of judgments are problematic, and unlike Wittgenstein's. Russell's views on these matters, and their development, are discussed in detail, and shown to be more sophisticated than usually supposed. Certain misreadings of Russell, including those regarding the relationship between propositional functions and (...) universals, are exposed. Wittgenstein's and Russell's views on logical grammar are shown to be very similar. Russell's type theory does not countenance types of genuine entities nor metaphysical truths that cannot be put into words, contrary to conventional wisdom. I relate this to the debate over "inexpressible truths" in the Tractatus. I lastly comment on the changes to Russell's views brought about by Wittgenstein's influence. (shrink)