Peter Pagin

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.

The main purpose of this paper is to propose and defend anew definition of synonymy. Roughly (and slightly misleadingly), theidea is that two expressions are synonymous iff intersubstitutions insentences preserve the degree of doxastic revisability. In Section 1 Iargue that Quine''s attacks on analyticity leave room for such adefinition. The definition is presented in Section 2, and Section 3elaborates on the concept of revisability. The definition is defendedin Sections 4 and 5. It is, inter alia, shown that the definition hasdesired formal properties. In Sections 6 and 7 I briefly comment on,first, the relation of the definition to Quine''s later ideas about (stimulus)synonymy, and, second, its relation to a general, interlinguistic, conceptof meaning.

As the expression itself indicates, ‘point of view’ is in the first place applied to spatial locations for visual observation. I can see a certain group of objects from different positions, or points of view. When seen from certain points, a particular object in the group is hidden behind others, from other points it isn’t. It is still the same group of objects, so in one sense I see the same thing. In another sense, I don’t see the same thing, for I see different parts, sides or aspects of that same group of objects. My visual impression is different as well, unless perfect symmetry of the group makes the difference in perspective phenomenologically unnoticeable.

In this paper the informativeness account of assertion (Pagin in Assertion. Oxford University Press, Oxford, 2011) is extended to account for inference. I characterize the conclusion of an inference as asserted conditionally on the assertion of the premises. This gives a notion of conditional assertion (distinct from the standard notion related to the affirmation of conditionals). Validity and logical validity of an inference is characterized in terms of the application of method that preserves informativeness, and contrasted with consequence and logical consequence, that is defined in terms of truth preservation. The proposed account is compared with that of Prawitz (Logica yearbook 2008, pp. 175-192. College Publications, London, 2009)

In Michael Dummett’s manifestability challenge to truth conditional semantics, it is argued that the meaning of sentence cannot be its truth conditions, for then a speaker’s knowledge of the meaning would not in all cases be manifestable. In those cases, the speaker would not know how to find out whether the truth conditions are satisfied or not. By contrast, knowledge of what counts as a proof of a sentence would pass the manifestability test, since a speaker is supposed always to be capable of deciding whether or not a given object is a proof of a given sentence. There is a problem for the positive part, however, for there is no guarantee that a compositional proof-theoretic semantics in all cases provides knowledge sufficient for recognizing any proof of a provable sentence for which the meaning is given. In those cases, the speaker need not know how to find out whether a given object is a proof of the sentence. Hence, if knowledge of meaning is required to be manifestable, there is no guarantee in general is compositionally specifiable.

Saul Kripke’s thesis that ordinary proper names are rigid designators is supported by widely shared intuitions about the occurrence of names in ordinary modal contexts. By those intuitions names are scopeless with respect to the modal expressions. That is, sentences in a pair like (a)  Aristotle might have been fond of dogs (b)  Concerning Aristotle, it is true that he might have been fond of dogs will have the same truth value. The same does not in general hold for definite descriptions. If we, like Kripke, account for this difference by means of the intensions of names and descriptions, we have to conclude that names do not in general have the same intension as any normal, identifying description. However, the difference in scope behavior between names and description can be accounted for alternatively by appeal to the semantics of the modal expressions. On the account we suggest, dubbed ‘relational modality’, simple singular terms, like proper names, contribute to modal contexts simply by their actual world reference, not by their (standard) intension. The relational modality account turns out to be fully equivalent with the rigidity account when it comes to truth of modal and non-modal sentences (with respect to the actual world), and hence supports the same basic intuitions. Given an alternative definition of consequence for relational modality, and a restriction to models with reflexive accessibility relations and non-empty world-bound domains, relational modality also turns out to be model theoretically equivalent with rigidity semantics with respect to logical consequence. Here we introduce the semantics, give the truth definition for relational modality models, and prove the equivalence results.

Peter Pagin Is the principle of semantic compositionality compatible with the principle of semantic holism? The question is of interest, since both principles have a lot that speaks for them, and since they do seem to be in conflict. The view that natural languages have compositional structure is almost unavoidable, since linguistic communication by means of new combinations of words would be virtually incomprehensible otherwise. And holism too seems generally plausible, since the meaning of an expression is directly connected with the way that expression interacts with other.

This article focuses on the relevance of computational complexity for cognition. The syntactic items may be expressions that are surface strings. But in general, strings are syntactically ambiguous in that they can be generated in more than one way from atomic expressions and operations. The semantic function must take disambiguated items as arguments. When expressions are ambiguous, expressions cannot be the arguments. Instead, it is common to take the arguments to be terms, whose surface syntax reflects the derivation of the string. The semantic function differs in one other important respect from an arithmetic function, since it maps entities between domains, from a syntactic to an ontic or conceptual domain of meanings. Compositionality helps to explain the rate of success in linguistic communication when the sentence used or the content communicated is new.

In his paper ‘Why assertion may yet be social’ (Pegan 2009), Philip Pegan directs two main criticisms against my earlier paper ‘Is assertion social?’ (Pagin 2004). I argued that what I called “social theories”, are inadequate, and I suggested a method for generating counterexamples to them: types of utterance which are not assertions by intuitive standards, but which are assertion by the standards of those theories. Pegan’s first criticism is that I haven’t given an acceptable characterization of the class of social theories. His second criticism is that I have overlooked some alternatives, and that there are social theories that are not affected by my argument. In section 1 I discuss the first, and in section 2 the second.

An assertion is a speech act in which something is claimed to hold, e.g. that there are infinitely many prime numbers, or, with respect to some time t, that there is a traffic congestion on Brooklyn Bridge at t, or, of some person x with respect to some time t, that x has a tooth ache at t. The concept of assertion has often occupied a central place in the philosophy of language, since it is often thought that making assertions is the use of language most crucial to linguistic meaning, and since assertions are the natural expressions of cognitive attitudes, and hence of importance for theories of knowledge and belief.

The term ‘meaning holism’ has been used for a number of more or less closely interrelated ideas. According to one common view, meaning holism is the thesis that what a linguistic expression means depends on its relations to many or all other expressions within the same totality. Sometimes these relations are called ‘conceptual’ or ‘inferential’. A related idea is that what an expression means depends, mutually, on the meaning of the other expressions in the totality, or alternatively on some semantic property of this totality itself. The totality in question may be the language to which the expressions belong, or a theory formulation in that language.

Treating the principle of charity as a non-empirical, foundational principle leads to insoluble problems of justification. I suggest instead treating semantic properties realistically, and semantic terms as theoretical terms. This allows us to apply ordinary scientific reasoning in meta-semantics. In particular, we can appeal to widespread verbal agreement as an empirical phenomenon, and we can make use of probabilistic reasoning as well as appeal to theoretical simplicity for reaching the conclusion that there is a high rate of agreement in belief between speakers who have a high rate of verbal agreement. Although this does not by itself imply that the beliefs agreed upon are generally true, it does imply that any single speaker who is party to such a verbal agreement is justified in taking the other speakers to have mostly true beliefs. She is so justified because of the fact that it is incoherent to take her own beliefs not to be mostly true. Indirectly, this justifies a version of the principle of charity as an empirically correct principle.