Empty individual expressions are needed to reconstruct the actual use of scientific language as well as to make logic free from existence assumptions. According to Quine, a language must be extensional to be adequate for the purposes of science. By means of Lambert's non-extensionality argument it can be demonstrated that a language containing empty individual expressions cannot be extensional as long as truth-values are the extensions of sentences. This book investigates the soundness of Lambert's argument and examines the question of (...) whether and how extensionality of a language for free logic can be secured. To achieve these aims, the notion of extensionality is thoroughly analyzed and two new semantic approaches to free logic are developed in which states of affairs, but not truth-values, are the extensions of sentences. These two semantic approaches are defended against the slingshot argument. In this way, two possible solutions to the problem of extensionality arise which use non-existent objects in two different ways: whereas in dual domain semantics non-existent objects serve as referents of empty singular terms, in single domain semantics they serve as hole marker objects that mark the holes in states of affairs where an object is missing due to an irreferental individual expression. (shrink)

SummaryLeśniewski presented his logical systems in a way which conformed to his nominalism, so the question arises whether Leśniewski's logic can be given a natural formal semantics which, unlike current versions, avoids commitment to abstract entities. Building on hints in Wittgenstein's Tractatus, I develop the idea of a way of meaning which is the basis for what I call combinatorial semantics. I then consider whether this commits us to abstract objects or an intensional metalogic.

SummaryLeśniewski presented his logical systems in a way which conformed to his nominalism, so the question arises whether Leśniewski's logic can be given a natural formal semantics which, unlike current versions, avoids commitment to abstract entities. Building on hints in Wittgenstein's Tractatus, I develop the idea of a way of meaning which is the basis for what I call combinatorial semantics. I then consider whether this commits us to abstract objects or an intensional metalogic.

The principal question asked in this paper is: in the case of attributive usage, is the definite description to be analyzed as Russell said or is it to be treated as a referring expression, functioning semantically as a proper name? It answers by defending the former alternative.

The Principle of Semantic Compositionality (sometimes called Frege''s Principle) is the principle that the meaning of a (syntactically complex) whole is a function only of the meanings of its (syntactic) parts together with the manner in which these parts were combined. This principle has been extremely influential throughout the history of formal semantics; it has had a tremendous impact upon modern linguistics ever since Montague Grammars became known; and it has more recently shown up as a guiding principle for a (...) certain direction in cognitive science.Despite the fact that The Principle is vague or underspecified at a number of points — such as what meaning is, what counts as a part, what counts as a syntactic complex, what counts as combination — this has not stopped some people from viewing The Principle as obviously true, true almost by definition. And it has not stopped other people from viewing The Principle as false, almost pernicious in its effect. And some of these latter theorists think that it is an empirically false principle while others think of it as a methodologically wrong-headed way to proceed. (shrink)

This paper embeds a theory of proper names in a general approach to singular reference based on type‐free property theory. It is proposed that a proper name “N” is a sortal common noun whose meaning is essentially tied to the linguistic type “N”. Moreover, “N” can be singularly referring insofar as it is elliptical for a definite description of the form the “N” Following Montague, the meaning of a definite description is taken to be a property of properties. The proposed (...) theory fulfils the major desiderata stemming from Kripke's works on proper names. (shrink)

This paper embeds a theory of proper names in a general approach to singular reference based on type‐free property theory. It is proposed that a proper name “N” is a sortal common noun whose meaning is essentially tied to the linguistic type “N”. Moreover, “N” can be singularly referring insofar as it is elliptical for a definite description of the form the “N” Following Montague, the meaning of a definite description is taken to be a property of properties. The proposed (...) theory fulfils the major desiderata stemming from Kripke's works on proper names. (shrink)

This is the introductory essay to a collection commemorating the 100th anniversary of the publication in Mind of Bertrand Russell’s paper ‘On Denoting’.

According to Donnellan the characteristic mark of a referential use of a definite description is the fact that it can be used to pick out an individual that does not satisfy the attributes in the description. Friends and foes of the referential/attributive distinction have equally dismissed that point as obviously wrong or as a sign that Donnellan's distinction lacks semantic import. I will argue that, on a strict semantic conception of what it is for an expression to be a genuine (...) referential device, Donnellan is right: if a use of a definite description is referential, it must be possible for it to refer to an object independently of any attributes associated with the description, including those that constitute its conventional meaning. (shrink)

In the following the details of a state-of-affairs semantics for positive free logic are worked out, based on the models of common inner domain - outer domain semantics. Lambert's PFL system is proven to be weakly adequate (i.e., sound and complete) with respect to that semantics by demonstrating that the concept of logical truth definable therein coincides with that one of common truth-value semantics for PFL. Furthermore, this state-of-affairs semantics resists the challenges stemming from the slingshot argument since logically equivalent (...) statements do not always have the same extension according to it. Finally, it is argued that in such a semantics all statements of a certain language for PFL are state-of-affairs-related extensional as well as salva extensione extensional, even though their salva veritate extensionality fails. (shrink)

A sentence containing a number of definite descriptions, each lying within the scope of its predecessor, is naturally read as asserting the uniqueness of a sequence of objects satisfying the descriptions. The project of providing a general uniform procedure for eliminating embedded definite descriptions that gets this and other logical forms right is impeded by several puzzles.

Despite the renown of ‘On Denoting’, much criticism has ignored or misconstrued Russell's treatment of scope, particularly in intensional, but also in extensional contexts. This has been rectified by more recent commentators, yet it remains largely unnoticed that the examples Russell gives of scope distinctions are questionable or inconsistent with his own philosophy. Nevertheless, Russell is right: scope does matter in intensional contexts. In Principia Mathematica, Russell proves a metatheorem to the effect that the scope of a single occurrence of (...) a description in an extensional context does not matter, provided existence and uniqueness conditions are satisfied. But attempts to eliminate descriptions in more complicated cases may produce an analysis with more occurrences of descriptions than featured in the analysand. Taking alternation and negation to be primitive (as in the first edition of Principia), this can be resolved, although the proof is non-trivial. Taking the Sheffer stroke to be primitive (as proposed by Russell in the second edition), with bad choices of scope the analysis fails to terminate. (shrink)

Part 1 sets out the logical/semantical background to ‘On Denoting’, including an exposition of Russell's views in Principles of Mathematics, the role and justification of Frege's notorious Axiom V, and speculation about how the search for a solution to the Contradiction might have motivated a new treatment of denoting. Part 2 consists primarily of an extended analysis of Russell's views on knowledge by acquaintance and knowledge by description, in which I try to show that the discomfiture between Russell's semantical and (...) epistemological commitments begins as far back as 1903. I close with a non-Russellian critique of Russell's views on how we are able to make use of linguistic representations in thought and with the suggestion that a theory of comprehension is needed to supplement semantic theory. (shrink)

In “On Referring” Peter Strawson pointed out that incomplete descriptions pose a problem for Russell’s analysis of definite descriptions. Howard Wettstein and Michael Devitt appealed to incomplete descriptions to argue, first, that Russell’s analysis of definite descriptions fails, and second, that Donnellan’s referential/attributive distinction has semantic bite. Stephen Neale has defended Russell’s analysis of definite descriptions against Wettstein’s and Devitt’s objections. In this paper, my aim is twofold. First, I rebut Neale’s objections to Wettstein’s and Devitt’s argument and argue that (...) Neale’s attempt to provide an account of referential descriptions within a Russellian framework fails. Second, contra Devitt and Wettstein, I argue that the problem posed by incomplete descriptions shows that Donnellan was right in believing that referential descriptions refer even if the definite description fits nothing. (shrink)

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

Strawson’s conception of analysis as a ‘connective linguistic analysis’ makes it possible for him to achieve an indefinitely large range of ideas or concepts among them are certain numbers of fundamental, general and pervasive concepts or concept-types which not only are pre-theoretical or ahistorical, but also together constitute a structural framework only within whichlogic, ontology and epistemology is possible. He takes it as a foundation for this conclusion that logic, ontology and epistemology are three aspects of one unified enquiry (or (...) trio)and strengthensit by this assertion thatwe can understand this unity through considering the fundamental operation of our language. In this paper, after tracing the line of development of Strawson’s philosophical idea of the trio and specifying the fundamental operation of our language (or the common thread which makes this unity possible), we stipulate that it is by means of ‘connective linguistic analysis’ that Strawsonwas able to unify epistemology, ontology and logic. (shrink)

What licenses the use of a definite description? The formal and philosophical literature has approached this question in two ways. The uniqueness approach (Frege, 1892; Russell, 1905; Strawson, 1950) holds that we may use a definite determiner only if the property denoted by its complement holds of exactly one individual in some domain: Sentence (1) and (2) can only be true if there is exactly one king of France, and exactly one American governor, respectively. Since this is not the case (...) in the actual world, the sentences are either false or (on most modern accounts) fall prey to a presupposition failure. (shrink)

It is often presupposed that an anti-individualist about representational mental states must choose between two accounts of no-reference cases. One option is said to be an ‘illusion of thought’ version according to which the subject in a no-reference case fails to think a first-order thought but rather has the illusion of having one. The other is a ‘descriptive’ version according to which one thinks an empty thought via a description. While this presupposition is not uncommon, it rarely surfaces in an (...) explicit manner. Often, it is visible only when a theorist argues directly from the falsity of one of the two views to the truth of the other. However, Jessica Brown’s recent work on anti-individualism clearly illustrates the presupposition. In contention with Brown’s and others presupposition, arguments for two conclusions about the nature of anti-individualism are set forth. First, the choice between the illusion and descriptive version of anti-individualism is a dilemma. Each version of anti-individualism is prone to problems. Second, the choice is a false dilemma. There is another, less problematic, anti-individualistic account of reference failure. (shrink)

In ‘On Denoting’ and to some extent in ‘Review of Meinong and Others, Untersuchungen zur Gegenstandstheorie und Psychologie’, published in the same issue of Mind (Russell, 1905a,b), Russell presents not only his famous elimination (or contextual defi nition) of defi nite descriptions, but also a series of considerations against understanding defi nite descriptions as singular terms. At the end of ‘On Denoting’, Russell believes he has shown that all the theories that do treat defi nite descriptions as singular terms fall (...) logically short: Meinong’s, Mally’s, his own earlier (1903) theory, and Frege’s. (He also believes that at least some of them fall short on other grounds—epistemological and metaphysical—but we do not discuss these criticisms except in passing). Our aim in the present paper is to discuss whether his criticisms actually refute Frege’s theory. We fi rst attempt to specify just what Frege’s theory is and present the evidence that has moved scholars to attribute one of three different theories to Frege in this area. We think that each of these theories has some claim to be Fregean, even though they are logically quite different from each other. This raises the issue of determining Frege’s attitude towards these three theories. We consider whether he changed his mind and came to replace one theory with another, or whether he perhaps thought that the different theories applied to different realms, for example, to natural language versus a language for formal logic and arithmetic. We do not come to any hard and fast conclusion here, but instead just note that all these theories treat defi nite descriptions as singular terms, and that Russell proceeds as if he has refuted them all. After taking a brief look at the formal properties of the Fregean theories (particularly the logical status of various sentences containing nonproper defi - nite descriptions) and comparing them to Russell’s theory in this regard, we turn to Russell’s actual criticisms in the above-mentioned articles to examine the extent to which the criticisms hold.. (shrink)