Peter Pagin

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)

It is often assumed that there is a close connection between Quine's criticism of the analytic/synthetic distinction, in 'Two dogmas of empiricism' and onwards, and his thesis of the indeterminacy of translation, in Word and Object and onwards. Often, the claim that the distinction is unsound (in some way or other) is taken to follow from the indeterminacy thesis, and sometimes the indeterminacy thesis is supported by such a claim. However, a careful scrutiny of the indeterminacy thesis as stated by Quine, and the varieties of the analytic/synthetic distinction, reveals that the two claims are mutually independent. Neither does the claim that the distinction is unsound follow from the indeterminacy thesis, nor that thesis from unsoundness claim, under any of the common interpretations of the analytic/synthetic distinction

After Meaning, 1972, and The Remnants of Meaning , 1987, The Things We Mean is Stephen Schiffer's third major work on the foundations of the theory of linguistic meaning. In simplest possible outline, the development started with a positive attempt to base a meaning theory on a modified Gricean account of utterance meaning, but took a negative turn, with the problems of belief sentences as a major reason for thinking that a systematic (compositional) semantic theory for natural language was not possible at all. In the recent book, things have again taken a more positive turn, but now constructive and destructive elements are mixed in complex ways in a complex account, rich in ideas and in detail, and a great challenge to the reader. It is not always obviously free of inner conflict. Nor can one always easily see how things hang together. I shall here try to accurately present the main ideas. Where my comments are not relegated to separate paragraphs, I mark the transition with a dash ( -).

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.

The principle of semantic compositionality, as Jerry Fodor and Ernie Lepore have emphasized, imposes constraints on theories of meaning that it is hard to meet with psychological or epistemic accounts. Here, I argue that this general tendency is exemplified in Michael Dummett's account of meaning. On that account, the so-called manifestability requirement has the effect that the speaker who understands a sentence s must be able to tell whether or not s satisfies central semantic conditions. This requirement is not met by truth-conditional accounts of meaning. On Dummett's view, it is met by a proof conditional account: understanding amounts to knowledge of what counts as a proof of a sentence. A speaker is supposed always to be capable of deciding whether or not a given object is a proof of a given sentence she understands. This requirement comes into conflict with compositionality. If meaning is compositionally determined, then all you need for understanding a sentence is what you get from combining your understanding of the parts according to the mode of composition. But that knowledge is not always sufficient for recognizing any proof at all of a given sentence. Dummett's proof-theoretic argument to the contrary is mistaken.

Ordinary semantic compositionality (meaning of whole determined from meanings of parts plus composition) can serve to explain how a hearer manages to assign an appropriate meaning to a new sentence. But it does not serve to explain how the speaker manages to find an appropriate sentence for expressing a new thought. For this we would need a principle of inverse compositionality, by which the expression of a complex content is determined by the expressions of it parts and the mode of composition. But this presupposes that contents have constituent structure, and this cannot be taken for granted. However, it can be proved that if a certain principle of substitutivity is valid for a particular language, then the meanings expressed by its sentences can justifiably be treated as structured. In its simplest form, this principle says that if in a complex expression a constituent is replaced by another constituent with a different meaning, the new complex has a meaning different from the original. This principle is again inversely related to the normal compositional principle of substitutivity. The combination of ordinary and inverse compositionality is here called 'strong compositionality'. The proof is carried out in the algebraic framework developed by Wilfrid Hodges and Dag Westerståhl

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.

This paper concerns the phenomenon of pragmatic enrichment, and has a proposal for predicting the occurrence of such enrichments. The idea is that an enrichment of an expressed content c occurs as a means of strengthening the coherence between c and a salient given content c’ of the context, whether c’ is given in discourse, as sentence parts, or through perception. After enrichment, a stronger coherence relation is instantiated than before enrichment. An idea of a strength scale of types of coherence relations is proposed and applied

If proofs are nothing more than truth makers, then there is no force in the standard argument against classical logic (there is no guarantee that there is either a proof forA or a proof fornot A). The standard intuitionistic conception of a mathematical proof is stronger: there are epistemic constraints on proofs. But the idea that proofs must be recognizable as such by us, with our actual capacities, is incompatible with the standard intuitionistic explanations of the meanings of the logical constants. Proofs are to be recognizable in principle, not necessarily in practice, as shown in section 1. Section 2 considers unknowable propositions of the kind involved in Fitch''s paradox:p and it will never be known thatp. It is argued that the intuitionist faces a dilemma: give up strongly entrenched common sense intuitions about such unknowable propositions, or give up verificationism. The third section considers one attempt to save intuitionism while partly giving up verificationism: keep the idea that a proposition is true iff there is a proof (verification) of it, and reject the idea that proofs must be recognizable in principle. It is argued that this move will have the effect that some standard reasons against classical semantics will be effective also against intuitionism. This is the case with Dummett''s meaning theoretical argument. At the same time the basic reason for regarding proofs as more than mere truth makers is lost.

Suppose we have an idea of what counts as communication, more precisely as a communicative event. Then we have the further task of dividing communicative events into successful and unsuccessful. Part of this task is to find a basis for this evaluation, i.e. appropriate properties of speaker and hearer. It is argued that success should be evaluated in terms of a relation between thought contents of speaker and hearer. This view is labelled ‘classical’, since it is justifiably attributable to both Locke and Frege (section 2). Most of the paper is devoted to discussing competing contemporary views, such as behaviorist/pragmatist views (section 4), requirements of knowledge (section 5), of reliability (section 6) and that success should be defined in terms of public language semantics rather than in terms of thought content (section 7).

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.

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.

This paper is an attack on the Dummett-Prawitz view that the principle of bivalence has a crucial double significance, metaphysical and meaning theoretical. On the one hand it is said that holding bivalence valid is what characterizes a realistic view, i.e. a view in metaphysics, and on the other hand it is said that there are meaning theoretical arguments against its acceptability. I argue that these two aspects are incompatible. If the failure of validity of bivalence depends on properties of linguistic meaning, then there are no metaphysical consequences to be drawn. The case for this view is straightforward as long as we are discussing a language different from our own. But it seems that the distinction between failure because of meaning and failure because of reality cannot be applied to our own language, simply because our own language is just what we use to represent reality. I argue that this impression is illusory. In order to draw a conclusion about reality, meaning must be connected with truth in a non-trivial way, and precisely this cannot be done in the language for which the meaning theory itself is correct.

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 his recent paper ‘Analyticity: An Unfinished Business in Possible-World Semantics’ (Rabinowicz 2006), Wlodek Rabinowicz takes on the task of providing a satisfactory definition of analyticity in the framework of possible-worlds semantics. As usual, what Wlodek proposes is technically well-motivated and very elegant. Moreover, his proposal does deliver an interesting analytic/synthetic distinction when applied to sentences with natural kind terms. However, the longer we thought and talked about it, the more questions we had, questions of both philosophical and technical nature. Hence the idea of this little paper – for how better to honor a philosopher than by trying very hard to criticize him? After quickly running over some background in possible worlds semantics and setting out Wlodek's proposal against that background, we shall bring up and discuss our questions in sections 3 – 5. In the final section, we shall also make a stab at a different solution to the problem, making use of our own earlier idea of relational modality.

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.

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.

In earlier work (Glüer, K. and P. Pagin. 2006. Proper names and relational modality. Linguistics & Philosophy 29: 507–35; Glüer, K. and P. Pagin. 2008. Relational modality. Journal of Logic, Language and Information 17: 307–22), we developed a semantics for (metaphysical) modal operators that accommodates Kripkean intuitions about proper names in modal contexts even if names are not rigid designators. Graeme Forbes (2011. The problem of factives for sense theories. Analysis 71: 654–62.) criticizes our proposal. He argues that our semantics predicts readings for certain natural language sentences which these simply do not have. These sentences contain mixed contexts involving factive attitude verbs. We argue that the readings our semantics predicts do indeed exist, even if it might take a little work to bring them out. Moreover, denying their existence would have some rather unattractive consequences

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.