We face reality presented with the data of conscious experience and nothing else. The project of early modern philosophy was to build a complete theory of the world from this starting point, with no cheating. Crucial to this starting point is the data of conscious sensory experience – sense data. Attempts to avoid this project often argue that the very idea of sense data is confused. But the sense-data way of talking, the sense-data language, can be freed from every blemish (...) using ideas from contemporary metaontology. We can adopt a sense-data framework that vindicates the traditional claims of sense-data theories and leads to plausible theories of perception and color. We can, we should, and in a sense, we must. Yet when we do, we face the traditional problem of external world skepticism, head-on. The real challenge of skepticism is forced upon us; it cannot honestly be avoided using externalist tricks, burden of proof shifting, or other razzle dazzle. But the challenge can be met: we are rational to posit the external world as the best explanation of the many synchronic and diachronic patterns over our sense-data. This paper argues for all of these points and ends with a plea for analytic empiricism – a traditional sense-data version of empiricism that uses all of the tools of analytic philosophy while avoiding the more questionable doctrines of the Vienna Circle (phenomenalism, verificationism). Analytic empiricism is our last best hope for completing the great philosophical project of early modern philosophy. (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..

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)

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)

Once upon a time, logical conventionalism was the most popular philosophical theory of logic. It was heavily favored by empiricists, logical positivists, and naturalists. According to logical conventionalism, linguistic conventions explain logical truth, validity, and modality. And conventions themselves are merely syntactic rules of language use, including inference rules. Logical conventionalism promised to eliminate mystery from the philosophy of logic by showing that both the metaphysics and epistemology of logic fit into a scientific picture of reality. For naturalists of all (...) stripes, this was paradise. Alas, paradise was lost. By the end of the twentieth century, logical conventionalism had been almost universally abandoned. But more recently, it has been revitalized. This chapter provides an overview of logical conventionalism and its history, clears away misunderstandings, and briefly responds to both the canonical objections to conventionalism (from Quine, Dummett, Boghossian, and many others) as well as new objections (from Field and Golan). From paradise lost, to paradise regained: logical conventionalism is back. (shrink)

We re-examine the problem of existential import by using classical predicate logic. Our problem is: How to distribute the existential import among the quantified propositions in order for all the relations of the logical square to be valid? After defining existential import and scrutinizing the available solutions, we distinguish between three possible cases: explicit import, implicit non-import, explicit negative import and formalize the propositions accordingly. Then, we examine the 16 combinations between the 8 propositions having the first two kinds of (...) import, the third one being trivial and rule out the squares where at least one relation does not hold. This leads to the following results: (1) three squares are valid when the domain is non-empty; (2) one of them is valid even in the empty domain: the square can thus be saved in arbitrary domains and (3) the aforementioned eight propositions give rise to a cube, which contains two more (non-classical) valid squares and several hexagons. A classical solution to the problem of existential import is thus possible, without resorting to deviant systems and merely relying upon the symbolism of First-order Logic (FOL). Aristotle’s system appears then as a fragment of a broader system which can be developed by using FOL. (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 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.

This essay argues that non-linguistic animals qualify not just for externalist notions of rationality (maximizing biological fitness or utility), but also for internal ones. They can act for reasons in several senses: their behaviour is subject to intentional explanations, they can act in the light of reasons - provided that the latter are conceived as objective facts rather than subjective mental states - and they can deliberate. Finally, even if they could not, it would still be misguided to maintain that (...) animals are capable only of (mechanical) behaviour, not of (intentional) action. (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)

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 currently standard philosophical conception of existence makes a connection between three things: certain ways of talking about existence and being in natural language; certain natural language idioms of quantification; and the formal representation of these in logical languages. Thus a claim like ‘Prime numbers exist’ is treated as equivalent to ‘There is at least one prime number’ and this is in turn equivalent to ‘Some thing is a prime number’. The verb ‘exist’, the verb phrase ‘there is’ and the (...) quantifier ‘some’ are treated as all playing similar roles, and these roles are made explicit in the standard common formalization of all three sentences by a single formula of first-order logic: ‘(∃ x )[P( x ) & N( x )]’, where ‘P( x )’ abbreviates ‘ x is prime’ and ‘N( x )’ abbreviates ‘ x is a number’. The logical quantifier ‘∃’ accordingly symbolizes in context the role played by the English words ‘exists’, ‘some’ and ‘there is’. (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)

Russell's involuted path in the development of his theory of logical types from 1903 to 1910-13 is examined and explained in terms of the development in his early philosophy of the notion of a logical subject vis-a-vis the problem of the one and many; i.e., the problem for russell, first, of a class-as-one as a logical subject as opposed to a class as many, and, secondly, of a propositional function as a single and separate logical subject as opposed to existing (...) only in the many propositions that are its values. (shrink)

This chapter examines Bertrand Russell’s various confrontations with Bergson’s work. Russell’s meetings with Bergson during 1911 would be followed in 1912 by the publication of Russell’s earliest polemical pieces. His 1912 review of Bergson’s Laughter ridicules the effort to develop a philosophical account of humour on the basis of some formula. In his 1912 “The Philosophy of Bergson”, Russell develops a series of objections against Bergson’s accounts of number, space, and duration. Bergson’s position is defended against Russell’s onslaught by H. (...) W. Carr (1913) and Karin Costelloe-Stephen (1914), though Russell only replies to the former. By contrast to Bergson’s silence in the face of Russell’s criticisms, Russell would continue responding to Bergson’s views in multiple works during the 1910s and 1920s. As this chapter shows, Russell not only develops further objections against specific theses upheld by Bergson, but also comments upon the political implications of Bergson’s philosophy, as well as its positioning within the history of French philosophy. (shrink)

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.

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)

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)

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)

Michael Dummett has claimed that the only way to establish communication between the analytic and Continental schools of philosophy is to go back to their point of divergence in Frege and the early Husserl. In this paper, I try to show that Dummett's claim is false. I examine in detail the discussions at the infamous 1958 Royaumont Colloquium on analytic philosophy. Many ? including Dummett ? believe that these discussions underscore the futility of attempting to bridge the gap between Continental (...) and analytical philosophies in anything like their current shapes. I argue, however, that a close study of the Royaumont proceedings rather reveals how close some of the analytical speakers were to some of their Continental listeners. (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)

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)

Can philosophy still be fruitful, and what kind of philosophy can be such? In particular, what kind of philosophy can be legitimized in the face of sciences? The aim of this paper is to answer these questions, listing the characteristics philosophy should have to be fruitful and legitimized in the face of sciences. Since the characteristics in question demand that philosophy search for new knowledge and new rules of discovery, a philosophy with such characteristics may be called the ‘heuristic view’. (...) According to the heuristic view, philosophy is an inquiry into the world which is continuous with the sciences. It differs from them only because it deals with questions which are beyond the present sciences, and in order to deal with them must try unexplored routes. By so doing, when successful, it may even give birth to new sciences. In listing the characteristics that philosophy should have, the paper systematically compares them with classical analytic philosophy, because the latter has been the dominant philosophical tradition in the last century. (shrink)

It is fairly well known that Wittgenstein's criticisms of Russell's multiple‐relation theory of judgement had a devastating effect on the latter's philosophical enterprise. The exact nature of those criticisms however, and the explanation for the severity of their consequences, has been a source of confusion and disagreement amongst both Russell and Wittgenstein scholars. In this paper, I offer an interpretation of those criticisms which shows them to be consonant with Wittgenstein's general critique of Russell's conception of logic and which serves (...) to elucidate some of the notoriously enigmatic passages of the Tractatus. In particular, I seek to show the continuity of Wittgenstein's criticisms of the theory of judgement with his remarks on Russell's paradox and the theory of types. In addition, I place these issues in the context of Russell's own philosophical ambitions in order to reveal the deep divisions between the two over the nature of logical form and the analysis of propositional content. (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)

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)

Since the publication of W. V. Quine's classic paper “Epistemology Naturalized” there have been many discussion on the virtues and vices of naturalistic epistemology. Within these discussions not much attention has been paid to a basic question: What makes an epistemology naturalistic? I give an answer by providing a logical geography of competing naturalistic positions. Then I defend naturalistic epistemology against the charge of the so-called causal fallacy. Finally I give a critical appraisal of different naturalistic theories of knowledge and (...) introduce cooperative naturalism as the most promising research strategy. (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)

In this paper, I will show to what extent we can use our modern understanding of the Square of Opposition in order to make sense of Kant 's double standard solution to the cosmological antinomies. Notoriously, for Kant, both theses and antitheses of the mathematical antinomies are false, while both theses and antitheses of the dynamical antinomies are true. Kantian philosophers and interpreters have criticized Kant 's solution as artificial and prejudicial. In the paper, I do not dispute such claims, (...) but I show that our modern understanding of the Square of Opposition enables us to more naturally deliver the result Kant was aiming at. Accordingly, the paper does not pretend to be exegetically accurate. It is an attempt to revise the antinomies with the help of standard classical logic. And although such a revision entails some re-interpretation, in the end, it will actually help to unveil some of Kant 's thoughts. (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)

Western society has been diverted from the goal of spiritual freedom and autonomy as expressed in the ancient Pythagorean 'theory of the cosmos'. Indeed, following Heidegger's analysis, it can be seen that modern Western society has arrived at the opposite pole of anthropocentric 'absolute subjectivism' in which the entire non-human world is seen as a material resource to be consumed in the satisfaction of our egoistic passive desires. It is further argued that Spinozism is actually a modern version of the (...) 'theory of the cosmos' which, when supplemented by a vision of man's identity with the ecological world, would provide us with the only adequate portrayal of the God/Nature/Man relationship. (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)

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 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)

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)

My aim in this paper is to characterize the professional good served by the humanities as various academic disciplines, particularly in relation to the general academic good, namely, the pursuit of knowledge in theoretical and scholarly research, and to evaluate the public and ethical dimension of that professional good and the constraints it imposes upon practitioners. My argument will be that the humanities aim at both knowledge of objective facts and acknowledgement of the human status of their subject matter, and (...) that there are facts about human life and society that are inaccessible except through such humanistic acknowledgement. As such, the humanities require the adoption of evaluative, other-oriented points of view, and they serve the public by advancing a reflective view of the very conditions of the public’s own constitution. In short, the humanities incorporate the view that practical and evaluative wisdom is not only essential for the full pursuit of truth, but that it is also an essential public good in any well-ordered society, especially in contemporary democracies. The discussion proceeds by examining various examples of both the professional and the public good in question, and focuses particularly on cases of excessive acknowledgement in the form of uncritical apologetics and excessive objectification in various forms of reductionism. (shrink)

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)

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)

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)

There are many wonderful puzzles concerning Principia Mathematica, but none are more striking than those arising from the crisis that befell Whitehead in November of 1910. Volume 1 appeared in December of 1910. Volume 2 on cardinal numbers and Russell's relation arithmetic might have appeared in 1911 but for Whitehead's having halted the printing. He discovered that inferences involving the typically ambiguous notation ‘Nc‘α’ for the cardinal number of α might generate fallacies. When the volume appeared in 1912, it was (...) extensively emended by Whitehead and accompanied by a Prefatory Statement of Symbolic Conventions. This paper endeavors to recover from Whitehead's bad emendations—including his bewildering thesis that since ‘‘α’ is ‘true whenever significant,’ ‘α is to be accepted. It is supposedly a fallacy to apply Modus Ponens and infer Nc‘α from ‘α and‘‘α. (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)

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)

A dialectical contradiction can be appropriately described within the framework of classical formal logic. It is in harmony with the law of noncontradiction. According to our definition, two theories make up a dialectical contradiction if each of them is consistent and their union is inconsistent. It can happen that each of these two theories has an intended model. Plenty of examples are to be found in the history of science.

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).

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