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)

This paper examines popular‘conventionalist’explanations of why philosophers need not back up their claims about how‘we’use our words with empirical studies of actual usage. It argues that such explanations are incompatible with a number of currently popular and plausible assumptions about language's ‘social’character. Alternate explanations of the philosopher's purported entitlement to make a priori claims about‘our’usage are then suggested. While these alternate explanations would, unlike the conventionalist ones, be compatible with the more social picture of language, they are each shown to (...) face serious problems of their own. (shrink)

David Lewis and Peter van Inwagen have claimed that there are no “knockdown” arguments in philosophy. Their claim appears to be at odds with common philosophical practice: philosophers often write as though their conclusions are established or proven and that the considerations offered for these conclusions are decisive. In this paper, I examine some questions raised by Lewis’s and van Inwagen’s contention. What are knockdown arguments? Are there any in philosophy? If not, why not? These questions concern the nature of (...) the philosophical enterprise and our answers have implications for the limits on the attitudes of informed, rational thinkers. (shrink)

In this paper I argue that there can be genuine (as opposed to merely verbal) disputes about whether a sentence form is logically true or an argument form is valid. I call such disputes ?cases of deviance?, of which I distinguish a weak and a strong form. Weak deviance holds if one disputant is right and the other wrong, but the available evidence is insufficient to determine which is which. Strong deviance holds if there is no fact of the matter. (...) In section 2 I argue that weak deviance need not be trivial and may even be interesting. Section 3 considers what it could mean to say that logic is determined by a theory, especially a theory of meaning, an idea that arises in section 2. In section 4 I discuss the dispute between classical and relevance logicians over entailment and argue that it is a case of strong deviance. Finally, in section 5 I show that the result of the previous section is not absolute but relative to the background logic used in reaching it. (shrink)

This paper is a critique of coercive theories of meaning, that is, theories (or criteria) of meaning designed to do down ones opponents by representing their views as meaningless or unintelligible. Many philosophers from Hobbes through Berkeley and Hume to the pragmatists, the logical positivists and (above all) Wittgenstein have devised such theories and criteria in order to discredit their opponents. I argue 1) that such theories and criteria are morally obnoxious, a) because they smack of the totalitarian linguistic tactics (...) of the Party in Orwell’s 1984 and b) because they dehumanize the opposition by portraying them as mere spouters of gibberish; 2) that they are profoundly illiberal since if true, they would undermine Mill’s arguments for free speech; 3) that such theories are prone to self-contradiction, pragmatic and otherwise; 4) that they often turn against their creators including what they were meant to exclude and excluding what they were meant to include; 5) that such theories are susceptible to a modus tollens pioneered by Richard Price in his Review Concerning the Principle Questions of Morals(1758); and 6) that such theories are prima facie false since they fail to ‘predict’ the data that is it their business to explain (or, in the case of criteria, fail to capture the concept that they allegedly represent). The butcher’s bill is quite considerable: some of Hobbes, a fair bit of Locke, half of Berkeley, large chunks of Hume, Russell's Theory of Types, verificationism in its positivist and Dummettian variants, much of pragmatism and most of Wittgenstein - all these have to be sacrificed if we are to save our souls as philosophic liberals. (shrink)

This paper proposes a response to the duplication objection to the descriptive theory of singular mental reference. This objection involves hypothetical cases in each of which there are a pair of qualitatively indistinguishable objects and a thought that apparently refers to only one of the pair, despite the descriptive indistinguishability of the two objects. I identify a concept of reference-likeness or closeness to reference, which is related to the concept of genuine singular reference as the concept of truthlikeness or closeness (...) to truth is related to the concept of truth. My response to the duplication objection is to say that the hypothetical cases it involves establish only that a thought can come close enough to singular reference to a thing despite not genuinely referring to that thing, a consequence that is compatible with the descriptive theory of singular mental reference. (shrink)

This essay focuses on the explosive claim Cavell inserts in the middle of The Claim of Reason that a narrative history of a certain style of philosophy should be called “Philosophy and the Rejection of the Human.” In order to understand the accusation, I shape interpretations of what Cavell means by nearly each of the terms of this dramatic sentence. I begin by comparing senses of “philosophy” by way of a comparison with Rorty’s critical review of The Claim of Reason; (...) I proceed by underlining how, in Cavell’s work, the notion “human” and its rejection also is entangled with that which Cavell describes as “skepticism.” It is necessary, therefore, to understand whether there is a specific characteristic difference between skepticism and the style of philosophy that is implicated in the “rejection of the human.” It seems as if there should be a difference, given Cavell’s notorious approval of the truth or the moral of skepticism and the apparent criticism of the philosophical style that rejects the human. I show that the difference can be discovered by focusing on Cavell’s understanding of criteria. In particular, I emphasize the space of a subject’s relation to criteria, a subjective claim to universality without objectivity, in pursuing and extending Cavell’s own appeal to Kant’s Critique of Judgment. It is this subjective component that is rejected in the style of philosophy that Cavell singles out. (shrink)

Before the law sits a gatekeeper. To this gatekeeper comes a man from the country who asks to gain entry into the law. But the gatekeeper says that he cannot grant him entry at the moment. The man thinks about it and then asks if he will be allowed to come in sometime later on. “It is possible,” says the gatekeeper, “but not now.”—Franz Kafka..

Those matters that are judged to be spiritual are seen as especially valuable and important. For this reason it is claimed that nurses need to be able to offer spiritual care when appropriate and, to aid them in this, nurse theorists have discussed the nature of spirituality. In a recent debate John Paley has argued that nurses should adopt a naturalistic stance which would enable them to employ the insights of modern science. Barbara Pesut has criticized this thesis, especially as (...) it is applied to palliative care. This paper re-examines this debate with particular attention to the meaning of 'spirituality' and the justification for accepting spiritual and religious theories. It is argued that when we take into consideration the great diversity among religious and spiritual ideas, the lack of rational means of deciding between them when they conflict, and the practicalities of nursing, we find that a spiritual viewpoint is less useful than a naturalistic one, when offering palliative care. (shrink)

Mark Mason, in his ‘A Justification, After the Postmodern Turn, of Universal Ethical Principles and Educational Ideals’ Educational Philosophy and Theory, 37 , attempts to justify transcultural multiculturalism. In this paper I argue that he fails to refute moral relativism, and that multiculturalism as he interprets it is not morally acceptable.

Jin Yuelin (1895?1984), a Chinese logician and philosopher, is greatly influenced by Hume's and Russell's philosophies. How should we respond to Hume's problem of induction? This is an important clue to understand Jin's whole philosophical career. The first section of this paper gives a brief historical review of Russell and Jin. The second section outlines Hume's skeptical arguments against causality and induction. The third section expounds Russell's justification of induction by discussing his views on Hume's skepticism, causality, principle of induction, (...) and empirical postulates. The fourth section clarifies Jin's justification of induction by discussing his critique of Hume's epistemology and his arguments for the reliability of causality and the eternal truth and apriority of the principle of induction. The final section compares Jin's justification of induction with Russell's and concludes that there are similarities and differences between their projects and that both their attempts fail. This paper takes the similar responses to the problem of induction by Jin and Russell to demonstrate the communication that there has been between Chinese philosophers and the Western ones. (shrink)

Pour projeter de la lumière dans de nombreux coins et recoins obscurs de la logique pure de Husserl et dans les rapports entre sa logique formelle et sa logique transcendantale, et combler des lacunes empêchant qu’on arrive à une appréciation juste de sa Mannigfaltigkeitslehre, ou théorie de multiplicités, on examine comment, en prônant une théorie des systèmes déductifs, ou systèmes d’axiomes, comme tâche suprême de la logique pure, Husserl cherchait à résoudre certains problèmes épineux auxquels il s’était heurté en écrivant (...) Philosophie de l’arithmétique. Ces problèmes sont décrits. Ensuite, on rassemble les éléments nécessaires pour caractériser ce que Husserl, à travers les textes présentement disponibles, voulait dire des Mannigfaltigkeiten. Pour conclure, il est indiqué comment Husserl pouvait considérer que sa théorie représentait une solution aux problèmes qui avaient conduit à son élaboration.To shed light on the numerous dark areas surrounding Husserl’s ideas about pure logic and the relationship between his formal logic and his transcendental logic, and so provide an accurate characterisation of his Mannigfaltigkeitslehre, a close look is taken at how, by advocating a theory of deductive systems, or axiomatic systems as the highest task of pure logic, Husserl sought to resolve certain thorny problems he encountered when writing the Philosophy of Arithmetic. Those problems are described. Then, his ideas about axiomatization and manifolds are drawn together from the various sources now available to provide a more complete picture of his Mannigfaltigkeitslehre. In conclusion, it is shown how Husserl considered his theory to be a solution to the problems leading to its development. (shrink)

A theory of relations is presented that provides a detailed account of the logical structure of relational complexes. The theory draws a sharp distinction between relational complexes and relational states. A salient difference is that relational complexes belong to exactly one relation, whereas relational states may be shared by different relations. Relational complexes are conceived as structured perspectives on states ‘out there’ in reality. It is argued that only relational complexes have occurrences of objects, and that different complexes of the (...) same relation may correspond to the same state. (shrink)

Many philosophers would, in theory, agree that the methods and tools of philosophy ought to be supplemented by those of other academic disciplines. In practice, however, the sociological data suggest that most philosophers fail to engage or collaborate with other academics, and this article argues that this is problematic for philosophy as a discipline. In relation to the value of interdisciplinary collaboration, the article highlights how experimental philosophers can benefit the field, but only insofar as they draw from the distinctive (...) methods of philosophy and overcome the charge of “amateur psychology” by more consistently collaborating with the scientists they seek to emulate. It concludes that philosophers ought to collaborate with other academics in order to gain an experience-based understanding of the methods of other disciplines in addition to an understanding of the content of these disciplines. (shrink)

Abstract: This paper explores the relevance of themes from Wittgenstein's Tractatus Logico-Philosophicus to the ongoing discussion of metaphysical nihilism. I set out by showing how metaphysical nihilism is of paramount importance for cosmological arguments. Metaphysical nihilism is the position that there might have been nothing. Two conflicting intuitions emerge from a survey of discussions of metaphysical nihilism: Firstly, that metaphysical nihilism is true, and secondly, that formulations of the position are somehow unclear or nonsensical. By considering formalizations of philosophical language, (...) the second intuition is sharpened, while the first intuition is given expression through the Tractarian distinction between what is said and what is shown by our symbolism. I conclude by exploring and rejecting objections to making metaphysical nihilism a scientific, rather than a philosophical question. (shrink)

This article first surveys the established views on Wittgenstein's relation to analytic philosophy. Next it distinguishes among different ways of defining analytic philosophy—topical, doctrinal, methodological, stylistic, historical, and the idea that it is a family-resemblance concept. It argues that while certain stylistic features are important, the historical and the family-resemblance conceptions are the most auspicious, especially in combination. The answer to the title question is given in section 3. Contrary to currently popular “irrationalist” interpretations, Wittgenstein was an analytic philosopher in (...) all phases of his career, albeit an exceedingly exotic one whose style transcends the limits of academic philosophy in general. On the historical understanding he qualifies because he was influenced by and in turn influenced mainly analytic philosophers. On the family-resemblance conception he qualifies both because he developed and employed logico-linguistic analysis and because he initiated the linguistic turn and the distinction between philosophy and science that characterizes one important strand in analytic philosophy. (shrink)

According to one creation myth, analytic philosophy emerged in Cambridge when Moore and Russell abandoned idealism in favour of naive realism: every word stood for something; it was only after “the Fall,” Russell's discovery of his theory of descriptions, that they realized some complex phrases (“the present King of France”) didn't stand for anything. It has become a commonplace of recent scholarship to object that even before the Fall, Russell acknowledged that such phrases may fail to denote. But we need (...) to go further: even before the Fall, Russell had taken an altogether more discerning approach to the ontology of logic and relations than is usually recognized. (shrink)

In his recent book, "The Metaphysicians of Meaning" (2000), Gideon Makin argues that in the so-called "Gray's Elegy" argument (the GEA) in "On Denoting", Russell provides decisive arguments against not only his own theory of denoting concepts but also Frege's theory of sense. I argue that by failing to recognize fundamental differences between the two theories, Makin fails to recognize that the GEA has less force against Frege's theory than against Russell's own earlier theory. While I agree with many aspects (...) of Makin's interpretation of the GEA, I differ with him regarding some significant details and present an interpretation according to which the GEA emerges as simpler, stronger, and more integrated. (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 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)

My purpose here is purely historical. It is not an attempt to resolve the question as to whether Russell did or did not countenance nonclassical logics, and if so, which nonclassical logics, and still less to demonstrate whether he himself contributed, in any manner, to the development of nonclassical logic. Rather, I want merely to explore and insofar as possible document, whether, and to what extent, if any, Russell interacted with the various, either the various candidates or their, ideas that (...) Dejnožka and others have proposed as potentially influential in Russell’s intellectual reactions to nonclassical logic or to the philosophical concepts that might contribute to his reactions to nonclassical logics. (shrink)

Throughout his career, Husserl identifies naturalism as the greatest threat to both the sciences and philosophy. In this paper, I explicate Husserl’s overall diagnosis and critique of naturalism and then examine the specific transcendental aspect of his critique. Husserl agreed with the Neo-Kantians in rejecting naturalism. He has three major critiques of naturalism: First, it (like psychologism and for the same reasons) is ‘countersensical’ in that it denies the very ideal laws that it needs for its own justification. Second, naturalism (...) essentially misconstrues consciousness by treating it as a part of the world. Third, naturalism is the inevitable consequence of a certain rigidification of the ‘natural attitude’ into what Husserl calls the ‘naturalistic attitude’. This naturalistic attitude ‘reifies’ and it ‘absolutizes’ the world such that it is treated as taken-for-granted and ‘obvious’. Husserl’s transcendental phenomenological analysis, however, discloses that the natural attitude is, despite its omnipresence in everyday life, not primary, but in fact is relative to the ‘absolute’ transcendental attitude. The mature Husserl’s critique of naturalism is therefore based on his acceptance of the absolute priority of the transcendental attitude . The paradox remains that we must start from and, in a sense, return to the natural attitude, while, at the same time, restricting this attitude through the on-going transcendental vigilance of the universal epoché. (shrink)

The article rebutts Michael Kremer’s contention that Russell’s contextual definition of set-theoretic language in Principia Mathematica constituted the ontological achievement of eliminating commitment to classes. Although Russell’s higher-order quantifiers, used in the definition, need not range over classes, none of the plausible substitutes provide a solid basis for eliminating them. This point is used to defend the presentation, in The Dawn of Analysis, of Russell’s logicist reduction, using a first-order version of naive set theory.

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)

At first russell thought (p) that whatever a proposition is about must be a constituent of it. Then, Around 1900, He discovered denoting concepts and realized that a proposition could be about something and have only its denoting concept as constituent. However, A number of remarks that he made through the years can only be understood as inspired by (p). In particular, The arguments offered in "on denoting" against the doctrine of denotation of "principles" are grounded on (p).

The paper presents a novel version of universalism—the thesis according to which there are only universals, no individuals—which is cashed out in terms of an adverbial analysis of predication. According to the theory, every spatiotemporal occurrence of a universal U can be expressed by a sentence which asserts the existence of U adverbially modified by the spatiotemporal region at which it exists. After some preliminary remarks on the interpretation of natural language, a formal semantics for the theory is first provided, (...) along with an intended interpretation of its key metaphysical imports. Follow some commentaries on the spatiotemporal manifold and determinable properties. (shrink)

The paper describes the evolution of russell's theory of judgment between 1910 and 1913, With especial reference to his recently published "theory of knowledge" (1913). Russell abandoned the book and with it the theory of judgment as a result of wittgenstein's criticisms. These criticisms are examined in detail and found to constitute a refutation of russell's theory. Underlying differences between wittgenstein's and russell's views on logic are broached more sketchily.

The author finds no support for the claim that J. M. Keynes had severe reservations, in general, as opposed to particular, concerning the application of mathematical, logical and statistical methods in economics. These misinterpretations rest on the omission of important source material as well as a severe misconstrual ofThe Treatise on Probability (1921).

Dainton and Robinson’s Companion traces lines of descent of analytic philosophy from ancestors. They characterize analytic philosophy as a movement, a tradition, a style, and a commitment to the va...

I explain how Karl Popper resolved the problem of induction but not the pragmatic problem of induction. I show that Popper’s solution to the pragmatic problem of induction is inconsistent with his solution to the problem of induction. I explain how Popper’s falsificationist epistemology can solve the pragmatic problem of induction in the same negative way that it solves the problem of induction.

Since the appearance of Dummett’s monumental monograph in the early seventies of the last century there have been two interpretative traditions of reading Frege, one contradicting the other: the platonistic (or realistic) interpretation and the holistic (rationalistic) one. In this article, as a kind of intermediation, I firstly point out some pragmatic aspects of Frege’s work. Secondly, and more ambitiously, I outline the controversy between the most influential theories of truth (the correspondence, coherence, redundancy and pragmatic theory) in the light (...) of Frege’s philosophy. After all it was the concept of truth that Frege himself identified as the main objective of logic. (shrink)

This paper considers whether we should believe philosophical claims on the basis of testimony in light of related debates about aesthetic and moral testimony. It is argued that we should not believe philosophical claims on testimony, and different explanations of why we should not are considered. It is suggested that the reason why we should not believe philosophical claims on testimony might be that philosophy is not truth-directed.

Hilbert’s choice operators τ and ε, when added to intuitionistic logic, strengthen it. In the presence of certain extensionality axioms they produce classical logic, while in the presence of weaker decidability conditions for terms they produce various superintuitionistic intermediate logics. In this thesis, I argue that there are important philosophical lessons to be learned from these results. To make the case, I begin with a historical discussion situating the development of Hilbert’s operators in relation to his evolving program in the (...) foundations of mathematics and in relation to philosophical motivations leading to the development of intuitionistic logic. This sets the stage for a brief description of the relevant part of Dummett’s program to recast debates in metaphysics, and in particular disputes about realism and anti-realism, as closely intertwined with issues in philosophical logic, with the acceptance of classical logic for a domain reflecting a commitment to realism for that domain. Then I review extant results about what is provable and what is not when one adds epsilon to intuitionistic logic, largely due to Bell and DeVidi, and I give several new proofs of intermediate logics from intuitionistic logic+ε without identity. With all this in hand, I turn to a discussion of the philosophical significance of choice operators. Among the conclusions I defend are that these results provide a finer-grained basis for Dummett’s contention that commitment to classically valid but intuitionistically invalid principles reflect metaphysical commitments by showing those principles to be derivable from certain existence assumptions; that Dummett’s framework is improved by these results as they show that questions of realism and anti-realism are not an “all or nothing” matter, but that there are plausibly metaphysical stances between the poles of anti-realism and realism, because different sorts of ontological assumptions yield intermediate rather than classical logic; and that these intermediate positions between classical and intuitionistic logic link up in interesting ways with our intuitions about issues of objectivity and reality, and do so usefully by linking to questions around intriguing everyday concepts such as “is smart,” which I suggest involve a number of distinct dimensions which might themselves be objective, but because of their multivalent structure are themselves intermediate between being objective and not. Finally, I discuss the implications of these results for ongoing debates about the status of arbitrary and ideal objects in the foundations of logic, showing among other things that much of the discussion is flawed because it does not recognize the degree to which the claims being made depend on the presumption that one is working with a very strong logic. (shrink)

Historians of philosophy commonly regard as antipodal Bertrand Russell and Edmund Husserl, the founding fathers of analytic philosophy and phenomenology. This paper, however, establishes that during a formative phase in both of their careers Russell and Husserl shared a range of seminal ideas. In particular, the essay adduces clear cases of family resemblance between Husserl’s and Russell’s philosophy during their middle period, which spanned the years 1905 through 1918. The paper thus challenges the received view of Husserl’s relation to early (...) analytic philosophy and this by pursuing two strategies of exposition. One involves comparing Husserl with Russell, and not, as has been the usual practice, with Frege. The other, which follows the first, foregrounds Husserl’s thinking vis-à-vis Russell’s from 1905 onward, a move that constitutes a break with what has become the standard approach of emphasising the relatedness of Husserl of the Logical Investigations (1900/1) to analytic philosophy. Moreover, this approach discloses two chief grounds of relatedness between the middle Husserl and the middle Russell. One is their shared interest in exploring philosophical “fundamentals”. The second consists of common elements shared by their epistemologies and philosophies of mind. (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)

As British and American idealism waned, new realisms displaced them. The common background of these new realisms emphasized the problem of the external world and the mind-body problem, as bequeathed by Reid, Hamilton, and Mill. During this same period, academics on both sides of the Atlantic recognized that the natural sciences were making great strides. Responses varied. In the United States, philosophical response focused particularly on functional psychology and Darwinian adaptedness. This article examines differing versions of that response in William (...) James and Roy Wood Sellars. James viewed the mind as a “fighter for ends.” His neutral monism, by taming the mind-body problem and the problem of the external world, provided a secure metaphysics of mind as functional activity. In contrast, Sellars ’s scientific realism endorsed physical reality but was not mechanistic or reductionist. His critical realism and evolutionary naturalism offered novel metaphysical and epistemological positions in comparison with other American and British realisms. James and Sellars are distinguished from British philosophy in 1890–1918 in the types of realism they endorsed and in their success at introducing Darwinian evolutionary considerations and functional psychology into mainstream philosophy. (shrink)

§1. Introduction. Although Whitehead and Russell’s Principia Mathematica (hereafter, PM ), published almost precisely a century ago, is widely heralded as a watershed moment in the history of mathematical logic, in many ways it is still not well understood. Complaints abound to the effect that the presentation is imprecise and obscure, especially with regard to the precise details of the ramified theory of types, and the philosophical explanation and motivation underlying it, all of which was primarily Russell’s responsibility. This has (...) had a large negative impact in particular on the assessment of the socalled “no class” theory of classes endorsed in PM. According to that theory, apparent reference to classes is to be eliminated, contextually, by means of higher-order “propositional function”—variables and quantifiers. This could only be seen as a move in the right direction if “propositional functions,” and/or higher-order quantification generally, were less metaphysically problematic or obscure than classes themselves. But this is not the case—or so goes the usual criticism. Years ago, Geach (1972, p. 272) called Russell’s notion of a propositional function “hopelessly confused and inconsistent.” Cartwright (2005, p. 915) has recently agreed, adding “attempts to say what exactly a Russellian propositional function is, or is supposed to be, are bound to end in frustration.” Soames (2008) claims that “propositional functions . . . are more taken for granted by Russell than seriously investigated” (p. 217), and uses the obscurity surrounding them as partial justification for ignoring the no class theory in a popular treatment of Russell’s work (Soames, 2003).1 A large part of the usual critique involves charging Russell with confusion, or at least obscurity, with regard to what a propositional function is supposed to be. Often the worry has to do with the use/mention distinction: is a propositional function, or even a proposition. (shrink)

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