This book pursues the question of how and whether natural language allows for reference to abstract objects in a fully systematic way. By making full use of contemporary linguistic semantics, it presents a much greater range of linguistic generalizations than has previously been taken into consideration in philosophical discussions, and it argues for an ontological picture is very different from that generally taken for granted by philosophers and semanticists alike. Reference to abstract objects such as properties, numbers, (...) propositions, and degrees is considerably more marginal than generally held. (shrink)

This is a review of From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory, written by Hans Kamp and Uwe Reyle and published by Kluwer Academic Publishers in 1993.

Contemporary natural-language semantics began with the assumption that the meaning of a sentence could be modeled by a single truth condition, or by an entity with a truth-condition. But with the recent explosion of dynamic semantics and pragmatics and of work on non- truth-conditional dimensions of linguistic meaning, we are now in the midst of a shift away from a truth-condition-centric view and toward the idea that a sentence’s meaning must be spelled out in terms of (...) its various roles in conversation. This communicative turn in semantics raises historical questions: Why was truth-conditional semantics dominant in the first place, and why were the phenomena now driving the communicative turn initially ignored or misunderstood by truth-conditional semanticists? I offer a historical answer to both questions. The history of natural-language semantics—springing from the work of Donald Davidson and Richard Montague—began with a methodological toolkit that Frege, Tarski, Carnap, and others had created to better understand artificial languages. For them, the study of linguistic meaning was subservient to other explanatory goals in logic, philosophy, and the foundations of mathematics, and this subservience was reflected in the fact that they idealized away from all aspects of meaning that get in the way of a one-to-one correspondence between sentences and truth-conditions. The truth-conditional beginnings of natural- language semantics are best explained by the fact that, upon turning their attention to the empirical study of natural language, Davidson and Montague adopted the methodological toolkit assembled by Frege, Tarski, and Carnap and, along with it, their idealization away from non-truth-conditional semantic phenomena. But this pivot in explana- tory priorities toward natural language itself rendered the adoption of the truth-conditional idealization inappropriate. Lifting the truth-conditional idealization has forced semanticists to upend the conception of linguistic meaning that was originally embodied in their methodology. (shrink)

The essay "Semantics for Natural Languages" is here translated from a collection of Davidson's essays published under the title "Inquiries into Truth and Interpretation", Claredon Press, Oxford 1984.

a review of Keenan, ed. *Formal Semantics of Natural Language*.

Propositions have played a central role in philosophy of language since Frege. I will argue that the notion of a proposition, because of a range of philosophical problems as well as problems of linguistic adequacy, should be replaced by a different notion, for almost all the roles for it has been invoked, namely by the notion of an attitudinal object. Attitudinal objects are entities like ‘John’s belief that S’, ‘John’s claim that S’, and ‘John’s desire to do X’. Attitudinal (...) objects are closely related to, yet ontologically distinct from mental events and speech acts. (shrink)

This paper gives an outline of truthmaker semantics for natural language against the background of standard possible-worlds semantics. It develops a truthmaker semantics for attitude reports and deontic modals based on an ontology of attitudinal and modal objects and on a semantic function of clauses as predicates of such objects. It also présents new motivations for 'object-based truthmaker semantics' from intensional transitive verbs such as ‘need’, ‘look for’, ‘own’, and ‘buy’ and gives an outline (...) of their semantics. This paper is a commissioned 'target' article, with commentaries by W. Davis, B. Arsenijevic, K. Moulton, K. Liefke, M. Kaufmann, R. Matthews, P. Portner and A. Rubinstein, P. Elliott, G. Ramchand and my reply. (shrink)

Vector models of language are based on the contextual aspects of language, the distributions of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, compositional properties of words and how they compose to form sentences. In the truth conditional approach, the denotation of a sentence determines its truth conditions, which can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In (...) the vector models, the degree of co-occurrence of words in context determines how similar the meanings of words are. In this paper, we put these two models together and develop a vector semantics for language based on the simply typed lambda calculus models of natural language. We provide two types of vector semantics: a static one that uses techniques familiar from the truth conditional tradition and a dynamic one based on a form of dynamic interpretation inspired by Heim’s context change potentials. We show how the dynamic model can be applied to entailment between a corpus and a sentence and provide examples. (shrink)

Progress in philosophy is difficult to achieve because our methods are evidentially and rhetorically weak. In the last two decades, experimental philosophers have begun to employ the methods of the social sciences to address philosophical questions. However, the adequacy of these methods has been called into question by repeated failures of replication. Experimental philosophers need to incorporate more robust methods to achieve a multi-modal perspective. In this chapter, we describe and showcase cutting-edge methods for data-mining and visualization. Big data is (...) a useful investigatory tool for moral psychology, and it fits well with the Ramsification method the first author advances in a series of recent papers. The guiding insight of these papers is that we can infer the meaning and structure of concepts from patterns of assertions and inferential associations in natural language. (shrink)

This paper elaborates distinctions between a core and a periphery in the ontological and the conceptual domain associated with natural language. The ontological core-periphery distinction is essential for natural language ontology and is the basis for the central thesis of my 2013 book Abstract Objects and the Semantics of Natural Language, namely that natural language permits reference to abstract objects in its periphery, but not its core.

In this article, I explore the consequences of two commonsensical premises in semantics and epistemology: (1) natural language is a complex system rooted in the communal life of human beings within a given environment; and (2) linguistic knowledge is essentially dependent on natural language. These premises lead me to emphasize the process-socio-environmental character of linguistic meaning and knowledge, from which I proceed to analyse a number of long-standing philosophical problems, attempting to throw new light upon (...) them on these grounds. In particular, I criticize the use of expressions such as ‘absolute truth’, ‘absolute existence’ and ‘the thing in itself’, arguing that they lead to what I call ‘the ultralinguistic paradox’ (a fatal antinomy). In the same way, I review a number of mainstream topics in philosophical semantics, epistemology and metaphysics, reformulating them in terms much more naturalistic – and less mysterious – than usual. (shrink)

This essay considers what it means to understand natural language and whether a computer running an artificial-intelligence program designed to understand natural language does in fact do so. It is argued that a certain kind of semantics is needed to understand natural language, that this kind of semantics is mere symbol manipulation (i.e., syntax), and that, hence, it is available to AI systems. Recent arguments by Searle and Dretske to the effect that (...) computers cannot understand natural language are discussed, and a prototype natural-language-understanding system is presented as an illustration. (shrink)

In contemporary natural languages semantics one will often see the use of special brackets to enclose a linguistic expression, e.g. ⟦carrot⟧. These brackets---so-called denotation brackets or semantic evaluation brackets---stand for a function that maps a linguistic expression to its "denotation" or semantic value (perhaps relative to a model or other parameters). Even though this notation has been used in one form or another since the early development of natural language semantics in the 1960s and 1970s, (...) Montague himself didn't make use of this notation in his series of groundbreaking papers on semantics. That raises the question: When was the ⟦.⟧-notation introduced to semantics? This note answers that question. (shrink)

The aim of natural language ontology is to uncover the ontological categories and structures that are implicit in the use of natural language, that is, that a speaker accepts when using a language. This article aims to clarify what exactly the subject matter of natural language ontology is, what sorts of linguistic data it should take into account, how natural language ontology relates to other branches of metaphysics, in what ways (...) class='Hi'>natural language ontology is important, and what may be distinctive of the ontological categories and structures reflected in natural language. (shrink)

Ontology has been proposed as a solution to the 'Tower of Babel' problem that threatens the semantic interoperability of information systems constructed independently for the same domain. In information systems research and applications, ontologies are often implemented by formalizing the meanings of words from natural languages. However, words in different natural languages sometimes subdivide the same domain of reality in terms of different conceptual categories. If the words and their associated concepts in two natural languages, or even (...) in two terminological traditions within the same language, do not have common referents in the real world, an ontology based on word meanings will inherit the 'Tower of Babel' problem from the languages involved, rather than solve it. In this paper we present evidence from a preliminary comparison of landscape terms in English with those in the Yindjibarndi language of northwestern Australia demonstrating that this problem is not just hypothetical. Some possible solutions are suggested. (shrink)

It is common in contemporary metaphysics to distinguish two levels of ontology: the ontology of ordinary objects and the ontology of fundamental reality. This papers argues that natural language reflects not only the ontology of ordinary objects, but also a language-driven ontology, which is involved in the mass-count distinction and part-structure-sensitive semantic selection, as well as perhaps the light ontology of pleonastic entities. The paper recasts my older theory of situated part structures without situations, making use of (...) a primitive notion of unity. (shrink)

This paper gives a characterization of the ontology implicit in natural language and the entities it involves, situates natural language ontology within metaphysics, and responds to Chomskys' dismissal of externalist semantics.

Objective. Conceptualization of the definition of space as a semantic unit of language consciousness. -/- Materials & Methods. A structural-ontological approach is used in the work, the methodology of which has been tested and applied in order to analyze the subject matter area of psychology, psycholinguistics and other social sciences, as well as in interdisciplinary studies of complex systems. Mathematical representations of space as a set of parallel series of events (Alexandrov) were used as the initial theoretical basis of (...) the structural-ontological analysis. In this case, understanding of an event was considered in the context of the definition adopted in computer science – a change in the object properties registered by the observer. -/- Results. The negative nature of space realizes itself in the subject-object structure, the components interaction of which is characterized by a change – a key property of the system under study. Observer’s registration of changes is accompanied by spatial focusing (situational concretization of the field of changes) and relating of its results with the field of potentially distinguishable changes (subjective knowledge about «changing world»). The indicated correlation performs the function of space identification in terms of recognizing its properties and their subjective significance, depending on the features of the observer`s motivational sphere. As a result, the correction of the actual affective dynamics of the observer is carried out, which structures the current perception of space according to principle of the semantic fractal. Fractalization is a formation of such a subjective perception of space, which supposes the establishment of semantic accordance between the situational field of changes, on the one hand, and the worldview, as well as the motivational characteristics of the observer, on the other. -/- Conclusions. Performed structural-ontological analysis of the system formed by the interaction of the perceptual function of the psyche and the semantic field of the language made it possible to conceptualize the space as a field of changes potentially distinguishable by the observer, structurally organized according to the principle of the semantic fractal. The compositional features of the fractalization process consist in fact that the semantic fractal of space is relevant to the product of the difference between the situational field of changes and the field of potentially distinguishable changes, adjusted by the current configuration of the observer`s value-needs hierarchy and reduced by his actual affective dynamics. (shrink)

This paper argues for the philosophical and semantic importance of attitudinal objects, entities such as judgments, claims, beliefs, demands, and desires, as an ontological category distinct from that of events and states and from that of propositions. The paper presents significant revisions and refinements of the notion of an attitudinal object as it was developed in my previous work.

Semantics plays a role in grammar in at least three guises. (A) Linguists seek to account for speakers‘ knowledge of what linguistic expressions mean. This goal is typically achieved by assigning a model theoretic interpretation in a compositional fashion. For example, *No whale flies* is true if and only if the intersection of the sets of whales and fliers is empty in the model. (B) Linguists seek to account for the ability of speakers to make various inferences based on (...) semantic knowledge. For example, *No whale flies* entails *No blue whale flies* and *No whale flies high*. (C) The wellformedness of a variety of syntactic constructions depends on morpho-syntactic features with a semantic flavor. For example, *Under no circumstances would a whale fly* is grammatical, whereas *Under some circumstances would a whale fly* is not, corresponding to the downward vs. upward monotonic features of the preposed phrases. It is usually assumed that once a compositional model theoretic interpretation is assigned to all expressions, its fruits can be freely enjoyed by inferencing and syntax. What place might proof theory have in this picture? (shrink)

This thesis argues for two main points concerning the philosophy of natural language semantics. Firstly, that the objects of assertion are distinct from the entities appealed to in the compositional rules of natural language semantics. Secondly, natural languages contain context-shifting operators known as "monsters". In fact, it will be shown that these theses are simply two sides of the same coin.

The semantic rules governing natural language quantifiers (e.g. "all," "some," "most") neither coincide with nor resemble the semantic rules governing the analogues of those expressions that occur in the artificial languages used by semanticists. Some semanticists, e.g. Peter Strawson, have put forth data-consistent hypotheses as to the identities of the semantic rules governing some natural-language quantifiers. But, despite their obvious merits, those hypotheses have been universally rejected. In this paper, it is shown that those hypotheses are (...) indeed correct. Moreover, data-consistent hypotheses are put forth as to the identities of the semantic rules governing the words "most" and "many," the semantic rules governing which semanticists have thus far been unable to identify. The points made in this paper are anticipated in a paper, published in the same issue of the Journal of Pragmatics, by Andrzej Boguslawski. (shrink)

The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual semantic connection of (...) sentences, above all the connection of sentences that speak about the truth of other sentences and sentences whose truth they speak about. Truth paradoxes show that there is a problem in our basic understanding of the language meaning and they are a test for any proposed solution. It is important to make a distinction between the normative and analytical aspect of the solution. The former tries to ensure that paradoxes will not emerge. The latter tries to explain paradoxes. Of course, the practical aspect of the solution is also important. It tries to ensure a good framework for logical foundations of knowledge, for related problems in Artificial Intelligence and for the analysis of the natural language. Tarski’s analysis emphasized the T-scheme as the basic intuitive principle for the concept of truth, but it also showed its inconsistency with the classical logic. Tarski’s solution is to preserve the classical logic and to restrict the scheme: we can talk about the truth of sentences of a language only inside another essentially richer metalanguage. This solution is in harmony with the idea of reflexivity of thinking and it has become very fertile for mathematics and science in general. But it has normative nature | truth paradoxes are avoided in a way that in such frame we cannot even express paradoxical sentences. It is also too restrictive because, for the same reason we cannot express a situation in which there is a circular reference of some sentences to other sentences, no matter how common and harmless such a situation may be. Kripke showed that there is no natural restriction to the T-scheme and we have to accept it. But then we must also accept the riskiness of sentences | the possibility that under some circumstances a sentence does not have the classical truth value but it is undetermined. This leads to languages with three-valued semantics. Kripke did not give any definite model, but he gave a theoretical frame for investigations of various models | each fixed point in each three-valued semantics can be a model for the concept of truth. The solutions also have normative nature | we can express the paradoxical sentences, but we escape a contradiction by declaring them undetermined. Such a solution could become an analytical solution only if we provide the analysis that would show in a substantial way that it is the solution that models the concept of truth. Kripke took some steps in the direction of finding an analytical solution. He preferred the strong Kleene three-valued semantics for which he wrote it was "appropriate" but did not explain why it was appropriate. One reason for such a choice is probably that Kripke finds paradoxical sentences meaningful. This eliminates the weak Kleene three valued semantics which corresponds to the idea that paradoxical sentences are meaningless, and thus indeterminate. Another reason could be that the strong Kleene three valued semantics has the so-called investigative interpretation. According to this interpretation, this semantics corresponds to the classical determination of truth, whereby all sentences that do not have an already determined value are temporarily considered indeterminate. When we determine the truth value of these sentences, then we can also determine the truth value of the sentences that are composed of them. Kripke supplemented this investigative interpretation with an intuition about learning the concept of truth. That intuition deals with how we can teach someone who is a competent user of an initial language (without the predicate of truth T) to use sentences that contain the predicate T. That person knows which sentences of the initial language are true and which are not. We give her the rule to assign the T attribute to the former and deny that attribute to the latter. In that way, some new sentences that contain the predicate of truth, and which were indeterminate until then, become determinate. So the person gets a new set of true and false sentences with which he continues the procedure. This intuition leads directly to the smallest fixed point of strong Kleene semantics as an analytically acceptable model for the logical notion of truth. However, since this process is usually saturated only on some transfinite ordinal, this intuition, by climbing on ordinals, increasingly becomes a metaphor. This thesis is an attempt to give an analytical solution to truth paradoxes. It gives an analysis of why and how some sentences lack the classical truth value. The starting point is basic intuition according to which paradoxical sentences are meaningful (because we understand what they are talking about well, moreover we use it for determining their truth values), but they witness the failure of the classical procedure of determining their truth value in some "extreme" circumstances. Paradoxes emerge because the classical procedure of the truth value determination does not always give a classically supposed (and expected) answer. The analysis shows that such an assumption is an unjustified generalization from common situations to all situations. We can accept the classical procedure of the truth value determination and consequently the internal semantic structure of the language, but we must reject the universality of the exterior assumption of a successful ending of the procedure. The consciousness of this transforms paradoxes to normal situations inherent to the classical procedure. Some sentences, although meaningful, when we evaluate them according to the classical truth conditions, the classical conditions do not assign them a unique value. We can assign to them the third value, \undetermined", as a sign of definitive failure of the classical procedure. An analysis of the propagation of the failure in the structure of sentences gives exactly the strong Kleene three-valued semantics, not as an investigative procedure, as it occurs in Kripke, but as the classical truth determination procedure accompanied by the propagation of its own failure. An analysis of the circularities in the determination of the classical truth value gives the criterion of when the classical procedure succeeds and when it fails, when the sentences will have the classical truth value and when they will not. It turns out that the truth values of sentences thus obtained give exactly the largest intrinsic fixed point of the strong Kleene three-valued semantics. In that way, the argumentation is given for that choice among all fixed points of all monotone three-valued semantics for the model of the logical concept of truth. An immediate mathematical description of the fixed point is given, too. It has also been shown how this language can be semantically completed to the classical language which in many respects appears a natural completion of the process of thinking about the truth values of the sentences of a given language. Thus the final model is a language that has one interpretation and two systems of sentence truth evaluation, primary and final evaluation. The language through the symbol T speaks of its primary truth valuation, which is precisely the largest intrinsic fixed point of the strong Kleene three valued semantics. Its final truth valuation is the semantic completion of the first in such a way that all sentences that are not true in the primary valuation are false in the final valuation. (shrink)

A semantics of pictorial representation should provide an account of how pictorial signs are associated with the contents they express. Unlike the familiar semantics of spoken languages, this problem has a distinctively spatial cast for depiction. Pictures themselves are two-dimensional artifacts, and their contents take the form of pictorial spaces, perspectival arrangements of objects and properties in three dimensions. A basic challenge is to explain how pictures are associated with the particular pictorial spaces they express. Inspiration here comes (...) from recent proposals that analyze depiction in terms of geometrical projection. In this essay, I will argue that, for a central class of pictures, the projection-based theory of depiction provides the best explanation for how pictures express pictorial spaces, while rival perceptual and resemblance theories fall short. Since the composition of pictorial space is itself the basis for all other aspects of pictorial content, the proposal provides a natural foundation for further pictorial semantics. (shrink)

The Realist that investigates questions of ontology by appeal to the quantificational structure of language assumes that the semantics for the privileged language of ontology is externalist. I argue that such a language cannot be (some variant of) a natural language, as some Realists propose. The flexibility exhibited by natural language expressions noted by Chomsky and others cannot obviously be characterized by the rigid models available to the externalist. If natural languages (...) are hostile to externalist treatments, then the meanings of natural language expressions serve as poor guides for ontological investigation, insofar as their meanings will fail to determine the referents of their constituents. This undermines the Realist’s use of natural languages to settle disputes in metaphysics. (shrink)

There has been a recent surge of work on deontic modality within philosophy of language. This work has put the deontic logic tradition in contact with natural language semantics, resulting in significant increase in sophistication on both ends. This chapter surveys the main motivations, achievements, and prospects of this work.

The Monist’s call for papers for this issue ended: “if formalism is true, then it must be possible in principle to mechanize meaning in a conscious thinking and language-using machine; if intentionalism is true, no such project is intelligible”. We use the Grelling-Nelson paradox to show that natural language is indefinitely extensible, which has two important consequences: it cannot be formalized and model theoretic semantics, standard for formal languages, is not suitable for it. We also point (...) out that object-object mapping theories of semantics, the usual account for the possibility of non intentional semantics, doesn’t seem able to account for the indefinitely extensible productivity of natural language. (shrink)

This paper gives a perspectival overview of the semantics of potential property-referring terms and presents new and surprising generalizations about explicit property-referring terms like 'the property of being wise', which raise fundamental issues regarding ontology and learnability and a core-periphery distinction in natural language ontology.

In recent work, Williamson has defended a suggestive account of assertion. Williamson claims that the following norm or rule (the knowledge rule) is constitutive of assertion, and individuates it: (KR) One must ((assert p) only if one knows p) Williamson is not directly concerned with the semantics of assertion-markers, although he assumes that his view has implications for such an undertaking; he says: “in natural languages, the default use of declarative sentences is to make assertions” (op. cit., 258). (...) In this paper I will explore Williamson’s view from this perspective, i.e., in the light of issues regarding the semantics of assertion-markers. I will end up propounding a slightly different account, on which, rather than KR, what is constitutive and individuating of assertion is an audience-involving transmission of knowledge rule: (TKR) One must ((assert p) only if one’s audience comes thereby to be in a position to know p) I will argue that TKR, of which KR is an illocutionary consequence (but not the other way around), has all the virtues that Williamson claims for his account and no new defect. (shrink)

In his new book, Logical Form, Andrea Iacona distinguishes between two different roles that have been ascribed to the notion of logical form: the logical role and the semantic role. These two roles entail a bifurcation of the notion of logical form. Both notions of logical form, according to Iacona, are descriptive, having to do with different features of natural language sentences. I agree that the notion of logical form bifurcates, but not that the logical role is merely (...) descriptive. In this paper, I focus on formalization, a process by which logical form, on its logical role, is attributed to natural language sentences. According to some, formalization is a form of explication, and it involves normative, pragmatic, as well as creative aspects. I present a view by which formalization involves explicit commitments on behalf of a reasoner or an interpreter, which serve the normative grounds for the evaluation of a given text. In previous work, I proposed the framework of semantic constraints for the explication of logical consequence. Here, I extend the framework to include formalization constraints. The various constraints then serve the role of commitments. I discuss specific issues raised by Iacona concerning univocality, co-reference and equivocation, and I show how our views on these matters diverge as a result of our different starting assumptions. (shrink)

This paper will outline a novel semantics of verbs of saying and of quotation based on Austin’s (1962) distinction among levels of linguistic acts (illocutionary, locutionary, rhetic, phatic, and phonetic acts). It will propose a way of understanding the notion of a rhetic act and argue that it is well-reflected in the semantics of natural language. The paper will furthermore outline a novel, unified and compositional semantics of quotation which is guided by two ideas. First, (...) quotations convey properties related to lower-level (phonetic or phatic) linguistic acts; second, such meanings of quotations are strictly based on syntactic structure, namely a lower-level (phonetic, phonological or morpho-syntactic) structure as part of the syntactic structure that is input to semantic interpretation. Such lower-level linguistic structures will contribute properties of utterances, to the semantic composition of the sentence, in one way or another. (shrink)

This paper challenges the standard a priori/a posteriori distinction by looking at statements in which comprehension requires more that merely passive awareness of objects and their properties. A proposal is made to add to the traditional categories of knowledge, the “a positio,” characterized by active, intentional, and collective involvement of language users in the existence and nature of objects of reference needed for the truth of statements about various kinds of artifacts, broadly construed. The conditions of understanding statements about (...) institutions, institutional activity and standards of measurement are considered in some detail. (shrink)

George Berkeley's linguistic account of sense perception is one of the most central tenets of his philosophy. It is intended as a solution to a wide range of critical issues in both metaphysics and theology. However, it is not clear from Berkeley's writings just how this ‘universal language of the Author of Nature’ is to be interpreted. This paper discusses the nature of the theory of sense perception as language, together with its metaphysical and theological motivations, then proceeds (...) to develop an account of the semantics of the perceptual language, using Berkeley's theory of reference for human language as a guide. (shrink)

يناقش البحث إحدى روافد مشكلة المعنى، أو بالأحرى لإحدى مشكلاتها الفرعية التي ألقت بظلالها على معالجات الفلاسفة، لا لطبيعة المعنى فحسب، ولكن أيضًا لشروط صدق أية جملة في اللغات الطبيعية، وما يتبع ذلك من إشكالات تتعلق باستخدام اللغة في كافة مواقفنا الحياتية تقريبًا. تلك هي مشكلة المؤشرات اللفظية ذات الدلالة المباشرة، وكيف يمكن أن تؤدى إلى تعيينٍ صحيح للمعنى حين تُنقل عن ألسنة الغير لتتحــول إلــى منطوقات غير مباشرة.

This takes a closer look at the actual semantic behavior of apparent truth predicates in English and re-evaluates the way they could motivate particular philosophical views regarding the formal status of 'truth predicates' and their semantics. The paper distinguishes two types of 'truth predicates' and proposes semantic analyses that better reflect the linguistic facts. These analyses match particular independently motivated philosophical views.

Abstract The purpose of this paper is twofold: (i) we will argue that formal semantics might have faltered due to its failure in distinguishing between two fundamentally very different types of concepts, namely ontological concepts, that should be types in a strongly-typed ontology, and logical concepts, that are predicates corresponding to properties of, and relations between, objects of various ontological types; and (ii) we show that accounting for these differences amounts to a new formal semantics; one that integrates (...) lexical and compositional semantics in one coherent framework and one where formal semantics is embedded with a strongly typed ontology; an ontology that reflects our commonsense knowledge of the world and the way we talk about it in ordinary language. We will show how in such a framework a number of challenges in the semantics of natural language are adequately and systematically treated. (shrink)

My modest aim in this paper is to prove certain relations between some type of hyper-intensional operators, namely context shifting operators, and compositionality in natural languages. Various authors (e.g. von Fintel & Matthewson 2008; Stalnaker 2014) have argued that context-shifting operators are incompatible with compositionality. In fact, some of them understand Kaplan’s (1989) famous ban on context-shifting operators as a constraint on compositionality. Others, (e.g. Rabern 2013) take contextshifting operators to be compatible with compositionality but, unfortunately, do not provide (...) a proof, or an argument in favor of their position. The aim of this paper is to do precisely that. Additionally, I provide a new proof that compositionality for propositional content (intension) is a proper generalization of compositionality for character (hyper-intensions). (shrink)

This chapter argues that special quantifiers such as 'something' when occurring in argument position are not ordinary or substitutional quantifiers; rather they have a reifying force introducing a domain of tropes or kinds of tropes to quantify over.

The semantic function of the modifier 'together' in adnominal position has generally been considered to be that of preventing a distributive reading of the predicate. This paper will argue that this view is mistaken. The semantic function of adnominal 'together' rather is that of inducing a cumulative measurement of the group that together is associated with. The measurement-based analysis of adnominal together that I propose can also, with some modifications, be extended to adverbial occurrences of together.

Inquiry into the meaning of logical terms in natural language (‘and’, ‘or’, ‘not’, ‘if’) has generally proceeded along two dimensions. On the one hand, semantic theories aim to predict native speaker intuitions about the natural language sentences involving those logical terms. On the other hand, logical theories explore the formal properties of the translations of those terms into formal languages. Sometimes, these two lines of inquiry appear to be in tension: for instance, our best logical investigation (...) into conditional connectives may show that there is no conditional operator that has all the properties native speaker intuitions suggest if has. Indicative conditionals have famously been the source of one such tension, ever since the triviality proofs of both Lewis (1976) and Gibbard (1981) established conclusions which are in prima facie tension with ordinary judgments about natural language indicative conditionals. In a recent series of papers, Branden Fitelson has strengthened both triviality results (Fitelson 2013, 2015, 2016), revealing a common culprit: a logical schema known as IMPORT-EXPORT. Fitelson’s results focus the tension between the logical results and ordinary judgments, since IMPORT-EXPORT seems to be supported by intuitions about natural language. In this paper, we argue that the intuitions which have been taken to support IMPORT-EXPORT are really evidence for a closely related, but subtly different, principle. We show that the two principles are independent by showing how, given a standard assumption about the conditional operator in the formal language in which IMPORT-EXPORT is stated, many existing theories of indicative conditionals validate one, but not the other. Moreover, we argue that once we clearly distinguish these principles, we can use propositional anaphora to show that IMPORT-EXPORT is in fact not valid for natural language indicative conditionals (given this assumption about the formal conditional operator). This gives us a principled and independently motivated way of rejecting a crucial premise in many triviality results, while still making sense of the speaker intuitions which appeared to motivate that premise. We suggest that this strategy has broad application and an important lesson: in theorizing about the logic of natural language, we must pay careful attention to the translation between the formal languages in which logical results are typically proved, and natural languages which are the subject matter of semantic theory. (shrink)

According to the thesis of semantic underdetermination, most sentences of a natural language lack a definite semantic interpretation. This thesis supports an argument against the use of natural language as an instrument of thought, based on the premise that cognition requires a semantically precise and compositional instrument. In this paper we examine several ways to construe this argument, as well as possible ways out for the cognitive view of natural language in the introspectivist version (...) defended by Carruthers. Finally, we sketch a view of the role of language in thought as a specialized tool, showing how it avoids the consequences of semantic underdetermination. (shrink)

One of the main motivations for having a compositional semantics is the account of the productivity of natural languages. Formal languages are often part of the account of productivity, i.e., of how beings with finite capaci- ties are able to produce and understand a potentially infinite number of sen- tences, by offering a model of this process. This account of productivity con- sists in the generation of proofs in a formal system, that is taken to represent the way (...) speakers grasp the meaning of an indefinite number of sentences. The informational basis is restricted to what is represented in the lexicon. This constraint is considered as a requirement for the account of productivity, or at least of an important feature of productivity, namely, that we can grasp auto- matically the meaning of a huge number of complex expressions, far beyond what can be memorized. However, empirical results in psycholinguistics, and especially particular patterns of ERP, show that the brain integrates informa- tion of different sources very fast, without any felt effort on the part of the speaker. This shows that formal procedures do not explain productivity. How- ever, formal models are still useful in the account of how we get at the seman- tic value of a complex expression, once we have the meanings of its parts, even if there is no formal explanation of how we get at those meanings. A practice-oriented view of modeling gives an adequate interpretation of this re- sult: formal compositional semantics may be a useful model for some ex- planatory purposes concerning natural languages, without being a good model for dealing with other explananda. (shrink)

This paper explores some ways how perceptual-cognitive accounts of anorexia can benefit from philosophy. The first section focuses on the three dimensions of anorexia most open to a contribution from philosophy: the dimensions of language, perception and cognition. In the second section, I offer a brief overview of what philosophy has to say regarding these dimensions, especially as they relate to two crucial issues: introspection and meaning. I draw from current philosophy of language, especially from the arguments against (...) using internal perception as a model for the way we express our own bodily states. I draw also from current philosophy of interpretation, especially from debates concerning the criteria for handling dialogical misunderstanding. I use these insights to expose some dangers in assuming and working with oversimplified accounts of introspection and meaning. I then suggest refined and updated accounts and examine their applicability and usefulness in the diagnosis and treatment of anorexia. (shrink)

Since 1976 Hilary Putnam has on many occasions proposed an argument, founded on some model-theoretic results, to the effect that any philosophical programme whose purpose is to naturalize semantics would fail to account for an important feature of every natural language, the determinacy of reference. Here, after having presented the argument, I will suggest that it does not work, because it simply assumes what it should prove, that is that we cannot extend the metatheory: Putnam appears to (...) think that all we may determinately say about the relations between words and entities in the world is what the model theory tells us, but he has never offered justifications for that. At the end of the article, I will discuss the apparently reliable intuition that seems to me to be at the root of the argument, that is that, given a formal theory, there is an infinite number of ways of connecting it to, or of projecting it onto, the world. I will suggest that we should resist this intuition, because it rests on a very doubtful notion of world, which assumes that for any class of objects there is a corresponding property. (shrink)

Human mind and human body have been separated from each other as belonging to familiar different categories. But what if we are supposed to admit a category of bodily posture? This is a paper to advance a thesis that mental content in bodily posture is a basis to integrate mind and body. First, what is the basis to claim that there is such a thing as a bodily posture? We humans all communicate each other not only through an ordinary (...) class='Hi'>language but also through human postures. Often human postures are much more efficient ways of expressing of ourselves and of understanding each other. Affirmation of this is more natural than its denial. -/- Second, human postures have a mental content. Nodding expresses an agreement to what is suggested where turning indicates disapproval or ignorance. Nodding and turning are physical acts. And so far as they are acts they carry mental contents. But it is important that we do correctly understand the mental contents in such acts. Often mental acts have been taken to be subjective or solipsistic. But contemporary discussions on mental content indicate that mental content carries a wide context rather than a narrow one. If so, this would help us to see how body and mind integrate themselves in the human conception of ourselves. (shrink)

The logicality of language is the hypothesis that the language system has access to a ‘natural’ logic that can identify and filter out as unacceptable expressions that have trivial meanings—that is, that are true/false in all possible worlds or situations in which they are defined. This hypothesis helps explain otherwise puzzling patterns concerning the distribution of various functional terms and phrases. Despite its promise, logicality vastly over-generates unacceptability assignments. Most solutions to this problem rest on specific stipulations (...) about the properties of logical form—roughly, the level of linguistic representation which feeds into the interpretation procedures—and have substantial implications for traditional philosophical disputes about the nature of language. Specifically, contextualism and semantic minimalism, construed as competing hypotheses about the nature and degree of context-sensitivity at the level of logical form, suggest different approaches to the over-generation problem. In this paper, I explore the implications of pairing logicality with various forms of contextualism and semantic minimalism. I argue that to adequately solve the over-generation problem, logicality should be implemented in a constrained contextualist framework. (shrink)

This paper tries to determine the philosophical nature of language, its functions, structure and content. It also explains the concept of natural language, ordinary and ideal language i.e. how there is a need of artificial perfect logical language without errors and unclearness in that language. This paper further shows the logical form of language with its syntactical, semantical, innate and acquired criteria for the evaluation of the languages. It deals with the analysis of (...) language to clear what is unclear, to know what is unknown, to make definite what is vague. In this paper I used the method; logical method for interpretation and argumentation, analytical method for simplification, and critical method to investigate the real domain of language. This paper does not deal with ordinary functions of the language but it deals with the conceptual and modular functions of the language. The fundamental aim of this written up is to determine the analytical approach of Wittgenstein to sketch the ‘language as a tool to discuss the state of affairs or facts of the worlds that is also what philosophy does. This paper describes the contributions of rationalism and empiricism in the field of knowing the truths of language. (shrink)

There is a wealth of resources— ideas, insights, discoveries, inventions, traditions, cultures, languages, arts, religions, sciences, narratives, stories, poems, customs and norms, music and songs, games and personal experiences, and advertisements—that we produce, curate, consume, transmit, and inherit as humans. This wealth, which I define as semantic capital, gives meaning to, and makes sense of, our own existence and the world surrounding us. It defines who we are and enables humans to develop an individual and social life. This paper discusses (...) the shift from analog to digital semantic capital, and the extent to which this might affect the semanticisation of our identities, our lives and our realities. -/- . (shrink)

A concrete proposal is presented as to how semantics should be naturalized. Rather than attempting to naturalize propositions, they are treated as abstract entities that index concrete cognitive states. In turn the relevant concrete cognitive states are identified via perceptual classifications of worldly states, with the aid of an interactive theory of perception. The approach enables a broadly realist theory of propositions, truth and cognitive states to be preserved, with propositions functioning much as abstract mathematical constructs do in the (...) nonsemantic sciences, but with a much more specific propositional indexing scheme than previous naturalistic proposals were able to achieve. (shrink)

For any natural (human) or formal (mathematical) language L we know that an expression X of language L is true if and only if there are expressions Γ of language L that connect X to known facts. -/- By extending the notion of a Well Formed Formula to include syntactically formalized rules for rejecting semantically incorrect expressions we recognize and reject expressions that evaluate to neither True nor False.