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

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)

According to the knowledge account of assertion, an assertion that p is correct just in case the speaker knows that p. This is so because of a norm that governs assertion and uniquely characterizes it. Recent opposition to the knowledge account accepts that assertion is governed by a norm, but proposes alternatives to the knowledge norm. In this paper I focus on some difficulties for normative accounts of assertion.

According to intentionalism, perceptual experience is a mental state with representational content. When it comes to the epistemology of perception, it is only natural for the intentionalist to hold that the justificatory role of experience is at least in part a function of its content. In this paper, I argue that standard versions of intentionalism trying to hold on to this natural principle face what I call the “defeasibility problem”. This problem arises from the combination of standard intentionalism with further (...) plausible principles governing the epistemology of perception: that experience provides defeasible justification for empirical belief, and that such justification is best construed as probabilification. After exploring some ways in which the standard intentionalist could deal with the defeasibility problem, I argue that the best option is to replace standard intentionalism by what I call “phenomenal intentionalism”. Where standard intentionalism construes experiences as of p as having the content p, phenomenal intentionalism construes experiences as of p as having “phenomenal” or “looks contents”: contents of the form Lp. (shrink)

Traduçáo. texto Normal 0 21 false false false MicrosoftInternetExplorer4 /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Tabela normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-parent:""; mso-padding-alt:0cm 5.4pt 0cm 5.4pt; mso-para-margin:0cm; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:10.0pt; font-family:"Times New Roman"; mso-ansi-language:#0400; mso-fareast-language:#0400; mso-bidi-language:#0400;} retirado de Carlos E. Caorsi (Ed.). Ensayos sobre Strawson . Universidad de la República/Faculdad de Humanidades y Ciencias de la Educación, Montevidéo,1992, p. 55-71.

Quantum mechanics as conceived by Niels Bohr and formulated in rigorous terms by John von Neumann is expressed as quantum neuroscience: a description of the relationship between certain conscious experiences of an observer that are described in terms of the concepts of classical physics and neural processes that are described in terms of the concepts of quantum physics. The theory is applied to recent neuroscience data to determine the rapidity of the observer's probing actions that is needed to account for (...) the capacity of a person's mental intentions to influence that person's bodily actions in the intended way. Normal 0 false false false EN-US X-NONE X-NONE /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Table Normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-qformat:yes; mso-style-parent:""; mso-padding-alt:0in 5.4pt 0in 5.4pt; mso-para-margin:0in; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:11.0pt; font-family:"Calibri","sans-serif"; mso-ascii-font-family:Calibri; mso-ascii-theme-font:minor-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-hansi-font-family:Calibri; mso-hansi-theme-font:minor-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:minor-bidi;}. (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)

The paper discusses the question whether T-theories explain how it is possible to understand new sentences, or learn an infinite language, as Davidson claimed. I argue against some commentators that for explanatory power we need not require that T-theories are implicitly known or mirror cognitive structures. I note contra Davidson that the recursive nature of T-theories is not sufficient for explanatory power, since humans can work out only what is computationally tractable, and recursiveness by itself allows for intractable computational complexity. (...) I finally consider the complexity of T-theories, transformed into term rewriting systems, and find that the complexity of such systems is indeed tractable. Therefore Davidson's claim stands, even though a further condition had to be met. (shrink)

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

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.

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)

The incredible achievements of modern scientific theories lead most of us to embrace scientific realism: the view that our best theories offer us at least roughly accurate descriptions of otherwise inaccessible parts of the world like genes, atoms, and the big bang. In Exceeding Our Grasp, Stanford argues that careful attention to the history of scientific investigation invites a challenge to this view that is not well represented in contemporary debates about the nature of the scientific enterprise. The historical record (...) of scientific inquiry, Stanford suggests, is characterized by what he calls the problem of unconceived alternatives. Past scientists have routinely failed even to conceive of alternatives to their own theories and lines of theoretical investigation, alternatives that were both well-confirmed by the evidence available at the time and sufficiently serious as to be ultimately accepted by later scientific communities. Stanford supports this claim with a detailed investigation of the mid-to-late 19th century theories of inheritance and generation proposed in turn by Charles Darwin, Francis Galton, and August Weismann. He goes on to argue that this historical pattern strongly suggests that there are equally well-confirmed and scientifically serious alternatives to our own best theories that remain currently unconceived. Moreover, this challenge is more serious than those rooted in either the so-called pessimistic induction or the underdetermination of theories by evidence, in part because existing realist responses to these latter challenges offer no relief from the problem of unconceived alternatives itself. Stanford concludes by investigating what positive account of the spectacularly successful edifice of modern theoretical science remains open to us if we accept that our best scientific theories are powerful conceptual tools for accomplishing our practical goals, but abandon the view that the descriptions of the world around us that they offer are therefore even probably or approximately true. (shrink)

The place of the emotions among the passions -- The analytic of the emotions I -- The analytic of the emotions II -- The dialectic of the emotions -- Pride, arrogance, and humility -- Shame, embarrassment, and guilt -- Envy -- Jealousy -- Anger -- Love -- Friendship -- Sympathy and empathy.

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)

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)

in What Detemines Content? The Internalism/Externalism Dispute, ed. T. Marvan, Newcastle: Cambridge Scholars Press 2006.

b> 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)

The project of this chapter is to explore some relations between the rule-following considerations and radical interpretation. I spell out the sense in which the rule-following considerations are about meaning determination, and investigate whether the principle of meaning determination used in the early Davidson's account of meaning determination - the principle of charity - provides an answer to what I shall call "Wittgenstein's paradox". More precisely, I am interested in one aspect of the paradox: the "problem of objectivity". My question (...) then is whether meaning, as determined by charity, is such that the correctness of the applications of meaningful expressions is an objective matter. After running us through the basics of the radical interpretation account of meaning determination I argue that the principle of charity does seem to fall prey to the problem of objectivity. After unsuccessfully trying to rescue objectivity by means of Lewisian natural properties, this is the verdict I in the end endorse. (shrink)

in International Journal of Philosophical Studies 14, 2006: 337-359 (special issue on Donald Davidson ed. M. Baghramian/J. Malpas).

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)

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)

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)

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 this chapter, we critically examine the most important extant ways of understanding and motivating the idea that reasons for belief are normative. First, we examine the proposal that the distinction between explanatory and so-called normative reasons that is commonly drawn in moral philosophy can be rather straightforwardly applied to reasons for belief, and that reasons for belief are essentially normative precisely when they are normative reasons. In the course of this investigation, we explore the very nature of the reasons-for-belief (...) relation, as well as the ontology of such reasons. Second, we examine the idea that the normativity derives from the internal connection between reasons for belief and epistemic justification, distinguishing between two distinct normativist accounts of justification, a weaker and a stronger one. We argue that neither line of argument is compelling. Pending further arguments, we conclude that normativism about reasons for belief is not supported. (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)

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 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)