This is a defence of the claim that names are predicates with a demonstrative element in their singular use.

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)

In this paper I argue against a criticism by Matthew Weiner to Grice’s thesis that cancellability is a necessary condition for conversational implicature. I argue that the purported counterexamples fail because the supposed failed cancellation in the cases Weiner presents is not meant as a cancellation but as a reinforcement of the implicature. I moreover point out that there are special situations in which the supposed cancellation may really work as a cancellation.

In ‘On McDowell's identity conception of truth’ , we suggested that McDowell's Identity Theory, according to which a proposition is true if and only if it is identical with a fact, is only fully understood when we realize that there are two identity claims involved. The first is that, when one thinks truly, the content of a whole thought is identical with a Tractarian Tatsachen – a complex fact constituted by simple Sachverhalte – and the second is that these simple (...) Sachverhalte are in turn identical with simple Fregean senses. 1As an example, we suggested that the complex content/proposition/Fregean sense is identical with the Tractarian Tatsachen constituted by the two Sachverhalte: the object's being a tiger and the object's being undernourished, both of which can be seen, as the second identity with simple Fregean senses requires, to present an object in a certain way – as being, in turn, a tiger and undernourished.In his response to our article, Julian Dodd raises three internal criticisms concerning the coherence of the view as a whole, as well as the interpretative criticism that, regardless of the internal coherence of the view, it is not McDowell's. We think that Dodd fails to appreciate the view we have developed in our article, so much so that he believes that his own proffered view of McDowell, articulated in the final section of his response, is an alternative to our own position when in fact it is simply a restatement of that position. Because this point is so fundamental, we begin below by spelling out exactly where Dodd's understanding of our view goes wrong and so why his interpretative criticism misses its target before addressing the internal criticisms concerning the coherence of the view as a …. (shrink)

Propositions, the abstract, truth-bearing contents of sentences and beliefs, continue to be the focus of healthy debates in philosophy of language and metaphysics. This article is a critical survey of work on propositions since the mid-90s, with an emphasis on newer work from the past decade. Topics to be covered include a substitution puzzle about propositional designators, two recent arguments against propositions, and two new theories about the nature of propositions.

Bertrand Russell, in the second of his 1914 Lowell lectures, Our Knowledge of the External World, asserted famously that ‘every philosophical problem, when it is subjected to the necessary analysis and purification, is found either to be not really philosophical at all, or else to be, in the sense in which we are using the word, logical’ (Russell 1993, p. 42). He went on to characterize that portion of logic that concerned the study of forms of propositions, or, as he (...) called them, ‘logical forms’. This portion of logic he called ‘philosophical logic’. Russell asserted that ... some kind of knowledge of logical forms, though with most people it is not explicit, is involved in all understanding of discourse. It is the business of philosophical logic to extract this knowledge from its concrete integuments, and to render it explicit and pure. (p. 53) Perhaps no one still endorses quite this grand a view of the role of logic and the investigation of logical form in philosophy. But talk of logical form retains a central role in analytic philosophy. Given its widespread use in philosophy and linguistics, it is rather surprising that the concept of logical form has not received more attention by philosophers than it has. The concern of this paper is to say something about what talk of logical form comes to, in a tradition that stretches back to (and arguably beyond) Russell’s use of that expression. This will not be exactly Russell’s conception. For we do not endorse Russell’s view that propositions are the bearers of logical form, or that appeal to propositions adds anything to our understanding of what talk of logical form comes to. But we will be concerned to provide an account responsive to the interests expressed by Russell in the above quotations, though one clarified of extraneous elements, and expressed precisely. For this purpose, it is important to note that the concern expressed by Russell in the above passages, as the surrounding text makes clear, is a concern not just with logic conceived narrowly as the study of logical terms, but with propositional form more generally, which includes, e.g., such features as those that correspond to the number of argument places in a propositional function, and the categories of objects which propositional.... (shrink)

This paper discusses and criticizes Segal’s 1989 argument against singular object-dependent thoughts. His argument aims at showing that object-dependent thoughts are explanatorily redundant. My criticism of Segal’s argument has two parts. First, I appeal to common anti-individualist arguments to the effect that Segal’s type of argument only succeeds in establishing that object-dependent thoughts are explanatorily redundant for those aspects of subjects’ behaviour that do not require reference to external objects. Secondly, Segal’s view on singular thoughts is at odds with his (...) view on the semantics of proper names, which favours the singularity and object-dependency of the truth-conditions of sentences in which they occur. In particular, his views are at odds with a position he holds, that truth-conditional semantics can adequately account for all aspects of speakers’ linguistic competence in the use of proper names. (shrink)

While proper names in argument positions have received a lot of attention, this cannot be said about proper names in the naming construction, as in “Call me Al”. I argue that in a number of more or less familiar languages the syntax of naming constructions is such that proper names there have to be analyzed as predicates, whose content mentions the name itself (cf. “quotation theories”). If proper names can enter syntax as predicates, then in argument positions they should have (...) a complex structure, consisting of a determiner and its restriction, like common nouns (cf. “definite description theories of proper names”). Further consideration of the compositional semantics of proper names in the naming construction also shows that they have another argument slot, that of the naming convention. As a result, we will be able to account for the indexicality of proper names in argument positions and provide compositional semantics of complex and modified proper names (e.g., the famous detective Sherlock Holmes ). (shrink)

RÉSUMÉ: Le point de vue de Davidson sur les concepts de croyance et de signification implicites dans nos pratiques d’attribution de croyance et de signification peut à bon droit être mis à l’épreuve par une élucidation de ses rapports avec la psychologie empirique. Mais une telle mise à l’épreuve n’a de valeur que si elle confronte d’abord l’id’e reçue voulant que sa position a peu ou pas de liens avec l’etude empirique du développement cognitif. Je défends ici une approche du (...) point de vue de Davidson qui montre clairement en quoi une vaste gamme de découvertes empiriques en psychologie du développement -- souvent considérées comme non pertinentes, voire comme incompatibles, avec son enquête conceptuelle -- est en fait fort pertinente et en harmonie avec lui. (shrink)

Using a version of situation semantics, this article argues that bare and complex demonstratives are interpreted as individual concepts.

I argue that maps do not feature predication, as analyzed by Frege and Tarski. I take as my foil (Casati and Varzi, Parts and places, 1999), which attributes predication to maps. I argue that the details of Casati and Varzi’s own semantics militate against this attribution. Casati and Varzi emphasize what I call the Absence Intuition: if a marker representing some property (such as mountainous terrain) appears on a map, then absence of that marker from a map coordinate signifies absence (...) of the corresponding property from the corresponding location. Predication elicits nothing like the Absence Intuition. “F(a)” does not, in general, signify that objects other than a lack property F. On the basis of this asymmetry, I argue that attaching a marker to map coordinates is a different mode of semantic composition than attaching a predicate to a singular term. (shrink)

My concern in this paper is with the intentionality of emotions. Desires and cognitions are the traditional paradigm cases of intentional attitudes, and one very direct approach to the question of the intentionality of emotions is to treat it as sui generis—as on a par with the intentionality of desires and cognitions but in no way reducible to it. A more common approach seeks to reduce the intentionality of emotions to the intentionality of familiar intentional attitudes like desires and cognitions. (...) In this paper, I argue for the sui generis approach. (shrink)

This paper offers a critique of mainstream formal semantics. It begins with a statement of widely assumed adequacy conditions: namely, that a good theory must (1) explain relations of entailment, (ii) show how the meanings of complex expressions derive from the meanings of their parts, and (iii) characterize facts of meaning in truth-theoretic terms. It then proceeds to criticize the orthodox conception of semantics that is articulated in these three desiderata. This critique is followed by a sketch of an alternative (...) conception—one that is argued to be more in tune with the empirical objectives of linguistics and the clarificatory aims of philosophy. Finally, the paper proposes and defends a specific theoretical approach—use based rather than truth based—that is suggested by that alternative conception. (shrink)

This paper presents a semantic and pragmatic theory of complex demonstratives. According to this theory, the semantic content of a complex demonstrative, in a context, is simply an object, and the semantic content of a sentence that contains a complex demonstrative, in a context, is a singular proposition. This theory is defended from various objections to direct reference theories of complex demonstratives, including King's objection from quantification into complex demonstratives.

Abstract: A current debate in semantics and pragmatics is whether all contextual effects on truth-conditional content can be traced to logical form, or 'unarticulated constituents' can be supplied by the pragmatic process of free enrichment. In this paper, I defend the latter position. The main objection to this view is that free enrichment appears to overgenerate, not predicting where context cannot affect truth conditions, so that a systematic account is unlikely (Stanley, 2002a). I first examine the semantic alternative proposed by (...) Stanley and others, which assumes extensive hidden structure acting as a linguistic trigger for pragmatic processes, so that all truth-conditional effects of context turn out to be instances of saturation. I show that there are cases of optional pragmatic contributions to the proposition expressed that cannot plausibly be accounted for in this way, and that advocates of this approach will therefore also have to appeal to free enrichment. The final section starts to address the question of how free enrichment is constrained: I argue that it involves only local development or adjustment of parts of logical form, any global developments being excluded by the requirement for the proposition expressed to provide an inferential warrant for the intended implications of the utterance. (shrink)

There is a long-standing debate whether propositions, sentences, statements or utterances provide an answer to the question of what objects logical formulas stand for. Based on the traditional understanding of logic as a science of valid arguments, this question is firstly framed more exactly, making explicit that it calls not only for identifying some class of objects, but also for explaining their relationship to ordinary language utterances. It is then argued that there are strong arguments against the proposals commonly put (...) forward in the debate. The core of the problem is that an informative account of the objects formulas stand for presupposes a theory of formalization; that is, a theory that explains what formulas may adequately substitute for an inference in proofs of validity. Although such theories are still subject to research, some consequences can be drawn from an analysis of the reasons why the common accounts featuring sentences, propositions or utterances fail. Theories of formalization cannot refer to utterances qua expressions of propositions; instead they may refer to sentences and rely on additional information about linguistic structure and pragmatic context. (shrink)

Is linguistic understanding a form of knowledge? I clarify the question and then consider two natural forms a positive answer might take. I argue that, although some recent arguments fail to decide the issue, neither positive answer should be accepted. The aim is not yet to foreclose on the view that linguistic understanding is a form of knowledge, but to develop desiderata on a satisfactory successor to the two natural views rejected here.

I discuss some problems faced by the meaning‐inconsistency view on the liar and sorites paradoxes which I have elsewhere defended. Most of the discussion is devoted to the question of what a defender of the meaning‐inconsistency view should say about semantic competence.

In this paper I propose a novel treatment of generic sentences, which proceeds by means of different levels of analysis. According to this account, all generic sentences (I-generics and D-generics alike) are initially treated in a uniform manner, as involving higher-order predication (following the work of George Boolos, James Higginbotham and Barry Schein on plurals). Their non-uniform character, however, re-emerges at subsequent levels of analysis, when the higher-order predications of the first level are cashed out in terms of quantification over (...) individuals: this last step, I suggest, involves knowledge concerning the lexical meaning of the predicates in question. (shrink)

There is a long tradition of drawing metaphysical conclusions from investigations into language. This paper concerns one contemporary variation on this theme: the alleged ontological significance of cognitivist truth-theoretic accounts of semantic competence. According to such accounts, human speakers’ linguistic behavior is in part empirically explained by their cognizing a truth-theory. Such a theory consists of a finite number of axioms assigning semantic values to lexical items, a finite number of axioms assigning semantic values to complex expressions on the basis (...) of their structure and the semantic values of their constituents, and a finite number of production schemata. The theory enables the derivation of truth-conditions for each sentence of the language: something of roughly the form ‘S is true iff P’.1 The claim that speakers stand in a cognitive relation to such theories is advanced, not as a conceptual analysis of semantic competence or understanding, but rather as an empirical hypothesis about human speakers in particular, one part of a broader empirical account of our linguistic competence and cognition generally. It therefore must mesh with the rest of our theorizing in these areas and whatever relevant data from neighboring inquiries there may be. The precise nature of the cognitive relation a speaker is supposed to bear to a truththeory is a matter of some dispute. I speak of ‘‘cognizing’’ (following. (shrink)

Within the philosophy of language, pragmatics has tended to be seen as an adjunct to, and a means of solving problems in, semantics. A cognitive-scientific conception of pragmatics as a mental processing system responsible for interpreting ostensive communicative stimuli (specifically, verbal utterances) has effected a transformation in the pragmatic issues pursued and the kinds of explanation offered. Taking this latter perspective, I compare two distinct proposals on the kinds of processes, and the architecture of the system(s), responsible for the recovery (...) of speaker meaning (both explicitly and implicitly communicated meaning). (shrink)

How are permutation arguments for the inscrutability of reference to be formulated in the context of a Davidsonian truth-theoretic semantics? Davidson takes these arguments to establish that there are no grounds for favouring a reference scheme that assigns London to “Londres”, rather than one that assigns Sydney to that name. We shall see, however, that it is far from clear whether permutation arguments work when set out in the context of the kind of truth-theoretic semantics which Davidson favours. The principle (...) required to make the argument work allows us to resurrect Foster problems against the Davidsonian position. The Foster problems and the permutation inscrutability problems stand or fall together: they are one puzzle, not two. (shrink)

The proper statement and assessment of Russell's theory depends on one's semantic presuppositions. A semantic framework is provided, and Russell's theory formulated in terms of it. Referential uses of descriptions raise familiar problems for the theory, to which there are, at the most general level of abstraction, two possible Russellian responses. Both are considered, and both found wanting. The paper ends with a brief consideration of what the correct positive theory of definite descriptions might be, if it is not the (...) Russellian theory. (shrink)

This paper presents a slightly modified version of the compositional semantics proposed in Events and Semantic Architecture (OUP 2005). Some readers may find this shorter version, which ignores issues about vagueness and causal constructions, easier to digest. The emphasis is on the treatments of plurality and quantification, and I assume at least some familiarity with more standard approaches.

It is generally assumed that if it is possible to believe that p without believing that q, then there is some difference between the object of the thought that p and the object of the thought that q. This assumption is challenged in the present paper, opening the way to an account of epistemic opacity that improves on existing accounts, not least because it casts doubt on various arguments that attempt to derive startling ontological conclusions from seemingly innocent epistemic premises.

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)

This article surveys the state of the art in the field of semantic universals. We examine potential semantic universals in three areas: (i) the lexicon, (ii) semantic “glue” (functional morphemes and composition principles), and (iii) pragmatics. At the level of the lexicon, we find remarkably few convincing semantic universals. At the level of functional morphemes and composition principles, we discuss a number of promising constraints, most of which require further empirical testing and/or refinement. In the realm of pragmatics, we predict (...) that Gricean mechanisms are universal, but suggest that the precise nature of presuppositions may be subject to cross-linguistic variation. Finally, we follow E.L. Keenan in concluding that the overarching universal of effability or translatability between languages cannot be upheld in its strongest form. A recurring theme throughout this survey is how much work still remains to be done in the relatively young field of cross-linguistic formal semantics. (shrink)

Along with many other languages, English has a relatively straightforward grammatical distinction between mass-occurrences of nouns and their countoccurrences. As the mass-count distinction, in my view, is best drawn between occurrences of expressions, rather than expressions themselves, it becomes important that there be some rule-governed way of classifying a given noun-occurrence into mass or count. The project of classifying noun-occurrences is the topic of Section II of this paper. Section III, the remainder of the paper, concerns the semantic differences between (...) nouns in their mass-occurrences and those in their count-occurrences. As both the name view and the mixed view are, in my opinion, subject to serious difficulties discussed in Section III.1,I defend a version of the predicate view. Traditionally, nouns in their singular count-occurrences are also analyzed as playing the semantic role of a predicate. How, then, does the predicate view preserve the intuitive difference between nouns in their mass- and those in their count-occurrences? I suggest, in Section III.2, that there are different kinds of predicates: mass-predicates, e.g. ‘is hair’, singular count-predicates, e.g. ‘is a hair’, and plural count-predicates, e.g. ‘are hairs’. Mass-predicates and count-predicates, in my view, are not reducible to each other. The remainder of Section III takes a closer look at the differences and interrelations between these different kinds of predicates. Mass-predicates and count-predicates differ from each other truth-conditionally, and these truth-conditional differences turn out to have interesting implications, in particular concerning the part-whole relation and our practices of counting. But mass- and count-predicates are also related to each other through systematic entailment relations; these entailment relations are examined in Section III.4. (shrink)

Noam Chomsky claims that we know the grammatical principles of our languages in pretty much the same sense that we know ordinary things about the world (e.g. facts), a view about linguistic knowledge that I term ''cognitivism''. In much recent philosophy of linguistics (including that sympathetic to Chomsky's general approach to language), cognitivism has been rejected in favour of an account of grammatical competence as some or other form of mental mechanism, describable at various levels of abstraction (''non-cognitivism''). I argue (...) for cognitivism and against non-cognitivism. First, I show that the distinction between competence and performance in current linguistics is as clearly made as ever it was, in spite of recent interest in linguistic processing modules. Second, I use these facts about the practice of theoretical linguistics to refute various proposals for a non-cognitivist construal of grammatical competence, and to support cognitivism by reflecting on the inapplicability of a multi-level account of linguistic competence. Cognitivism is then defended against several objections centring around the problems of rational integration and conceptualization of grammatical knowledge. Finally, the conception of competence argued for in relation to linguistics is placed in the larger context of cognitive science research and its implications for philosophy of mind. (shrink)

The empirical nature of our understanding of language is explored. I first show that there are several important and different distinctions between tacit and accessible awareness. I then present empirical evidence concerning our understanding of language. The data suggests that our awareness of sentence-meanings is sometimes merely tacit according to one of these distinctions, but is accessible according to another. I present and defend an interpretation of this mixed view. The present project is shown to impact on several diverse areas, (...) including inferential role semantics and holism, the nature of learning, and the role of linguistics in the law. (shrink)

The central claim is that the semantic knowledge exercised by people when they speak is practical knowledge. The relevant idea of practical knowledge is explicated, applied to the case of speaking, and connected with an idea of agents’ knowledge. Some defence of the claim is provided.

The paper develops a novel account of the nature and genesis of some philosophical problems, which motivates an unfamiliar form of philosophical criticism that was pioneered by the later Wittgenstein. To develop the account, the paper analyses two thematically linked sets of problems, namely problems about linguistic understanding: a set of problems Wittgenstein discusses in a core part of his Philosophical Investigations, and the ‘problem of linguistic creativity’ that is central to current philosophy of language. The paper argues that these (...) problems are generated by tacit and unwarranted presuppositions at odds with warranted beliefs the philosophers raising the problems reflectively hold at the same time. For a rigorous conceptualisation of this phenomenon, the paper develops the notion of a ‘philosophical picture’ first proposed by Wittgenstein, and specifies the particular class of philosophical problems that may be raised due to adherence to such pictures. The results motivate a new form of philosophical criticism: the systematic exposure of relevant philosophical pictures, and efforts to overcome their tacit influence on philosophical reflection. (shrink)

I argue for a cognitive architecture in which folk psychology is supported by an interface of a ToM module and the language faculty, the latter providing the former with interpreted LF structures which form the content representations of ToM states. I show that LF structures satisfy a range of key features asked of contents. I confront this account of ToM with eliminativism and diagnose and combat the thought that "success" and innateness are inconsistent with the falsity of folk psychology. I (...) show that, while my ensemble account of ToM and language refutes the culturalist presuppositions that tend to underlie eliminativist arguments, the falsity of folk psychology is consistent with the account. (shrink)

In The Quest for Reality: Subjectivism and the Metaphysics of Colour [Stroud, 2000], Barry Stroud carries out an ambitious attack on various forms of irrealism and subjectivism about color. The views he targets - those that would deny a place in objective reality to the colors - have a venerable history in philosophy. Versions of them have been defended by Galileo, Descartes, Boyle, Locke, and Hume; more recently, forms of these positions have been articulated by Williams, Smart, Mackie, Ryle, and (...) Hardin, among others. Stroud's aim is to argue not only that these writers fail to make their cases, but that no conceivable argument could ever convince us that colors are not a part of objective reality. (shrink)

Brandom's book Making It Explicit defends Davidson's claim that conceptual thought can arise only on the background of a practice of mutual interpretation, without endorsing the further view that one can be a thinker only if one has the concept of a concept. This involves giving an account of conceptual content in terms of what Brandom calls practical deontic attitudes. In this paper, I make a plea for the conclusion that these practical attitudes are best seen as intentional, but non-conceptually (...) contentful. In particular, I argue that the hypothesis that Brandom's practical deontic attitudes are non-conceptually contentful wouldn't conflict with his view that non-conceptual intentionality is merely derivative. I then explore some of the implications which this hypothesis might have with respect to various forms of «intentional ascent». (shrink)

In a recent paper, after outlining various distinguishing features of derogatory words, Jennifer Hornsby suggests that the phenomenon raises serious difficulties for inferentialism. Against Hornsby, I claim that derogatory words do not pose any insuperable problems for inferentialism, so long as it is supplemented with apparatus borrowed from Grice and Hare. Moreover, I argue, derogatory expressions pose difficulties for Hornsby's favoured alternative theory of meaning, representationalism, unless it too is conjoined with a similar Grice/Hare mechanism. So, the upshot of the (...) discussion is that, contra Hornsby, focus on derogatory expressions alone does not provide grounds for deciding between competing theories of meaning, but nevertheless serves to highlight important features that any such theory must acknowledge and incorporate. (shrink)

Externalism with regard to mental content says that in order to have certain types of intentional mental states (e.g. beliefs), it is necessary to be related to the environment in the right way.

This paper examines to what extent Davidsonian truth-theoretic semantics can give an adequate account for empty names in natural languages. It argues that the prospect is dim because of a tension between metaphysical austerity, non-vacuousness of theorems and empirical adequacy. Sainsbury (2005) proposed a Davidsonian account of empty names called ‘Reference Without Referents’ (RWR), which explicates reference in terms of reference-condition rather than referent, thus avoiding the issue of existence. This is an inspiring account. However, it meets several difficulties. First, (...) there is no non-vacuous, interpretive truth-condition available for any T-sentence containing an empty name, because by stipulation there is no way to compose a true atomic sentence using an empty name in RWR. The absence of an interpretive truth-condition implies the absence of an interpretive reference-condition. It also entails empirical inadequacy to support an interpretation because the related propositional attitude can never be truly satisfied. These considerations cast doubt on whether truth is the proper vehicle to articulate meaning. This paper suggests that we can alleviating the problem by employing truth-conditions varying across contexts of utterance, rather than just contexts of evaluation. The result is a two-dimensional model-theoretic approach to empty names. It involves a new function coined counterfactual reference and the account is compatible with both descriptivism and Millianism. (shrink)

Sentences in context have semantic contents determined by a range of factors both internal and external to speakers. I argue against the thesis that semantic content is transparent to speakers in the sense of being immediately accessible to speakers in virtue of their linguistic competence.

Proponents of the predicate view of names explain the reference of an occurrence of a name N by invoking the property of bearing N. They avoid the charge that this view involves a vicious circularity by claiming that bearing N is not itself to be understood in terms of the reference of actual or possible occurrences of N. I argue that this approach is fundamentally mistaken. The phenomenon of ‘reference transfer’ shows that an individual can come to bear a name (...) in virtue of the referential practices of a group of speakers. I develop a picture of name-bearing which captures this fact by treating the extension of name as a function of the way that extension is represented in the presuppositions of groups of speakers. I show that though there is a form of circularity inherent in this approach, it is not vicious circularity. (shrink)

Interdisciplinary investigations marry the methods and concerns of different fields. Computer science is the study of precise descriptions of finite processes; semantics is the study of meaning in language. Thus, computational semantics embraces any project that approaches the phenomenon of meaning by way of tasks that can be performed by following definite sets of mechanical instructions. So understood, computational semantics revels in applying semantics, by creating intelligent devices whose broader behavior fits the meanings of utterances, and not just their form. (...) IBM’s Watson (Ferrucci, Brown, Chu-Carroll, Fan, Gondek, Kalyanpur, Lally, Murdock, Nyberg, Prager, Schlaefer & Welty 2010) is a harbinger of the excitement and potential of this technology. (shrink)

The fundamental problem proponents of truth conditional semantics must face is to specify what role a truth theory is supposed to play within a meaning theory. The most detailed proposal for tackling this problem is the account developed by Ernest Lepore and Kirk Ludwig. However, as I will show in this paper, theories along the lines of Lepore and Ludwig do not suffice to put someone into the position to understand the objectlanguage. The fundamental problem of truth conditional semantics thus (...) remains unsolved. (shrink)

What is exemplification? A proposition that attributes a property to an object is true if the object exemplifies the property. But according to the correspondence theory, a proposition is true if the corresponding fact exists. So if the correspondence theory is correct, an exemplification of a temporal property by an object is simply the concrete circumstance of the object’s having the property. But since not all properties are temporal, not all exemplifications are circumstances, and we need to recognise timeless as (...) well as temporal facts. This distinction allows us to solve the problem of converse relations, and to give an account of the logically complex facts which deduction allows us to know. (shrink)