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)

Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms. The logical form of a sentence or argument is determined by its syntactic or semantic structure and by the placement of certain expressions called “logical constants.”[1] Thus, for example, the sentences Every boy loves some girl. and Some boy loves every girl. are thought to differ in logical form, even though they share a common syntactic and semantic (...) structure, because they differ in the placement of the logical constants “every” and “some”. By contrast, the sentences Every girl loves some boy. and Every boy loves some girl. are thought to have the same logical form, because “girl” and “boy” are not logical constants. Thus, in order to settle questions about logical form, and ultimately about which arguments are logically valid and which sentences logically true, we must distinguish the “logical constants” of a language from its nonlogical expressions. (shrink)

A detailed interpretation is provided of the ‘Gray's Elegy’ passage in Russell's ‘On Denoting’. The passage is suffciently obscure that its principal lessons have been independently rediscovered. Russell attempts to demonstrate that the thesis that definite descriptions are singular terms is untenable. The thesis demands a distinction be drawn between content and designation, but the attempt to form a proposition directly about the content (as by using an appropriate form of quotation) inevitably results in a proposition about the thing designated (...) instead of the content expressed. In light of this collapse, argues Russell, the thesis that definite descriptions are singular terms must accept that all propositions about a description's content represent it by means of a higher-level descriptive content, so that knowledge of a description's content is always ‘by description’, not ‘by acquaintance’. This, according to Russell, renders our cognitive grip on definite descriptions inexplicable. Separate responses on behalf of Fregeans and Millians are offered. (shrink)

Internal relations are those relations that are intrinsic to the nature of one or more of the relata. They are a kind of essential relation, rather than an essential property. For example, an arc of a circle is internally related to the center of that circle in the sense that.

A final version of this paper is in press as: Bickhard, M. H.. The Dynamic Emergence of Representation. In H. Clapin, P. Staines, P. Slezak Representation in Mind: New Approaches to Mental Representation. Praeger.

An interactive process model of the nature of representation intrinsically accounts for multiple emergent properties of consciousness, such as being a contentful experiential flow, from a situated and embodied point of view. A crucial characteristic of this model is that content is an internally related property of interactive process, rather than an externally related property as in all other contemporary models. Externally related content requires an interpreter, yielding the familiar regress of interpreters, along with a host of additional fatal problems. (...) Further properties of consciousness, such as differentiated qualities of experience, including qualia, emerge with conscious reflection. In particular, qualia are not constituents or direct properties of consciousness per se. Assuming that they are so is a common and ultimately disastrous misconstrual of the problems of consciousness. (shrink)

This paper presents a detailed exegesis of Russell’s “Gray’s Elegy Argument”. It holds that the GEA mounts a successful attack on Frege—a thesis that has been widely controverted in the literature. The point of departure for my interpretation is Russell’s charge that it is impossible to speak about Sinne, or “meanings” as Russell calls them. I argue that the charge concerns the construction of an “ideal language.” For Russell, an ideal language is an artificial schema designed to represent the truth-makers (...) for sentences occurring in natural language. Its signs stand for the entities that are constituents of those truth-makers. Russell’s charge can thus be expressed more clearly and completely as follows: an ideal language designed to express Frege’s ontology requires signs for meanings ; however, the signs introduced for that purpose cannot be correlated with the entities they are supposed to represent. Thus, the requirement cannot be met. (shrink)

James Levine has recently argued that there is a tension between Russell’s Moorean semantical framework and Russell’s Peano-inspired analytical practice. According to Levine, this discrepancy runs deep in Russell’s thought from 1900 to 1918, and underlies many of the doctrinal changes occurring during this period. In this paper, I suggest that, contrary to what Levine claims, there is no incompatibility between Moore’s theory of meaning and the idea of informative conceptual analysis. I show this by relating Moore’s view of meaning (...) to his Sidgwick-inspired criticism of the so-called naturalistic fallacy. I maintain that Moore’s semantical framework has a methodological intent: following Sidgwick, Moore wants to block any attempt to justify ethical principles through setting ad hoc conditions on the meaning of the terms involved. Thus, far from grounding philosophical knowledge on subjective intuitions, as Levine suggests, Moore’s framework would provide us with the means to make room for a discursive and dialectic conception of philosophical inquiry. (shrink)

We develop a reading of Moore’s “Proof of an External World” that emphasizes the connections between this paper and Moore’s earlier concerns and strategies. Our reading has the benefit of explaining why the claims that Moore advances in “Proof of an External World” would have been of interest to him, and avoids attributing to him arguments that are either trivial or wildly unsuccessful. Part of the evidence for our view comes from unpublished drafts which, we believe, contain important clues concerning (...) Moore’s aims and intent. While our approach to PEW may be classified alongside other broadly "metaphysical" readings, we believe that a proper recognition of the continuity in Moore’s philosophical concerns and strategies across his philosophical career shows that the customary distinction between "epistemological" and "metaphysical" interpretative approaches to PEW is at best superficial. (shrink)

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

ABSTRACTFregeans hold that predicates denote things, albeit things different in kind from what singular terms denote. This leads to a familiar problem: it seems impossible to say what any given predicate denotes. One strategy for avoiding this problem reduces the Fregean position to form of nominalism. I develop an alternative strategy that lets the Fregean hold on to the view that predicate denote things by reconceiving the nature of singular denotation and of Fregean objects.

The problem, or cluster of problems, of the unity of the proposition, along with the cluster of problems that tend to go under the name of Bradley’s regress, has recently again become a going concern for philosophers, after having for some time been regarded as primarily of historical interest. In this paper, I distinguish between the different problems that tend to be brought up under the heading of the unity of the proposition, and between different related regress arguments. I present (...) my favored solutions to these problems. (shrink)

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

This article examines the development of Russell's treatment of propositions, in relation to the topic of psychologism. In the first section, we outline the concept of psychologism, and show how it can arise in relation to theories of the nature of propositions. Following this, we note the anti-psychologistic elements of Russell's thought dating back to his idealist roots. From there, we sketch the development of Russell's theory of the proposition through a number of its key transitions. We show that Russell, (...) in responding to a variety of different problems relating to the proposition, chose to resolve these problems in ways that continually made concessions to psychologism. (shrink)

In recent years, even some of its own practitioners have accused analytic philosophy of lacking historical awareness. My aim is to show that analytic philosophy and history are not such a mismatch after all. Against the objection that analytic philosophers have unduly ignored the past I argue that for the most part they only resist strong versions of historicism, and for good reasons. The history of philosophy is not the whole of philosophy, as extreme historicists maintain, nor is it indispensable (...) to substantive philosophizing, as mainline historicists have it, it is merely advantageous (pragmatic historicism). Against the objection that analytic histories of philosophy are inevitably anachronistic I argue that it is possible to approach past texts with a view to substantive issues and in a critical spirit (contrary to historicist relativism and to misguided interpretations of the principle of charity). Indeed, such an analytic approach makes not just for better philosophy but also for better history. (shrink)

One view of the nature of properties has been crystallized in recent debate by an identity thesis proposed by Shoemaker. The general idea is that there is for behaviour. Well-known criticisms of this approach, however, remain unanswered, and the details of its connections to laws nothing more to being a particular causal property than conferring certain dispositions of nature and the precise ontology of causal properties stand in need of development. This paper examines and defends a dispositional essentialist account of (...) causal properties, combining a Shoemaker-type identity thesis with a Dretske, Tooley, and Armstrong-type view that laws are relations between properties, and a realism about dispositions. The property identity thesis is defended against standard epistemological and metaphysical objections. The metaphysics of causal properties is then clarified by a consideration of the laws relating them, vacuous laws, and ceteris paribus law statements. (shrink)

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

This paper has a two-fold objective: to provide a balanced, multi-faceted account of the origins of logicism; to rehabilitate Richard Dedekind as a main logicist. Logicism should be seen as more deeply rooted in the development of modern mathematics than typically assumed, and this becomes evident by reconsidering Dedekind's writings in relation to Frege's. Especially in its Dedekindian and Fregean versions, logicism constitutes the culmination of the rise of ?pure mathematics? in the nineteenth century; and this rise brought with it (...) an inter-weaving of methodological and epistemological considerations. The latter aspect illustrates how philosophical concerns can grow out of mathematical practice, as opposed to being imposed on it from outside. It also sheds new light on the legacy and the lasting significance of logicism today. (shrink)

Assertion plays a crucial dual role in Frege's conception of logic, a formal and a transcendental one. A recurrent complaint is that Frege's inclusion of the judgement-stroke in the Begriffsschrift is either in tension with his anti-psychologism or wholly superfluous. Assertion, the objection goes, is at best of merely psychological significance. In this paper, I defend Frege against the objection by giving reasons for recognising the central logical significance of assertion in both its formal and its transcendental role.

Semantics in the Montagovian tradition combines two basic tenets. One tenet is that the semantic value of a sentence is an intension, a function from points of evaluations into truth-values. The other tenet is that the semantic value of a composite expression is the result of applying the function denoted by one component to arguments denoted by the other components. Many philosophers object to intensional semantics on the grounds that intensionally equivalent sentences do not substitute salva veritate into attitude ascriptions. (...) They propose instead that the semantic values of sentences must be structured propositions. In rejecting intensional semantics, philosophers who endorse structured propositions also usually reject functional compositionality, undermining both tenets of the Montagovian programme. I defend a semantic theory that incorporates both structured propositions and functional compositionality. I argue that this semantic theory can preserve many explanatory benefits of Montague semantics. Finally, I show how treating composition functional application can resolve core problems internal to a theory of structured propositions. (shrink)

This thesis seeks to understand the nature of and relation between science and philosophy articulated in the early work of the French philosopher Gilles Deleuze. It seeks to challenge the view that Deleuze’s metaphysical and metaphilosophical position is in important part an attempt to respond to twentieth century developments in the natural sciences, claiming that this is not a plausible interpretation of Deleuze’s early thought. The central problem identified with such readings is that they provide an insufficient explanation of the (...) nature of philosophy’s contribution to the encounter between philosophy and science that they discern in Deleuze’s work. The philosophical, as opposed to scientific, dimension of the position attributed to Deleuze remains obscure. In chapter 1, it is demonstrated that this question of philosophy’s contribution to intellectual life and of how to differentiate philosophy from the sciences is a live one in Deleuze’s early thought. An alternative, less anachronistic interpretation of the parameters of Deleuze’s early project is offered. The remaining chapters of the thesis examine the early Deleuze’s understanding of the divergence between philosophy and science. Chapter 2 gives an account of Deleuze’s metaphilosophy, alongside a reconstruction of his largely implicit early understanding of science. The divergent intellectual processes and motivating concerns that account for Deleuze’s understanding of the differentiation of science and philosophy are thus clarified. In chapter 3, Deleuze’s use of mathematical and physical concepts is examined. It is argued that these concepts are used metaphorically. In chapter 4, the association between modern science and the Deleuzian concept of immanence that has been proposed by some Deleuze scholars is examined and ultimately challenged. The thesis concludes with some reflections on the significance of Deleuze’s early work for contemporary debates concerning the future of continental philosophy and the nature of philosophy more generally. (shrink)

According to his own account, Russell was “led to” the Theory of Descriptions by “the desire to avoid Meinong’s unduly populous realm of being”. This “official view” has been subjected to severe criticism. However stimulating this criticism may be, it is too extreme and therefore not critical enough. It fails to fully acknowledge both the way it is itself opposed to Russell and the way Russell and Meinong were opposed to _their_ opponents. In order to avoid these failures, a more (...) “dialectical” kind of analysis will be applied. It leads to unravelling two confusions shared by the official and the unofficial views: the confusion between _conception_ and _adoption_ of the theory of descriptions and the confusion between _three varieties of Meinongianism_. By means of these distinctions both a significant kernel of truth contained in Russell’s account and the underlying motive for his distortion of the historical facts can be laid bare. (shrink)

Ray Monk and Anthony Palmer, (eds) Bertrand Russell and the Origins of Analytical Philosophy, Thoemmes Press, Bristol, 1996; pp. xvi + 383; Hans-Johann Glock, (ed.) The Rise of Analytic Philosophy, Blackwell, 1997; pp. xiv + 95; Matthias Schirn, (ed.) Frege: Importance and Legacy, Walter de Gruyter, Berlin, 1996; pp. x + 466; Stuart G. Shanker, (ed.) Philosophy of Science, Logic and Mathematics in the Twentieth Century, Routledge History of Philosophy Volume IX, Routledge, 1996; pp. xxxviii + 461; John Blackmore, (ed.) (...) Ludwig Boltzmann: His Later Life and Philosophy, 1900-1906, Kluwer, Dordrecht, 1995; pp. xvi + 266. (shrink)

The aim of this paper is to analyze notions of common good and of the state in late 19th century British social liberalism and their relation to collective action of the citizens. The author shows that British social liberals argued for a type of state that uses top down strategy to encourage collective action in order to transform individuals into a socially responsible groups, i.e. good citizens. The paper focuses on philosophical works of F. H. Bradley, ethics of T. H. (...) Green and political philosophy of B. Bosanquet, analyzing their efforts to reconceptualize ideas of classical liberalism and utilitarian doctrine of the individual, society and the state in light of emerging influence of leftist social movements. The author argues that the works of British social liberals are a foundation of the state and society which will dominate liberalism in the second half of 20th century, i.e. the idea of the welfare state. (shrink)

This essay examines some of the arguments in David Deutsch's book The Fabric of Reality , chief among them its case for the so-called many-universe interpretation of quantum mechanics (QM), presented as the only physically and logically consistent solution to the QM paradoxes of wave/particle dualism, remote simultaneous interaction, the observer-induced 'collapse of the wave-packet', etc. The hypothesis assumes that all possible outcomes are realized in every such momentary 'collapse', since the observer splits off into so many parallel, coexisting, but (...) epistemically non-interaccessible 'worlds' whose subsequent branchings constitute the lifeline-or experiential world-series- for each of those proliferating centres of consciousness. Although Deutsch concedes that his 'multiverse' theory is counter-intuitive, he none the less takes it to be borne out beyond question by the sheer observational/predictive success of QM and the conceptual dilemmas that supposedly arise with alternative (single-universe) accounts. Moreover, he claims the theory resolves a range of longstanding philosophical problems, notably those of mind/body dualism, the various traditional paradoxes of time, and the freewill/determinism issue. The essay suggests on the contrary, that Deutsch unwittingly transposes into the framework of presentday quantum debate speculative themes from the history of rationalist metaphysics, often with bizarre or philosophically dubious results, and that he rules out at least one promising rival account, namely Bohm's 'hidden variables' theory. It goes on to consider reasons for resistance to that theory among proponents of the 'orthodox' (Copenhagen) doctrine, and for the strong anti-realist, at times even irrationalist bias that has characterized much of this discussion since Bohr's debates with Einstein about quantum non-locality, observer-intervention, and the limits of precise measurement. Finally, the contrast is pointed out between Deutsch's ontologically extravagant use of the many-worlds hypothesis (akin to certain ideas advanced by speculative metaphysicians from Leibniz down) and those realist modes of counterfactual reasoning- e.g. in Kripke and the early Putnam- which deploy similar arguments to very different causal-explanatory ends. (shrink)

Many interpreters of the Tractatus accept that the book endorses an argument for simples based on the reflection that, since complexes exist only contingently, if names referred to complexes the propositions in which they figure would lack sense if their referents went out of existence. More specifically, most interpreters read 2.0211-2.0212 as putting forward this argument. My main goal in this paper is to attack this reading and to put forward an alternative. I argue that there is no good reason (...) for thinking that the Tractatus advances this argument. I argue that 2.0211-2, in particular, should not be read in this way, and put forward an alternative reading of the passage. (shrink)

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

The careful historical and metaphilosophical attention recently bestowed upon analytic philosophy has revealed that traditional ways of defining it are inadequate. In the face of this inadequacy, contemporary authors have proposed new definitions that detach analytic philosophy from its turn of the twentieth century origins. I argue that this contemporary trend in defining analytic philosophy is misguided, and that it diminishes the likelihood of our coming to an accurate historical and metaphilosophical understanding of it. This is especially unsatisfactory since such (...) understanding is essential to finding an adequate remedy for the widely perceived ills of contemporary analytic philosophy. I suggest that a more fruitful approach to developing such understanding might begin with treating the unity of analytic philosophy as illusory. (shrink)

This paper investigates Wittgenstein's "notorious" criticism of Russell's theory of judgment. Instead of advancing a further new interpretation of it, though, I analyze and discuss some of the most promising readings of the Russell/Wittgenstein dispute put forward in the secondary literature; I aim to show that, despite their alleged reciprocal opposition, they cohere with each other because they are, at bottom, different ways of highlighting the same question. I then connect Wittgenstein's criticism of Russell to the account of the nature (...) of the proposition presented in the Tractatus, arguing that the latter can be seen as a natural development of the former. Finally, I make a quick connection between Wittgenstein's criticism of Russell and the conception of the world as the totality of facts, as presented in the Tractatus. (shrink)

After more than a century of its development, philosophers working in the analytic tradition have recently begun to consider its history as an object of philosophical investigation.1 This development, particularly significant in the context of a tradition of inquiry that has often conceived of its own problems as ahistorical, is salutary in that it offers to show what, within the tradition, remains rich and vital for philosophy today, as well as to extract the significant theoretical and doctrinal results that can (...) be considered to have been achieved in its itinerary so far. The appearance of a comprehensive, two-volume consideration of the history of analytic philosophy in the twentieth century, written by one of the tradition’s leading contemporary practitioners, is therefore cause for excitement. And Scott Soames’ two-volume Philosophical Analysis in the Twentieth Century is, by any measure, an impressive work. Running to almost 900 pages, it assembles careful, meticulous and detailed expositions and analyses of the arguments and positions of a wide variety of thinkers within the analytic tradition, evaluating the extent of their insight and suggesting implications for philosophical thought today. The analysis is uniformly lucid and clearly written, offering the student of the analytic tradition an indispensable source of arguments she may want to consider in her own work, as well as, in its own argumentation, a suggestive model of at least one way of doing analytic philosophy. Over the course of his reconstructive and evaluative analysis, Soames considers the views and arguments of early analytic philosophers like Russell and Moore, logical positivists like Ayer and.. (shrink)

In his 1903 Principles of Mathematics, Russell holds that “it is a characteristic of the terms of a proposition”—that is, its “logical subjects”—“that any one of them may be replaced by any other entity without our ceasing to have a proposition”. Hence, in PoM, Russell holds that from the proposition ‘Socrates is human’, we can obtain the propositions ‘Humanity is human’ and ‘The class of humans is human’, replacing Socrates by the property of humanity and the class of humans, respectively. (...) Hence also, in PoM, Russell accepts the doctrine of the unrestricted variable: if we replace a logical subject of a proposition by a variable to yield a propositional function, the range of that variable includes absolutely every entity. For absolutely any entity can be taken as a value of that variable to yield a proposition, true or false. The doctrine of the unrestricted variable is thus incompatible with any type-theoretic metaphysics, according to which only entities of a certain restricted type can replace a logical subject of a given proposition so as to yield another proposition. (shrink)

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

In every introductory course on logic, students learn that expressions like ‘somebody’, ‘nothing’ or ‘every woman’ are not names or referring expressions, but quantifiers, and that, owing to this,...