This book aims to develop certain aspects of Gottlob Frege’s theory of meaning, especially those relevant to intensional logic. It offers a new interpretation of the nature of senses, and attempts to devise a logical calculus for the theory of sense and reference that captures as closely as possible the views of the historical Frege. (The approach is contrasted with the less historically-minded Logic of Sense and Denotation of Alonzo Church.) Comparisons of Frege’s theory with those of Russell and others (...) are given. It is in the end shown that developing Frege’s theory in these ways reveals serious problems hitherto largely unnoticed, including those possibly rendering a Fregean intensional logic inconsistent even if his naïve class theory is excluded. (shrink)

A summary of Russell’s logical atomism, understood to include both a metaphysical view and a certain methodology for doing philosophy. The metaphysical view amounts to the claim that the world consists of a plurality of independently existing things exhibiting qualities and standing in relations. The methodological view recommends a process of analysis, whereby one attempts to define or reconstruct more complex notions or vocabularies in terms of simpler ones. The origins of this theory, and its influence and reception are also (...) discussed. (shrink)

This chapter explores the metaphysical views about higher-order logic held by two individuals responsible for introducing it to philosophy: Gottlob Frege (1848–1925) and Bertrand Russell (1872–1970). Frege understood a function at first as the remainder of the content of a proposition when one component was taken out or seen as replaceable by others, and later as a mapping between objects. His logic employed second-order quantifiers ranging over such functions, and he saw a deep division in nature between objects and functions. (...) Russell understood propositional functions as what is obtained when constituents of propositions are replaced by variables, but eventually denied that they were entities in their own right. Both encountered contradictions when supposing there to exist as many objects as functions, and both adopted views about the meaningfulness of higher-order discourse that were difficult to state from within their own strictures. (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)

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)

In their correspondence in 1902 and 1903, after discussing the Russell paradox, Russell and Frege discussed the paradox of propositions considered informally in Appendix B of Russell’s Principles of Mathematics. It seems that the proposition, p, stating the logical product of the class w, namely, the class of all propositions stating the logical product of a class they are not in, is in w if and only if it is not. Frege believed that this paradox was avoided within his philosophy (...) due to his distinction between sense (Sinn) and reference (Bedeutung). However, I show that while the paradox as Russell formulates it is ill-formed with Frege’s extant logical system, if Frege’s system is expanded to contain the commitments of his philosophy of language, an analogue of this paradox is formulable. This and other concerns in Fregean intensional logic are discussed, and it is discovered that Frege’s logical system, even without its naive class theory embodied in its infamous Basic Law V, leads to inconsistencies when the theory of sense and reference is axiomatized therein. (shrink)

Certain advocates of the so-called “neo-logicist” movement in the philosophy of mathematics identify themselves as “neo-Fregeans” (e.g., Hale and Wright), presenting an updated and revised version of Frege’s form of logicism. Russell’s form of logicism is scarcely discussed in this literature and, when it is, often dismissed as not really logicism at all (in light of its assumption of axioms of infinity, reducibility and so on). In this paper I have three aims: firstly, to identify more clearly the primary meta-ontological (...) and methodological differences between Russell’s logicism and the more recent forms; secondly, to argue that Russell’s form of logicism offers more elegant and satisfactory solutions to a variety of problems that continue to plague the neo-logicist movement (the bad company objection, the embarrassment of richness objection, worries about a bloated ontology, etc.); thirdly, to argue that neo-Russellian forms of logicism remain viable positions for current philosophers of mathematics. (shrink)

In 1903, in _The Principles of Mathematics_ (_PoM_), Russell endorsed an account of classes whereupon a class fundamentally is to be considered many things, and not one, and used this thesis to explicate his first version of a theory of types, adding that it formed the logical justification for the grammatical distinction between singular and plural. The view, however, was short-lived; rejected before _PoM_ even appeared in print. However, aside from mentions of a few misgivings, there is little evidence about (...) why he abandoned this view. In this paper, I speculate as to what those reasons were, and evaluate them in light of recent work and interest in plural logic. (shrink)

Attempts to evaluate a belief or argument on the basis of its cause or origin are usually condemned as committing the genetic fallacy. However, I sketch a number of cases in which causal or historical factors are logically relevant to evaluating a belief, including an interesting abductive form that reasons from the best explanation for the existence of a belief to its likely truth. Such arguments are also susceptible to refutation by genetic reasoning that may come very close to the (...) standard examples given of supposedly fallacious genetic reasoning. (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)

It is well known that the circumflex notation used by Russell and Whitehead to form complex function names in Principia Mathematica played a role in inspiring Alonzo Church's “lambda calculus” for functional logic developed in the 1920s and 1930s. Interestingly, earlier unpublished manuscripts written by Russell between 1903–1905—surely unknown to Church—contain a more extensive anticipation of the essential details of the lambda calculus. Russell also anticipated Schönfinkel's combinatory logic approach of treating multiargument functions as functions having other functions as value. (...) Russell’s work in this regard seems to have been largely inspired by Frege’s theory of functions and “value-ranges”. This system was discarded by Russell due to his abandonment of propositional functions as genuine entities as part of a new tack for solving Russell’s paradox. In this article, I explore the genesis and demise of Russell’s early anticipation of the lambda calculus. (shrink)

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 I focuses on Cantor’s theorem, its proof, how it can be used to manufacture (...) paradoxes, Frege’s diagnosis of the core difficulty, and several broad categories of strategies for offering solutions to these paradoxes. (shrink)

Many philosophers still countenance senses or meanings in the broadly Fregean vein. However, it is difficult to posit the existence of senses without positing quite a lot of them, including at least one presenting every entity in existence. I discuss a number of Cantorian paradoxes that seem to result from an overly large metaphysics of senses, and various possible solutions. Certain more deflationary and nontraditional understanding of senses, and to what extent they fare better in solving the problems, are also (...) discussed. In the end, it is concluded that one must divide senses into various ramified-orders in order to avoid antinomy, but that the philosophical justification of such orders is, as yet, still somewhat problematic. (shrink)

Russell discovered the classes version of Russell's Paradox in spring 1901, and the predicates version near the same time. There is a problem, however, in dating the discovery of the propositional functions version. In 1906, Russell claimed he discovered it after May 1903, but this conflicts with the widespread belief that the functions version appears in _The Principles of Mathematics_, finished in late 1902. I argue that Russell's dating was accurate, and that the functions version does not appear in the (...) _Principles_. I distinguish the functions and predicates versions, give a novel reading of the _Principles_, section 85, as a paradox dealing with what Russell calls _assertions_, and show that Russell's logical notation in 1902 had no way of even formulating the functions version. The propositional functions version had its origins in the summer of 1903, soon after Russell's notation had changed in such a way as to make a formulation possible. (shrink)

I trace changes to Frege's understanding of numbers, arguing in particular that the view of arithmetic based in geometry developed at the end of his life (1924–1925) was not as radical a deviation from his views during the logicist period as some have suggested. Indeed, by looking at his earlier views regarding the connection between numbers and second-level concepts, his understanding of extensions of concepts, and the changes to his views, firstly, in between Grundlagen and Grundgesetze, and, later, after learning (...) of Russell's paradox, this position is a natural position for him to have retreated to, when properly understood. (shrink)

In this paper I explore a position on which it is possible to eliminate the need for postulating abstract objects through abstraction principles by treating terms for abstracta as ‘incomplete symbols’, using Russell's no-classes theory as a template from which to generalize. I defend views of this stripe against objections, most notably Richard Heck's charge that syntactic forms of nominalism cannot correctly deal with non-first-orderizable quantifcation over apparent abstracta. I further discuss how number theory may be developed in a system (...) treating apparent terms for numbers using these definitions. (shrink)

In he Problems of Philosophy and other works of the same period, Russell claims that every proposition must contain at least one universal. Even fully general propositions of logic are claimed to contain “abstract logical universals”, and our knowledge of logical truths claimed to be a species of a priori knowledge of universals. However, these views are in considerable tension with Russell’s own philosophy of logic and mathematics as presented in Principia Mathematica. Universals generally are qualities and relations, but if, (...) for example, PM’s disjunction (∨) is a relation, what is it a relation between? There is no obvious answer to this given Russell’s other philosophical commitments at this time, although hints are left in some of the pre-PM manuscripts. In this paper, I explore this tension in Russell's philosophy and relate it to developments both before and after Problems. (shrink)

This paper discusses certain problems arising within the treatment of the senses of functions in Alonzo Church's Logic of Sense and Denotation. Church understands such senses themselves to be "sense-functions," functions from sense to sense. However, the conditions he lays out under which a sense-function is to be regarded as a sense presenting another function as denotation allow for certain undesirable results given certain unusual or "deviant" sense-functions. Certain absurdities result, e.g., an argument can be found for equating any two (...) senses of the same type. An alternative treatment of the senses of functions is discussed, and is thought to do better justice to Frege's original theory. (shrink)

Russell claims in his autobiography and elsewhere that he discovered his 1905 theory of descriptions while attempting to solve the logical and semantic paradoxes plaguing his work on the foundations of mathematics. In this paper, I hope to make the connection between his work on the paradoxes and the theory of descriptions and his theory of incomplete symbols generally clearer. In particular, I argue that the theory of descriptions arose from the realization that not only can a class not be (...) thought of as a single thing, neither can the meaning/intension of any expression capable of singling out one collection (class) of things as opposed to another. If this is right, it shows that Russell’s method of solving the logical paradoxes is wholly incompatible with anything like a Fregean dualism between sense and reference or meaning and denotation. I also discuss how this realization lead to modifications in his understanding of propositions and propositional functions, and suggest that Russell’s confrontation with these issues may be instructive for ongoing research. (shrink)

Analytic philosophy has been perhaps the most successful philosophical movement of the twentieth century. While there is no one doctrine that defines it, one of the most salient features of analytic philosophy is its reliance on contemporary logic, the logic that had its origin in the works of George Boole and Gottlob Frege and others in the mid‐to‐late nineteenth century. Boolean algebra, the heart of Boole's contributions to logic, has also come to represent a cornerstone of modern computing. Frege had (...) broad philosophical interests, and his writings on the nature of logical form, meaning and truth remain the subject of intense theoretical discussion, especially in the analytic tradition. Frege's works, and the powerful new logical calculi developed at the end of the nineteenth century, influenced many of its most seminal figures, such as Bertrand Russell, Ludwig Wittgenstein and Rudolf Carnap. (shrink)

Bertrand Russell was one of the best-known proponents of logicism: the theory that mathematics reduces to, or is an extension of, logic. Russell argued for this thesis in his 1903 The Principles of Mathematics and attempted to demonstrate it formally in Principia Mathematica (PM 1910–1913; with A. N. Whitehead). Russell later described his work as a further “regressive” step in understanding the foundations of mathematics made possible by the late 19th century “arithmetization” of mathematics and Frege’s logical definitions of arithmetical (...) concepts. The logical system of PM sought to improve on earlier attempts by solving the contradictions found in, e.g., Frege’s system, by employing a theory of types. In this article, I also consider and critically evaluate the most common objections to Russell’s logicism, including the claim that it is undermined by Gödel’s incompleteness results, and Putnam's charge of “if-thenism”. I suggest that if we are willing to accept a slightly revisionist account of what counts as a mathematical truth, these criticisms do not obviously refute Russell’s claim to have established that mathematical truths generally are a species of logical truth. (shrink)

It would be an understatement to say that Russell was interested in Cantorian diagonal paradoxes. His discovery of the various versions of Russell’s paradox—the classes version, the predicates version, the propositional functions version—had a lasting effect on his views in philosophical logic. Similar Cantorian paradoxes regarding propositions—such as that discussed in §500 of The Principles of Mathematics—were surely among the reasons Russell eventually abandoned his ontology of propositions.1 However, Russell’s reasons for abandoning what he called “denoting concepts”, and his rejection (...) of similar “semantic dualisms” such as Frege’s theory of sense and reference—at least in “On Denoting”—made no explicit mention of any Cantorian paradox. My aim in this paper is to argue that such paradoxes do pose a problem for certain theories such as Frege’s, and early Russell’s, about how definite descriptions are meaningful. My first aim is simply to lay out the problem I have in mind. Next, I shall turn to arguing that the theories of descriptions endorsed by Frege and by Russell prior to “On Denoting” are susceptible to the problem. Finally, I explore what responses a.. (shrink)

This paper continues a thread in Analysis begun by Adam Rieger and Nicholas Denyer. Rieger argued that Frege’s theory of thoughts violates Cantor’s theorem by postulating as many thoughts as concepts. Denyer countered that Rieger’s construction could not show that the thoughts generated are always distinct for distinct concepts. By focusing on universally quantified thoughts, rather than thoughts that attribute a concept to an individual, I give a different construction that avoids Denyer’s problem. I also note that this problem for (...) Frege’s philosophy was discovered by Bertrand Russell as early as 1902 and has been discussed intermittently since. (shrink)

This chapter clarifies that it was the works Giuseppe Peano and his school that first led Russell to embrace symbolic logic as a tool for understanding the foundations of mathematics, not those of Frege, who undertook a similar project starting earlier on. It also discusses Russell’s reaction to Peano’s logic and its influence on his own. However, the chapter also seeks to clarify how and in what ways Frege was influential on Russell’s views regarding such topics as classes, functions, meaning (...) and denotation, etc., and summarizes the correspondence between Frege and Russell and the light it sheds on the philosophical logic of both. (shrink)

Fregeans face the difficulty finding a notation for distinguishing statements about the sense or meaning of an expression as opposed to its reference or denotation. Famously, in "On Denoting", Russell rejected methods that begin with an expression designating its denotation, and then alter it with a "the meaning of" operator to designate the meaning. Such methods attempt an impossible "backward road" from denotation to meaning. Contemporary neo-Fregeans, however, have suggested that we can disambiguate _with_, rather than _against_, the grain, by (...) using a notation that begins with expressions designating senses or meanings, and then alters them with a "the denotation of" operator to designate the denotation. I show that in his manuscripts of 1903–05, Russell both considered and rejected a similar notation along with the metaphysical suppositions underlying it. This discussion sheds light on the evolution of Russell's thought, and may yet be instructive for ongoing debates. (shrink)

The Russell-Myhill Antinomy, also known as the Principles of Mathematics Appendix B Paradox, is a contradiction that arises in the logical treatment of classes and "propositions", where "propositions" are understood as mind-independent and language-independent logical objects. If propositions are treated as objectively existing objects, then they can be members of classes. But propositions can also be about classes, including classes of propositions. Indeed, for each class of propositions, there is a proposition stating that all propositions in that class are true. (...) Propositions of this form are said to "assert the logical product" of their associated classes. Some such propositions are themselves in the class whose logical product they assert. For example, the proposition asserting that all-propositions-in-the- class-of-all-propositions-are-true is itself a proposition, and therefore it itself is in the class whose logical product it asserts. However, the proposition stating that all-propositions-in-the-null-class-are-true is not itself in the null class. Now consider the class w, consisting of all propositions that state the logical product of some class m in which they are not included. This w is itself a class of propositions, and so there is a proposition r, stating its logical product. The contradiction arises from asking the question of whether r is in the class w. It seems that r is in w just in case it is not. This antinomy was discovered by Bertrand Russell in 1902, a year after discovering a simpler paradox usually called Russell's paradox ". It was discussed informally in Appendix B of his 1903 Principles of Mathematics . In 1958, the antinomy was independently rediscovered by John Myhill, who found it to plague the "Logic of Sense and Denotation" developed by Alonzo Church. (shrink)

Logicism is the view that mathematical truths are logical truths. But a logical truth is commonly thought to be one with a universally valid form. The form of “7 > 5” would appear to be the same as “4 > 6”. Yet one is a mathematical truth, and the other not a truth at all. To preserve logicism, we must maintain that the two either are different subforms of the same generic form, or that their forms are not at all (...) what they appear. The historical record shows that Russell pursued both these options, but that the struggle with the logical paradoxes pushed him away from the first kind of response and toward the second. An object cannot itself have a kind of inner logical complexity that makes a proposition have a different logical form merely in virtue of being about it, nor can their representatives in logical forms be single things different for different forms, at least not without postulating too many such objects and thereby creating Cantorian diagonal paradoxes. There are only apparent objects which are actually fragments of logical forms, different in different cases. (shrink)

Russell is often taken as a forerunner of the Quinean position that “to be is to be the value of a bound variable”, whereupon the ontological commitment of a theory is given by what it quantifies over. Among other reasons, Russell was among the first to suggest that all existence statements should be analyzed by means of existential quantification. That there was more to Russell’s metaphysics than what existential quantifications come out as true is obvious in the earlier period where (...) Russell still made a distinction between existence and being/subsistence. But even the later Russell, including that of the Logical Atomism lectures period, would not have understood ontological questions to be first and foremost questions of quantification. He would take fundamentality to be important too, which explains in part his assertions to the effect the the values of individual variables have a reality not attributable to values of higher-order variables, even ineliminable higher-order variables. (shrink)

Frege developed the theory of sense and reference while composing his Grundgesetze and considering its philosophical implications. The Grundgesetze is thus the most important test case for the application of this theory of meaning. I argue that evidence internal and external to the Grundgesetze suggests that he thought of senses as having a structure isomorphic to the Grundgesetze expressions that would be used to express them, which entails a theory about the identity conditions of senses that is relatively fine-grained, though (...) still coarser than some other commentators have suggested. While this interpretation does not make Frege’s ontological commitment to the denizens of a “third realm” as profligate as some have alleged, it is sufficiently bloated to lead to Cantorian paradoxes and diagonal contradictions independent of his Basic Law V. (shrink)

Russell corresponded with Sir Michael Dummett (1925–2011) between 1953 and 1963 while the latter was working on a book on Frege, eventually published as Frege: Philosophy of Language (1973). In their letters they discuss Russell’s correspondence with Frege, translating it into English, as well as Frege’s attempted solution to Russell’s paradox in the appendix to vol. 2 of his Grundgesetze der Arithmetik. After Dummett visited the University of Münster to view Frege’s Nachlaß, he sent reports back to Russell concerning both (...) the philosophical materials Frege left behind, as well as information from Frege’s journal revealing his anti-semitic political opinions. Their interaction contains interpretive conjectures and insights on Dummett’s side, and some dark humor on Russell’s. (shrink)

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)

Several interesting themes emerge from G. E. Moore’s previously unpub­lished review of _The Principles of Mathematics_. These include a worry concerning whether mathematical notions are identical to purely logical ones, even if coextensive logical ones exist. Another involves a conception of infinity based on endless series neglected in the Principles but arguably involved in Zeno’s paradox of Achilles and the Tortoise. Moore also questions the scope of Russell’s notion of material implication, and other aspects of Russell’s claim that mathematics reduces (...) to logic. (shrink)

In this paper, I counter arguments to the effect that pacifism must be irrational which cite hypothetical situations in which violence is necessary to prevent a far greater evil. I argue that for persons similar to myself, for whom such scenarios are extremely unlikely, promoting in oneself the disposition to avoid violence in any circumstances is more likely to lead to better results than not cultivating such a disposition just for the sake of such unlikely eventualities.

Review of Logic as Universal Science: Russell’s Early Logicism and Its Philosophical Context, by Anssi Korhonen (Palgrave Macmillan 2013).

Propositional logic, also known as sentential logic and statement logic, is the branch of logic that studies ways of joining and/or modifying entire propositions, statements or sentences to form more complicated propositions, statements or sentences, as well as the logical relationships and properties that are derived from these methods of combining or altering statements. In propositional logic, the simplest statements are considered as indivisible units, and hence, propositional logic does not study those logical properties and relations that depend upon parts (...) of statements that are not themselves statements on their own, such as the subject and predicate of a statement. The most thoroughly researched branch of propositional logic is classical truth-functional propositional logic, which studies logical operators and connectives that are used to produce complex statements whose truth-value depends entirely on the truth-values of the simpler statements making them up, and in which it is assumed that every statement is either true or false and not both. However, there are other forms of propositional logic in which other truth-values are considered, or in which there is consideration of connectives that are used to produce statements whose truth-values depend not simply on the truth-values of the parts, but additional things such as their necessity, possibility or relatedness to one another. (shrink)

Certain consequentialists have responded to deontological worries regarding personal projects or options and agent-centered restrictions or constraints by pointing out that it is consistent with consequentialist principles that people develop within themselves, dispositions to act with such things in mind, even if doing so does not lead to the best consequences on every occasion. This paper argues that making this response requires shifting the focus of moral evaluation off of evaluation of individual actions and towards evaluation of whole character traits (...) and patterns of behavior. However, this weds consequentialism to a sort of psychological determinism, with which it is incompatible, because it makes any sort of assessment in terms of right or wrong incoherent. The paper concludes by sketching an ethical theory that abandons right and wrong as its organizing concepts, but nevertheless preserves much of the spirit of consequentialism. Relationships between whole patterns of behavior and the production of good and bad consequences can be studied and analyzed, and this information can be used to improve society and ourselves, without it being required that any individual persons acts or dispositions to behave be evaluated as right or wrong. (shrink)

This is not a research project so much as a kind of “personal manifesto” on meta-ethics, or my personal take on how to best think about and improve morality. Since my take on “morality” is not necessarily meant to be compatible with current or past understandings, I am amenable to calling it “schmorality” instead. I argue that (sch)morality can be taken to be teleological by definition, but that the objects of comparison for what produces the best results value-wise need not (...) be taken as actions, but rather the holistic approaches to living and decision making themselves. The position therefore does not yield “consequentialism” in the usual sense. I further explain how this position is compatible with the emergence of something like deontological constraints from within a teleological approach to (sch)morality, and speculate about further likely consequences of this approach. (shrink)

Review essay covering Godehard Link, ed. One Hundred Years of Russell’s Paradox (de Gruyter 2004).

Gottlob Frege (1848-1925) was a German logician, mathematician and philosopher who played a crucial role in the emergence of modern logic and analytic philosophy. Frege's logical works were revolutionary, and are often taken to represent the fundamental break between contemporary approaches and the older, Aristotelian tradition. He invented modern quantificational logic, and created the first fully axiomatic system for logic, which was complete in its treatment of propositional and first-order logic, and also represented the first treatment of higher-order logic. In (...) the philosophy of mathematics, he was one of the most ardent proponents of logicism, the thesis that mathematical truths are logical truths, and presented influential criticisms of rival views such as psychologism and formalism. His theory of meaning, especially his distinction between the sense and reference of linguistic expressions, was groundbreaking in semantics and the philosophy of language. He had a profound and direct influence on such thinkers as Russell, Carnap and Wittgenstein. Frege is often called the founder of modern logic, and he is sometimes even heralded as the founder of analytic philosophy. (shrink)

Review of _The Oxford Handbook of the History of Analytic Philosophy_ edited by Michael Beaney.

A simple summary of the difference between induction and deduction.

Russell's paradox represents either of two interrelated logical antinomies. The most commonly discussed form is a contradiction arising in the logic of sets or classes. Some classes (or sets) seem to be members of themselves, while some do not. The class of all classes is itself a class, and so it seems to be in itself. The null or empty class, however, must not be a member of itself. However, suppose that we can form a class of all classes (or (...) sets) that, like the null class, are not included in themselves. The paradox arises from asking the question of whether this class is in itself. It is if and only if it is not. The other form is a contradiction involving properties. Some properties seem to apply to themselves, while others do not. The property of being a property is itself a property, while the property of being a cat is not itself a cat. Consider the property that something has just in case it is a property (like that of being a cat ) that does not apply to itself. Does this property apply to itself? Once again, from either assumption, the opposite follows. The paradox was named after Bertrand Russell, who discovered it in 1901. (shrink)

I present and discuss three previously unpublished manuscripts written by Bertrand Russell in 1903, not included with similar manuscripts in Volume 4 of his Collected Papers. One is a one-page list of basic principles for his “functional theory” of May 1903, in which Russell partly anticipated the later Lambda Calculus. The next, catalogued under the title “Proof That No Function Takes All Values”, largely explores the status of Cantor’s proof that there is no greatest cardinal number in the variation of (...) the functional theory holding that only some but not all complexes can be analyzed into function and argument. The final manuscript, “Meaning and Denotation”, examines how his pre-1905 dis­tinction between meaning and denotation is to be understood with respect to functions and their arguments. In them, Russell seems to endorse an extensional view of functions not endorsed in other works prior to the 1920s. All three manuscripts illustrate the close connection between his work on the logical paradoxes and his work on the theory of meaning. (shrink)

Review of The Cambridge Companion to Bertrand Russell.

Review of Basic Laws of Arithmetic, ed. and trans. by P. Ebert and M. Rossberg (Oxford 2013).

Review of Russell’s Philosophy of Logical Atomism 1897–1905, by Jolen Galaugher (Palgrave Macmillan 2013).

We can at last release our breath: the long awaited Russell volume in the popular Cambridge Companion series has finally arrived. It contains fifteen chapters written by well known Russell scholars dealing with a wide array of Russelliana, along with a quite extensive introductory essay by the volume editor. It is not difficult to see what took so long. Russell’s corpus, even considering only his philosophical writings, outstrips in both breadth and volume almost all the other figures covered in the (...) Cambridge Companion series. A further complication in Russell’s case is his characteristic habit of so frequently changing his mind even about fundamental issues. Dealing with such a vast amount of information must have required a tremendous amount of sustained collaboration. Obviously, the volume could not cover everything; but the editor and authors have done a tremendous job selectively choosing topics and themes within Russell’s philosophical work to focus on. While falling short of perfection, the result is a collection of pieces that together provide the sort of sophisticated introduction to a complex philosopher that is able to make his work accessible to relative beginners without disguising the subtlety, complexity and still controversial nature of his views. (shrink)