Defends the view that understanding can be identified with knowledge of T-sentences against the classical criticisms of Foster and Soames.

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.

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)

Philosophers of the modern period are often presented as having made an elementary error: that of confounding the attitude one adopts toward a proposition with its content. By examining the works of Locke and the Port-Royalians, I show that this accusation is ill-founded and that Locke, in particular, has the resources to construct a theory of propositional attitudes.

In this paper I argue for a doctrine I call ?infallibilism?, which I stipulate to mean that If S knows that p, then the epistemic probability of p for S is 1. Some fallibilists will claim that this doctrine should be rejected because it leads to scepticism. Though it's not obvious that infallibilism does lead to scepticism, I argue that we should be willing to accept it even if it does. Infallibilism should be preferred because it has greater explanatory power (...) than fallibilism. In particular, I argue that an infallibilist can easily explain why assertions of ?p, but possibly not-p? (where the ?possibly? is read as referring to epistemic possibility) is infelicitous in terms of the knowledge rule of assertion. But a fallibilist cannot. Furthermore, an infallibilist can explain the infelicity of utterances of ?p, but I don't know that p? and ?p might be true, but I'm not willing to say that for all I know, p is true?, and why when a speaker thinks p is epistemically possible for her, she will agree (if asked) that for all she knows, p is true. The simplest explanation of these facts entails infallibilism. Fallibilists have tried and failed to explain the infelicity of ?p, but I don't know that p?, but have not even attempted to explain the last two facts. I close by considering two facts that seem to pose a problem for infallibilism, and argue that they don't. (shrink)

Abstract Though it has been claimed that Frege's commitment to expressions in indirect contexts not having their customary senses commits him to an infinite number of semantic primitives, Terrence Parsons has argued that Frege's explicit commitments are compatible with a two-level theory of senses. In this paper, we argue Frege is committed to some principles Parsons has overlooked, and, from these and other principles to which Frege is committed, give a proof that he is indeed committed to an infinite number (...) of semantic primitives?an intolerable result. (shrink)

According to inferential role semantics (IRS), for an expression to have a particular meaning or express a certain concept is for subjects to be disposed to make, or to treat as proper, certain inferential transitions involving that expression.1 Such a theory of meaning is holistic, since according to it the meaning or concept any given expression possesses or expresses depends on the inferential relations it stands in to other expressions.

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

Are Fregean thoughts compositionally complex and composed of senses? We argue that, in Begriffsschrift, Frege took 'conceptual contents' to be unstructured, but that he quickly moved away from this position, holding just two years later that conceptual contents divide of themselves into 'function' and 'argument'. This second position is shown to be unstable, however, by Frege's famous substitution puzzle. For Frege, the crucial question the puzzle raises is why "The Morning Star is a planet" and "The Evening Star is a (...) planet" have different contents, but his second position predicts that they should have the same content. Frege's response to this antinomy is of course to distinguish sense from reference, but what has not previously been noticed is that this response also requires thoughts to be compositionally complex, composed of senses. That, however, raises the question just how thoughts are composed from senses. We reconstruct a Fregean answer, one that turns on an insistence that this question must be understood as semantic rather than metaphysical. It is not a question about the intrinsic nature of residents of the third realm but a question about how thoughts are expressed by sentences. (shrink)

Peter H. Hare (1935-2008) developed informed, original views about the proposition: some published (Hare 1969 and Hare-Madden 1975); some expressed in conversations at scores of meetings of the Buffalo Logic Colloquium and at dinners following. The published views were expository and critical responses to publications by Curt J. Ducasse (1881-1969), a well-known presence in American logic, a founder of the Association for Symbolic Logic and its President for one term.1Hare was already prominent in the University of Buffalo's Philosophy Department in (...) 1969 when I was appointed. Soon after, he became Chair. As his Associate Chair from 1971to 1975, I spent many hours with him in Buffalo and on professional trips .. (shrink)

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)

The article presents Frege's distinction between Sense and Reference. After a short introduction, it explains the puzzle which gave rise to the distinction; Frege's earlier solution, and his reasons for its later repudiation. The distinction, which embodies Frege's second solution, is then discussed in two phases. The first, which is restricted to proper names, sets out its most basic features. The second discusses 'empty' names; indirect speech, and the distinction for predicates and for complete sentences. Finally, two criticisms, by Russell (...) and by Kripke, are briefly set out. (shrink)

Statements about fictional characters, such as “Gregor Samsa has been changed into a beetle,” pose the problem of how we can say something true (or false) using empty names. I propose an original solution to this problem that construes such utterances as reports of the “prescriptions to imagine” generated by works of fiction. In particular, I argue that we should construe these utterances as specifying, not what we are supposed to imagine—the propositional object of the imagining—but how we are supposed (...) to imagine. Most other theories of thought and discourse about fictional characters either fail to capture the intentionality of our imaginings, or else obscure the differences between imaginings directed toward fictional characters and those directed toward real individuals. I argue that once we have an account of prescriptions to imagine about real individuals, we can adapt the same framework to specify the contents of prescriptions to imagine about fictional characters, and thereby to account for the truth (or falsity) of statements about fictional characters. (shrink)

In this paper I discuss a certain kind of 'type confusion' which involves use of expressions of the wrong grammatical category, as in the string 'runs eats'. It is (nearly) universally accepted that such strings are meaningless. My purpose in this paper is to question this widespread assumption (or as I call it, 'the last dogma'). I discuss a range of putative reasons for accepting the last dogma: in §II, semantic and metaphysical reasons; in §III, logical reasons; and in §IV, (...) syntactic reasons. I argue that none of these reasons is conclusive, and that consequently we should be willing to question this last dogma of type confusions. (shrink)

There is a strong consensus among analytic philosophers that Husserl is an internalist and that his internalism must be understood in conjunction with his methodological solipsism. This paper focuses on Husserl's early work the, Logical Investigations , and explores whether such a reading is justified. It shows that Husserl is not a methodological solipsist: He neither believes that meaning can be reduced to the individual, nor does he assign an explanatory role for meaning to the subject. Explanatory priority is assigned (...) to objects which have an intrinsic property independently of any access or attitude we may have to them. Although not a methodological solipsist, there are nonetheless internalist elements to Husserl's thought: He believes that we can think of non-existent objects and his account of indexicals and demonstratives shows that there are two kinds of meaning: one is context independent and internally individuated, the other is partly determined by context and so externally individuated. The paper leaves it open whether this is sufficient to mark Husserl out as an internalist. However, even if he were considered as such, we can be sure of one thing, namely, that his internalism would not be a species of methodological solipsism. (shrink)

In this paper I shall deal with the role of "understanding a thought" in the debate on the definition of the content of an assertion. I shall present a well known tension in Frege's writings, between a cognitive and semantic notion of sense. This tension is at the source of some of the major contemporary discussions, mainly because of the negative influence of Wittgenstein's Tractatus, which did not give in-depth consideration to the tension found in Frege. However many contemporary authors, (...) after the first attempt by Carnap himself, have tried to make room both for a cognitive and semantic aspect of meaning. I claim that at least some of these attempts (Dummett, Perry and Chalmers) are seriously flawed, mainly due to the difficulty in making a proper connection between the two different conceptions of sense. I shall outline an alternative project, which takes into consideration Frege's requirements on antipsychologism and of the objectivity of thought, while maintaining a close connection between the two aspects of sense. (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)

Now I may not be an educated man . . . But it seems to me to go against common sense to ask what the poet is ‘trying to say’. The poem isn’t a code for something easily understood. The poem is what he is trying to say.

Frege's theory of indirect contexts and the shift of sense and reference in these contexts has puzzled many. What can the hierarchy of indirect senses, doubly indirect senses, and so on, be? Donald Davidson gave a well-known 'unlearnability' argument against Frege's theory. The present paper argues that the key to Frege's theory lies in the fact that whenever a reference is specified (even though many senses determine a single reference), it is specified in a particular way, so that giving a (...) reference implies giving a sense; and that one must be 'acquainted' with the sense. It is argued that an indirect sense must be 'immediately revelatory' of its reference. General principles for Frege's doctrine of sense and reference are sated, for both direct and indirect quotation, to be understood iteratively. I also discuss Frege's doctrine of tensed and first person statements in the light of my analysis. The views of various other authors are examined. The conclusion is to ascribe to Frege an implicit doctrine of acquaintance similar to that of Russell. (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.

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)

Joan Weiner has recently claimed that Frege neither uses, nor has any need to use, a truth-predicate in his justification of the logical laws. She argues that because of the assimilation of sentences to proper names in his system, Frege does not need to make use of the Quinean device of semantic ascent in order to formulate the logical laws, and that the predicate ‘is the True’, which is used in Frege's justification, is not to be considered as a truth-predicate, (...) because it does not apply to true sentences or true thoughts. The present paper aims to show that Frege needs to use, and does use, a truth-predicate in this context. It is argued, first, that Frege needs to use a truthpredicate in order to show that the truth of the logical laws is evident from the senses of the sentences by means of which they are formulated, and second, that the predicate that he actually uses, ‘is the True’, must be considered as a truth-predicate in the relevant sense, because it can be used and is actually used by Frege to explain the truth-conditions of thoughts. To defend this interpretation, it is discussed whether the explanatory use of ‘is the True’ in Frege's system is compatible with his deflationary analysis of ‘true’. The paper's conclusion is that there is indeed a conflict here; but, from Frege's point of view, this conflict is due merely to the logical imperfection of natural language and does not affect the proper system but only its propaedeutic. (shrink)

One particular topic in the literature on Frege’s conception of sense relates to two apparently contradictory theses held by Frege: the isomorphism of thought and language on one hand and the expressibility of a thought by different sentences on the other. I will divide the paper into five sections. In (1) I introduce the problem of the tension in Frege’s thought. In (2) I discuss the main attempts to resolve the conflict between Frege’s two contradictory claims, showing what is wrong (...) with some of them. In (3), I analyze where, in Frege’s writings and discussions on sense identity, one can find grounds for two different conceptions of sense. In (4) I show how the two contradictory theses held by Frege are connected with different concerns, compelling Frege to a constant oscillation in terminology. In (5) I summarize two further reasons that prevented Frege from making the distinction between two conceptions of sense clear: (i) the antipsychologism problem and (ii) the overlap of traditions in German literature contemporary to Frege about the concept of value. I conclude with a hint for a reconstruction of the Fregean notion of ‘thought’ which resolves the contradiction between his two theses. (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.

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)

We should not admit categorial restrictions on the significance of syntactically well formed strings. Syntactically well formed but semantically absurd strings, such as ‘Life’s but a walking shadow’ and ‘Caesar is a prime number’, can express thoughts; and competent thinkers both are able to grasp these and ought to be able to. Gareth Evans’ generality constraint, though Evans himself restricted it, should be viewed as a fully general constraint on concept possession and propositional thought. For (a) even well formed but (...) semantically cross-categorial strings often do possess substantive inferential roles; (b) hearers exploit these inferential roles in interpreting such strings metaphorically; (c) there is no good reason to deny truth-conditions to strings with inferential roles. (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)

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.

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)

It is generally assumed that if it is possible to believe that p without believing that q, then there is some difference between the object of the thought that p and the object of the thought that q. This assumption is challenged in the present paper, opening the way to an account of epistemic opacity that improves on existing accounts, not least because it casts doubt on various arguments that attempt to derive startling ontological conclusions from seemingly innocent epistemic premises.

Assume that the only thing before you is a statue made of some alloy. Call those who think that there is one thing before you in such a case monists. Call those who think there are at least two things before you in such a case pluralists. The most common arguments for pluralism run as follows. The statue is claimed to have some property P that the piece of alloy lacks (or vice versa), and hence it is concluded that they (...) are distinct. Most often, the predicates employed in such arguments to express the crucial property are predicates expressing ‘temporal properties’, such as existing at a certain time; or ‘modal properties’, such as possibly being spherical; or ‘constitution properties’, such as being made of a certain sort of material. In a recent paper, Kit Fine has noted that such predicates suffer from various defects that make it possible for the monist to plausibly resist the relevant versions of the pluralist's arguments. For this reason, Fine considers a number of predicates that do not suffer from these defects, and constructs new versions of the above argument using them. Fine argues that any attempt on the monist's part to resist his versions of the argument force the monist to adopt implausible positions in the philosophy of language. As against this, I argue that the monist has perfectly plausible responses to Fine's arguments that require the monist to adopt only quite reasonable positions in the philosophy of language. (shrink)

This paper is concerned with the status of a symbol in Wittgenstein’s Tractatus. It is claimed in the first section that a Tractarian symbol, whilst essentially a syntactic entity to be distinguished from the mark or sound that is its sign, bears its semantic significance only inessentially. In the second and third sections I pursue this point of exegesis through the Tractarian discussions of nonsense and the context principle respectively. The final section of the paper places the forgoing work in (...) a secondary context, addressing in particular a debate regarding the realism of the Tractatus. (shrink)

Much has been written on the relative merits of different readings of Wittgenstein's Tractatus Logico-Philosophicus. The recent renewal of the debate has almost exclusively been concerned with variants of the ineffabilist (metaphysical) reading of TL-P - notable such readings have been advanced by Elizabeth Anscombe, P. M. S. Hacker and H. O. Mounce - and the recently advanced variants of therapeutic (resolute) readings - notable advocates of which are James Conant, Cora Diamond, Juliet Floyd and Michael Kremer. During this debate, (...) there have been a number of writers who have tried to develop a third way, incorporating what they see as insights and avoiding what they see as flaws in both the ineffabilist and resolute readings. The most prominent advocates of these elucidatory readings of TL-P are Dan Hutto (2003) and Marie McGinn (1999). In this paper we subject Hutto's and McGinn's readings of TL-P to critical scrutiny. We find that in seeking to occupy the middle ground they ultimately find themselves committed to (and in the process commit Wittgenstein to) the very ineffabilism they (and Wittgenstein) are seeking to overcome. (shrink)

The aim of this paper is to give a detailed reconstruction of Frege's solution to his puzzle about the cognitive function of truth, which is this: On the one hand, the concept of truth seems to play an essential role in acquiring knowledge because the transition from the mere hypothetical assumption that p to the acknowledgement of its truth is a crucial step in acquiring the knowledge that p, while, on the other hand, this concept seems to be completely redundant (...) because the sense of the word 'true' does not make any essential contribution to the senses of the sentences in which it occurs. (shrink)

Recent third person approaches to thought experiments and conceptual analysis through the method of surveys are motivated by and motivate skepticism about the traditional first person method. I argue that such surveys give no good ground for skepticism, that they have some utility, but that they do not represent a fundamentally new way of doing philosophy, that they are liable to considerable methodological difficulties, and that they cannot be substituted for the first person method, since the a priori knowledge which (...) is our object in conceptual analysis can be acquired only from the first person standpoint. (shrink)

Intentionalism is the claim that the phenomenological properties of a perceptual experience supervene on its intentional properties. The paper presents a counter-example to this claim, one that concerns visual grouping phenomenology. I argue that this example is superior to superficially similar examples involving grouping phenomenology offered by Peacocke (Sense and Content, Oxford: Oxford University Press), because the standard intentionalist responses to Peacocke’s examples cannot be extended to mine. If Intentionalism fails, it is impossible to reduce the phenomenology of an experience (...) to its content. (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)

I discuss the meaning of 'There's something e is like', in the context of a reply to Eric Lormand's 'The explanatory stopgap'. I argue that Lormand is wrong to think it has a specially perceptual meaning. Rather, it has one of at least four candidate meanings: e is some way as regards its subject; e is some way and e's being that way is in the possession of its subject; e is some way in the awareness of its subject; e's (...) subject is the "experiencer" of e. I provide additional argumentation for the view in this paper that in the context, 'like this' functions as a predicate variable. (shrink)

Gottlob Frege and Edmund Husserl are two seemingly different philosophers in their methodology. Both have significantly influenced Western philosophy in that their contributions established fields within philosophy that are of intensive study today. Still, their differences in methodology have, in certain instances, yielded similar or distinct results. Their results ranged from the distinction of sense and reference, objectivity, and the theory of mathematics: specifically, their definition of number. Frege and Husserl have such striking similarities in their theory of sense and (...) reference and related notions that from their apparent correspondence, Frege seems to have acknowledged the coincidences in their theories (Frege & Kluge, 1972) (Hill & Rosado Haddock Intro, 4, & 30-33). That is not to say there are exact parallels between Frege and Husserl and their results, as I will acknowledge their similarities and differences within scale. So, I intend to demonstrate their respective theories and results descriptively to show their likenesses while still recognizing their divergences in scope and methodology. Indirectly, I would also hope to illustrate the ties, in terms of subject matter, of these two philosophers who are historically considered at odds with one another; be it personally, in their schools of philosophy, or methodologically (Hartimo 47-53). (shrink)

The PhD thesis advances a new approach to vagueness as dispersion, comparing it with the main philosophical theories of vagueness in the analytic tradition.

This is a review of "Properties and Propositions: The Metaphysics of Higher-Order Logic" by Robert Trueman. Following an overview of the main themes of the book, I discuss the metaphysical presuppositions of Trueman's Fregean notation for predicate abstraction and evaluate his argument for strict typing.

According to the interpretational theory of logical validity (IR), logical validity is preservation of truth in all interpretations compatible with the intended meaning of logical expressions. IR suffers from a seemingly defeating objection, the so-called cardinality problem: any instance of the statement ‘There are n things’ is true under all interpretations, since it can be written down using only logical expressions that are not to be reinterpreted; yet ‘There are n things’ is not logically true. I argue that the cardinality (...) problem is indeed a serious problem for IR, when understood in terms of ‘asymmetry of information’. I then argue that IR can be rehabilitated by making quantifiers context-sensitive: what we do not reinterpret is the Kaplanian character of a quantifier, rather than its content. ‘There are n things’ is false in a context where fewer than n things are relevant, so it is not logically true in IR. I finally discuss some objections and ramifications of my account: I discuss how to make space for the possibility of an explicitly absolutely general quantifier in my framework, how terms can be logical even though context-sensitive, and how to recapture classical logic within my framework. (shrink)

In recent years, a variety of philosophers have argued that the fundamental bearers of representational properties like truth are concrete particulars produced by cognitive agents—representational vehicles (“RVs”), as I will call them. This view apparently conflicts with other judgments that are part of our common sense understanding of truth. For instance, it is plausible that there are truths about the Milky Way that have and never will never be articulated by anyone. Whatever these truths are, it looks like they cannot (...) be RVs, because an RV is articulated just in case it exists. In this paper, I argue that it is consistent to hold that the fundamental truth-bearers are representational vehicles, while also acknowledging the existence of unarticulated truths. I argue that truth is a property that derivatively holds of kinds of RVs, that these provide the basis for our judgments that there are unarticulated truths, and I defend the view against putative counter-examples. (shrink)

We defend deflationism about truth against a pressing challenge, which is to explain how deflationists can understand the role that the _concept_ of truth appears to play in accounts of several other philosophically important concepts. We provide three strategies that deflationists can employ in response to the specific challenge regarding assertion that has been raised in several recent articles, viz., that the truth concept plays an ineliminable explanatory role in an account of assertion. We then show how to extend our (...) strategies to accounts of other central philosophical concepts, by applying them to accounts of belief, knowledge, and logical validity. The result is a set of recipes for deflationists about truth to employ in developing responses to worries that might be raised about the explanatory role of the truth concept. (shrink)

This thesis investigates the nature of the relation between mental representations in successful verbal communication, thought attribution, agreement, and disagreement — a relation which I call “samethinking”. The nature of samethinking raises several foundational questions about the nature of (non-natural) meaning, and the cognitive underpinnings of the emergence of culture. It bears on long-lasting puzzles in the philosophy of mind and language (such as Frege’s puzzle and Kripke’s puzzle about belief). Samethinking does not amount to sharing a reference (with “sharing" (...) I refer to two or more thinkers having something in common): it is more demanding. How can we explain and characterize this relation, more stringent than coreference, that is instantiated by a pair of thoughts when samethinking takes place? It is often assumed that this relation involves sharing a thought content more fine-grained than reference. In this thesis, I argue that the issue is more complex than what has been commonly assumed, and I suggest an alternative model in which sharing thought content is not necessary. (shrink)

Frege is an anti-psychologist about logic who takes logic to be sharply distinguished from psychology. However, Frege also takes judgment, which seems to be a subject of psychology, to be essential to logic. Van der Schaar attempts to explain away this tension by arguing that judgments relevant to logic in Frege are not mental actions psychology deals with. Against this reading, I show that for Frege, judgments are mental actions consistently. The tension in question should be explained away by clarifying (...) the sense in which judgment is essential to logic for Frege. He takes judgment to be essential to logic because he thinks that logic requires judgments to be performed. Logic requires logicians to be committed to truth, and it is by judgments that we are committed to truth. If Frege takes judgment to be essential to logic only in this sense, he is not thereby committed to logical psychologism. (shrink)

This dissertation is about the structure of thought. Following Gottlob Frege, I define a thought as the sort of content relevant to determining whether an assertion is true or false. The historical component of the dissertation involves interpreting Frege’s actual views on the structure of thought. I argue that Frege did not think that a thought has a unique decomposition into its component senses, but rather the same thought can be decomposed into senses in a variety of distinct ways. I (...) extend Frege’s position and use it to develop an account of the hierarchy of senses, the senses expressed by indexicals and demonstratives, and the distinction between logical and non-logical structure. I also discuss various connections with the nature of meta-representation, our capacity for reflective judgment, some aspects of the structure of conscious experience, the way we perceive regions of space and durations of time, and our conscious awareness of our own perceptions and events of thinking. (shrink)

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)