Some theories of linguistic meaning, such as those of Paul Grice and David Lewis, make appeal to higher–order thoughts: thoughts about thoughts. Because of this, such theories run the risk of being empirically refuted by the existence of speakers who lack, completely or to a high degree, the capacity of thinking about thoughts. Research on autism during the past 15 years provides strong evidence for the existence of such speakers. Some persons with autism have linguistic abilities that qualify them as (...) speakers, but manifest a severely impaired capacity to understand what it is to have beliefs. (shrink)

This paper concerns the connection between speech act theory, especially the theory of assertion, and deduction, especially Natural Deduction.From a very abstract point of view, an assertion of a content p can be described as the ascription of the property of being p to the actual index, or point of evaluation. This is the abstract characterization of assertoric force. Let’s assume that the actual index is a possible world, namely the actual world. Thus, the conclusion of a closed argument, as (...) an act, is an assertion, and thereby characterized as the ascription of the conclusion content as a property to the actual world.The question that will concern us in this talk is how this idea extends to the status of other acts in the practice of Natural Deduction. In these terms, what is the force of an inference that depends on one or more open assumptions? What is the force of the assumption itself? What is the force of an assertion that depends on an entire derivation? Do we need to ascribe a force to the derivation as a whole? Is there a coherent complete theory of act forces of Natural Deduction along these lines? What is the relation of such a theory to the theory of validity of an argument? (shrink)

It was pointed out, first by Robert Stalnaker, then also by Andy Egan, that David Lewis’s model of centered-worlds contents has undesired consequences for communication of de se contents. The recent years have seen a number of attempts to save the model by amending it to handle de se communication. Proposals include the appeal to sequences of individuals in the centers, to ersatz classical propositions, and to operations of “re-centering”. The authors are Dilip Ninan and Stephan Torre, Sarah Moss and (...) Max Kölbel, and Alan Gibbard and Clas Weber. The present paper discusses these attempts. The conclusion is that they fail. (shrink)

Peter Hylton: Quine's Naturalism Revisited: Naturalism is Quine's overarching view. In thinking about the world, we must begin where we are; for Quine, that means within a system of knowledge which, as developed and improved, becomes natural science. There is no distinctively philosophical standpoint outside this system. So the philosopher draws on the results of science, which show, for example, that our knowledge of the world comes from stimulation of our sensory nerves. But the philosopher's work is also subject (...) to scientific standards of clarity and rigor. Terms such as ‘meaning’, and even ‘experience’, do not meet these standards and cannot be taken for granted at the outset. Quinean epistemology attempts to account for our knowledge using only terms that Quine takes to be sufficiently clear. The Quinean analogue of metaphysics relies on an ideal of regimented theory: all of our scientific knowledge reformulated so as to make it as clear, simple, and systematic as possible. His claims about ontology, for example, are answerable to that theory. The epistemological project can then be understood as an attempt to show that human knowledge can be accounted for within the narrow confines of regimented theory – and thus treated as a purely natural phenomenon. (shrink)

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. (shrink)

Handbook article about Radical interpretation and the principle of charity in Donald Davidson's philosophy.

In this paper I draw attention to a number of problems that afflict norm accounts of assertion, i.e. accounts that explain what assertion is, and typically how speakers understand what assertion is, by appeal to a norm of assertion. I argue that the disagreements in the literature over norm selection undermines such an account of understanding. I also argue that the treatment of intuitions as evidence in the literature undermines much of the connection to empirical evidence. I further argue that (...) appeals made to conversational patterns do not require the existence of any norms at all. (shrink)

This is the first part of a two-part article on semantic compositionality, that is, the principle that the meaning of a complex expression is determined by the meanings of its parts and the way they are put together. Here we provide a brief historical background, a formal framework for syntax and semantics, precise definitions, and a survey of variants of compositionality. Stronger and weaker forms are distinguished, as well as generalized forms that cover extra-linguistic context dependence as well as linguistic (...) context dependence. In the second article, we survey arguments for and arguments against the claim that natural languages are compositional, and consider some problem cases. It will be referred to as Part II. (shrink)

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. (shrink)

Asserting is the act of claiming that something is the case—for instance, that oranges are citruses, or that there is a traffic congestion on Brooklyn Bridge (at some time). We make assertions to share information, coordinate our actions, defend arguments, and communicate our beliefs and desires. Because of its central role in communication, assertion has been investigated in several disciplines. Linguists, philosophers of language, and logicians rely heavily on the notion of assertion in theorizing about meaning, truth and inference. -/- (...) The nature of assertion and its relation to other speech acts and linguistic phenomena (implicatures, presuppositions, etc.) have been subject to much controversy. This entry will situate assertion within speech act theory and pragmatics more generally, and then go on to present the current main accounts of assertion. (shrink)

Natural kind terms have exercised philosophical fancy ever since Kripke, in Naming and Necessity, claimed them to be rigid designators. He there drew attention to the peculiar, name-like behavior of a family of prima facie loosely related general terms of ordinary English: terms such as ‘water’, ‘tiger’, ‘heat’, and ‘red’. Just as for ordinary proper names, Kripke argued that such terms cannot be synonymous with any of the definite descriptions ordinary speakers associate with them. Rather, the name-like behavior of these (...) so-called natural kind terms is to be explained, just as in in the case of proper names, by the doctrine of rigid designation. And as a consequence of thus extending the notion of rigid designation to general terms, he famously endorsed the claim that so-called ‘theoretical identifications’, i.e. statements like (1) Water is H2O, are necessary, if true. (shrink)

Can there be rules of language which serve both to determine meaning and to guide speakers in ordinary linguistic usage, i.e., in the production of speech acts? We argue that the answer is no. We take the guiding function of rules to be the function of serving as reasons for actions, and the question of guidance is then considered within the framework of practical reasoning. It turns out that those rules that can serve as reasons for linguistic utterances cannot be (...) considered as normative or meaning determining. Acceptance of such a rule is simply equivalent to a belief about meaning, and does not even presuppose that meaning is determined by rules. Rules that can determine meaning, on the other hand, i.e., rules that can be regarded as constitutive of meaning, are not capable of guiding speakers in the ordinary performance of speech acts. (shrink)

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

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. (shrink)

This paper contains a discussion of how the concept of compositionality is to be extended from context invariant to context dependent meaning, and of how the compositionality of natural language might conflict with context dependence. Several new distinctions are needed, including a distinction between a weaker (e-) and a stronger (ec-) concept of compositionality for context dependent meaning. The relations between the various notions are investigated. A claim by Jerry Fodor that there is a general conflict between context dependence and (...) compositionality is considered. There is in fact a possible conflict betwee ec-compositionality and context dependence, but not of the kind Fodor suggests. It turns on the presence of so-called unarticulated constituents, in John Perry’s sense. Because of this phenomenon, on some semantic accounts there might be a variation in the meaning of a complex expression between contexts without any corresponding variation in any of the syntactic parts of that complex. The conflict can be resolved in several ways. One way is to make the unarticulated context dependence explicit only in the meta-language, which makes it into an unarticulated constituent account. A recent argument by Jason Stanley against such accounts is discussed. According to Stanley, certain readings of English sentences involving binding of contextual variables, are unavailable in these theories. After considering a reply to Stanley by François Recanati, I present an outline of a fully compositional theory, of the unarticulated constituent variety, which does deliver these readings. Concluding remarks on, inter alia, the semantics/pragmatics distinction. (shrink)

Starting from the familiar observation that no straightforward treatment of pure quotation can be compositional in the standard (homomorphism) sense, we introduce general compositionality, which can be described as compositionality that takes linguistic context into account. A formal notion of linguistic context type is developed, allowing the context type of a complex expression to be distinct from those of its constituents. We formulate natural conditions under which an ordinary meaning assignment can be non-trivially extended to one that is sensitive to (...) context types and satisfies general compositionality. As our main example we work out a Fregean treatment of pure quotation, but we also indicate that the method applies to other kinds of context, e.g. intensional contexts. (shrink)

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. (shrink)

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). (shrink)

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 one, like Kripke, accounts for this difference by means of the intensions of the names and the descriptions, the conclusion is that names do not in general have the same intension as any normal, identifying description. However, this difference 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 descriptive content. That account turns out to be fully equivalent with the rigidity account when it comes to truth of modal and non-modal sentence (with respect to the actual world), and hence supports the same basic intuitions. Here we present the relational modality account and compare it with others, in particular Kripke's own. (shrink)

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). (shrink)

In 1956 J. L. Austin presented his famous distinction between performative and constative.1 Roughly, whereas in a constative utterance you report an already obtaining state of affairs—you say something—in a performative utterance you create something new: you do something.2 Paradigm examples of performatives were utterances by means of which actions such as baptizing, congratulating and greeting are performed.

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. (shrink)

Suppose you are stranded on an island and you want to get over to the nearby mainland. Your only option is to swim. But is the other shore close enough? If you embark and it isn’t, you drown. So you prefer to know before taking off. Happily, you are well equipped. You have not only a yardstick, but also a theodolite for measuring angles, and a good knowledge of trigonometry. You then determine the distance to the other shore by means (...) of triangulation. You fix two points, A and B, on your own shore, and identify a third point, C, in sight on the opposite shore. You then measure the distance between A and B with your yardstick, and the two angles ABC and CAB with your theodolite. With this information you can calculate the distances AC and BC to the other shore. (shrink)

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. (shrink)

This article is concerned with the principle of compositionality, i.e. the principle that the meaning of a complex expression is a function of the meanings of its parts and its mode of composition. After a brief historical background, a formal algebraic framework for syntax and semantics is presented. In this framework, both syntactic operations and semantic functions are partial. Using 20 the framework, the basic idea of compositionality is given a precise statement, and several variants, both weaker and stronger, as (...) well as related properties, are distinguished. Several arguments for compositionality are discussed, and the standard arguments are found inconclusive. Also, several arguments against compositionality, and for the claim that it is a trivial property, are discussed, 25 and are found to be flawed. Finally, a number of real or apparent problems for compositionality are considered, and some solutions are proposed. (shrink)

This paper starts from the observation that the standard arguments for compositionality are really arguments for the computability of semantics. Since computability does not entail compositionality, the question of what justifies compositionality recurs. The paper then elaborates on the idea of recursive semantics as corresponding to computable semantics. It is then shown by means of time complexity theory and with the use of term rewriting as systems of semantic computation, that syntactically unrestricted, noncompositional recursive semantics leads to computational explosion (factorial (...) complexity). Hence, with combinatorially unrestricted syntax, semantics with tractable time complexity is compositional. (shrink)

In this paper I shall be concerned with the relation between a particular account of linguistic meaning and the property of compositionality in natural language.1 The account, proposed by Donald Davidson, is that based on considerations about radical interpretation. I shall argue that there is a fundamental conflict between, on the one hand, the view that the meaning of expressions of natural languages is determined purely according to canons of radical interpretation, and, on the other hand, the view that natural (...) languages exhibit compositional structure. I shall also argue that if there is such a conflict, this speaks against the proposed account. (shrink)

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. (shrink)

Donald Davidson is, arguably, the most important philosopher of mind and language in recent decades. His articulation of the position he called "anomalous monism" and his ideas for unifying the general theory of linguistic meaning with semantics for natural language both set new agendas in the field. _Interpreting Davidson_ collects original essays on his work by some of his leading contemporaries, with Davidson himself contributing a reply to each and an original paper of his own.

Pagin-Peter_The-cognitive-significance-of-mental-files.

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. (shrink)

The standard argument against ordered tuples as propositions is that it is arbitrary what truth-conditions they should have. In this paper we generalize that argument. Firstly, we require that propositions have truth-conditions intrinsically. Secondly, we require strongly equivalent truth-conditions to be identical. Thirdly, we provide a formal framework, taken from Graph Theory, to characterize structure and structured objects in general. The argument in a nutshell is this: structured objects are too fine-grained to be identical to truth-conditions. Without identity, there is (...) no privileged mapping from structured objects to truth-conditions, and hence structured objects do not have truth-conditions intrinsically. Therefore, propositions are not structured objects. (shrink)

Are sensation ascriptions descriptive, even in the first person present tense? Do sensation terms refer to, denote, sensations, so that truth and falsity of sensation ascriptions depend on the properties of the denoted sensations? That is, do sensation terms have a denotational semantics? As I understand it, this is denied by Wittgenstein. Wittgenstein rejects the idea of a denotational semantics for public language sensation terms, such as‘pain’. He also rejects the idea that speakers can recognizesensations. I think these views are (...) mistaken.In this paper I shall present the following: first, my own basic views on how public language sensation terms relate to sensations ; second, to what extent these views are inconsistent with some of Wittgenstein's main tenets about sensations and sensation language, as set out in Philosophical Investigations##243–315, and what I take to be Wittgenstein's main arguments, in the same text, for those tenets ; third, why I think that those arguments are inconclusive ; and fourth, what I see as the best arguments for my own views. Sections 3 and 5 are concerned with the bearing of the private language argument on these matters. (shrink)

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. (shrink)

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. (shrink)

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. (shrink)

For Frege’s general views about truth the standard reference is the first couple of pages of ‘The Thought’. Less attention has been paid to a short passage in ‘On Sense and Reference’ -- in, fact, only one paragraph long -- where Frege argues indirectly for the view that the relation between the thought and the True is an instance of the relation between sense and reference. He argues for this by discrediting the alternative view that it is an instance of (...) the relation between “subject and predicate”. Here is the paragraph: One might be tempted to regard the relation of the thought to the True not as that of sense to reference, but rather as that of subject to predicate. One can, indeed, say: ‘The thought, that 5 is a prime number, is true’. But closer examination shows that nothing more has been said than in the simple sentence ‘5 is a prime number’. The truth claim arises in each case from the form of the declarative sentence, and when the latter lacks its usual force, e.g. in the mouth of an actor upon stage, even the sentence ‘The thought that 5 is a prime number is true’ contains only a thought, and indeed the same thought as the simple ‘5 is a prime number’. It follows that the relation of the thought to the True may not be compared with that of subject and predicate. Subject and predicate (understood in the logical sense) are indeed elements of thoughts; they stand on the same level for knowledge. By combining subject and predicate, one reaches only a thought, never passes from sense to reference, never from thought to its truth value. One moves at the same level but never advances from one level to the next. A truth value cannot be part of a thought, any more than, say, the Sun can, for it is not a sense but an object. (Frege 1892, pp 34-35). Two subordinate, but still major, positive ideas are expressed in this passage. (shrink)

This paper develops an idea of saving ordinary uses of vague predicates from the Sorites by means of domain restriction. A tolerance level for a predicate, along a dimension, is a difference with respect to which the predicate is semantically insensitive. A central gap for the predicate+dimension in a domain is a segment of an associated scale, larger than this difference, where no object in the domain has a measure, and such that the extension of the predicate has measures on (...) one side of the gap and the anti-extension on the other. The domain restriction imposes a central gap. (shrink)

A new formalism for predicate logic is introduced, with a non-standard method of binding variables, which allows a compositional formalization of certain anaphoric constructions, including donkey sentences and cross-sentential anaphora. A proof system in natural deduction format is provided, and the formalism is compared with other accounts of this type of anaphora, in particular Dynamic Predicate Logic.

However, if Wittgenstein’s so called rule-following considerations are correct, then this reason for believing in the validity of (C), is mistaken. The conclusion of those considerations is that we must reject the idea that rules are things which determine possible cases of application before those cases are actually encountered and decided by speakers. If this is right, then there is no rule which determines the meanings of new sentences, i.e. before those sentences have actually been used. Therefore, it might seem (...) that (C) is not valid for natural languages. (shrink)