Opposing Quine, I defend the view that some of the statements we accept are immune to empirical revision. My examples include instances of Schema and abbreviative definitions. I argue that it serves important cognitive purposes to hold statements of these kinds immune to revision, and that it is epistemically permissible for us to do so. At the end, I briefly consider the question of whether the rationale for these claims might be extended to show that additional statements are unrevisable.

The relevance of any logical analysis lies in its ability to solve paradoxes and trace conceptual troubles back; with this respect, the task of epistemic logic is to handle paradoxes in connection with the concept of knowledge. Epistemic logic is currently introduced as the logical analysis of crucial concepts within epistemology, namely: knowledge, belief, truth, and justification. An alternative approach will be advanced here in order to enlighten such a discourse, as centred upon the word assertion and displayed in terms (...) of utterance. Insofar as epistemic modalities express some attitudes, the intentionality of discourse will be emphasized within an illocutionary modal logic. Two large views will range over the whole study: declarative and epistemic sentences have one and the same logic (assertion logic); the plurality of languages games doesn’t entail any logical pluralism. -/- La valeur d'une analyse logique réside dans sa capacité à résoudre des paradoxes et à comprendre l'origine de nos problèmes conceptuels ; à ce titre, le rôle d'une logique épistémique est de traiter des paradoxes liés au concept de connaissance. On présente généralement la logique épistémique comme une analyse logique de concepts centraux en épistémologie : connaissance, croyance, vérité, justification. Une autre approche sera proposée ici en vue de clarifier ce genre de discours, centrée sur la notion d'assertion et décrite en termes d'énonciation. Parce que les modalités épistémiques expriment des attitudes, c'est l'intentionnalité du discours qui sera mise en valeur dans le cadre d'une logique modale illocutoire. Deux thèses transversales parcourront l'ensemble du travail : les énoncés déclaratifs et épistémiques partagent la même logique (logique assertorique) ; la pluralité des jeux de langages n'implique pas un pluralisme logique. (shrink)

This paper starts out from the idea that semantics is a “special science” whose aim, like that of chemistry or ecology, is to identify systematic, high-level patterns in a fundamentally physical world. I defend an approach to this task on which sentences are associated with with sets of possible worlds (of some kind). These sets of worlds, however, are not postulated for the compositional treatment of intensional contexts; they are not meant to capture what is intuitively asserted or communicated by (...) an utterance; nor are they supposed to shed light on the cognitive processes that underlie out linguistic competence. Instead, their job description is to capture certain regularities in the interactions between subjects using the relevant language. I also raise some questions about how the relevant worlds might be construed. (shrink)

The Fodorian central objections to Inferential Role Semantics can be taken to include an ‘Analyticity Challenge’ and a ‘Circularity Challenge’, which are ultimately challenges to IRS explanations of concept possession. In this paper I present inferential role theories, critically examine these challenges and point out two misunderstandings to which they are exposed. I then state in detail a rationalist version of IRS and argue that this version meets head on the Fodorian challenges. If sound, these considerations show that there is (...) no problem of principle in the consideration of IRS as a good candidate for a theory of concepts. (shrink)

Frege's puzzle is a fundamental challenge for accounts of mental and linguistic representation. This piece surveys a family of recent approaches to the puzzle that posit representational relations. I identify the central commitments of relational approaches and present several arguments for them. I also distinguish two kinds of relationism—semantic relationism and formal relationism—corresponding to two conceptions of representational relations. I briefly discuss the consequences of relational approaches for foundational questions about propositional attitudes, intentional explanation, and compositionality.

This volume is about abstract objects and the ways we refer to them in natural language. Asher develops a semantical and metaphysical analysis of these entities in two stages. The first reflects the rich ontology of abstract objects necessitated by the forms of language in which we think and speak. A second level of analysis maps the ontology of natural language metaphysics onto a sparser domain--a more systematic realm of abstract objects that are fully analyzed. This second level reflects the (...) commitments of real metaphysics. The models for these commitments assign truth conditions to natural language discourse. Annotation copyright by Book News, Inc., Portland, OR. (shrink)

According to neo-Russellianism, in a sentence such as John believes that Mont Blanc is 4000 m high, any other proper name co-referring with Mont Blanc can be substituted for it without any change in the proposition expressed. Prima facie, our practice of translation shows that this cannot be correct. We will then show that neo-Russellians have a way out of this problem, which consists in holding that actual translations are not a matter of semantics, but also make an attempt at (...) preserving some pragmatic features of the sentences to be translated. We then turn to translations that only preserve the semantic characteristics of the sentences and we argue that, although these translations are unable to show that neo-Russellianism is incorrect, they still show that it relies on some theses that seem to have no justification, apart from saving neo-Russellianism itself. (shrink)

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

We argue that thoughts are structures of concepts, and that concepts should be individuated by their origins, rather than in terms of their semantic or epistemic properties. Many features of cognition turn on the vehicles of content, thoughts, rather than on the nature of the contents they express. Originalism makes concepts available to explain, with no threat of circularity, puzzling cases concerning thought. In this paper, we mention Hesperus/Phosphorus puzzles, the Evans-Perry example of the ship seen through different windows, and (...) Mates cases, and we believe that there are many additional applications. (shrink)

Some intentional attitudes (beliefs, fears, desires, etc.) have a common focus in spite of there being no object at that focus. For example, two beliefs may be about the same witch even when there are no witches, different astronomers had beliefs directed at Vulcan, even though there is no such planet. This relation of having a common focus, whether or not there is an actual concrete object at that focus, is called intentional identity. In the first part of this thesis (...) I develop a new theory of intentional identity, the triangulation theory, and argue that it has significant advantages over the extant theories of intentional identity in the literature. Empty attitudes (attitudes that are not, prima facie, about anything that exists) will serve as useful cases for testing theories of intentional identity. -/- In the second part, I put the theory developed in the first part to work. I use triangulation theoretic tools to shed light on other debates about intentional attitudes. Some issues to which intentional identity are relevant are the debate about the content of intentional attitudes, the issue of whether or not we need to appeal to external constraints on the content of intentional attitudes, how we should understand the agreement and disagreement of attitudes, how we should construe communication and how we ought to solve Kripke’s puzzle about belief. The second part of this thesis also motivates a broadly internalist and individualistic approach to the con-tent of intentional attitudes; it turns out that if we take a closer look at the narrowly construed psychological states of agents we find materials that allow us to make sense of phenomena usually associated with externalist constraints on the content of attitudes (such as causal constraints and eligibility constraints) in a new way. (shrink)

According to a criterion of difference for thoughts derived from Frege, two thoughts are different if it is at the same time possible for a rational subject to take conflicting epistemic attitudes toward them. But applying this criterion to perception-based demonstrative thoughts seems to slice thoughts too finely and lead to their proliferation which makes the criterion implausible. I argue that such a proliferation of thoughts is blocked by transforming this criterion into a related one that is shown to be (...) essential in individuating thoughts as they are conceived of in this paper. This has to do with the fact that what makes demonstrative sense synchronically or diachronically the same is the subject’s unreflective taking-for-granted that the object that she is perceiving is a single object that does not require her to keep track of it in the sense supposed by Evans and Campbell. (shrink)

This paper concerns the dialectal role of Frege Cases in the debate between Concept Cartesians and Concept Pragmatists. I take as a starting point Christopher Peacocke’s argument that, unlike Cartesianism, his ‘Fregean’ Pragmatism can account for facts about the rationality and epistemic status of certain judgments. I argue that since this argument presupposes that the rationality of thoughts turn on their content, it is thus question-begging against Cartesians, who claim that issues about rationality turn on the form, not the content, (...) of thoughts. I then consider Jerry Fodor’s argument that ‘modes of presentation’ are not identical with Fregean senses, and argue that explanatory considerations should leads us to reject his ‘syntactic’ treatment of Frege cases. Rejecting the Cartesian treatment of Frege cases, however, is not tantamount to accepting Peacocke’s claim that reasons and rationality are central to the individuation of concepts. For I argue that we can steer a middle course between Fodor’s Cartesianism and Peacocke’s Pragmatism, and adopt a form of Pragmatism that is constrained by Fregean considerations, but at the same time denies that concepts are constitutively tied to reasons and rationality. (shrink)

It seems uncontroversial that Dalton wrongly believed that atoms are indivisible. However, the correct analysis of Dalton’s belief and the way it relates to contemporary beliefs about atoms is, on closer inspection, far from straightforward. In this paper, I introduce four features that any candidate analysis is plausibly bound to respect. I argue that theories that individuate concepts at the level of understanding are doomed to fail in this endeavor. I formally sketch an alternative and suggest that cases such as (...) the one presented provide support for the claim that the genuine source for concept individuation is public sharable thought. (shrink)

Commonplace syntactic constructions in natural language seem to generate ontological commitments to a dazzling array of metaphysical categories - aggregations, sets, ordered n-tuples, possible worlds, intensional entities, ideal objects, species, intensive and extensive quantities, stuffs, situations, states, courses of events, nonexistent objects, intentional and discourse objects, general objects, plural objects, variable objects, arbitrary objects, vague kinds and concepts, fuzzy sets, and so forth. But just because a syntactic construction in some natural language appears to invoke a new category of entity, (...) are we theoreticians epistemically justified in holding that there are such entities? This would hardly seem sufficient. To be epistemically justified, the ontology to which we theoreticians are committed must pass strict standards: the entities must be of the sort required by our best comprehensive theory of the world. The thesis of this paper is that fine-grained type-free intensional entities are like this. If the thesis is right, these entities have a special objective status perhaps not possessed by some of the other ontological categories associated with special syntactic constructions in natural language. In fact, it is plausible to hold that fine-grained type-free intensional entities provide the proper minimal framework for constructing logical and linguistic theories. In this paper my strategy will be to survey the competing conceptions of fine-grained type-free intensionality and to present arguments in support of one of them. Following this narrowing down process, I will go on to the indicated epistemological considerations. (shrink)

The purpose of this paper is to show that, pace (Field, 2009), MacFarlane’s assessment relativism and expressivism should be sharply distinguished. We do so by arguing that relativism and expressivism exemplify two very different approaches to context-dependence. Relativism, on the one hand, shares with other contemporary approaches a bottom–up, building block, model, while expressivism is part of a different tradition, one that might include Lewis’ epistemic contextualism and Frege’s content individuation, with which it shares an organic model to deal with (...) context-dependence. The building-block model and the organic model, and thus relativism and expressivism, are set apart with the aid of a particular test: only the building-block model is compatible with the idea that there might be analytically equivalent, and yet different, propositions. (shrink)

So-called 'Frege cases' pose a challenge for anyone who would hope to treat the contents of beliefs (and similar mental states) as Russellian propositions: It is then impossible to explain people's behavior in Frege cases without invoking non-intentional features of their mental states, and doing that seems to undermine the intentionality of psychological explanation. In the present paper, I develop this sort of objection in what seems to me to be its strongest form, but then offer a response to it. (...) I grant that psychological explanation must invoke non-intentional features of mental states, but it is of crucial importance which such features must be referenced. -/- It emerges from a careful reading of Frege's own view that we need only invoke what I call 'formal' relations between mental states. I then claim that referencing such 'formal' relations within psychological explanation does not undermine its intentionality in the way that invoking, say, neurological features would. The central worry about this view is that either (a) 'formal' relations bring narrow content in through back door or (b) 'formal' relations end up doing all the explanatory work. Various forms of each worry are discussed. The crucial point, ultimately, is that the present strategy for responding to Frege cases is not available either to the 'psycho-Fregean', who would identify the content of a belief with its truth-value, nor even to someone who would identify the content of a belief with a set of possible worlds. It requires the sort of rich semantic structure that is distinctive of Russellian propositions. There is therefore no reason to suppose that the invocation of 'formal' relations threatens to deprive content of any work to do. (shrink)

The topic of this special issue of Synthese is hyperintensionality. This introduction offers a brief survey of the very notion of hyperintensionality followed by a summary of each of the papers in this collection. The papers are foundational studies of hyperintensionality accompanied by ample philosophical applications.Hyperintensionality concerns the individuation of non-extensional entities such as propositions and properties, relations-in-intension and individual roles, as well as, for instance, proofs and judgments and computational procedures, in case these do not reduce to any of (...) the former. Hyperintensional individuation is frequently also referred to as ‘fine-grained’ or sometimes simply ‘intensional’ individuation, when ‘intensional’ is not understood in the specific sense of possible-world semantics or in the pejorative sense of flouting various logical rules of extensional logic. A principle of individuation qualifies as hyperintensional as soon as it is finer than necessary .. (shrink)

This dissertation is an experiment: what happens if we treat proper names as anaphoric expressions on a par with pronouns? The first thing to notice is that a name's 'antecedent' can occur in a discourse prior to the one containing the name. An individual may be introduced and tagged with a name in one context, and then retrieved using the name in a later context. To allow for discourse crossing anaphora, in addition to the usual cross-sentential anaphora, a revision of (...) discourse semantics is in order. Essentially, we must countenance discourse referents that span contexts, and think of contexts, not as islands, but as nodes connected to each other by the discourse referents they share. Discourse semantics gives rise to a new notion of content determined by discourse reference rather than pure reference. In a space of contexts structured by shared discourse referents, discourse content becomes transmissable. For a piece of content may be sent from one context to another whenever the discourse referents bundled up in the content are held in common by the two contexts. The final step is to treat the cognitive state of an agent as just another kind of context, and so a potential recipient of discourse content. Discourse content is more fine-grained than traditional 'singular' content, and so is a better fit for our pretheoretic intuitions about communication and attitude reporting. This is illustrated by applying the theory to Frege's puzzle, a puzzle of Loar's about communication, Kripke's puzzle about belief, Geach's intentional identity and new breed of 'mixed' de re-de dicto sentence. (shrink)

In a 1997 paper Jennifer Saul adduces various examples of simple sentences in which the substitution of one co-referential singular term for another appears to be invalid. I address the question of whether anti-substitution is logically justified by examining the validity and soundness of substitution of co-referential singular terms in three simple-sentence arguments each exhibiting a different logical structure. The result is twofold. First, all three arguments are valid, provided Leibniz’s Law is valid with respect to simple sentences . Thus, (...) as far as these arguments are concerned, there is no logical problem with substitution in simple sentences. Second, two of the arguments cannot be sound, because their respective sets of premises are inconsistent. Thus, it would be logically irrational to commit oneself to all the premises of the respective arguments. To the extent that the origin of Saul’s puzzles is in logic , I suggest, tentatively, that substitution may appear to be invalid because the issues of validity and soundness have not been kept separate. I then consider in depth Saul’s first sentence, “Clark Kent enters a phone booth and Superman exits”. Obviously, two-way substitution is trivially valid, if the expressions are co-referential semantically proper names, the conclusion being but a rephrasing of the premise. However, I argue that a non-trivial semantic analysis of this sentence should take account of the diachronicity of Clark Kent’s entrance and Superman’s exit while preserving the internal link between being Superman and being Clark Kent. I propose the following. ‘Superman’ and ‘Clark Kent’ refer to two distinct individual concepts. “Superman is Clark Kent” then no longer expresses the self-identity of an individual bearing two names, but that two named concepts are held together by the requisite relation: wherever and whenever someone falls under the concept of Superman the same individual also falls under the Clark Kent concept, whereas there are exceptions to the converse. This semantic analysis always validates the substitution of ‘Clark Kent’ for ‘Superman’, but validates the substitution of ‘Superman’ for ‘Clark Kent’ only if the additional condition is met that somebody should fall under the Superman concept when Clark Kent. (shrink)

Revised and reprinted in Handbook of Philosophical Logic, volume 10, Dov Gabbay and Frans Guenthner (eds.), Dordrecht: Kluwer, (2003). -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in the (...) course of discussing generality, quantifying-in, learnability, referential semantics, nominalism, conceptualism, realism, type-freedom, the first-order/higher-order controversy, names, indexicals, descriptions, Mates’ puzzle, and the paradox of analysis. Two first-order intensional logics are then formulated. Finally, fixed-point type-free theories of predication are discussed, especially their relation to the question whether properties may be identified with propositional functions. (shrink)

Standard compositionality is the doctrine that the semantic content of a compound expression is a function of the semantic contents of the contentful component expressions. In 1954 Hilary Putnam proposed that standard compositionality be replaced by a stricter version according to which even sentences that are synonymously isomorphic (in the sense of Alonzo Church) are not strictly synonymous unless they have the same logical form. On Putnam’s proposal, the semantic content of a compound expression is a function of: (i) the (...) contentful component expressions; and (ii) the expression’s logical form. Kit Fine recently expanded and modified Putnam’s idea into a sweeping theory in philosophy of language and philosophy of mind. The present paper is a detailed critique of Fine’s “semantic relationism.” Fine’s notion of coordination is explained in terms of the familiar pragmatic phenomenon of recognition. A serious error in Fine’s formal disproof of standard Millianism is exposed. It is demonstrated furthermore that Church’s original criticism of Putnam’s proposal can be extended to Fine’s semantic relationism. Finally, it is also demonstrated that the positive position Fine proffers to supplant standard Millianism is in fact exactly equivalent to standard Millianism, so that Fine’s overall position not only does not displace standard Millianism but is in fact inconsistent. (shrink)

It is a widely held view in philosophy that propositions perform a plethora of different theoretical roles. Amongst other things, they are believed to be the semantic values of sentences in contexts, the objects of attitudes, the contents of illocutionary acts, and the referents of that-clauses. This assumption is often combined with the claim that propositions have their truth-values eternally. In this paper I aim to show that these two assumptions are incompatible: propositions cannot both fulfill the mentioned roles and (...) be eternally true or false. Following Kaplan and Lewis’s Operator Argument, I argue that compositional semantic values of sentences in contexts do not correspond to eternal propositions. Thus, either we regard the non-eternal entities that in fact realize the semantic role of propositions as also fulfilling the remaining propositional roles, or we abandon the assumption that there is a unique realizer of all the roles. The Operator Argument has recently come under attack, mainly for its tense-logical assumptions. However, rejecting these assumptions is not a sufficient defense of the compatibility of the two claims, since the extensional alternative to the tense-logical framework does not allow us to universally retain eternal propositions as compositional semantic values of sentences either. (shrink)

This is the second part of a two-part article on compositionality, i.e. the principle that the meaning of a complex expression is determined by the meanings of its parts and the way they are put together. In the first, Pagin and Westerståhl (2010), we provide a general historical background, a formal framework, definitions, and a survey of variants of compositionality. It will be referred to as Part I. Here we discuss arguments for and against the claim that natural languages have (...) a compositional semantics. We also discuss some problem cases, including belief reports, quotation, idioms, and ambiguity. (shrink)

Arthur Pap’s work played an important role in the development of the analytic tradition. This role goes beyond the merely historical fact that Pap’s views of dispositional and modal concepts were influential. As a sympathetic critic of logical empiricism, Pap, like Quine, saw a deep tension in logical empiricism at its very best in the work of Carnap. But Pap’s critique of Carnap is quite different from Quine’s, and represents the discovery of limits beyond which empiricism cannot go, where there (...) lies nothing other than intuitive knowledge of logic itself. Pap’s arguments for this intuitive knowledge anticipate Etchemendy’s recent critique of the model-theoretic account of logical consequence. Pap’s work also anticipates prominent developments in the contemporary neo-Fregean philosophy of mathematics championed by Wright and Hale. Finally, Pap’s major philosophical preoccupation, the concepts of necessity and possibility, provides distinctive solutions and perspectives on issues of contemporary concern in the metaphysics of modality. In particular, Pap’s account of modality allows us to see the significance of Kripke’s well-known arguments on necessity and apriority in a new light. (shrink)

The article first rehearses three deflationary theories of reference, (1) disquotationalism, (2) propositionalism (Horwich), and (3) the anaphoric theory (Brandom), and raises a number of objections against them. It turns out that each corresponds to a closely related theory of truth, and that these are subject to analogous criticisms to a surprisingly high extent. I then present a theory of my own, according to which the schema “That S(t) is about t” and the biconditional “S refers to x iff S (...) says something about x” are exhaustive of the notions of aboutness and reference. An account of the usefulness of “about” is then given, which, I argue, is superior to that of Horwich. I close with a few considerations about how the advertised theory relates to well-known issues of reference, the conclusions of which is (1) that the issues concern reference and aboutness only insofar as the words “about” and “refer” serve to generalise over the claims that are really at issue, (2) that the theory of reference will not settle the issues, and (3) that it follows from (2) that the issues do not concern the nature of aboutness or reference. (shrink)

It is widely accepted that physicalism faces its most serious challenge when it comes to making room for the phenomenal character of psychological experience, its so-called what-it-is-like aspect. The challenge has surfaced repeatedly over the past two decades in a variety of forms. In a particularly striking one, Frank Jackson considers a situation in which Mary, a brilliant scientist who knows all the physical facts there are to know about psychological experience, has spent the whole of her life in a (...) black and white room. He asks, What will happen when Mary is released from her black and white room or is given a colour television monitor? Will she learn anything or not? It seems just obvious that she will learn something about the world and our visual experience of it. But then it is inescapable that her previous knowledge was incomplete. But she had all the physical information. (Jackson 1986: 130). (shrink)

[This is an earlier (1997), much longer and more detailed version of my entry on LOTH in the _Stanford Encyclopedia of Philosophy_] The Language of Thought Hypothesis (LOTH) is an empirical thesis about thought and thinking. For their explication, it postulates a physically realized system of representations that have a combinatorial syntax (and semantics) such that operations on representations are causally sensitive only to the syntactic properties of representations. According to LOTH, thought is, roughly, the tokening of a representation that (...) has a syntactic (constituent) structure with an appropriate semantics. Thinking thus consists in syntactic operations defined over representations. Most of the arguments for LOTH derive their strength from their ability to explain certain empirical phenomena like productivity, systematicity of thought and thinking. (shrink)

Quine claims that holism (i.e., the Quine-Duhem thesis) prevents us from defining synonymy and analyticity (section 2). In Word and Object, he dismisses a notion of synonymy which works well even if holism is true. The notion goes back to a proposal from Grice and Strawson and runs thus: R and S are synonymous iff for all sentences T we have that the logical conjunction of R and T is stimulus-synonymous to that of S and T. Whereas Grice and Strawson (...) did not attempt to defend this definition, I try to show that it indeed gives us a satisfactory account of synonymy. Contrary to Quine, the notion is tighter than stimulus-synonymy – particularly when applied to sentences with less than critical semantic mass (section 3). Now according to Quine, analyticity could be defined in terms of synonymy, if synonymy were to make sense: A sentence is analytic iff synonymous to self-conditionals. This leads us to the following notion of analyticity: S is analytic iff, for all sentences T, the logical conjunction of S and T is stimulus-synonymous to T; an analytic sentence does not change the semantic mass of any theory to which it may be conjoined (section 4). This notion is tighter than Quine's stimulus-analyticity; unlike stimulus-analyticity, it does not apply to those sentences from the very center of our theories which can be assented to come what may, even though they are not synthetic in the intuitive sense (section 5). Conclusion: We can have well-defined notions of synonymy and analyticity even if we embrace Quine's holism, naturalism, behaviorism, and radical translation. Quine's meaning skepticism is to be repudiated on Quinean grounds. (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.

The repudiation of propositions as “obscure entities” which is prevalent among logicians and philosophers of “nominalistic” persuasion, is frequently justified by pointing out that no agreement seems ever to have been reached about the identity-condition of propositions. And if we cannot specify, so they argue, under what conditions two sentences express the same proposition, then we use the word “proposition” without any clear meaning. Quine, for example, feels far less uneasy about quantification over class-variables than about quantification over attribute-variables and (...) propositional variables, because there is a clear criterion for deciding whether we are dealing with two classes or with only one class referred to by different predicates: two classes are identical if they have the same membership. And such a criterion of identity is alleged to be lacking for intensions. (shrink)

In a lengthy review article, C. Anthony Anderson criticizes the approach to property theory developed in Quality and Concept (1982). That approach is first-order, type-free, and broadly Russellian. Anderson favors Alonzo Church’s higher-order, type-theoretic, broadly Fregean approach. His worries concern the way in which the theory of intensional entities is developed. It is shown that the worries can be handled within the approach developed in the book but they remain serious obstacles for the Church approach. The discussion focuses on: (1) (...) the fine-grained/coarse-grained distinction, (2) proper names and definite descriptions, (3) the paradox of analysis and Mates’ puzzle, and (4) the logical, semantical, and intentional paradoxes. (shrink)

This paper provides a new approach to a family of outstanding logical and semantical puzzles, the most famous being Frege's puzzle. The three main reductionist theories of propositions (the possible-worlds theory, the propositional-function theory, the propositional-complex theory) are shown to be vulnerable to Benacerraf-style problems, difficulties involving modality, and other problems. The nonreductionist algebraic theory avoids these problems and allows us to identify the elusive nondescriptive, non-metalinguistic, necessary propositions responsible for the indicated family of puzzles. The algebraic approach is also (...) used to defend antiexistentialism against existentialist prejudices. The paper closes with a suggestion about how this theory of content might enable us to give purely semantic (as opposed to pragmatic) solutions to the puzzles based on a novel formulation of the principle of compositionality. (shrink)

I hope I have convinced the reader that DR theory offers at least some exciting potential when applied to the semantics of belief reports. It differs considerably from other approaches, and it makes intuitively acceptable predictions that other theories do not. The theory also provides a novel approach to the semantics of other propsitional attitude reports. Further, DR theory enables one to approach the topic of anaphora within belief and other propositional attitude contexts in a novel way, thus combining the (...) semantics developed here with one of the theory's original motivations (Kamp, 1981a). However, these are unfortunately topics that I must reserve for another time. (shrink)

When I say ‘Hesperus is Phosphorus’, I seem to express a proposition. And when I say ‘Joan believes that Hesperus is Phosphorus’, I seem to ascribe to Joan an attitude to the same proposition. But what are propositions? And what is involved in ascribing propositional attitudes?

A comprehensive introduction to the Language of Though Hypothesis (LOTH) accessible to general audiences. LOTH is an empirical thesis about thought and thinking. For their explication, it postulates a physically realized system of representations that have a combinatorial syntax (and semantics) such that operations on representations are causally sensitive only to the syntactic properties of representations. According to LOTH, thought is, roughly, the tokening of a representation that has a syntactic (constituent) structure with an appropriate semantics. Thinking thus consists in (...) syntactic operations defined over representations. Most of the arguments for LOTH derive their strength from their ability to explain certain empirical phenomena like productivity, systematicity of thought and thinking. (shrink)

The theory that Kit Fine calls 'semantic relationism' replaces standard semantic compositionality with an alternative according to which statements of the form '... A … A ...’ and ‘... A … B ...’ (e.g., ‘Cicero admires Cicero’ and ‘Cicero admires Tully’) differ in semantic content—even where the two terms involved are exactly synonymous—simply in virtue of the recurrence that is present in the former statement and absent from the latter. A semantic-relationist alternative to standard compositionality was first explicitly proffered by (...) Hilary Putnam in 1954 and later by others in the latter part of the 20th Century. However, semantic relationism had already been implicitly rejected in Frege’s 1892 landmark masterpiece "Über Sinn und Bedeutung" (“On Sense and Reference”). The present compilation of three previously published essays cuts through the hype and thoroughly rebuts semantic relationism, particularly Fine’s more developed version (2007). A fatal fallacy is exposed in Fine's high-flown purported formal disproof of Millianism with standard compositionality. Standard Millianism does not implode; Fine's overzealous attempt to demolish it does. The failure of his purported disproof renders Fine's central notion of coordination either redundant or empty. So-called coordination is non-semantic if it is anything real. (shrink)

Mates’s Puzzle has flown below many philosophers’ radar, despite its relations to both Frege’s Puzzle and the Paradox of Analysis. We explain the relations amongst these puzzles on the way to arguing that Mates’s Puzzle suggests a generalization of Frege’s Puzzle, and of the sense-reference distinction itself, in the form of hierarchy of senses. We explain how Mates’s Puzzle and the hierarchy, to different degrees, illuminate each other, and how their connection is missed in the literature. However, we argue that (...) the potential of Mates’s Puzzle to illuminate the hierarchy is yet to be fully actualised. We suggest that in order to do better, we need to formulate Mates’s Puzzle as a puzzle in the philosophy of thought and not as puzzle in the philosophy of language. What is needed, to which the present paper is a precursor, is an account of the cognitive significance of higher-order senses. (shrink)

I argue that the principal roles standardly envisaged for abstract propositions can be discharged to the sentences themselves (and similarly for the meanings or senses of words). I discuss: (1) Cognitive Value: Hesperus-Phosphorus; (2) Indirect Sense and Propositional Attitudes; (3) the Paradox of Analysis; (4) the Picture Theory of the Tractatus; (5) Syntactical Diagrams and Meaning; (6) Quantifying-in. (7) Patterns of Use. I end with comparisons with related views of the territory.

There are many variants of deflationism about truth, but one of them, Paul Horwich’s minimalism, stands out because it accepts as axiomatic practical variants of the equivalence schema: 〈p〉 is true if and only if p. The equivalence schema is epistemologically fundamental. In this paper, I call upon empirical studies to show that practical variants of the equivalence schema are widely accepted by non-philosophers. While in the empirical data there is variation in how non-philosophers and philosophers talk about truth and (...) how they judge that a proposition is true, a significant amount of data collected over the years reveal that the ordinary or folk view of truth is compatible with the epistemological fundamentality of alethic minimalism. This, I take it, suggests that people share in the same intuitions that form the bedrock of Horwich’s minimalism. (shrink)

The book is about logical analysis of natural language. Since we humans communicate by means of natural language, we need a tool that helps us to understand in a precise manner how the logical and formal mechanisms of natural language work. Moreover, in the age of computers, we need to communicate both with and through computers as well. Transparent Intensional Logic is a tool that is helpful in making our communication and reasoning smooth and precise. It deals with all kinds (...) of linguistic context in a fully compositional and anti-contextual way. (shrink)

Among philosophers, Fregeanism and sententialism are widely considered two of the leading theories of the semantics of attitude reports. Among linguists, these approaches have received little recent sustained discussion. This paper aims to bridge this divide. I present a new formal implementation of Fregeanism and sententialism, with the goal of showing that these theories can be developed in sufficient detail and concreteness to be serious competitors to the theories which are more popular among semanticists. I develop a modern treatment of (...) quantifying in for Fregeanism and sententialism, in the style of Heim and Kratzer, and then show how these theories can—somewhat surprisingly—account for “third readings” on the model of the “Standard Solution” from possible-worlds semantics. The resulting Fregean/sententialist proposal has a distinctive attraction: it treats data related to counterfactual attitudes —which have proven challenging to accommodate in the setting of possible worlds semantics—straightforwardly as third readings. (shrink)

At least in one well-motivated sense of ‘concept’, all perception involves concepts, even perception as practiced by lizards and bees. That is because—the paper argues—all perception involves belief.