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)

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.

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)

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)

Presenting the first comprehensive, in-depth study of hyperintensionality, this book equips readers with the basic tools needed to appreciate some of current and future debates in the philosophy of language, semantics, and metaphysics. After introducing and explaining the major approaches to hyperintensionality found in the literature, the book tackles its systematic connections to normativity and offers some contributions to the current debates. The book offers undergraduate and graduate students an essential introduction to the topic, while also helping professionals in related (...) fields get up to speed on open research-level problems. (shrink)

Well over half a century before the development of contemporary experimental philosophy, the Norwegian philosopher Arne Næss conducted a number of empirical investigations intended to document non-philosophers’ convictions regarding a number of topics of philosophical interest. In the 1930s and 1950s, Næss collected data relevant to non-philosophers’ conceptions of truth. This research attracted the attention of Alfred Tarski at the time, and has recently been re-evaluated by Robert Barnard and Joseph Ulatowski. In this paper I return to Næss’s research on (...) truth in order to better develop an account of how such empirical data does or doesn’t bear on the philosophical study of truth. I examine Næss’s findings from his various studies on truth, and challenge the interpretation of those studies offered by Barnard and Ulatowski. (shrink)

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)

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)

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)

We identify two senses of ‘pragmatics’ and related terms that give rise to two different methods of propositional individuation. The first one is the contextualist approach that essentially acknowledges contextual information to take part in the determination of what is said by the utterance of a sentence. In this sense, Pragmatics relies on the Principle of Compositionality and interprets propositions as structured entities. It epitomises the Building-block Model of Propositional Individuation. The general approach that makes what the agents do the (...) grounding level of philosophical and linguistic analysis characterizes the second sense, Pragmatism. It finds its clearest expression in Peirce’s Pragmatist Maxim, and it relies on the Fregean Principle of Context, and supports a view of propositions as unstructured entities. This is the Organic Model of Propositional Individuation. There is a test, the Analytic Equivalence Test, that tells apart the two models. According to it, the answer to the question whether a theory makes room for different but analytically equivalent propositions determines the model the theory belongs in. A positive answer classifies the theory as belonging to the building-block model; a negative answer allocates the theory within the organic model. (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)

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)

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)

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)

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)

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)

Because reference is not transparent, coreference is not transparent either: it is possible for the subject to refer to the same individual twice without knowing that the two acts of reference target the same individual. That happens whenever the subject associates two distinct yet coreferential files with two token singular terms. The subject may not know that the two files corefer, so her ascribing contradictory properties to the same object does not threaten her rationality. But if the subject deploys the (...) same file twice, in association with both of the singular terms, she is bound to know that she is referring to the same entity twice. (shrink)

According to the quotational theory of meaning ascriptions, sentences like “‘Bruder means brother” are abbreviated synonymy claims, such as “‘Bruder means the same as ‘brother’”. After discussing a problem with Harman’s version of the quotational theory, I present an amended version defended by Field. Then, I address Field’s responses to two arguments against the theory that revolve around translation and the understanding of foreign expressions. Afterwards, I formulate two original arguments against both Harman’s and Field’s versions of the theory. One (...) of them targets the hyperintensionality of quotations and the other raises a problem pertaining to variant spellings of words. (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)

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

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)

On what seems to be the best interpretation, what Quine calls 'the problem of synonymy' in Two Dogmas is the problem of approximating the extension of our pretheoretic concept of synonymy by clear and respectable means. Quine thereby identified a problem which he himself did not think had any solution, and so far he has not been proven wrong. Some difficulties for providing a solution are discussed in this paper.

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)

My primary goal in this paper is to focus attention on a certain conception of internal access, on the Cartesian conception that a rational subject's capacity to determine sameness and difference in explicit propositional attitudes is independent of knowledge of the external world. This conception of introspection plays a crucial, if unacknowledged, role in numerous arguments and theoretical positions. In particular, it plays a large role in motivating psychological internalism. I argue in favor of rejecting this epistemology and the internalism (...) it supports. (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)

Philosophers have wanted to work with conceptions of word-competence, or concept-possession, on which being a competent practitioner with a word amounts to being a competent judge of its uses by others. I argue that our implicit conception of competence with a word does not have this presupposition built into it. One implication of this is what I call "modesty" in interpretation: we allow for others, uses of words that we would not allow for ourselves. I develop this point by looking (...) at Saul Kripke's discussion of some famous examples given by Benson Mates, concerning beliefs about beliefs. I defend Mates's point against Kripke's claim that an interpreter who is modest in my sense must be "conceptually confused." . (shrink)

Basic to Robert Brandom’s project in Making It Explicit is the demarcation of singular terms according to the structure of their inferential roles---rather than, as is usual, according to the kinds of things they purport to denote. But the demarcational effort founders on the need to distinguish extensional and nonextensional occurrences of expressions in terms of inferential roles; the closest that an inferentialist can come to drawing that distinction is to discern degrees of extensionality, and that is not close enough. (...) The general moral applies as well to “two factor” theories of content: the notion of inferential role lacks the independence from the notion of denotation that many proponents of such theories have attributed to it. (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)

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)

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.

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)

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.

Though largely unnoticed, in “Two Dogmas” Quine himself invokes a distinction: a distinction between logical and analytic truths. Unlike analytic statements equating ‘bachelor’ with ‘unmarried man’, strictly logical tautologies relating two word-tokens of the same word-type, e.g., ‘bachelor’ and ‘bachelor’ are true merely in virtue of basic phonological form, putatively an exclusively non-semantic function of perceptual categorization or brute stimulus behavior. Yet natural language phonemic categorization is not entirely free of interpretive semantic considerations. “Phonemic reductionism” in both its linguistic and (...) behavioral, Newbury Park, CA, Sage Publications, 164–167) guise is false. The semantic basis of phonological equivalence, however, has repercussions vis-à-vis Quine’s critique of analyticity. A consistent rejection of meaning-based equivalencies eliminates not only analyticity, but imposes a form of phonological eliminativism too. Phonological eliminativism is the reductio result of applying Quinean meaning skepticism to the phonological typing of natural language. But unlike analyticity, phonology is presumably not subject to philosophical dismissal. The semantic basis of natural language phonology serves to neutralize Quine’s argument against analyticity: without the semantics of meaning, more than just synonymy is lost; basic phonology must also be forfeited. Let’s begin with the fact that even Quine has to admit that it is possible for two tokens of the same orthographic type to be synonymous, for that much is presupposed by his own account of logical truth. Paul Boghossian. (shrink)

Though largely unnoticed, in "Two Dogmas" Quine himself invokes a distinction: a distinction between logical and analytic truths. Unlike analytic statements equating 'bachelor' with 'unmarried man', strictly logical tautologies relating two word-tokens of the same word-type, e.g., 'bachelor' and 'bachelor' are true merely in virtue of basic phonological form, putatively an exclusively non-semantic function of perceptual categorization or brute stimulus behavior. Yet natural language phonemic categorization is not entirely free of interpretive semantic considerations. "Phonemic reductionism" in both its linguistic and (...) behavioral, Newbury Park, CA, Sage Publications, 164-167) guise is false. The semantic basis of phonological equivalence, however, has repercussions vis-à-vis Quine's critique of analyticity. A consistent rejection of meaning-based equivalencies eliminates not only analyticity, but imposes a form of phonological eliminativism too. Phonological eliminativism is the reductio result of applying Quinean meaning skepticism to the phonological typing of natural language. But unlike analyticity, phonology is presumably not subject to philosophical dismissal. The semantic basis of natural language phonology serves to neutralize Quine's argument against analyticity: without the semantics of meaning, more than just synonymy is lost; basic phonology must also be forfeited. (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)

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.

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)

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)

This paper deals with two issues. First, it identifies structured propositions with logical procedures. Second, it considers various rigorous definitions of the granularity of procedures, hence also of structured propositions, and comes out in favour of one of them. As for the first point, structured propositions are explicated as algorithmically structured procedures. I show that these procedures are structured wholes that are assigned to expressions as their meanings, and their constituents are sub-procedures occurring in executed mode. Moreover, procedures are not (...) mere aggregates of their parts; rather, procedural constituents mutually interact. As for the second point, there is no universal criterion of the structural isomorphism of meanings, hence of co-hyperintensionality, hence of synonymy for every kind of language. The positive result I present is an ordered set of rigorously defined criteria of fine-grained individuation in terms of the structure of procedures. Hence procedural semantics provides a solution to the problem of the granularity of co-hyperintensionality. (shrink)

The classical theory of semantic information (ESI), as formulated by Bar-Hillel and Carnap in 1952, does not give a satisfactory account of the problem of what information, if any, analytically and/or logically true sentences have to offer. According to ESI, analytically true sentences lack informational content, and any two analytically equivalent sentences convey the same piece of information. This problem is connected with Cohen and Nagel's paradox of inference: Since the conclusion of a valid argument is contained in the premises, (...) it fails to provide any novel information. Again, ESI does not give a satisfactory account of the paradox. In this paper I propose a solution based on the distinction between empirical information and analytic information. Declarative sentences are informative due to their meanings. I construe meanings as structured hyperintensions, modelled in Transparent Intensional Logic as so-called constructions. These are abstract, algorithmically structured procedures whose constituents are sub-procedures. My main thesis is that constructions are the vehicles of information. Hence, although analytically true sentences provide no empirical information about the state of the world, they convey analytic information, in the shape of constructions prescribing how to arrive at the truths in question. Moreover, even though analytically equivalent sentences have equal empirical content, their analytic content may be different. Finally, though the empirical content of the conclusion of a valid argument is contained in the premises, its analytic content may be different from the analytic content of the premises and thus convey a new piece of information. (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 investigate when we can (rationally) have attitudes, and when we cannot. I argue that a comprehensive theory must explain three phenomena. First, being related by descriptions or names to a proposition one has strong reason to believe is true does not guarantee that one can rationally believe that proposition. Second, such descriptions, etc. do enable individuals to rationally have various non-doxastic attitudes, such as hope and admiration. And third, even for non-doxastic attitudes like that, not just any description will (...) allow it. I argue that we should think of attitude formation like we do (practical) choices among options. I motivate this view linguistically, extending "relevant alternatives'' theories of the attitudes to both belief and to the other, non-doxastic attitudes. Given a natural principle governing choice, and some important differences between doxastic and non-doxastic "choices'', we can explain these puzzling phenomena. (shrink)

The Mahāyāna Buddhist term dhāraṇī has been understood to be problematic since the mid-nineteenth century, when it was often translated as “magical phrase” or “magical formula” and was considered to be emblematic of tantric Buddhism. The situation improved in contributions by Bernhard, Lamotte and Braarvig, and the latter two suggested the translation be “memory,” but this remained difficult in many environments. This paper argues that dhāraṇī is a function term denoting “codes/coding,” so that the category dhāraṇī is polysemic and context-sensitive. (...) After reviewing Western scholarship, the article discusses dhāraṇī semantic values and issues of synonymy, the early applications of mantras, the sonic/graphic background of coding in India extended into Buddhist applications, and the soteriological ideology of dhāraṇīs along with some of its many varieties. (shrink)