A general survey of Frege's views on truth, the paper explores the problems in response to which Frege's distinctive view that sentences refer to truth-values develops. It also discusses his view that truth-values are objects and the so-called regress argument for the indefinability of truth. Finally, we consider, very briefly, the question whether Frege was a deflationist.

What is the cognitive value of the concept of truth? What epistemic difference does the concept of truth make to those who grasp it? This paper employs a new perspective for thinking about the concept of truth and recent debates concerning it, organized around the question of the cognitive value of the concept of truth. The paper aims to defend a substantively correct and dialectically optimal account of the cognitive value of the concept of truth. This perspective is employed in (...) understanding the critical discussion around what Hartry Field has called “the incorporation model” for extending a deflationary view of truth to foreign sentences. Field's original intentions in discussing the incorporation model were to defend the deflationary view from some counterintuitive consequences concerning the understanding of truth attributions to foreign sentences. However, more recently, philosophers unencumbered by deflationary commitments have taken over the incorporation model for their own inflationary purposes. In particular, and in my terms, these philosophers can be understood as making what I argue is the ultimately too radical suggestion that the cognitive value of the concept of truth is to allow the incorporation not only of the linguistically foreign, but also of the conceptually alien. I clarify this dialectic en route to explaining and arguing for the cognitive inflationary view, according to which the cognitive value of the concept of truth is is to make possible the proprietary kind and quality of knowledge allowed by reflective clarity over the concepts and thoughts that one already has. (shrink)

This paper is a critical examination of Wittgenstein's view of the limits of intelligibility. In it I criticize standard analytic readings of Wittgenstein as an advocate of transcendental or behaviourist theses in epistemology; and I propose an alternative interpretation of Wittgenstein's view as a social contextualism that transcends the false dichotomy between Kantianism and psychologism. I argue that this social contextualism is strikingly similar to the social account of epistemic practices developed by Pierre Bourdieu. Through a comparison between Wittgenstein's and (...) Bourdieu's view and an analysis of the notion of habitus , I try to show how social contextualism can account for the distinction between sense and nonsense without falling into transcendental constructivism or social behaviourism. (shrink)

If we accept Popper's idea that the human habitat is described in terms of three worlds, and that there are overlaps between these three worlds, our moral actions and values will also be subject to the same kinds of consideration as a repertoire of behaviours exhibited in a physical environment. We will develop moral habits in a moral habitat and our moral behaviours will also be dependent on the kind of moral habitat in which we find ourselves.There are three main (...) problems to which this analysis leads and on which we will focus in this paper. Firstly, there is the problem of the kind of moral environment—habitat—that we need to provide for human beings if they are to develop the kinds of moral values that we hold to be important. Secondly, there is the question of how we are to develop the kinds of moral habits themselves and thirdly, there is the question of how these moral habits and habitat are to be maintained. If we take Popper seriously then human beings have a crucial responsibility in the creation of a moral third world—that is, a habitat in which human beings can flourish. Schools have an important role as a moral habitat for the inculcation of good moral habits. (shrink)

This article proposes a four-layer semantic structure for common nouns. Each layer matches up with a semantic entity of a certain type in Montague’s intensional semantics. It is argued that a common noun denotes a sense and a concept, which are functions. For any given context, the sense of a term determines its extensions and the concept denoted by the term specifies its intensions. Intensions are treated as sets of senses. The membership relation between a sense and an intension is (...) a soft kind and is expressed in the form of a generic sentence. Such a layered structure explains various “degrees of publicity” of a language. The result we present clarifies the confusions existing in the ordinary understanding of “sense,” “intension,” and “concept.” It also has promising applications in interpreting metaphors and revealing the relationship between generics and metaphors. (shrink)

According to a certain conception of language, any sentence can, when used on an occasion, have any of indefinitely many truth-conditions. Such a conception of language gives us reason to think that the question of whether the notion of truth has a distinctive content cannot be settled by looking solely at the predication of truth. By focusing on the predicate ‘true’ when trying to determine the significance of the notion of truth, we may have been looking in the wrong place.

Here is Frege in Foundations of Arithmetic, § 64:The judgment 'Line a is parallel to line b', in symbols: ab, can be taken as an identity. If we do this, we obtain the concept of direction, and say: 'The direction of line a is equal to the direction of line b.' Thus we replace the symbol by the more generic symbol =, through removing what is specific in the content of the former and dividing it between a and b. We (...) carve up the content in a way different from the original way, and this yields us a new concept.Something important is going on in this passage. But at the same time it borders on incoherent. For Frege is saying at least the following:'dir(a ) = dir(b )' has the same content as 'ab'reflecting on that .. (shrink)

A number of prominent philosophers advance the following ideas: (1) Meaning is use. (2) Meaning is an intrinsically normative notion. Call (1) the use thesis, hereafter UT, and (2) the normativity thesis, hereafter NT. They come together in the view that for a linguistic expression to have meaning is for there to be certain proprieties governing its employment.1 These ideas are often associated with a third.

It is a commonplace that in the development of modern logic towards its actual shape at least two directions or traditions have to be distinguished. These traditions may be called, following the mo...

According to the Dependency Theory, truth asymmetrically depends on the world, in the following sense: true propositions are true because the world makes them true. The Dependency Theory strikes many philosophers as incontrovertible, but in this paper I reject it. I begin by presenting a problem for the Dependency Theory. I then develop an alternative to the Dependency Theory which avoids that problem. This alternative is an immodest Identity Theory of Truth, and I end the paper by responding to Dodd’s (...) charge that immodest Identity Theories are incoherent. (shrink)

Beliefs have what I will call ‘propositional content’. A belief is always a belief that so-and-so: a belief that grass is green, or a belief that snow is white, or whatever. Other things have propositional content too, such as sentences, judgments and assertions. The Standard View amongst philosophers is that what it is to have a propositional content is to stand in an appropriate relation to a proposition. Moreover, on this view, propositions are objects, i.e. the kind of thing you (...) can refer to with singular terms. For example, on the Standard View, we should parse the sentence ‘Simon believes that Sharon is funny’ as: [Simon] believes [that Sharon is funny]; ‘Simon’ is a term referring to a thinking subject, ‘that Sharon is funny’ is a term referring to a proposition, and ‘x believes y’ is a dyadic predicate expressing the believing relation. In this paper, I argue against the Standard View. This is how I think we should parse ‘Simon believes that Sharon is funny’: [Simon] believes that [Sharon is funny]; here we have a singular term, ‘Simon’, a sentence ‘Sharon is funny’, and a ‘prenective’ joining them together, ‘x believes that p’. On this Prenective View, we do not get at the propositional content of someone’s belief by referring to a reified proposition with a singular term; we simply use the sentence ‘Sharon is funny’ to express that content for ourselves. I argue for the Prenective View in large part by showing that an initially attractive version of the Standard View is actually vulnerable to the same objection that Wittgenstein used against Russell’s multiple-relation theory of judgment. (shrink)

In this paper I argue that Frege’s concept horse paradox is not easily avoided. I do so without appealing to Wright’s Reference Principle. I then use this result to show that Hale and Wright’s recent attempts to avoid this paradox by rejecting or otherwise defanging the Reference Principle are unsuccessful.

The paper gives a historically informed reconstruction of Frege's view of statements of number. The reconstruction supports Frege's claim that a statement can be 'about a concept' although it does not contain a singular term referring to the concept. Hence, Frege's philosophy of number is not subject to the problems Frege sees for singular reference to concepts.

In this paper, I will provide a counterexample to Recanati's account of first-person communication (1995, 2010, 2012). In particular, I will show that Recanati's constraints are not sufficient for the success of first-person communication. My argument against Recanati's account is parallel to Recanati's argument against neo-Russellian accounts, and shows that the same problem resurfaces even in the presence of linguistically encoded mode of presentation in a neo-Fregean framework of mental files.

In the opening to his late essay, Der Gedanke, Frege asserts without qualification that the word "true" points the way for logic. But in a short piece from his Nachlass entitled "My Basic Logical Insights", Frege writes that the word true makes an unsuccessful attempt to point to the essence of logic, asserting instead that "what really pertains to logic lies not in the word "true" but in the assertoric force with which the sentence is uttered". Properly understanding what Frege (...) takes to be at issue here is crucial for understanding his conception of logic and, in particular, what he takes to be its normative status vis-à-vis judgement, assertion, and inference. In this paper, I focus my attention on clarifying the latter claim and Frege's motivations for making it, exposing what I take to be a fundamental tension in Frege's conception of logic. Finally, I discuss whether Frege's deployment of the horizontal in his mature Begriffsschrift helps to resolve this tension. (shrink)

This paper develops a compositional, type-driven constraint semantic theory for a fragment of the language of subjective uncertainty. In the particular application explored here, the interpretation function of constraint semantics yields not propositions but constraints on credal states as the semantic values of declarative sentences. Constraints are richer than propositions in that constraints can straightforwardly represent assessments of the probability that the world is one way rather than another. The richness of constraints helps us model communicative acts in essentially the (...) same way that we model agents’ credences. Moreover, supplementing familiar truth-conditional theories of epistemic modals with constraint semantics helps capture contrasts between strong necessity and possibility modals, on the one hand, and weak necessity modals, on the other. (shrink)

This article discusses some of the ways in which natural language can express modal information – information which is, to a first approximation, about what could be or must be the case, as opposed to being about what actually is the case. It motivates, explains, and raises problems for Angelika Kratzer's influential theory of modal auxiliaries, and introduces a new approach to one important debate about the relationships between modality, evidentiality, context change, and imperative force.

It's a common idea in philosophy that we possess a peculiar kind of "phenomenal concept" by which we can think about our conscious states in "inner" and "direct" ways, as for example, when I attend to the way a current pain feels and think about this feeling as such. Such phenomenal ways of thinking figure in a variety of theoretical contexts. The bulk of this article discusses their use in a certain strategy – the phenomenal concept strategy – for defending (...) the physicalist view that conscious states are reducible to brain states. It also considers, more briefly, how phenomenal concepts have been used to defend dualism about consciousness, and how they have been used to explain our special access to our consciousness. It concludes with a discussion about whether, and in what more precise sense of the term, we at all possess "phenomenal concepts" of our conscious states. (shrink)

Timothy Williamson thinks that every object is a necessary, eternal existent. In defense of his view, Williamson appeals primarily to considerations from modal and tense logic. While I am uncertain about his modal claims, I think there are good metaphysical reasons to believe permanentism: the principle that everything always exists. B-theorists of time and change have long denied that objects change with respect to unqualified existence. But aside from Williamson, nearly all A-theorists defend temporaryism: the principle that there are temporary (...) existents. I think A-theorists are better off without this added commitment, but I will not argue for that in any great detail here. Instead, I will contend that a very tempting A-theoretic argument for temporaryism is unsound. In the first half of the paper, I will develop the Moorean “common sense” argument for temporaryism and dispute its central premise, namely that temporaryism is a valid generalization from highly plausible beliefs about change. I will argue that given the pervasive vagueness in our ordinary beliefs about change and the background commitments of all A-theories, no party can claim to be the common sense view because no party can accommodate most of our common sense beliefs about change in existence. In the second half of the paper, I will propose a permanentist A-theory that explains all change over time as a species of property change. I call it the minimal A-theory, since it dispenses with the change in existence assumption. As we'll see, the permanentist alternative performs well enough in explaining our ordinary beliefs about change, and it has better prospects for answering some objections commonly levied against A-theories. (shrink)

Philosophers of language distinguish among the lexical or linguistic meaning of the sentence uttered, what is said by an utterance of the sentence, and speaker's meaning, or what is conveyed by the speaker to her audience. In most views, what is said is the semantic or truth-conditional content of the utterance, and is irreducible either to the linguistic meaning or to the speaker's meaning. I will show that those views account badly for people's intuitions on what is said. I will (...) also argue that no distinguished level of what is said is required, and that the notion of linguistic meaning is the best placed to play the role of what is said. This relies on two points. First, our intuitions on what is said cannot be detached from the ways in which we talk about what is said, and from the semantics of speech reports and indirect discourse in general. Second, besides what is said, there is an equally important notion of what what-is-said is said about, or that about which the speaker is talking. These are, then, the three main ingredients needed for the theory of what is said: linguistic meaning, what is talked about, and a semantic account of reported speech. (shrink)

I start from Phillips' discussion of Rhees's dissatisfaction with the idea of a language‐game. Then, from a rereading of Moore, I go on to exemplify interconnected uses of the expressions “language‐game,”“recurrent procedure,”“world‐picture,”“formal procedure,”“agreement in judgment,”“genre picture” and “form of life.” The discussion is related to sense perception, our knowledge of time and space, and the picture‐theory. These topics connect with Wittgenstein's earlier treatment of the will – which changed markedly later. The subtext (in footnotes) confronts (i) the sceptical methods of (...) Descartes and Hume with the grammatical methods of Leibniz, Kant and Wittgenstein, and (ii) the realism of Leibniz and the Tractatus with the transcendental idealism of Kant. My conclusion is that, although the method of Wittgenstein's later work remains in a sense grammatical, (i) in its new form it can free us from the conviction that the intellect can and must resolve one way or the other the conflicts that arise in the course of the latter confrontation, and that (ii), although release from such a conviction is to be seen as the aim of philosophical discourse in general, it allows philosophy to retain its overriding significance. A positive element in that lies in the respect the method demands for that in a human life which is transcendental to the activity of scientific theorising: respect, therefore, for the unique perspective of the individual historical agent. (shrink)

In this article I present a summary of Bertrand Russell's protracted attempts to solve the problem of the unity of the proposition, and explain the significance of the problem for Russell's philosophy. Unlike many other accounts which take the problem to be confined to Russell's early theories of propositional content, I argue that the problem (or variants of it) is a recurring theme throughout the whole of Russell's career.

In his recent book, Self-Consciousness and Objectivity: An Introduction to Absolute Idealism, Sebastian Rödl aims to transform our understanding, not only of th.

Alvin Plantinga gave a reductio of the conjunction of the following three theses: Existentialism (the view that, e.g., the proposition that Socrates exists can't exist unless Socrates does), Serious Actualism (the view that nothing can have a property at a world without existing at that world) and Contingency (the view that some objects, like Socrates, exist only contingently). I sketch a view of truth at a world which enables the Existentialist to resist Plantinga's argument without giving up either Serious Actualism (...) or Contingency. (shrink)

This paper presents and defends a definition of vagueness, compares it favourably with alternative definitions, and draws out some consequences of accepting this definition for the project of offering a substantive theory of vagueness. The definition is roughly this: a predicate 'F' is vague just in case for any objects a and b, if a and b are very close in respects relevant to the possession of F, then 'Fa' and 'Fb' are very close in respect of truth. The definition (...) is extended to cover vagueness of many-place predicates, of properties and relations, and of objects. Some of the most important advantages of the definition are that it captures the intuitions which motivate the thought that vague predicates are tolerant, without leading to contradiction, and that it yields a clear understanding of the relationships between higher-order vagueness, sorites susceptibility, blurred boundaries, and borderline cases. The most notable consequence of the definition is that the correct theory of vagueness must countenance degrees of truth. (shrink)

One of the most striking differences between Frege's Begriffsschrift (logical system) and standard contemporary systems of logic is the inclusion in the former of the judgement stroke: a symbol which marks those propositions which are being asserted , that is, which are being used to express judgements . There has been considerable controversy regarding both the exact purpose of the judgement stroke, and whether a system of logic should include such a symbol. This paper explains the intended role of the (...) judgement stroke in a way that renders it readily comprehensible why Frege insisted that this symbol was an essential part of his logical system. The key point here is that Frege viewed logic as the study of inference relations amongst acts of judgement , rather than – as in the typical contemporary view – of consequence relations amongst certain objects (propositions or well-formed formulae). The paper also explains why Frege's use of the judgement stroke is not in conflict with his avowed anti-psychologism, and why Wittgenstein's criticism of the judgement stroke as 'logically quite meaningless' is unfounded. The key point here is that while the judgement stroke has no content , its use in logic and mathematics is subject to a very stringent norm of assertion. (shrink)

This paper argues that Tugendhat's critique of Heidegger's existential conception of truth as disclosedness is usually misunderstood. The main claim of this paper is that Tugendhat insists against Heidegger on certain conventional features of truth such as conformity of the law of non-contradiction, not because he adheres to an ideal of truth as correctness; rather, he proposes an alternative existential conception of truth in terms of an active, critical or self-critical, engagement with untruth. Various recent objections to Tugendhat's critique of (...) Heidegger are discussed against the background of his alternative and are rejected. The paper concludes by outlining several challenges to Tugendhat's alternative existential conception of truth. (shrink)

Anti-individualists claim that concepts are individuated with an eye to purely external facts about a subject's environment about which she may be ignorant or mistaken. This paper offers a novel reason for thinking that anti-individualistic concepts are an ineliminable part of commonsense psychology. Our commitment to anti-individualism, I argue, is ultimately grounded in a rational epistemic agent's commitment to refining her own representational practices in the light of new and surprising information about her environment. Since anti-individualism is an implicit part (...) of responsible epistemic practices, we cannot abandon it without compromising our own epistemic agency. The story I tell about the regulation of one's own representational practices yields a new account of the identity conditions for anti-individualistic concepts. (shrink)

In recent years, two-dimensional (2D) semantics has been used to develop a broadly descriptivist approach to meaning that seeks to accommodate externalists’ counterexamples to traditional descriptivism. The 2D possible worlds framework can be used to capture a speaker’s implicit dispositions to identify the reference of her words on the basis of empirical information about her actual environment. Proponents of 2D semantics argue that this aspect of linguistic understanding plays the core theoretical role of meanings: 2D semantics allows us to specify (...) a reference-fixing criterion implicit mastery of which constitutes semantic competence a particular meaning. (shrink)

In this essay, I critically discuss Dale Jacquette's new English translation of Frege's work Die Grundlagen der Arithmetik as well as his Introduction and Critical Commentary (Frege, G. 2007. The Foundations of Arithmetic. A Logical-Mathematical Investigation into the Concept of Number . Translated with an Introduction and Critical Commentary by Dale Jacquette. New York: Longman. xxxii + 112 pp.). I begin with a short assessment of Frege's book. In sections 2 and 3, I examine several claims that Jacquette makes in (...) his Introduction and Critical Commentary and put matters in the right perspective. In sections 4-7, I analyse errors and shortcomings in Jacquette's (and Austin's) translation(s) and show how they can be avoided. In this context, I consider several issues of interest for Frege's logic and philosophy of arithmetic. I conclude with general remarks. (shrink)

Well over a century after its introduction, Frege's two-dimensional Begriffsschrift notation is still considered mainly a curiosity that stands out more for its clumsiness than anything else. This paper focuses mainly on the propositional fragment of the Begriffsschrift, because it embodies the characteristic features that distinguish it from other expressively equivalent notations. In the first part, I argue for the perspicuity and readability of the Begriffsschrift by discussing several idiosyncrasies of the notation, which allow an easy conversion of logically equivalent (...) formulas, and presenting the notation's close connection to syntax trees. In the second part, Frege's considerations regarding the design principles underlying the Begriffsschrift are presented. Frege was quite explicit about these in his replies to early criticisms and unfavorable comparisons with Boole's notation for propositional logic. This discussion reveals that the Begriffsschrift is in fact a well thought-out and carefully crafted notation that intentionally exploits the possibilities afforded by the two-dimensional medium of writing like none other. (shrink)

How mathematicians conceive of the nature of mathematics is reflected in the metaphors they use to talk about it. In this paper I investigate a change in the use of metaphors in the late nineteenth and early twentieth centuries. In particular, I argue that the metaphor of mathematics as a tree was used systematically by Pasch and some of his contemporaries, while that of mathematics as a building was deliberately chosen by Hilbert to reflect a different view of mathematics. By (...) taking these metaphors seriously we attain a new vantage point for understanding historical changes in conceptions of mathematics. (shrink)

In this paper I investigate two notions of concepts that have played a dominant role in 20th century philosophy of mathematics. According to the first, concepts are definite and fixed; in contrast, according to the second notion concepts are open and subject to modifications. The motivations behind these two incompatible notions and how they can be used to account for conceptual change are presented and discussed. On the basis of historical developments in mathematics I argue that both notions of concepts (...) capture important aspects of mathematical and scientific reasoning, and, consequently, that a pluralistic approach that allows for representing both of these aspects is most useful for an adequate account of investigative practices. (shrink)

It's generally agreed that, for a certain a class of cases, a rational subject cannot be wrong in treating two elements of thought as co-referential. Even anti-individualists like Tyler Burge agree that empirical error is impossible in such cases. I argue that this immunity to empirical error is illusory and sketch a new anti-individualist approach to concepts that doesn't require such immunity.

Since the famous debate between Russell (Mind 14: 479–493, 1905, Mind 66: 385–389, 1957) and Strawson (Mind 59: 320–344, 1950; Introduction to logical theory, 1952; Theoria, 30: 96–118, 1964) linguistic intuitions about truth values have been considered notoriously unreliable as a guide to the semantics of definite descriptions. As a result, most existing semantic analyses of definites leave a large number of intuitions unexplained. In this paper, I explore the nature of the relationship between truth value intuitions and non-referring definites. (...) Inspired by comments in Strawson (Introduction to logical theory, 1964), I argue that given certain systematic considerations, one can provide a structured explanation of conflicting intuitions. I show that the intuitions of falsity, which proponents of a Russellian analysis often appeal to, result from evaluating sentences in relation to specific questions in context. This is shown by developing a method for predicting when sentences containing non-referring definites elicit intuitions of falsity. My proposed analysis draws importantly on Roberts (in: Yoon & Kathol (eds.) OSU working papers in Linguistics: vol. 49: Papers in Semantics 1998; in: Horn & Ward (eds.) Handbook of pragmatics, 2004) and recent research in the semantics and pragmatics of focus. (shrink)

By way of a close reading of Boole and Frege’s solutions to the same logical problem, we highlight an underappreciated aspect of Boole’s work—and of its difference with Frege’s better-known approach—which we believe sheds light on the concepts of ‘calculus’ and ‘mechanization’ and on their history. Boole has a clear notion of a logical problem; for him, the whole point of a logical calculus is to enable systematic and goal-directed solution methods for such problems. Frege’s Begriffsschrift, on the other hand, (...) is a visual tool to scrutinize concepts and inferences, and is a calculus only in the thin sense that every possible transition between sentences is fully and unambiguously specified in advance. While Frege’s outlook has dominated much of philosophical thinking about logical symbolism, we believe there is value—particularly in light of recent interest in the role of notations in mathematics and logic—in reviving Boole’s idea of an intrinsic link between, as he put it, a ‘calculus’ and a ‘directive method’ to solve problems. (shrink)

Why did Frege offer only proper names as examples of presupposition triggers? Some scholars claim that Frege simply did not care about the full range of presuppositional phenomena. This paper argues, in contrast, that he had good reasons for employing an extremely narrow notion of ‘Voraussetzung’. On Frege’s view, many devices that are now construed as presupposition triggers either express several thoughts at once or merely ‘illuminate’ a thought in a particular way. Fregean presuppositions, in contrast, are essentially tied to (...) names. (shrink)

Francois Recanati presents the basic features of the *indexical model* of mental files, and defends it against several interrelated objections. According to this model, mental files refer to objects in a way that is analogous to that of indexicals in language: a file refers to an object in virtue of a contextual relation between them. For instance, perception and attention provide the basis for demonstrative files. Several objections, some of them from David Papineau, concern the possibility of files to preserve (...) and add information about objects across contexts. How is it possible to think about the same object when the subject no longer is in the original context? How is it possible to think of a perceived object as already known? Can this be done without an explicit identity judgment? Recanati answers these questions by invoking mental files of non-basic kinds and by describing the cognitive dynamics in which they take part. (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)

I argue for a conception of essence that does not rely on distinctions of metaphysical fundamentality.

I defend the non-cognitivist outlook on knowledge of grammar from the criticisms levelled against it by Jonathan Knowles. The first part of the paper is largely critical. First, I argue that Knowles's argument against Christopher Peacocke and Martin Davies's non-cognitivist account of the psychological reality of grammar fails, and thus that no reason has been given to think that cognitivism is integral to an understanding of Chomskyan theoretical linguistics. Second, I argue that cognitivism is philosophically problematic. In particular, I argue (...) (a) that Knowles misunderstands Stephen Stich and Gareth Evans's points about inferential integration; and (b) that Knowles misunderstands the philosophical status and demands of Evans's Generality Constraint. In the final, non-critical part of the paper, I try to show that the Stich and Evans's constraints, together with a Self-Knowledge Constraint, are genuine constitutive constraints by showing how they have rationality as their underlying organizing principle. I argue further that recognizing the constitutive character of these constraints allows one to distinguish two kinds of psychological explanation; in this sense, the constraints mark a genuine boundary in our theorizing about the mind. (shrink)

Direct reference theorists tell us that proper names have no semantic value other than their bearers, and that the connection between name and bearer is unmediated by descriptions or descriptive information. And yet, these theorists also acknowledge that we produce our name-containing utterances with descriptions on our minds. After arguing that direct reference proponents have failed to give descriptions their due, I show that appeal to speaker-associated descriptions is required if the direct reference portrayal of speakers wielding and referring with (...) public names is to succeed. (shrink)

Charles S. Peirce’s pragmatist theory of logic teaches us to take the context of utterances as an indispensable logical notion without which there is no meaning. This is not a spat against compositionality per se , since it is possible to posit extra arguments to the meaning function that composes complex meaning. However, that method would be inappropriate for a realistic notion of the meaning of assertions. To accomplish a realistic notion of meaning (as opposed e.g. to algebraic meaning), Sperber (...) and Wilson’s Relevance Theory (RT) may be applied in the spirit of Peirce’s Pragmatic Maxim (PM): the weighing of information depends on (i) the practical consequences of accommodating the chosen piece of information introduced in communication, and (ii) what will ensue in actually using that piece in further cycles of discourse. Peirce’s unpublished papers suggest a relevance-like approach to meaning. Contextual features influenced his logic of Existential Graphs (EG). Arguments are presented pro and con the view in which EGs endorse non-compositionality of meaning. (shrink)

Renewed worries about the unity of the proposition have been taken as a crucial stumbling block for any traditional conception of propositions. These worries are often framed in terms of how entities independent of mind and language can have truth conditions: why is the proposition that Desdemona loves Cassio true if and only if she loves him? I argue that the best understanding of these worries shows that they should be solved by our theory of truth and not our theory (...) of content. Specifically, I propose a version of the redundancy theory according to which ‘it is true that Desdemona loves Cassio’ expresses the same proposition as ‘Desdemona loves Cassio’. Surprisingly, this variant of the redundancy theory treats ‘is true’ as an ordinary predicate of the language, thereby defusing many standard criticisms of the redundancy theory. (shrink)

A central dispute in understanding Frege’s philosophy concerns how the sense of a complex expression relates to the senses of its component expressions. According to one reading, the sense of a complex expression is a whole built from the senses of the component expressions. On this interpretation, Frege is an early proponent of structured propositions. A rival reading says that senses compose by functional application: the sense of a complex expression is the value of the function denoted by its functional (...) component for the arguments denoted by its remaining components. I argue that two non-negotiable Fregean theses entail that senses compose by functional application. One thesis is that referents compose by functional application. The other thesis is that an expression in an indirect context refers to its customary sense. (shrink)