A type quantifier F is symmetric iff F ( X, X )( Y ) = F ( Y, Y )( X ). It is shown that quantifiers denoted by irreducible binary determiners in natural languages are both conservative and symmetric and not only conservative.

A central tenet of cognitive linguistics is that adults’ knowledge of language consists of a structured inventory of constructions, including various two-argument constructions such as the active, the passive and “fronting” constructions. But how do speakers choose which construction to use for a particular utterance, given constraints such as discourse/information structure and the semantic fit between verb and construction? The goal of the present study was to build a computational model of this phenomenon for two-argument constructions in Mandarin. (...) First, we conducted a grammaticality judgment study with 60 native speakers which demonstrated that, across 57 verbs, semantic affectedness – as determined by further 16 native speakers – predicted each verb’s relative acceptability in the bei-passive and ba-active constructions, but not the Notional Passive and SVO Active constructions. Second, in order to simulate acquisition of these competing constraints, we built a computational model that learns to map from corpus-derived input to an output representation corresponding to these four constructions. The model was able to predict judgments of the relative acceptability of the test verbs in the ba-active and bei-passive constructions obtained in Study 1, with model-human correlations in the region of r = 0.5 and r = 0.3, respectively. Surprisingly, these correlations increased when lexical verb identity was removed; perhaps because this information leads to over-fitting of the training set. These findings suggest the intriguing possibility that acquiring constructions involves forgetting as a mechanism for abstracting across certain fine-grained lexical details and idiosyncrasies. (shrink)

According to some philosophers, a sentence's semantics can fail to constitute a complete propositional content, imposing mere constraints on such a content. Recently, Daniel Harris has begun developing a formal constraint semantics. He claims that the semantic values of sentences constrain what speakers can literally say with them—and what hearers can know about what was said. However, that claim is undermined by his conception of semantics as the study of a psychological module. I argue instead that semantic (...) constraints should be understood as properties of public languages. (shrink)

In this paper I discuss a prevailing view by which logical terms determine forms of sentences and arguments and therefore the logical validity of arguments. This view is common to those who hold that there is a principled distinction between logical and nonlogical terms and those holding relativistic accounts. I adopt the Tarskian tradition by which logical validity is determined by form, but reject the centrality of logical terms. I propose an alternative framework for logic where logical terms no longer (...) play a distinctive role. This account employs a new notion of semantic. (shrink)

The methodology implicit in empirically grounded social scientific studies of religion naturally allies with forms of semantic holism. However, a well known argument which questions whether holism in general is consistent with the fact that languages are learnable can be extended into an epistemological one which questions whether holism is consistent with an empirical methodology. In other words, there is question whether holism, in fact, makes social science possible. I diagnose the assumptions on which that objection rests, pointing out (...) that they are not necessary for semantic holism per se. I argue that a form of semantic holism along the lines advocated by W. V. O. Quine and Donald Davidson can avoid the objection. Moreover, when seen in this light, it has the resources to withstand an even deeper methodological problem. In so doing, though, several important but overlooked implications for the study of religion emerge. (shrink)

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

The grammatical constraints on anaphoric binding, known as binding principles, are observed to form a classical square of oppositions. These constraints are then analysed as the effect of phase quantifiers over reference markers in grammatical obliqueness hierarchies, and the resulting phase quantifiers are shown to be organised in a square of logical duality. The impact of this result on the distinction between quantificational and referential nominals as well as on the logical foundations of the semantics of nominals in (...) general is discussed. (shrink)

Minimal Semantics asks what a theory of literal linguistic meaning is for - if you were to be given a working theory of meaning for a language right now, what would you be able to do with it? Emma Borg sets out to defend a formal approach to semantic theorising from a relatively new type of opponent - advocates of what she call 'dual pragmatics'. According to dual pragmatists, rich pragmatic processes play two distinct roles in linguistic comprehension: as (...) well as operating in a post-semantic capacity to determine the implicatures of an utterance, they also operate prior to the determination of truth-conditional content for a sentence. That is to say, they have an integral role to play within what is usually thought of as the semantic realm. Borg believes dual pragmatic accounts constitute the strongest contemporary challenge to standard formal approaches to semantics since they challenge the formal theorist to show not merely that there is some role for formal processes on route to determination of semantic content, but that such processes are sufficient for determining content. Minimal Semantics provides a detailed examination of this school of thought, introducing readers who are unfamiliar with the topic to key ideas like relevance theory and contextualism, and looking in detail at where these accounts diverge from the formal approach. Borg's defence of formal semantics has two main parts: first, she argues that the formal approach is most naturally compatible with an important and well-grounded psychological theory, namely the Fodorian modular picture of the mind. Then she argues that the main arguments adduced by dual pragmatists against formal semantics - concerning apparent contextual intrusions into semantic content - can in fact be countered by a formal theory. The defence holds, however, only if we are sensitive to the proper conditions of success for a semantic theory. Specifically, we should reject a range of onerous constraints on semantic theorizing (e.g., that it answer epistemic or metaphysical questions, or that it explain our communicative skills) and instead adopt a quite minimal picture of semantics. (shrink)

Invariance criteria are widely accepted as a means to demarcate the logical vocabulary of a language. In previous work, I proposed a framework of “semantic constraints” for model theoretic consequence which does not rely on a strict distinction between logical and nonlogical terms, but rather on a range of constraints on models restricting the interpretations of terms in the language in different ways. In this paper I show how invariance criteria can be generalized so as to apply (...) to semantic constraints on models. Some obviously unpalatable semantic constraints turn out to be invariant under isomorphisms. I shall connect our discussion to known counterexamples to invariance criteria for logical terms, and so the generalization will also shed light on the current existing debate on logicality. I analyse the failure of invariance to fulfil its role as a criterion for logicality, and argue that invariance conditions should best be thought of as merely methodological meta-constraints restricting the ways the model-theoretic apparatus should be used. (shrink)

We can think of ordinary truth-conditional semantics as giving us constraints on cognitive states. But constraints on cognitive states can be more complicated than simply believing a proposition. And we communicate more complicated constraints on cognitive states. We also communicate constraints that seem to bear on affective and conative states.

The processing of words in sentence reading is influenced by both information from sentential context and information from previewing upcoming words, but how both effects interact during online reading is not clear. In this study, we tested the interaction of predictability effect and the preview effect in predicting reading processing. In the experiment, sentence constraint was controlled using all high-constraint sentences as materials. We manipulated both the predictability of the target word in the sentence and the semantic relationship between (...) the preview word and the target word as predictors of the semantic preview effect. The results showed that the semantic preview effect was present only when the target word had low-predictability in the sentence but was not observed when the target word had high-predictability in the sentence. The results suggest that contextual information in reading can modulate the pre-activation of words and thus influence whether the preview word has a priming effect. The results of this study provide further evidence that reading comprehension involves an interactive system of processing multiple sources of information at multiple levels. (shrink)

This paper defends the view that the Faculty of Language is compositional, i.e., that it computes the meaning of complex expressions from the meanings of their immediate constituents and their structure. I fargue that compositionality and other competing constraints on the way in which the Faculty of Language computes the meanings of complex expressions should be understood as hypotheses about innate constraints of the Faculty of Language. I then argue that, unlike compositionality, most of the currently available non-compositional (...) constraints predict incorrect patterns of early linguistic development. This supports the view that the Faculty of Language is com- positional. More generally, this paper presents a way of framing the compositionality debate (by focusing on its implications for language acquisition) that can lead to its even- tual resolution, so it will hopefully also interest theorists who disagree with its main conclusion. (shrink)

Multiple constraints, including semantic, lexical, and usage-based factors, have been shown to influence dative alternation across different languages. This work explores whether fine-grained statistics and semantic properties of the verb affect the acceptability of dative constructions in Spanish. First, a corpus analysis reveals that verbs of different semantic classes occur naturally in alternative dative constructions, a pattern quite different from English. The fact that dative alternation appears independent of semantic classes challenges traditional semantic-based approaches. (...) Second, acceptability rating tasks reveal that dative constructions containing highly entrenched word combinations and frequent word order are judged more acceptable regardless of the verbs' semantics. The results are interpreted in favor of usage-based accounts: Acceptability of dative constructions may be language-specific and depend on patterns of use and conventionalization. (shrink)

The phenomenon of rigid designation - in particular, de jure rigidity - is typically treated metaphysically. The picture is: reference is gained in a way that puts no constraints on what an object in other worlds, or counterfactual situations must be like, in order to be the referent of that term, other than 'being this thing'. This allows 'pure metaphysical' investigation into, and discovery of 'the nature' of the referent. It is argued that this presupposes a 'privileged' ontology, of (...) a sort that is far from obvious. An alternative picture of rigidity is sketched, terms have associated criteria of identity and criteria of application for counterfactual situations. A term is rigid when these coincide. Aside from being a better account of rigidity, it also undermines the picture of rigid terms allowing us to 'metaphysically' investigate the nature of the referent: matters of identity and essence for the referent are settled by these semantic constraints (though it can be done in a way that allows are a posteriori necessities). (shrink)

Even the most Parmenidean-minded of people recognize that quotidian objects somehow undergo change. This claim, nonetheless, is as clearly intuitive as it is apparently incompatible with one of our most widely believed logical principles, namely, Leibniz's Law. This paper focuses briefly on the metaphysical issue underlying this alleged incompatibility in order to provide elements for exploring its semantical counterpart: the analysis of the logical form of sentences attributing complementary temporal properties to current objects. Four analyses are presented, and the ability (...) of each to account for the linguistic data is explained. The semantical issue is preceded by some introductory remarks on the role of temporal references in the evaluation of declarative sentences. (shrink)

This paper presents the Constraint Language for Lambda Structures(CLLS), a first-order language for semantic underspecification thatconservatively extends dominance constraints. It is interpreted overlambda structures, tree-like structures that encode -terms. Based onCLLS, we present an underspecified, uniform analysis of scope,ellipsis, anaphora, and their interactions. CLLS solves a variablecapturing problem that is omnipresent in scope underspecification andcan be processed efficiently.

In his new book, Logical Form, Andrea Iacona distinguishes between two different roles that have been ascribed to the notion of logical form: the logical role and the semantic role. These two roles entail a bifurcation of the notion of logical form. Both notions of logical form, according to Iacona, are descriptive, having to do with different features of natural language sentences. I agree that the notion of logical form bifurcates, but not that the logical role is merely descriptive. (...) In this paper, I focus on formalization, a process by which logical form, on its logical role, is attributed to natural language sentences. According to some, formalization is a form of explication, and it involves normative, pragmatic, as well as creative aspects. I present a view by which formalization involves explicit commitments on behalf of a reasoner or an interpreter, which serve the normative grounds for the evaluation of a given text. In previous work, I proposed the framework of semantic constraints for the explication of logical consequence. Here, I extend the framework to include formalization constraints. The various constraints then serve the role of commitments. I discuss specific issues raised by Iacona concerning univocality, co-reference and equivocation, and I show how our views on these matters diverge as a result of our different starting assumptions. (shrink)

I argue that semantics is the study of the proprietary database of a centrally inaccessible and informationally encapsulated input–output system. This system’s role is to encode and decode partial and defeasible evidence of what speakers are saying. Since information about nonlinguistic context is therefore outside the purview of semantic processing, a sentence’s semantic value is not its content but a partial and defeasible constraint on what it can be used to say. I show how to translate this thesis (...) into a detailed compositional-semantic theory based on the influential framework of Heim and Kratzer. This approach situates semantics within an independently motivated account of human cognitive architecture and reveals the semantics–pragmatics interface to be grounded in the underlying interface between modular and central systems. (shrink)

Despite its theoretical importance, little is known about how semantic memory structure facilitates and constrains creative idea generation. We examine whether the semantic richness of a concept has both benefits and costs to creative idea generation. Specifically, we tested whether cue set size—an index of semantic richness reflecting the average number of elements associated with a given concept—impacts the quantity (fluency) and quality (originality) of responses generated during the Alternate Uses Task (AUT). Across four studies, we show (...) that low-association, sparse, AUT cues benefit originality at the cost of fluency compared to high-association, rich, AUT cues. Furthermore, we found an interaction with individual differences in fluid intelligence in the low-association AUT cues, suggesting that constraints of sparse semantic knowledge can be overcome with top-down intervention. Our findings indicate that semantic richness differentially impacts the quality and quantity of generated ideas, and that cognitive control processes can facilitate idea production when conceptual knowledge is limited. (shrink)

We revisit a typological puzzle due to Horn (Doctoral Dissertation, UCLA, 1972) regarding the lexicalization of logical operators: in instantiations of the traditional square of opposition across categories and languages, the O corner, corresponding to ‘nand’ (= not and), ‘nevery’ (= not every), etc., is never lexicalized. We discuss Horn’s proposal, which involves the interaction of two economy conditions, one that relies on scalar implicatures and one that relies on markedness. We observe that in order to express markedness and to (...) account for a bigger typological puzzle, namely the absence of lexicalizations of ‘XOR’ (= exclusive or), ‘all-or-none’, and many other imaginable logical operators, one must restrict the basic lexicalizable elements to a small set of primitives. We suggest that an ordering based perspective, following Keenan and Faltz (Boolean semantics for natural language, 1985), makes the stipulated primitives that we arrive at more natural. We also propose a modification to Horn’s proposal, based on recent work on implicatures, in which only the implicature condition is operative and in which markedness is part of the definition of the alternatives for scalar implicatures rather than an independent condition. (shrink)

This paper strives to characterize the relation between accent placement and discourse in terms of independent constraints operating at the interface between syntax and interpretation. The Givenness Constraint requires un-F-marked constituents to be given. Key here is our definition of givenness, which synthesizes insights from the literature on the semantics of focus with older views on information structure. AvoidF requires speakers to economize on F-marking. A third constraint requires a subset of F-markers to dominate accents.The characteristic prominence patterns of (...) "novelty focus" and "contrastive focus" both arise from a combination of the Givenness Constraint and AvoidF. Patterns of prominence in questions as well as in answers to questions are explained in terms of the constraints, thanks in part to the way in which the Givenness relation is defined. Head/argument asymmetries noted in the literature on Focus Projection are placed in the phonology-syntax interface, independent of discourse conditions. Deaccenting follows when AvoidF is ranked higher than constraint(s) governing head/argument asymmetries. (shrink)

Empirical studies indicate that analogy consists of two main processes: retrieval and mapping. While current theories and models of analogy have revealed much about the mainly structural constraints that govern the mapping process, the similarities that underpin the correspondences between individual representational elements and drive retrieval are understood in less detail. In existing models symbol similarities are externally defined but neither empirically grounded nor theoretically justified. This paper introduces a new model (EMMA: the environmental model of analogy) which relies (...) on co‐occurrence information provided by LSA (Latent Semantic Analysis; Landauer & Dumais, 1997) to ground the relations between the symbolic elements aligned in analogy. LSA calculates a contextual distribution for each word encountered in a corpus by counting the frequency with which it co‐occurs with other words. This information is used to define a model that locates each word encountered in a high‐dimensional space, with relations between elements in this space representing contextual similarities between words. A series of simulation experiments demonstrate that the environmental approach to semantics embodied in LSA can produce appropriate patterns of analogical retrieval, but that this semantic measure is not sufficient to model analogical mapping. The implications of these findings, both for theories of representation in analogy research and more general theories of semantics in cognition, are explored. (shrink)

Levelt, reviewing the AGL field from a psycholinguistic perspective, identifies various gaps and makes a number of concrete suggestions for improving several currently used experimental designs. He raises the question whether artificial (and natural) grammar learning is about detecting ‘rules’, as is commonly assumed, or rather the detection of a set of ‘constraints’. He cautions the community to not ignore ‘semantics’, and recommends to consider less artificial tasks, that may be needed for learning more complex rules by human or (...) nonhuman animals. (shrink)

Language and culture endow humans with access to conceptual information that far exceeds any which could be accessed by a non-human animal. Yet, it is possible that, even without language or specific experiences, non-human animals represent and infer some aspects of similarity relations between objects in the same way as humans. Here, we show that monkeys’ discrimination sensitivity when identifying images of animals is predicted by established measures of semantic similarity derived from human conceptual judgments. We used metrics from (...) computer vision and computational neuroscience to show that monkeys’ and humans’ performance cannot be explained by low-level visual similarity alone. The results demonstrate that at least some of the underlying structure of object representations in humans is shared with non-human primates, at an abstract level that extends beyond low-level visual similarity. Because the monkeys had no experience with the objects we tested, the results suggest that monkeys and humans share a primitive representation of object similarity that is independent of formal knowledge and cultural experience, and likely derived from common evolutionary constraints on object representation. (shrink)

A coherence-based probability semantics for categorical syllogisms of Figure I, which have transitive structures, has been proposed recently (Gilio, Pfeifer, & Sanfilippo [15]). We extend this work by studying Figure II under coherence. Camestres is an example of a Figure II syllogism: from Every P is M and No S is M infer No S is P. We interpret these sentences by suitable conditional probability assessments. Since the probabilistic inference of ~????|???? from the premise set {????|????, ~????|????} is not informative, (...) we add ????(????|(????∨????))>0 as a probabilistic constraint (i.e., an “existential import assumption”) to obtain probabilistic informativeness. We show how to propagate the assigned (precise or interval-valued) probabilities to the sequence of conditional events (????|????,~????|????,????|(????∨????)) to the conclusion ~????|???? . Thereby, we give a probabilistic meaning to the other syllogisms of Figure II. Moreover, our semantics also allows for generalizing the traditional syllogisms to new ones involving generalized quantifiers (like Most S are P) and syllogisms in terms of defaults and negated defaults. (shrink)

There exist many competing philosophical definitions of joint action and no clear criteria to decide between them; so far the search for definitions has by and large been a semantical enterprise rather than an empirical one. This chapter describes and assesses several constraints that could help converge towards a set of necessary and sufficient conditions for joint action. The tightness constraint favours definitions that fit joint actions in which the links between agents are as relaxed as possible, so as (...) to better pinpoint the conceptual core of jointness. The developmental constraint asks for definitions based on realistic psychological states that could be entertained by agents less cognitively developed than ideal human beings. The motor constraint holds that definitions should refer to psychological mechanisms involved in actual human coordination. These first three constraints are discussed and dismissed, mainly because they manage to establish vague limits at best (for various reasons). I then introduce a fourth one, the efficiency constraint, based on the fact that most of our joint actions are generally successful, and according to which definitions should involve conditions that help justify this success. Finally, the rational and evolutionary versions of the efficiency constraint are examined and defended against objections. (shrink)

The semantics Vann McGee gives for his 1989 conditional logic is based on Stalnaker’s 1968 semantics but replaces the familiar concept of truth at a world with the novel concept of truth under a hypothesis. Developed here is a semantics of the standard type, in which sentences are true at worlds, only with additional constraints imposed on the accessibility relation and the selection function. McGee conditionals of the form A ⇒ X are translated into Stalnaker conditionals of the form (...) \A > X. An interpretation of the semantics is provided, and a few implications for the theory of indicative conditionals and their probabilities are noted. (shrink)

This chapter contains sections titled: Appendix: Necessary Truths.

Whilst certain verbs may appear in both the intransitive inchoative and the transitive causative constructions (The ball rolled/The man rolled the ball), others may appear in only the former (The man laughed/*The joke laughed the man). Some accounts argue that children acquire these restrictions using only (or mainly) statistical learning mechanisms such as entrenchment and pre-emption. Others have argued that verb semantics are also important. To test these competing accounts, adults (Experiment 1) and children aged 5–6 and 9–10 (Experiment 2) (...) were taught novel verbs designed to be construed — on the basis of their semantics — as either intransitive-only or alternating. In support of the latter claim, participants' grammaticality judgments revealed that even the youngest group respected these semantic constraints. Frequency (entrenchment) effects were observed for familiar, but not novel, verbs (Experiment 1). We interpret these findings in the light of a new theoretical account designed to yield effects of both verb semantics and entrenchment/pre-emption. (shrink)

To explain the phenomenon that certain English verbs resist passivization, Pinker proposed a semantic constraint on the passive in the adult grammar: The greater the extent to which a verb denotes an action where a patient is affected or acted upon, the greater the extent to which it is compatible with the passive. However, a number of comprehension and production priming studies have cast doubt upon this claim, finding no difference between highly affecting agent-patient/theme-experiencer passives and non-actional experiencer theme (...) passives. The present study provides evidence that a semantic constraint is psychologically real, and is readily observed when more fine-grained independent and dependent measures are used. We conclude that a semantic constraint on the passive must be incorporated into accounts of the adult grammar. (shrink)

In this article, I argue that in typical cases of singular thought, a thinker stands in an evidential relation to the object of thought suitable for providing knowledge of the object's existence. Furthermore, a thinker may generate representations that purport to refer to particular objects in response to appropriate, though defeasible, evidence of the existence of such an object. I motivate these constraints by considering a number of examples introduced by Robin Jeshion in support of a view she calls (...) ‘cognitivism’ (Jeshion, 2010b). Although I agree with Jeshion that acquaintance is not required for all cases of singular thought, I argue that her account doesn't go far enough in rejecting semantic instrumentalism, the view that we can generate singular thoughts arbitrarily, by manipulating the mechanisms of direct reference. (shrink)

I argue that Kripke’s construal of the distinction between speaker’s reference and semantic reference, in ‘Speaker’s reference and semantic reference’ (Kripke in Midwest Stud Philos 2:255–276, 1977), in conjunction with an intuitive view of the nature of conventions, implies a theory of semantic reference that is distinct from his causal theory. On this theory, semantic reference is conventionalized speaker’s reference. The argument concerning Kripke has two general implications. First, any theory that features a notion of speaker’s (...) reference will have great difficulty in avoiding the view that semantic reference is conventionalized speaker’s reference. Second, theories that deny that there is a viable notion of speaker’s reference, and thereby deny that semantic reference is conventionalized speaker’s reference, will face an uphill battle in meeting certain general constraints originating in the theory of conventions. (shrink)

What makes our utterances mean what they do? In this work I formulate and justify a structural constraint on possible answers to this key question in the philosophy of language, and I show that accepting this constraint leads naturally to the adoption of an algebraic formalization of truth-theoretic semantics. I develop such a formalization, and show that applying algebraic methodology to the theory of meaning yields important insights into the nature of language. ;The constraint I propose is, roughly, this: the (...) meaning of an utterance of a natural language sentence is derived from the place of that sentence within a system that includes other sentences, and is structured in virtue of primitive semantic facts about complete sentences. This constraint calls for a formal semantics program where the meaning of natural language sentences is represented by an appropriate assignment of the elements of an algebraic structure to sentences, an assignment that represents facts concerning complete sentences. I call the above constraint 'The Algebraic Thesis', and the corresponding formal semantics program 'Algebraic Semantics.' ;I introduce AT by carving it out of the holistic views of language of Quine and Davidson, and I show that it is independent of other important features of these philosophers' views. I then argue for AT, taking into account recent work by Brandom, Dummett, Fodor and Lepore, Gaifman and Perry. In developing Algebraic Semantics I present structures of two basic types: Boolean algebras and cylindric algebras; these structures are construed in the context of AT in a novel way: they are treated as applying to classes of sentences as numbers apply to physical objects in measurement. Applying algebraic methodology to formal semantics and to the theory of meaning, I develop these results: ; An account of the semantics of necessity and possibility that avoids both Quine's dismissal of these notions and their reduction by David Lewis to quantification over possible worlds; ; The application of the model-theoretic notion of expansion to capture the process of our learning progressively more of the meaning of expressions in our first languages. (shrink)

In this paper I assume that syntactic structures contain items that function as variables over possible worlds (or things like possible worlds). I show that in certain syntactic positions we can use some variables but not other. I accordingly motivate a "binding theory" for the items that occupy these positions, and I discuss some consequences of this binding theory.

This essay considers arguments for and against syntactical constraints on the proper formalization of definitions, originally owing to Alfred Tarski. It discusses and refutes an application of the constraints generalized to include a prohibition against not only object-place but also predicate-place variables in higher-order logic in a criticism of a recent effort to define the concept of heterologicality in a strengthened derivation of Grelling's paradox within type theory requirements. If the objections were correct, they would offer a more (...) general moral for the proper formal definition of terms in philosophical logic. The criticism nevertheless seems mistaken both in the substance and specific application with respect to legitimate synctactical constraints on definitions of key concepts in the case of Grelling's paradox. As such, the critique provides no justification for overturning previous conclusions concerning the possibility of resurrecting a type-observant version of Grelling's heterologicality paradox. (shrink)

This book provides a formal ontology of senses and the belief-relation that grounds the distinction between de dicto, de re, and de se beliefs as well as the opacity of belief reports. According to this ontology, the relata of the belief-relation are an agent and a special sort of object-dependent sense (a "thought-content"), the latter being an "abstract" property encoding various syntactic and semantic constraints on sentences of a language of thought. One bears the belief-relation to a thought-content (...) T just in case one (is disposed as one who) inwardly affirms a certain sentence S of one’s language of thought that satisfies what T encodes, which in turn requires that S’s non-logical parts stand in appropriate semantical relations to items specified by T. Since these items may include other senses as well as ordinary objects, beliefs of arbitrary complexity are automatically accommodated. Within the framework of the formal ontology, a context-dependent compositional semantics is then provided for a fragment of regimented English capable of formulating ascriptions of belief—a semantics that treats substitutional opacity as a genuine semantic datum. Finally, the resulting picture of belief and its attribution is defended by showing how it solves standard puzzles, avoids objections to rival accounts, and satisfies certain adequacy conditions not fulfilled by traditional theories. Along the way, clarification and defense is offered for the ingredient conception of object-dependent senses, and it is shown how adoption of the language of thought hypothesis permits Bertrand Russell’s obscure doctrine of logical forms to be understood in a way that not only vindicates his Multiple Relation theory of de re belief but also reveals the connection between these logical forms and thought-contents. (shrink)