. David Chalmerss version of two-dimensional semantics is an attempt at setting up a unified semantic framework that would vindicate both the Fregean and the Kripkean semantic intuitions. I claim that there are three acceptable ways of carrying out such a project, and that Chalmerss theory does not coherently fit any of the three patterns. I suggest that the theory may be seen as pointing to the possibility of a double reading for many linguistic expressions (a double reading which, however, (...) is not easily identified with straightforward semantic ambiguity). (shrink)

Like proper names, demonstratives, and definite descriptions, pronouns have referential uses. These can be 'essentially indexical' in the sense that they cannot be replaced by non-pronominal forms of reference. Here we show that the grammar of pronouns in such occurrences is systematically different from that of other referential expressions, in a way that illuminates the differences in reference in question. We specifically illustrate, in the domain of Romance clitics and pronouns, a hierarchy of referentiality, as related to the topology of (...) the grammatical phase. Our explanation is based on extending the 'Topological Mapping Hypotheses' of Longobardi and Sheehan & Hinzen. The extended topology covers the full range of interpretations, from purely predicative to quantificational, to referential and deictic. Along this scale, grammatical complexity increases, and none of these forms of reference is lexical. This provides evidence for the foundational conclusion that the source of essential indexicality is grammatical rather than lexical, semantic or pragmatic. (shrink)

In this paper I examine two ways of defining the rigidity of general terms. First I discuss the view that rigid general terms express essential properties. I argue that the view is ultimately unsatisfactory, although not on the basis of the standard objections raised against it. I then discuss the characterisation in terms of sameness of designation in every possible world. I defend that view from two objections but I argue that the approach, although basically right, should be interpreted cautiously.

Metaphysicians who are aware of modern physics usually follow Putnam (1967) in arguing that Special Theory of Relativity is incompatible with the view that what exists is only what exists now or presently. Partisans of presentism (the motto ‘only present things exist’) had very difficult times since, and no presentist theory of time seems to have been able to satisfactorily counter the objection raised from Special Relativity. One of the strategies offered to the presentist consists in relativizing existence to inertial (...) frames. This unfashionable strategy has been accused of counterfeiting, since the meaning of the concept of existence would be incompatible with its relativization. Therefore, existence could only be relativistically invariant. In this paper, I shall examine whether such an accusation hits its target, and I will do this by examining whether the different criteria of existence that have been suggested by the Philosophical Tradition from Plato onwards imply that existence cannot be relativized. (shrink)

Different notions of analysis have been both theorized and put to use in early analytic philosophy. Two of them stand out: connective analysis and analysis as paraphrase. The latter played a central role in the development of analytic philosophy from Frege to Quine and beyond. With the advent of formal semantics of natural language in the 1970s, paraphrase came to be characterizable as translation into a formal “target language”. While I claim that the method cannot achieve its original philosophical aims, (...) I insist that, in spite of them, it is far from being a theoretically empty operation and that it lives on in some contemporary philosophical enterprises. (shrink)

In this article I advocate a worldly account of normative reasons according to which there is an ontological gap between these and the premises of practical thought, i.e. motivating considerations. While motivating considerations are individuated fine-grainedly, normative reasons should be classified as coarse-grained entities, e.g. as states of affairs, in order to explain certain necessary truths about them and to make sense of how we count and weigh them. As I briefly sketch, acting for normative reasons is nonetheless possible if (...) the connection between normative reasons and motivating considerations is a competence-based correspondence. (shrink)

Deviant phenomenal knowledge is knowing what it’s like to have experiences of, e.g., red without actually having had experiences of red. Such a knower is a deviant. Some physicalists have argued and some anti-physicalists have denied that the possibility of deviants undermines anti-physicalism and the Knowledge Argument. The current paper presents new arguments defending the deviant-based attacks on anti-physicalism. Central to my arguments are considerations concerning the psychosemantic underpinnings of deviant phenomenal knowledge. I argue that physicalists are in a superior (...) position to account for the conditions in virtue of which states of deviants constitute representations of phenomenal facts. (shrink)

Peter Geach's puzzle of intentional identity is to explain how the claim ‘Hob thinks a witch has blighted Bob's mare, and Nob wonders whether she killed Cob's sow’ is compatible with there being no such witch. I clarify the puzzle and reduce it to the familiar problem of negative existentials. That problem is a paradox of representations that seem to include denials of commitment , to carry commitment to what they deny commitment to, and to be true. The best proposed (...) solutions can be understood through this paradox; I evaluate them, and defend a new solution. (shrink)

Most theorists treat the ‘relation’ of identity as being more fundamental (or basic) than the ‘relation’ of (numerical) difference. Herbert Hochberg suggests, instead, that difference is to be treated as basic. My goal in this paper is to answer two related questions. First, what is it for a theorist to treat difference or identity as basic? Second, which of these two ‘relations’ is to be treated as basic? I begin by outlining four reasons that one might be motivated to endorse (...) the view that difference is to be treated as basic. Based on these reasons, I distinguish three ways of conceiving of what is involved in treating difference as basic: one conception involves the reification of the relation of difference, whereas the other two do not. Finally, I consider the theoretical consequences, particularly as concerns ontological parsimony, of treating difference as basic in these ways. My ultimate position is that there is a sense in which the second question from above is wrongheaded: difference and identity are, so to speak, features of the same ‘ideological apparatus’ (namely, that of quantification), so there is no real decision to be made about which to treat as basic. If this is correct, then the consequences for a theory's ontological parsimony that result from treating difference, identity, or both as basic are just the same as those that issue from the employment of quantification within a theory – namely, one's theory thereby incurs an ontological commitment to things. (shrink)

It is commonly held that our intuitive judgements about imaginary problem cases are justified a priori, if and when they are justified at all. In this paper I defend this view — ‘rationalism’ — against a recent objection by Timothy Williamson. I argue that his objection fails on multiple grounds, but the reasons why it fails are instructive. Williamson argues from a claim about the semantics of intuitive judgements, to a claim about their psychological underpinnings, to the denial of rationalism. (...) I argue that the psychological claim — that a capacity for mental simulation explains our intuitive judgements — does not, even if true, provide reasons to reject rationalism. (More generally, a simulation hypothesis, about any category of judgements, is very limited in its epistemological implications: it is pitched at a level of explanation that is insensitive to central epistemic distinctions.) I also argue that Williamson’s semantic claim — that intuitive judgements are judgements of counterfactuals — is mistaken; rather, I propose, they are a certain kind of metaphysical possibility judgement. Several other competing proposals are also examined and criticized. (shrink)

The widely held assumption about what motivated On Denoting is irreconcilable with Russell's position shortly beforehand; but discarding it leaves one with a carefully worked out solution whose problem is missing. The real motivation is to be found in a notoriously obscure passage in OD, in which Russell exposes a decisive (though easily overlooked) flaw in his former theory of denoting; a flaw which also cripples Frege's theory of sense and reference. A comprehensive account of this passage is the chief (...) concern of the present paper. Recognizing the critical role of this argument of Russell's leads to a more credible account of his argumentation in that essay. It also suggests that the fundamental standpoint underlyingThe Principles of Mathematics remains intact. In this light, the appropriation of OD to the philosophy of language may be misguided. (shrink)

Linguistics and philosophy have provided distinct views on the nature of reference to individuals in language. In philosophy, in particular in the tradition of direct reference, the distinction is between reference and description. In linguistics, in particular in the tradition of generative grammar, the distinction is between pronouns and R-expressions. I argue for a third conception, grounded in dynamic semantics, in which the main watershed is between definites, which trigger presuppositions that want to be bound, and indefinites, which set up (...) new discourse referents. On this view, proper names, indexicals, and definite descriptions are all analyzed as presupposition triggers. (shrink)

Category mistakes are sentences such as ‘Colourless green ideas sleep furiously’ or ‘The theory of relativity is eating breakfast’. Such sentences are highly anomalous, and this has led a large number of linguists and philosophers to conclude that they are meaningless (call this ‘the meaninglessness view’). In this paper I argue that the meaninglessness view is incorrect and category mistakes are meaningful. I provide four arguments against the meaninglessness view: in Sect. 2, an argument concerning compositionality with respect to category (...) mistakes; in Sect. 3 an argument concerning synonymy facts of category mistakes; in Sect. 4 concerning embeddings of category mistakes in propositional attitude ascriptions; and in Sect. 5 concerning the uses of category mistakes in metaphors. Having presented these arguments, in Sect. 6 I briefly discuss some of the positive motivations for accepting the meaninglessness view and argue that they are unconvincing. I conclude that the meaninglessness view ought to be rejected. (shrink)

The species-specific organizational property of speech is a continual mouth open-close alternation, the two phases of which are subject to continual articulatory modulation. The cycle constitutes the syllable, and the open and closed phases are segments framescontent displays that are prominent in many nonhuman primates. The new role of Broca's area and its surround in human vocal communication may have derived from its evolutionary history as the main cortical center for the control of ingestive processes. The frame and content components (...) of speech may have subsequently evolved separate realizations within two general purpose primate motor control systems: (1) a motivation-related medial system, including anterior cingulate cortex and the supplementary motor area, for self-generated behavior, formerly responsible for ancestral vocalization control and now also responsible for frames, and (2) a lateral system, including Broca's area and surround, and Wernicke's area, specialized for response to external input (and therefore the emergent vocal learning capacity) and more responsible for content. (shrink)

A person of average height would assert a truth by the conditional ‘if I were seven feet tall, I would be taller than I am,’ in which an indicative clause ‘I am’ is embedded in a subjunctive conditional. By contrast, no one would assert a truth by ‘if I were seven feet tall, I would be taller than I would be’ or ‘if I am seven feet tall, I am taller than I am’. These examples exemplify the fact that whether (...) a sentence's evaluation remains at the actual world in the scope of a modal or conditional depends on the combination of mood in the embedded and matrix clauses rather than, as is commonly thought, just on the presence of an operator ‘actually’. This essay argues that this phenomenon provides evidence that mood admits of bound and free readings along the lines of tenses and pronouns. It therefore favors the hypothesis that natural language contains variables and quantifiers for possible worlds in the object language. This, in turn, requires that the truth of a semantic value of a sentence (or whatever structure is embedded in a modal) be relativized to a sequence of worlds rather than to an individual world, and thus be distinguished from a proposition in the traditional sense. The essay also compares the framework defended with an alternative account of similar phenomena by Kai Wehmeier. (shrink)

Presuppositions are at the same time a crucial and almost neglected dimension of arguments and fallacies. Arguments involve different types of presuppositions, which can be used for manipulative purposes in distinct ways. However, what are presuppositions? What is their dialectical function? Why and how can they be dangerous? This paper intends to address these questions by developing the pragmatic approaches to presupposition from a dialectical perspective. The use of presuppositions will be analyzed in terms of presumptive conclusions concerning the interlocutor’s (...) acceptance of a proposition, which can be assessed as reasonable or unacceptable. Their dialectical function is described in terms of dark side commitments attributed to a collective "voice" representing what is commonly shared. For this reason, they count as attempts to include the presupposed contents into the hearer’s commitment store, which in some circumstances can reverse the burden of proof. The different manipulative strategies grounded on controversial presuppositions will be examined by showing the distinct roles that the latter play and the relationship between the degrees of presuppositional implicitness and the speaker’s burden of retraction. (shrink)

If intelligent design (id) is to compete with evolutionary theory (et), it must meet the modified falsifiability challenge, that is, make some deductive or probabilistic observational assertions. It must also meet the modified translatability challenge, which it fails if et makes all the observational assertions of id, while id does not make all the observational assertions of et. I discuss four prominent but diverse formulations of id and show that each either fails one of the two challenges or is analytically (...) false. (shrink)

No debate acerca da singularidade de, pelos menos, alguns de nossos pensamentos sobre o mundo, assume-se corriqueiramente que o responsável pela natureza singular do episódio mental não é o próprio episódio e, sim, a proposição singular expressa quer por um proferimento assertórico de sentença singular autônoma, quer pela cláusula complementar em um relato de atribuição de atitude proposicional. As rotas semânticas padrão assumem que a singularidade do episódio mental (conceitual) é por assim dizer “herdada” da singularidade do conteúdo. Argumento que (...) este pressuposto apresenta uma lacuna, pois desconsidera o papel desempenhado em certos atos de pensamento, chamados de episódicos, por habilidades cognitivas tais como a capacidade de perceber objetos particulares, de vivenciar (novamente) ou de projetar-se mentalmente em direção a acontecimentos particulares pessoais, diretamente responsáveis por sua singularidade. No entanto, contra a tese de que haveria capacidades episódicas aí envolvidas, argumento que a singularidade dos atos de pensar episódicos se dá pelo exercício pontual no espaço e no tempo dessas capacidades e há, portanto, um sentido não derivado em que eles podem ser qualificados como singulares. (shrink)

Philosophers have recently expressed interest in accounting for the usefulness of mathematics to science. However, it is certainly not a new concern. Putnam and Quine have each worked out an argument for the existence of mathematical objects from the indispensability of mathematics to science. Were Quine or Putnam to disregard the applicability of mathematics to science, he would not have had as strong a case for platonism. But I think there must be ways of parsing mathematical sentences which account for (...) applicability of mathematics and also do not require us to believe in entities we have no evidence for, other than through reading these sentences literally. We will explore a particular way to interpret sentences of arithmetic which promises to account for their applicability without bringing in metaphysics not also brought in by science. The investigation will be limited to the arithmetic of cardinal numbers. The general strategy is to argue for the analogy between arithmetic and science, rather than to argue for one case having a particular characteristic independently of the other. (shrink)

The present article proposes an Informational-Theoretic interpretation of logical analysis applied to natural language in Tractatus Logico-Philosophicus. Natural language is characterized by descriptive definitions in order to compress information according to empirical regularities. However, notations fitted to empirical patterns do not explicitly reflect the logical structure of language that enables it to represent those very patterns. I argue that logical analysis is the process of obtaining incompressible and uniformly distributed codes, best fitted to express the possible combinations of facts instead (...) of eventual empirical regularities. That implies mutual translatability between different representations of the same facts, which justifies the possibility to decompose natural language and to rebuild it in mathematized ideographical languages, such as physics. Logical analysis decomposition process, then, results in a reductionism that sets the basis for conceptions of logic and language not only in Tractatus, but also in Some Remarks on Logical Form, which, in turn, is shown to be unattainable in Philosophical Remarks. That posterior book introduces a fragmentation of linguistic systems and analytical methods that can no longer be interpreted under computation theory alone. (shrink)

Past work has shown systematic differences between Easterners' and Westerners' intuitions about the reference of proper names. Understanding when these differences emerge in development will help us understand their origins. In the present study, we investigate the referential intuitions of English- and Chinese-speaking children and adults in the U.S. and China. Using a truth-value judgment task modeled on Kripke's classic Gödel case, we find that the cross-cultural differences are already in place at age seven. Thus, these differences cannot be attributed (...) to later education or enculturation. Instead, they must stem from differences that are present in early childhood. We consider alternate theories of reference that are compatible with these findings and discuss the possibility that the cross-cultural differences reflect differences in perspective-taking strategies. (shrink)

_ Source: _Page Count 21 The “Context Principle”, as the author understands it in this paper, is the claim that sub-sentential linguistic expressions have meaning only in the context of complete meaningful sentences. The author reconstructs the version of the Context Principle that Wittgenstein holds in the _Tractatus_, shows that it has intuitive plausibility and can be defended against alleged counterexamples, and develops an argument for its truth that can be found in the _Tractatus_. In short, the author argues that (...) the “fit” between the meanings of sentences and the meanings of the expressions they contain can only be adequately explained if one acknowledges that for a sub-sentential expression to have meaning _is_ for it to make a contribution to the meaning of a sentence. (shrink)

I compare Russell’s theory of mathematical functions, the “descriptive functions” from Principia Mathematica ∗30, with Frege’s well known account of functions as “unsaturated” entities. Russell analyses functional terms with propositional functions and the theory of definite descriptions. This is the primary technical role of the theory of descriptions in P M . In Principles of Mathematics and some unpublished writings from before 1905, Russell offered explicit criticisms of Frege’s account of functions. Consequenly, the theory of descriptions in “On Denoting” can (...) be seen as a crucial part of Russell’s larger logicist reduction of mathematics,aswellasanexcursionintothetheoryof reference.
. (shrink)

In this paper, the authors briefly summarize how object theory uses definite descriptions to identify the denotations of the individual terms of theoretical mathematics and then further develop their object-theoretic philosophy of mathematics by showing how it has the resources to address some objections recently raised against the theory. Certain ‘canonical’ descriptions of object theory, which are guaranteed to denote, correctly identify mathematical objects for each mathematical theory T, independently of how well someone understands the descriptive condition. And to have (...) a false belief about some particular mathematical object is not to have a true belief about some different mathematical object. (shrink)

The views of David Lewis and the Meinongians are both often met with an incredulous stare. This is not by accident. The stunned disbelief that usually accompanies the stare is a natural first reaction to a large ontology. Indeed, Lewis has been explicitly linked with Meinong, a charge that he has taken great pains to deny. However, the issue is not a simple one. "Meinongianism" is a complex set of distinctions and doctrines about existence and predication, in addition to the (...) famously large ontology. While there are clearly non-Meinongian features of Lewis' views, it is our thesis that many of the characteristic elements of Meinongian metaphysics appear in Lewis' theory. Moreover, though Lewis rejects incomplete and inconsistent Meinongian objects, his ontology may exceed that of a Meinongian who doesn't accept his possibilia. Thus, Lewis explains the truth of "there might have been talking donkeys" by appealing to possibilia which are talking donkeys. But the Meinongian need not accept that there exist things which are talking donkeys. Indeed, we show that a Meinongian even need not accept that there are nonexistent things which are talking donkeys! (shrink)

Frege suggests that criteria of identity should play a central role in the explanation of reference, especially to abstract objects. This paper develops a precise model of how we can come to refer to a particular kind of abstract object, namely, abstract letter types. It is argued that the resulting abstract referents are ‘metaphysically lightweight’.

The simplest quantified modal logic combines classical quantification theory with the propositional modal logic K. The models of simple QML relativize predication to possible worlds and treat the quantifier as ranging over a single fixed domain of objects. But this simple QML has features that are objectionable to actualists. By contrast, Kripke-models, with their varying domains and restricted quantifiers, seem to eliminate these features. But in fact, Kripke-models also have features to which actualists object. Though these philosophers have introduced variations (...) on Kripke-models to eliminate their objectionable features, the most well-known variations all have difficulties of their own. The present authors reexamine simple QML and discover that, in addition to having a possibilist interpretation, it has an actualist interpretation as well. By introducing a new sort of existing abstract entity, the contingently nonconcrete, they show that the seeming drawbacks of the simplest QML are not drawbacks at all. Thus, simple QML is independent of certain metaphysical questions. (shrink)

The essays collected in this volume are all concerned with the connection between fiction and truth. This question is of utmost importance to metaphysics, philosophy of language, philosophical logic and epistemology, raising in each of these areas and at their intersections a large number of issues related to creation, existence, reference, identity, modality, belief, assertion, imagination, pretense, etc. All these topics and many more are addressed in this collection, which brings together original essays written from various points of view by (...) philosophers of diverse trends. These essays constitute major contributions to the current debates that the connection between truth and fiction continually enlivens, and give a sense of the directions in which research on this question is heading. Contributors: Fred Adams, Frederick Kroon, Robert Howell, Brendan Murday, Terence Parsons, Graham Priest, Erich Rast, Manuel Rebuschi, Marion Renauld, R.M. Sainsbury, Grant Tavinor, Alberto Voltolini. (shrink)

Attitudinal propositionalism is the view that all mental attitude content is truth-evaluable. While attitudinal propositionalism is still silently assumed in large parts of analytic philosophy, recent work on objectual attitudes (i.e. attitudes like ‘fearing Moriarty’ and ‘imagining a unicorn’ that are reported through intensional transitive verbs with a direct object) has put attitudinal propositionalism under explanatory pressure. This paper defends propositionalism for a special subclass of objectual attitudes, viz. experiential attitudes. The latter are attitudes like seeing, remembering, and imagining whose (...) grammatical objects intuitively denote (events or) scenes. I provide a propositional analysis of experiential attitudes that preserves the merits of propositionalism. This analysis uses the possibility of representing the target-scenes of experiential attitudes by the intersection of all propositions that are true in these scenes. I show that this analysis makes available the usual (Russellian) account of intensionality and the common (Boolean) logic for entailments. (shrink)

One of the central questions of discourse dynamics is when an anaphoric pronoun is licensed. This paper addresses this question as it pertains to the complex data involving anaphora and negation. It is commonly held that negation blocks anaphoric potential, for example, we cannot say “Bill doesn’t have a car. It is black”. However, there are many exceptions to this generalization. This paper examines a variety of types of discourses in which anaphora on indefinites under the scope of negation is (...) felicitous. These cases are not just of intrinsic interest, but I argue present serious problems for the dynamic semantic framework, which builds the licensing facts into the semantics. I argue in favor of adopting a dynamic pragmatics, a theory that explains context change through general Gricean principles, and combining it with a static, d-type theory of anaphora, in which pronouns go proxy for definite descriptions. (shrink)

In his recent book, "The Metaphysicians of Meaning" (2000), Gideon Makin argues that in the so-called "Gray's Elegy" argument (the GEA) in "On Denoting", Russell provides decisive arguments against not only his own theory of denoting concepts but also Frege's theory of sense. I argue that by failing to recognize fundamental differences between the two theories, Makin fails to recognize that the GEA has less force against Frege's theory than against Russell's own earlier theory. While I agree with many aspects (...) of Makin's interpretation of the GEA, I differ with him regarding some significant details and present an interpretation according to which the GEA emerges as simpler, stronger, and more integrated. (shrink)

Frege's views regarding analysis and synomymy have long been the subject of critical discussion. Some commentators, led by Dummett, have argued that Frege was committed to the view that each thought admits of a unique ultimate analysis. However, this interpretation is in apparent conflict with Frege's criterion of synonymy, according to which two sentence express the same thought if one cannot understand them without regarding them as having the same truth–value. In a recent article in this journal, Drai attempts to (...) reconcile Frege's criterion of synonymy with unique ultimate analysis by holding that, for Frege, if two sentences satisfy the criterion without being intensionally isomorphic, at most one of them is a privileged representation of the thought expressed. I argue that this proposal fails, because it conflicts not only with Frege's views of abstraction principles but also with slingshot arguments (including one presented by Drai herself) that accurately reflect Frege's commitment to the view that sentences alike in truth–value have the same Bedeutung. While Drai helpfully connects Frege's views of abstraction principles with such slingshot arguments, this connection cannot become fully clear until we recognise that Frege rejects unique ultimate analysis. (shrink)

In this paper I argue that the notions of speaker’s reference and semantic reference—used by Kripke in order to counter the contentious consequences of Donnellan’s distinction between the referential use and the attributive use of definite descriptions—do not have any application in the interpretive interaction between speaker and hearer. Hearers are always concerned with speaker’s reference. Either, in cases of cooperation, as presented as such by the speaker or, in cases of conflict, as perceived as such by the hearer. Any (...) claim as to semantic reference is irrelevant for the purposes of communication and conversation. To the extent that the purpose of semantic theory is to account for linguistic communication, there is no reason to take definite descriptions to have semantic reference. (shrink)

According to strong pluralism, objects distinct by virtue of their modal properties can coincide. The most common objection towards such view invokes the so-called Grounding Problem according to which the strong pluralist needs to explain what the grounds are for supposed modal differences between the coincidents. As recognized in the literature, the failure to provide an answer to the Grounding Problem critically undermines the plausibility of strong pluralism. Moreover, there are strong reasons to believe that strong pluralists cannot provide an (...) explanation of the Grounding Problem. In this paper, we argue that strong pluralism can be motivated independently of the successful answer to the Grounding Problem. In order to achieve that aim, we provide a haecceitistic interpretation of strong pluralism according to which strong pluralism should be read as a position committed to the existence of primitive individuals, i.e., the individuals that have their criteria of individuation independently of their qualitative profiles. That said, we do not aim at defending haecceitism. Instead, our aim is rather modest: we want to provide a new way for the strong pluralist to supplement his view to make it more watertight. (shrink)

Among philosophers, Fregeanism and sententialism are widely considered two of the leading theories of the semantics of attitude reports. Among linguists, these approaches have received little recent sustained discussion. This paper aims to bridge this divide. I present a new formal implementation of Fregeanism and sententialism, with the goal of showing that these theories can be developed in sufficient detail and concreteness to be serious competitors to the theories which are more popular among semanticists. I develop a modern treatment of (...) quantifying in for Fregeanism and sententialism, in the style of Heim and Kratzer, and then show how these theories can—somewhat surprisingly—account for “third readings” on the model of the “Standard Solution” from possible-worlds semantics. The resulting Fregean/sententialist proposal has a distinctive attraction: it treats data related to counterfactual attitudes —which have proven challenging to accommodate in the setting of possible worlds semantics—straightforwardly as third readings. (shrink)

What does it mean to ‘give’ the value of a variable in an algebraic context, and how does giving the value of a variable differ from merely describing it? I argue that to answer this question, we need to examine the role that giving the value of a variable plays in problem-solving practice. I argue that four different features are required for a statement to count as giving the value of a variable in the context of solving an elementary algebra (...) problem: the variable must be in the scope opened by the problem statement; the values given must be in the range of the variable, which is determined by the problem; the statement giving the values must represent a complete solution; and it must be in a canonical form. This account helps us better understand elementary algebra itself, as well as the use of algebraic tools to analyze phenomena in natural language. (shrink)

In this paper, we offer a novel analysis of presuppositions, paying particular attention to the interaction between the knowledge resources that are required to The analysis has two main features. First, we capture an analogy between presuppositions, anaphora and scope ambiguity (cf. van der Sandt 1992), by utilizing semantic under-specification (c£ Reyle 1993). Second, resolving this underspecification requires reasoning about how the presupposition is rhetorically connected to the discourse context. This has several consequences. First, since pragmatic information plays a role (...) in computing the rhetorical relation, it also constrains the interpretation of presuppositions. Our account therefore provides a formal framework for analysing problematic data, which require pragmatic reasoning. Second, binding presuppositions to the context via rhetorical links replaces accommodating them, in the sense of adding them to the context (cf. Lewis 1979). The treatment of presupposition is thus generalized and integrated into the discourse update procedure. We formalize this approach in SDRT (Asher 1993; Lascarides & Asher 1993), and demonstrate that it provides a rich framework for interpreting presuppositions, where semantic and pragmatic constraints are integrated. (shrink)