Whether a predicate is a referential expression depends upon what reference is conceived to be. Even if it is granted that reference is a relation between words and worldly items, the referents of expressions being the items to which they are so related, this still leaves considerable scope for disagreement about whether predicates refer. One of Frege's great contributions to the philosophy of language was to introduce an especially liberal conception of reference relative to which it is unproblematic to suppose (...) that predicates are referring expressions. According to this liberal conception, each significant expression in a language has its own distinctive semantic role or power, a power to effect the truth-value of the sentences in which it occurs. (shrink)

Whether a predicate is a referential expression depends upon what reference is conceived to be. Even if it is granted that reference is a relation between words and worldly items, the referents of expressions being the items to which they are so related, this still leaves considerable scope for disagreement about whether predicates refer. One of Frege's great contributions to the philosophy of language was to introduce an especially liberal conception of reference relative to which it is unproblematic to suppose (...) that predicates are referring expressions. According to this liberal conception, each significant expression in a language has its own distinctive semantic role or power, a power to effect the truth-value of the sentences in which it occurs. (shrink)

Simple sentences containing predicates like "tasty" and "beautiful" typically suggest that the speaker has first-hand knowledge of the item being evaluated. I consider two explanations of this acquaintance inference: a presuppositional approach and a pragmatic-epistemic approach. The presuppositional approach has a number of virtues, but runs into trouble because the acquaintance inference has a very different projection pattern from that of standard presuppositions. The pragmatic-epistemic approach accounts for the main data discussed in the paper, but faces challenges of its own.

When, for example, we say of something that it ‘is an object’, or ‘is an event’, or ‘is a property’, we are engaging in categorial predication: we are assigning something to a certain ontological category. Ontologicalcategorization is clearly a type of classification, but it differs radically from the types of classification that are involved in thetaxonomic practices of empirical sciences, as when a physicist saysof a certain particle that it ‘is an electron’, or when a zoologist saysof a certain (...) animal that it ‘is a mammal’, or when a meteorologist says of a certain weather‐phenomenon that it ‘is a hurricane’. Classifications of the latter types presuppose that the items being classified have already been assigned to appropriate ontologicalcategories, such as the categories of object, species, or event. What do categorial predications mean? How are their truth‐conditions to be determined, and how can those truth‐conditions be known to be satisfied? Do they have truthmakers? Questions like these are amongst those addressed in the present paper. (shrink)

Whether a predicate is a referential expression depends upon what reference is conceived to be. Even if it is granted that reference is a relation between words and worldly items, the referents of expressions being the items to which they are so related, this still leaves considerable scope for disagreement about whether predicates refer. One of Frege's great contributions to the philosophy of language was to introduce an especially liberal conception of reference relative to which it is unproblematic to suppose (...) that predicates are referring expressions. According to this liberal conception, each significant expression in a language has its own distinctive semantic role or power, a power to effect the truth-value of the sentences in which it occurs. (shrink)

Indexicality is a feature of predicates and predicate components (verbs, adjectives, adverbs and the like) as well as of referring expressions. With classic referring indexicals such as 'I' or 'that' a distinctive rule takes us from token and context to some item present in the content which is the semantic correlate of the token. Predicates and predicate components may function in an analogous fashion. For example 'thus' is an indexical adverb which latches onto some manner of performance present in its (...) context. 'John sang thus', said while indicating someone singing discordantly, claims that John sang discordantly. The phenomenon of predicatival indexicality is widespread in English and is expressed in a variety of idioms. Indexical predication plays important epistemological and psychological roles and the notion may have other interesting philosophical applications. (shrink)

The aim is to uncover the foundations of quine's distinction between definite singular terms and general terms in predicative position, And hence of the general schema of predication, 'fx'. While each term in such a predication specifies its own item, The items so specified exhibit a typical difference exemplified in the basic case by the difference between spatio-Temporal particulars and properties of such particulars. A generally consequential difference of role is that while both terms are applied to the (...) item of lower type, Only the definite singular term has the function of identifying it. (shrink)

When, for example, we say of something that it ‘is an object’, or ‘is an event’, or ‘is a property’, we are engaging in categorial predication: we are assigning something to a certain ontological category. Ontological categorization is clearly a type of classification, but it differs radically from the types of classification that are involved in the taxonomic practices of empirical sciences, as when a physicist says of a certain particle that it ‘is an electron’, or when a zoologist (...) says of a certain animal that it ‘is a mammal’, or when a meteorologist says of a certain weather‐phenomenon that it ‘is a hurricane’. Classifications of the latter types presuppose that the items being classified have already been assigned to appropriate ontological categories, such as the categories of object, species, or event. What do categorial predications mean? How are their truth‐conditions to be determined, and how can those truth‐conditions be known to be satisfied? Do they have truthmakers? Questions like these are amongst those addressed in the present paper. (shrink)

The aim is to uncover the foundations of quine's distinction between definite singular terms and general terms in predicative position, And hence of the general schema of predication, 'fx'. While each term in such a predication specifies its own item, The items so specified exhibit a typical difference exemplified in the basic case by the difference between spatio-Temporal particulars and properties of such particulars. A generally consequential difference of role is that while both terms are applied to the (...) item of lower type, Only the definite singular term has the function of identifying it. (shrink)

In this paper I investigate Aristotle’s account of predication in Topics I 9. I argue for the following interpretation. In this chapter Aristotle (i) presents two systems of predication cutting across each other, the system of the so-called four ‘predicables’ and of the ten ‘categories’, in order to distinguish them and explore their mutual relationship. I propose a semantic interpretation of the relationship between them. According to this reading, every proposition formed through a predicable constitutes at the same (...) time a predication according to one of the ten categories, and, consequently, signifies one of them, expressing one of the predicative relationship conveyed by them. Further, Aristotle (ii) explains the predicative connection between these two systems and the ten items signified by the ‘things said without any combination’ enumerated in Chapter 4 of the Categories, whose list is almost identical with that of categories in Top. I 9, with the only exception of their first members. (shrink)

One of the earliest and most influential treatises on the subject of this volume is Aristotle's Categories. Aristotle's title is a form of the Greek verb for speaking against or submitting an accusation in a legal proceeding. By the time of Aristotle, it also meant: to signify or to predicate. Surprisingly, the "predicates" Aristotle talks about include not only bits of language, but also such nonlinguistic items as the color white in a body and the knowledge of grammar in a (...) man's soul. (Categories I/ii) Equally surprising are such details as Aristotle's use of the terms 'homonymy' and 'synonymy' in connection with things talked about rather than words used to talk about them. Judging from the evidence in the Organon, the Metaphysics, and elsewhere, Aristotle was both aware of and able to mark the distinction between using and men tioning words; and so we must conclude that in the Categories, he was not greatly concerned with it. For our purposes, however, it is best to treat the term 'predication' as if it were ambiguous and introduce some jargon to disambiguate it. Code, Modrak, and other authors of the essays which follow use the terms 'linguistic predication' and 'metaphysical predication' for this. (shrink)

According to what I call the ‘Vagueness Thesis’ about belief, ‘believes’ is a vague predicate. On this view, our concept of belief admits of borderline cases: one can ‘half-believe’ something or be ‘in-between believing’ it. In this article, I argue that VT is false and present an alternative picture of belief. I begin by considering a case—held up as a central example of vague belief—in which someone sincerely claims something to be true and yet behaves in a variety of other (...) ways as if she believes that it is not. I argue that, even from the third-person perspective prioritised by proponents of VT, the case does not motivate VT. I present an alternative understanding of the case according to which the person in question believes as they say they do yet also has a belief-discordant implicit attitude otherwise. Moreover, I argue that, independently of the interpretation of any particular case, VT fails to accommodate the first-person perspective on belief. Belief is not only an item of one’s psychology that helps explain one’s behaviour; it is what one takes to be true. This fact about belief manifests itself in the nature of deliberation concerning whether to believe something and that of introspection regarding whether one believes something. Attending to these phenomena reveals that VT is not merely unmotivated, but untenable. (shrink)

Anyone with more than casual interest in Aristotle's Categories knows the convention that "predicated of" ["κατηγορεἳται"] marks a general relation of predication while "said of" ["λέγεται"] is reserved for essential predication. By "convention" I simply mean to underscore that the view in question ranks as the conventional or received interpretation. Ackrill, for example, follows the received view in holding that only items within the same category (not arbitrarily, of course) can stand in the being-said-of relation and, thus, that (...) only secondary substances can be said of primary substances. Despite its long received status the convention has never received a fully comprehensive examination and defense. In fact such an account is needed because, while enjoying considerable textual support, certain passages of the Categories appear to clash with the convention. My aim in this paper is, first, to develop and defend the standard interpretation, as I shall call it. Since the standard interpretation has lately been challenged in a closely argued article by Russell Dancy, my defense will proceed partly with an eye to his criticisms. Having met these, I go on to raise some difficulties with the rather unorthodox reading Dancy gives the Categories. The crucial point here turns out to be what Aristotle understands by a paronym. (shrink)

In §93 of The Principles of Mathematics, Bertrand Russell observes that “the variable is a very complicated logical entity, by no means easy to analyze correctly”. This assessment is borne out by the fact that even now we have no fully satisfactory understanding of the role of variables in a compositional semantics for first-order logic. In standard Tarskian semantics, variables are treated as meaning-bearing entities; moreover, they serve as the basic building blocks of all meanings, which are constructed out of (...) variable assignments. But this has disquieting consequences, including Fine’s antinomy of the variable and an undue dependence of meanings on language. Here I develop an alternative, Fregean version of predicate logic that uses the traditional quantifier–variable apparatus for the expression of generality, possesses a fully compositional, non-representational semantics, and is not subject to the antinomy of the variable. The advantages of Fregean over Tarskian predicate logic are due to the former’s treating variables not as meaningful lexical items, but as mere marks of punctuation, similar to parentheses. I submit that this is indeed how the variables of predicate logic should be construed. (shrink)

In the opening chapter of Subject and Predicate in Logic and Grammar, [1] Professor Strawson develops an explanation of the subjectpredicate distinction on the basis of a supposedly more fundamental distinction or contrast between, on the one hand, spatio-temporal particulars and, on the other, general concepts applicable to such particulars. At a basic level, he argues, these contrasted items occupy a central position in our thought about the world. They form the constituents of a fundamental type of judgment about the (...) worldcomprising judgments to the effect that a certain spatio-temporal particular (pair, triple, etc., of such particulars) exemplifies a certain general concept. The basic class of subject-predicate sentences-the class for which the explanation is initially presented-comprises, Strawson claims, those sentences which are apt for the expression of judgments of this fundamental type. With respect to sentences of this basic class, a subject is, in effect, defined to be an expression which serves to specify the spatio-temporal particular (or one of the spatiotemporal particulars) in question in whatever judgment the sentence expresses, and a predicate is defined to be an expression which serves to specify the general concept in question. This explanation is subsequently generalized to cover subject-predicate sentences outside the basic class, such as sentences expressing judgments about abstract entities. I shall not be concerned with this part of Strawson's explanation. One advantage Strawson claims for this explanation is that it brings out that, and how, the subject-predicate distinction reflects certain fundamental features of our thought about the world. Another, not unconnected, advantage he claims for it is that it enables us to explain certain 'purely formal or syntactical' differences between subjects and predicates-such differences as that a predicate has always a fixed number of argument-places, whereas there is nothing analogous to this with singular terms (subject-expressions), and that predicates take the form of verb-phrases, subjects the form of noun phrases. Such purely formal or syntactical differences, he claims, themselves stand in need of explanation, and so cannot provide the materials for an adequate explanation of the subject-predicate distinction. Perhaps Strawson does not explicitly assert that no purely formal or syntactical characterization of the subject-predicate distinction could constitute an adequate explanation of it; but he leaves us in little doubt that this is his view of the matter. (shrink)

This book attempts to marry truth-conditional semantics with cognitive linguistics in the church of computational neuroscience. To this end, it examines the truth-conditional meanings of coordinators, quantifiers, and collective predicates as neurophysiological phenomena that are amenable to a neurocomputational analysis. Drawing inspiration from work on visual processing, and especially the simple/complex cell distinction in early vision (V1), we claim that a similar two-layer architecture is sufficient to learn the truth-conditional meanings of the logical coordinators and logical quantifiers. As a prerequisite, (...) much discussion is given over to what a neurologically plausible representation of the meanings of these items would look like. We eventually settle on a representation in terms of correlation, so that, for instance, the semantic input to the universal operators (e.g. and, all)is represented as maximally correlated, while the semantic input to the universal negative operators (e.g. nor, no)is represented as maximally anticorrelated. On the basis this representation, the hypothesis can be offered that the function of the logical operators is to extract an invariant feature from natural situations, that of degree of correlation between parts of the situation. This result sets up an elegant formal analogy to recent models of visual processing, which argue that the function of early vision is to reduce the redundancy inherent in natural images. Computational simulations are designed in which the logical operators are learned by associating their phonological form with some degree of correlation in the inputs, so that the overall function of the system is as a simple kind of pattern recognition. Several learning rules are assayed, especially those of the Hebbian sort, which are the ones with the most neurological support. Learning vector quantization (LVQ) is shown to be a perspicuous and efficient means of learning the patterns that are of interest. We draw a formal parallelism between the initial, competitive layer of LVQ and the simple cell layer in V1, and between the final, linear layer of LVQ and the complex cell layer in V1, in that the initial layers are both selective, while the final layers both generalize. It is also shown how the representations argued for can be used to draw the traditionally-recognized inferences arising from coordination and quantification, and why the inference of subalternacy breaks down for collective predicates. Finally, the analogies between early vision and the logical operators allow us to advance the claim of cognitive linguistics that language is not processed by proprietary algorithms, but rather by algorithms that are general to the entire brain. Thus in the debate between objectivist and experiential metaphysics, this book falls squarely into the camp of the latter. Yet it does so by means of a rigorous formal, mathematical, and neurological exposition – in contradiction of the experiential claim that formal analysis has no place in the understanding of cognition. To make our own counter-claim as explicit as possible, we present a sketch of the LVQ structure in terms of mereotopology, in which the initial layer of the network performs topological operations, while the final layer performs mereological operations. The book is meant to be self-contained, in the sense that it does not assume any prior knowledge of any of the many areas that are touched upon. It therefore contains mini-summaries of biological visual processing, especially the retinocortical and ventral /what?/ parvocellular pathways computational models of neural signaling, and in particular the reduction of the Hodgkin-Huxley equations to the connectionist and integrate-and-fire neurons Hebbian learning rules and the elaboration of learning vector quantization the linguistic pathway in the left hemisphere memory and the hippocampus truth-conditional vs. image-schematic semantics objectivist vs. experiential metaphysics and mereotopology. All of the simulations are implemented in MATLAB, and the code is available from the book’s website. • The discovery of several algorithmic similarities between visison and semantics. • The support of all of this by means of simulations, and the packaging of all of this in a coherent theoretical framework. (shrink)

According to the well–known argument, the traditional conception of existence and predication leads to the infamous paradox of non-existence. For instance, the sentence ‘Pegasus does not exist’ commits us to accept that there is something that does not exist. The easy way out is to analyze existence as a second–order concept expressing that there is at least one instance of some first–order concept. In this article, I argue that the traditional conception of existence and predication does not lead (...) to the paradox of non-existence. Negative existentials are not subject-predicate sentences that select existing beings only to deny them the property of existence. Aristotle’s insistence that being is not a genus, i.e. that being is not a predicate of some subject, is pivotal. Furthermore, Aristotle does not have a uniform conception of existence and predication. According to Aristotle, to be is to be an item in the categorical scheme, and consequently, every predication of some being should be analysable as one of the most general types of predication according to the categorical scheme. However, in the conceptual framework of Aristotle’s philosophy, a different problem of non-existence arises. For instance, ‘Pegasus is thought-about’ might commits us to the claim that Pegasus is a being of some kind. I reconstruct Aristotle’s solution as being satisfactory in the light of his understanding of predication and existence. Moreover, I suggest that a similar puzzle leads many contemporary philosophers to an abandonment of the Quinean concept of existence and predication in favour of a more traditional approach. (shrink)

A distinction is introduced between itemized and non-itemized plural predication. It is argued that a full-fledged system of plural logic is not necessary in order to account for the validity of inferences concerning itemized collective predication. Instead, it is shown how this type of inferences can be adequately dealt with in a first-order logic system, after small modifications on the standard treatment. The proposed system, unlike plural logic, has the advantage of preserving completeness. And as (...) a result, inferences such as ‘Dick and Tony emptied the bottle, hence Tony and Dick emptied the bottle’ are shown to be first-order. (shrink)

This book is presumably a collection of essays delivered at a conference, though it's hard to say. There is no cover description and the editors' introduction, where this information might have been found, is missing from the volume (at least from my copy) in spite of being listed in the table of contents. A curious editorial slip. In fact, from an editorial perspective this book is a disaster. Not only is the format reminiscent of those camera ready volumes that jammed (...) our libraries in the late Eighties, when word processors began to spread and people started using them to produce entire books without knowing how to handle line spacing and hyphenation -- not to mention orphans and widows, footnotes, tabs, apostrophes, etc. There are also lots of typos, English infelicities, punctuation disorders. Obviously nobody checked the page proofs. There are even formulas that were not properly converted from the original files and have been printed with the infamous boxes in place of the logical symbols. Publishing academic books in analytic philosophy is becoming increasingly difficult and not every publisher can afford serious copy editing. But charging 74 euros for such a poorly manufactured item is appalling. (shrink)

As Aristotle himself says, A.Po. 2.13 is an attempt to provide some rules to hunt out the items predicated in what something is, namely to discover definitions. Since most of this chapter is devoted to the discussion of some rules of division, it may be inferred that somehow division plays a central role in the discovery of definitions. However, in the following pages I shall not discuss what this role is. Nor shall I discuss what place division has in the (...) wider discussion of definition and explanation as it emerges from A.Po. 2. 1 shall rather focus on the argument that Aristotle reports and discusses in A.Po. 2.13.97a6–22, and which our extant sources ascribe to Speusippus. As will become clear later on, this argument undermines the possibility of giving any definition, and Aristotle deals with it here because he can block it by exploiting some properties of the method of division. (shrink)

As Aristotle himself says, A.Po. 2.13 is an attempt to provide some rules to hunt out the items predicated in what something is, namely to discover definitions. Since most of this chapter is devoted to the discussion of some rules of division , it may be inferred that somehow division plays a central role in the discovery of definitions. However, in the following pages I shall not discuss what this role is. Nor shall I discuss what place division has in (...) the wider discussion of definition and explanation as it emerges from A.Po. 2. 1 shall rather focus on the argument that Aristotle reports and discusses in A.Po. 2.13.97a6–22, and which our extant sources ascribe to Speusippus. As will become clear later on, this argument undermines the possibility of giving any definition, and Aristotle deals with it here because he can block it by exploiting some properties of the method of division. (shrink)

Vague predicates, those that exhibit borderline cases, pose a persistent problem for philosophers and logicians. Although they are ubiquitous in natural language, when used in a logical context, vague predicates lead to contradiction. This paper will address a question that is intimately related to this problem. Given their inherent imprecision, why do vague predicates arise in the first place? I discuss a variation of the signaling game where the state space is treated as contiguous, i.e., endowed with a metric that (...) captures a similarity relation over states. This added structure is manifested in payoffs that reward approximate coordination between sender and receiver as well as perfect coordination. I evolve these games using a variation of Herrnstein reinforcement learning that better reflects the generalizing learning strategies real-world actors use in situations where states of the world are similar. In these simulations, signaling can develop very quickly, and the signals are vague in much the way ordinary language predicates are vague—they each exclusively apply to certain items, but for some transition period both signals apply to varying degrees. Moreover, I show that under certain parameter values, in particular when state spaces are large and time is limited, learning generalization of this sort yields strategies with higher payoffs than standard Herrnstein reinforcement learning. These models may then help explain why the phenomenon of vagueness arises in natural language: the learning strategies that allow actors to quickly and effectively develop signaling conventions in contiguous state spaces make it unavoidable. (shrink)

Vague predicates, those that exhibit borderline cases, pose a persistent problem for philosophers and logicians. Although they are ubiquitous in natural language, when used in a logical context, vague predicates lead to contradiction. This paper will address a question that is intimately related to this problem. Given their inherent imprecision, why do vague predicates arise in the first place? I discuss a variation of the signaling game where the state space is treated as contiguous, i.e., endowed with a metric that (...) captures a similarity relation over states. This added structure is manifested in payoffs that reward approximate coordination between sender and receiver as well as perfect coordination. I evolve these games using a variation of Herrnstein reinforcement learning that better reflects the generalizing learning strategies real-world actors use in situations where states of the world are similar. In these simulations, signaling can develop very quickly, and the signals are vague in much the way ordinary language predicates are vague—they each exclusively apply to certain items, but for some transition period both signals apply to varying degrees. Moreover, I show that under certain parameter values, in particular when state spaces are large and time is limited, learning generalization of this sort yields strategies with higher payoffs than standard Herrnstein reinforcement learning. These models may then help explain why the phenomenon of vagueness arises in natural language: the learning strategies that allow actors to quickly and effectively develop signaling conventions in contiguous state spaces make it unavoidable. (shrink)

Emotive-factive predicates, such as surprise or be happy, are a source of empirical and theoretical puzzles in the literature on embedded questions. Although they embed wh-questions, they seem not to embed whether-questions. They have complex interactions with negative polarity items such as any or even, and they have been argued to preferentially give rise to weakly exhaustive readings with embedded questions. We offer an empirical overview of the situation in three experiments collecting acceptability judgments, monotonicity judgments, and truth-value judgments. The (...) results straightforwardly confirm the special selectional properties of emotive-factive predicates. More interestingly, they reveal the existence of strongly exhaustive readings for surprise. The results also suggest that the special properties of emotive-factives cannot be solely explained by their monotonicity profiles, because they were not found to differ from the profiles of other responsive predicates. (shrink)

Many different kinds of items have been called vague, and so-called for a variety of different reasons. Traditional wisdom distinguishes three views of why one might apply the epitaph "vague" to an item; these views are distinguished by what they claim the vagueness is due to. One type of vagueness, The Good, locates vagueness in language, or in some representational system -- for example, it might say that certain predicates have a range of applicability. On one side of the range (...) are those cases to which the predicate clearly applies and on the other side of the range are those cases where the negation of the predicate clearly applies. But there is no sharp cutoff place along the range where the one range turns into the other. Most examples of The Good are those terms which describe some continuum -- such as bald describes a continuum of the ratio of hairs per cm2 on the head. But not all work this way. Alston (1968) points to terms like religion invoking a number of criteria the joint applicability of which ensures that the activity in question is a religion and the failure of all to apply ensures that it is not a religion. But when only some middling number of the criteria are fulfilled, the term religion neither applies nor fails to apply. Some accounts of "family resemblance" and "open texture" might also fit this picture. Such a view is often called a "representational account of vagueness". Another conception of vagueness, The Bad, locates vagueness as a property of discourses, of memories, and of certain philosophers and their papers, etc. This sort of vagueness occurs when the information available does not allow one to tell, for example, that a certain sentence is true, but also does not allow one to determine that it is false. It occurs when the information available does not allow one to claim that a predicate applies to a name, but also does not allow one to claim that the negation of the predicate applies to that name.. (shrink)

This paper develops the treatment of vague predicates begun in my "Vagueness Without Paradox" (Philosophical Review 103, 1 [1994]). In particular, I show how my account of vague words dissolves an "eternal" version of the sorites paradox, i.e., a version in which the paradox is generated independently of any particular run of judgments of the items in a sorites series. In so doing I refine the notion of an internal contest, introduced in the earlier paper, and draw a distinction within (...) the class of internal contexts between contexts of judgment and contexts of consideration. (shrink)

ABSTRACT It has been frequently observed in the literature that assertions of plain sentences containing predicates like fun and frightening give rise to an acquaintance inference: they imply that the speaker has first-hand knowledge of the item under consideration. The goal of this paper is to develop and defend a broadly expressivist explanation of this phenomenon: acquaintance inferences arise because plain sentences containing subjective predicates are designed to express distinguished kinds of attitudes that differ from beliefs in that they can (...) only be acquired by undergoing certain experiences. Its guiding hypothesis is that natural language predicate expressions lexically specify what it takes for their use to be properly ‘grounded’ in a speaker's state of mind: what state of mind a speaker must be in for a predication to be in accordance with the norms governing assertion. The resulting framework accounts for a range of data surrounding the acquaintance inference as well as for striking parallels between the evidential requirements on subjective predicate uses and the kind of considerations that fuel motivational internalism about the language of morals. A discussion of how the story can be implemented compositionally and of how it compares with other proposals currently on the market is provided. (shrink)

Analogy and similarity are central phenomena in human cognition, involved in processes ranging from visual perception to conceptual change. To capture this centrality requires that a model of comparison must be able to integrate with other processes and handle the size and complexity of the representations required by the tasks being modeled. This paper describes extensions to Structure-Mapping Engine since its inception in 1986 that have increased its scope of operation. We first review the basic SME algorithm, describe psychological evidence (...) for SME as a process model, and summarize its role in simulating similarity-based retrieval and generalization. Then we describe five techniques now incorporated into the SME that have enabled it to tackle large-scale modeling tasks: Greedy merging rapidly constructs one or more best interpretations of a match in polynomial time: O); Incremental operation enables mappings to be extended as new information is retrieved or derived about the base or target, to model situations where information in a task is updated over time; Ubiquitous predicates model the varying degrees to which items may suggest alignment; Structural evaluation of analogical inferences models aspects of plausibility judgments; Match filters enable large-scale task models to communicate constraints to SME to influence the mapping process. We illustrate via examples from published studies how these enable it to capture a broader range of psychological phenomena than before. (shrink)

The last decade has witnessed the beginnings of a remarkable convergence of Husserlian phenonenology and analytic philosophy of language, and the present volumes provide original and important texts of the phenomenological philosophy of language. Powerfully influenced by the writings of the early Husserl, Reinach fashioned Husserl’s ideas into a rigorous analytical methodology of his own, which he applied in particular to problems in logic and the theory of knowledge, and to the philosophies of law and psychology. The central role of (...) the concept of state of affairs in Reinach’s philosophy will bring to mind immediately the formal ontology of Wittgenstein’s Tractatus. Reinach’s most significant contribution, however, is contained in his The a priori foundations of civil law (1913), above all in the detailed analysis of the a priori structure of the act of promising. This amounts to an elaborate phenomenological theory of speech acts which anticipates, and in some respects goes beyond, the later theories of Austin and Searle. The present edition is in two volumes. Volume 1, which includes a biographical and thematic introduction by the editors, contains critical editions of those pieces published by Reinach himself. Volume II is a collection of all those items in Reinach’s surviving Nachlass which are in publishable form, including a number of important pieces not hitherto obtainable on such themes as ethical predicates, speech acts (“soziale Akte”), perception and the theory of number, together with a comprehensive sketch of the problems in the theory of knowledge, logic and ethics. Appended to this is a text-critical apparatus which also contains extensive discussions of the origins and sources of the materials in question. (shrink)

Many concepts, which can be constituents of thoughts, are somehow indicated with words that can be constituents of sentences. But this assumption is compatible with many hypotheses about the concepts lexicalized, linguistic meanings, and the relevant forms of composition. The lexical items simply label the concepts they lexicalize, and that composition of lexical meanings mirrors composition of the labeled concepts, which exhibit diverse adicities. If a phrase must be understood as an instruction to conjoin monadic concepts that correspond to the (...) constituents, lexicalization must be a process in which non-monadic concepts are used to introduce monadic analogues. But given such analogues, along with some thematic concepts, conjunctions can mimic the effect of saturating polyadic concepts. The lexical items efface conceptual adicity distinctions, making it possible to treat a recursive combination of expressions as a sign of monadic predicate conjunction. (shrink)

In his well-known Discourse on Metaphysics , Leibniz puts individual substance at the basis of metaphysical building. In so doing, he connects himself to a venerable tradition. His theory of individual concept, however, breaks with another idea of the same tradition, that no account of the individual as such can be given. Contrary to what has been commonly accepted, Leibniz’s intuitions are not the mere result of the transcription of subject-predicate logic, nor of the uncritical persistence of some old metaphysical (...) assumptions. They grow, instead, from an unprejudiced inquiry about our basic ontological framework, where logic of truth, linguistic analysis, and phenomenological experience of the mind’s life are tightly interwoven. Leibniz’s struggle for a concept capable of grasping concrete individuals as such is pursued in an age of great paradigm changes – from the Scholastic background to Hobbes’s nominalism to the Cartesian ‘way of ideas’ or Spinoza’s substance metaphysics – when the relationships among words, ideas and things are intensively discussed and wholly reshaped. This is the context where the genesis and significance of Leibniz’s theory of ‘complete being’ and its concept are reconstrued. The result is a fresh look at some of the most perplexing issues in Leibniz scholarship, like his ideas about individual identity and the thesis that all its properties are essential to an individual. The questions Leibniz faces, and to which his theory of individual substance aims to answer, are yet, to a large extent, those of contemporary metaphysics: how to trace a categorial framework? How to distinguish concrete and abstract items? What is the metaphysical basis of linguistic predication? How is trans-temporal sameness assured? How to make sense of essential attributions? In this ontological framework Leibniz’s further questions about the destiny of human individuals and their history are spelt out. Maybe his answers also have something to tell us. This book is aimed at all who are interested in Leibniz’s philosophy, history of early modern philosophy and metaphysical issues in their historical development. (shrink)

Assume that water reduces to H2O. If so water is identical to H2O. At the same time, if water reduces to H2O then H2O does not reduce to water–the reduction relation is asymmetric. This generates a puzzle–if water just is H2O it is hard to see how we can account for the asymmetry of the reduction relation. The paper proposes a solution to this puzzle. It is argued that the reduction predicate generates intensional contexts and that in order to account (...) for the asymmetry, we should develop conditions on the meanings of expressions that flank the reduction predicate in true reduction statements. Finally, it is argued that if we adopt this interpretation, we can illuminate the epistemological difference between reduced and reducing item commonly referred to in the literature. (shrink)

This paper aims to throw light on what predicative expressions like "is a(n) truth," where an adjective is inserted on the line, mean. It aims to do so by unearthing a framework that specifies (i) various items that can be qualified by the adjectives, as well as (ii) various ways in which the adjectives perform their qualifying function. This framework forms the background against which, in the second half of this paper, the meaning of "is a relative truth" and "is (...) an absolute truth" are studied. This paper, then, studies what alethic adjectives mean and how they work. (shrink)

José Benardete developed a famous paradox involving a beginningless set of items each member of which satisfies some predicate just in case no earlier member satisfies it. The Grim Reaper version of this paradox has recently been employed in favor of various finitist metaphysical theses, ranging from temporal finitism to causal finitism to the discrete nature of time. Here, I examine a new challenge to these finitist arguments—namely, the challenge of implying that the future cannot be endless. In particular, I (...) develop future-oriented Benardete paradoxes and examine their epistemic symmetry with past-oriented paradoxes. (shrink)

He tried to look into her face, to find out what she thought, but she was smelling the lilac and the lilies of the valley and did not know herself what she was thinking—what she ought to say or do.OblomovMuch of modern and contemporary philosophy of mind in the ‘analytic’ tradition has presupposed, since Descartes, what might be called a realist view about the mind and the mental. According to this view there are independently existing, determinate items that are the (...) truth-conferrers of our ascriptions of mental predicates. The view is also a cognitivist one insofar as it holds that when we correctly ascribe such a predicate to an individual the correctness consists in the discovery of a determinate fact of the matter about the state the individual is in—a state which is somehow cognized by the ascriber. Disputes have arisen about the nature of the truth-conferrers and about the status and the nature of the individual's own authority about the state he is in. A dissenting position in philosophy of mind would have to be handled carefully. It would, most importantly, need to allow for the objectivity of ascriptions of mental predicates at least insofar as it made sense to reject some and accept others on appropriate grounds. Perhaps such a position in the philosophy of mind can be likened in at least one way to what David Wiggins has characterized as a doctrine of ‘cognitive underdetermination’ about moral or practical judgments. (shrink)

In this book, a general type ontology of works is defended and developed in detail. A wide concept of “work” is used here, such that “work” roughly corresponds to “artefact”. Though the focus is on works of art, the theory is meant to be applicable, in principle, to works of science and technology and to everyday items of all sorts as well. Among others, the following questions are discussed: To what ontological category or categories do works belong? Is there a (...) principled ontological divide between linguistic and musical works, on the one hand, and works of the visual arts on the other? What is the relationship between works and such diverse things as performances, manuscripts, scores, blueprints, stagings, film screenings, printing plates, data carriers, and others? What is the relationship between works and interpretations? In what way do works come into existence? Can works, once they are finished, be changed and/or cease to exist, and if so, under what conditions? Which sorts of parts can be distinguished within a work? Is the context of origin constitutive of a work’s identity? Can a translation be identical with the original linguistic work? Who is the author of a computer-generated work? The central thesis is that works of all kinds are abstract artefacts, i. e., types that are instantiated in concrete particulars, that is, in material or mental objects and events. The relationship between works and their “realizations” is defined by means of a modes of predication distinction, as it is used in a variety of Meinongian logics. An extensive chapter is dedicated to the relation between “representing works” and their represented worlds, with a focus on fictitious worlds and their objects. The latter are modeled as parts of fictional works. (shrink)

This paper presents an analysis of negative polarity items (NPIs) in Hindi. It is noted that NPIs in this language are composed of a (weak) indefinite plus a particle bhii meaning ‘even’. It is argued that the compositional semantics of this combination explains their behavior as NPIs as well as their behavior as free choice (FC) items. I assume that weak Hindi indefinites like ek and koi are to be viewed as a predicate that I call one, a predicate that (...) is true of everything that exists. I further assume that bhii exhibits association with focus with the indefinite, and that this leads to contradictory implicatures in positive contexts. The behavior of these phrases in a variety of syntactic contexts is discussed, including constructions like correlatives. Finally, I provide a comparison with analyses of English any, and discuss the relevance of the analysis presented here for that of any. (shrink)

This paper focuses on the concept of collective essence: that some truths are essential to many items taken together. For example, that it is essential to conjunction and negation that they are truth-functionally complete. The concept of collective essence is one of the main innovations of recent work on the theory of essence. In a sense, this innovation is natural, since we make all sorts of plural predications. It stands to reason that there should be a distinction between essential and (...) accidental plural predications if there is a distinction among singular predications. In this paper I defend the view that the concept of collective essence is governed by the principle of Monotonicity: that something is essential to some items only if it is essential to any items to which they belong. (shrink)

system reflected in Saussure's linguistic theory, and so influential in the great progress linguistic theory has made in this century. Indeed, Granger sees linguistic theory as expressing a paradigm for scientific theorizing, which research in other social sciences should adopt. But 'structuralism' as a method in science does not, in Granger's view, begin with Saussure and the linguists. It is nothing less than the strategy of all the sciences, both natural and social, since their beginnings. Now, 'structuralism' is a 'trendy' (...) term no less in Anglophone methodology than in Francophone philosophy. But Granger's employment of the term is not to be assimilated to this trend, nor to the fashionable excesses for which this expression has been a watch word (he explicitly separates himself from this movement in the preface to the second edition). The exact nature of what Granger calls 'structuralist' methods is the subject of a large part of this work, and I will not dwell on it much further in this introduction. Suffice it to say that Granger's demand for structuralist description is nothing less than the recognition that the successful pursuit of science requires that its terms and predicates pick out what we may call 'natural kinds'; that is, describe classes of items that bear uniform nomolog ical relations to one another. A science whose descriptive terms do not meet this condition will never produce any laws that reflect such nomological connections. (shrink)

Researchers often assume that possible worlds and times are represented in the syntax of natural languages. However, it has been noted that such a system can overgenerate. This paper proposes a constraint on systems where worlds and times are represented as situation pronouns. The Intersective Predicate Generalization, based on and extending work by R. Musan, states that two items composed via Predicate Modification, such as a noun and an intersective modifier, must be evaluated in the same world and time. To (...) explain this generalization, a rule of Situation Economy is advanced, which holds that structures must have the fewest number of situation pronouns possible. Since strong DPs require a situation pronoun to receive a de re reading, a restriction on the type of strong determiners is proposed, which supersedes Situation Economy in this case. Finally, the paper shows how the Situation Economy approach explains an unrelated phenomenon involving bare plurals and examines the connection between this new rule and the grammar of natural language in general. (shrink)

We present two experimental studies on the Italian expressive ‘stronzo’. The first study tests whether, and to which extent, the acceptability of using an expressive is sensitive to the information available in the context. The study looks both at referential uses of expressives and predicative uses of expressives. The results show that expressives are sensitive to contextual information to a much higher degree than the non-expressive control items in their referential use, but also, albeit to a lesser degree, in their (...) predicative use. The second study tests whether the lower acceptability of expressives in their predicative use may be simply due to saying something negative about someone. A comparison between expressives, such as ‘jerk’, and non-expressive negative terms, such as ‘nasty’ or ‘unbearable’, suggests that it is the expressive nature of these terms, rather than the mere negative valence, that affects acceptability. Our studies present a major challenge to the existing accounts of expressives, and raise several theoretical issues that still call for an answer. (shrink)

This is an investigation into the fundamental connections between the referential use of language and our rich human experience. All types of experience — perceptual, practical, scientific, literary, esthetic, ludic,... — are tightly unified into one total experience by the structure of reference to real or possible items. Singular reference is essential for locating ourselves in our own corner of the world. General reference, by means of quantifiers, is our main tool in ascertaining the accessible patterns of the world. Both (...) are primitive and mutually irreducible. (Often this has been denied.) The unity of total experience is constructed through the biographical unity of a person, and the sociological unity of the communications across a community. This unity of experience is wrought out by an underlying unitary system of reference. We need, therefore, a comprehensive theory of individuation, existence, predication, and truth. One such a theory is Guise Theory. (shrink)

According to Ruth Chang the three standard positive value relations: “better than”, “worse than” and “equally good” do not fully exhaust the conceptual space for positive value relations. According to her, there is room for a fourth positive value relation, which she calls “parity”. Her argument for parity comes in three parts. First, she argues that there are items that are not related by the standard three value relations. Second, that these items are not incomparable, and third, that the phenomena (...) she has focused on are not due to the vagueness of the comparative predicates. This paper focuses on the second part of the argument and an objection is presented. By assuming the Small Unidimensional Difference Principle, which is a key premise for the second part of the argument, Chang’s argument could be accused of begging the question. More so, by assuming this principle, the space for incomparability gets severely limited. If these worries are justified, then Chang’s argument for parity as a fourth form of comparability is unsuccessful. (shrink)

Mental-content verbs such as think, believe, imagine and hope seem to pose special problems for the young language learner. One possible explanation for these diYculties is that the concepts that these verbs express are hard to grasp and therefore their acquisition must await relevant conceptual development. According to a diVerent, perhaps complementary, proposal, a major contributor to the diYculty of these items lies with the informational requirements for identifying them from the contexts in which they appear. The experiments reported here (...) explore the implications of these proposals by investigating the contribution of observational and linguistic cues to the acquisition of mental predicate vocabulary. We Wrst demonstrate that particular observed situations can be helpful in prompting reference to mental contents, speciWcally, contexts that include a salient and/or unusual mental state such as a false belief. We then compare the potency of such observational support to the reliability of alternate or concomitant syntactic information (e.g., sentential complementation) in tasks where both children and adults are asked to hypothesize the meaning of novel verbs. The Wndings support the eYcacy of false belief situations for increasing the saliency of mental state descriptions, but also show that.. (shrink)

According to the contemporary consensus, when reaching in the lexicon grammar looks for items like nouns, verbs, and prepositions while logic sees items like predicates, connectives, and quantifiers. In fact, there doesn’t seem to be a single lexical category contemporary grammar and logic both make use of. I hope to show that while a perfect match between the lexical categories of grammar and logic is impossible there can be a substantial overlap. I propose semantic definitions for all the major parts (...) of speech . I argue that the differences among these categories can be captured in terms of distinctions recognized in logic. (shrink)

We present a plural logic that is as expressively strong as it can be without sacrificing axiomatisability, axiomatise it, and use it to chart the expressive limits set by axiomatisability. To the standard apparatus of quantification using singular variables our object-language adds plural variables, a predicate expressing inclusion (is/are/is one of/are among), and a plural definite description operator. Axiomatisability demands that plural variables only occur free, but they have a surprisingly important role. Plural description is not eliminable in favour of (...) quantification; on the contrary, quantification is definable in terms of it. Predicates and functors (function signs) can take plural as well as singular terms as arguments, and both many-valued and single-valued functions are expressible. The system accommodates collective as well as distributive predicates, and the condition for a predicate to be distributive is definable within it; similarly for functors. An essential part of the project is to demonstrate the soundness and completeness of the calculus with respect to a semantics that does without set-theoretic domains and in which the use of settheoretic extensions of predicates and functors is replaced by the sui generis relations and functions for which the extensions were at best artificial surrogates. Our metalanguage is designed to solve the difficulties involved in talking plurally about individuals and about the semantic values of plural items. (shrink)

Pseudoclefts have been divided into two types, specificational and predicational (Akmajian 1970; Higgins 1979). The two types differ in interpretive as well as syntactic characteristics. In this paper we argue that the availability of the specificational type depends on the particular lexical items that a language employs to form pseudoclefts. We discuss the significance of these findings for linguistic theory.

Tropes are particular features of concrete objects. Properties—the extensions of predicates—are primitive resemblance classes of tropes. Friends of tropes have been criticized for failing to answer three questions. First, are there fundamental items other than tropes? Second, what criteria determine whether some tropes are all and only the features of some one object? Third, can trope classes be formed adequately using only primitive resemblance? Trading on the spatiotemporal status of tropes, this essay offers new responses to each of these questions. (...) The novel thesis is that there is a sui generis property called ‘markedness’, whose tropes “mark” certain locations in an ontologically basic way. The spatiotemporal distribution of markedness tropes fixes the distribution of familiar characterizing tropes like mass and charge, and characterizing tropes are bundled by being co-contained in the location of a maximally connected markedness trope. This novel theory of trope bundling is defended by appeal to theoretical utility: it is ontologically parsimonious and solves outstanding problems involving co-location and resemblance class construction. (shrink)

We revisit a debate initiated some 15 years ago by Ray Elugardo and Robert Stainton about the domain of arguments. Our main result is that arguments are not exclusively sets of linguistic expressions. Instead, as we put it, some non-linguistic items have ‘logical form’. The crucial examples are arguments, both deductive and inductive, made with unembedded words and phrases. … subsentential expressions such as singular terms and predicates… cannot serve as premises or conclusions in inferences.

Vagueness: an expression is vague if and only if it is possible that it give rise to a “borderline case.” A borderline case is a situation in which the application of a particular expression to a (name of) a particular object does not generate an expression with a definite TRUTH-VALUE. That is, the piece of language in question neither applies to the object nor fails to apply. Although such a formulation leaves it open what the pieces of language might be (...) (whole sentences, individual words, NAMES or SINGULAR TERMS, PREDICATES or GENERAL TERMS), most discussions have focussed on vague general terms and have considered other types of terms to be non-vague. (Exceptions to this have called attention to the possibility of vague objects, thereby making the designation relation for singular terms be vague). The formulation also leaves open the possible causes for the expression not to have a definite truth value. If this indeterminacy is due to there being insufficient information available to determine applicability or non-applicability of the term (that is, we’re convinced the term either does or doesn’t apply, but we just don’t have enough information to determine which), then this is sometimes called “epistemic vagueness.” It is somewhat misleading to call this vagueness, for unlike true vagueness, this epistemic vagueness disappears if more information is brought into the situation. (‘There are 1.89∞106 stars in the sky’ epistemically vague but is not vague in the generally accepted sense of the term). ‘Vagueness’ may also be used to characterize non-linguistic items such as CONCEPTS, MEMORIES, and OBJECTS ... as well as such semi-linguistic items as STATEMENTS and PROPOSITIONS. Many of the issues involved in discussing the topic of vagueness impinge upon other philosophical topics, such as the existence of TRUTH-VALUE GAPS (declarative sentences which are neither TRUE nor FALSE) and the plausibility of MANY-VALUED LOGIC.. (shrink)