Bernhard Nickel presents a theory of generic sentences and the kind-directed modes of thought they express. The theory closely integrates compositional semantics with metaphysics to solve the problem that generics pose: what do generics mean? Generic sentences are extremely simple, yet if there are patterns to be discerned in terms of which are true and which are false, these patterns are subtle and complex. Ravens are black, and lions have manes: statistical measures cannot do justice to the facts, (...) but what else is there that has a hope of giving us insight into what we are capturing across so many domains? Nickel argues that generics are the top of a fundamentally explanatory iceberg, and that this explanatory framework is deeply intertwined with the semantics of the language we use to express them. In providing an integrated semantic and metaphysical theory of generics, he aims to solve old puzzles and draw attention to new phenomena. (shrink)

It has been argued that the primary acquisition of genericity in early child speech poses a problem for standard quantificational approaches to generics and instead motivates the claim that generics give voice to an innate, default mode of generalising. This article argues that analogous puzzles involving the acquisition of A‐quantifiers undermine the empirical support for a purely cognition‐based approach to generics. Instead, these acquisition puzzles should be solved by generalising the core insight of the cognitive defaults theory to (...) these expressions, reconciling formal semantic approaches with the role that cognitive development plays on lexical competence. (shrink)

This article discusses recent theories of the meaning of generics. The discussion is centred on how the theories differ in their approach to addressing the primary difficulty in providing a theory of generic meaning: The notoriously complex ways in which the truth conditions of generics seem to vary. In addition, the article summarizes considerations for and against each theory.

Given a theoryTextending that of dense linear orders without endpoints, in a language ℒ ⊇ {<}, we are interested in extensionsT′ ofTin languages extending ℒ by unary relation symbols that are each interpreted in models ofT′ as sets that are both dense and codense in the underlying sets of the models.There is a canonically “wild” example, namelyT= Th andT′ = Th. Recall thatTis o-minimal, and so every open set definable in any model ofThas only finitely many definably connected components. But (...) it is well known that 〈ℝ, <, +, · ℚ 〉 defines every real Borel set, in particular, every open subset of any finite cartesian power of ℝ and every subset of any finite cartesian power of ℚ. To put this another way, the definable open sets in models ofTare essentially as simple as possible, whileT′ has a model where the definable open sets are as complicated as possible, as is the structure induced on the new predicate.In contrast to the preceding example, if ℝalgis the set of real algebraic numbers andT′ Th, then no model ofT′ defines any open set that is not definable in the underlying model ofT. (shrink)

It is a familiar point that we can use generic sentences to express generalisations that are tolerant to exceptions and then go on to state those exceptions explicitly. It is a less familiar point that switching the order of the generics has deleterious effects on their felicity. For example, the sequences ‘Ravens are black, but albino ravens aren’t’ is perfectly felicitous and judged to be true, whereas its reverse ‘Albino ravens aren’t black, but ravens are’ is infelicitous and contradictory-sounding. This (...) paper argues that such sequences pose a problem for extant theories of generics: while they have no trouble predicting the felicity of the first sequence of generics, they are unable to explain why reversing the order results in infelicity. I propose to account for these observations by adopting a dynamic semantic theory of generic sentences. (shrink)

We use hyperbolic towers to answer some model-theoretic questions around the generic type in the theory of free groups. We show that all the finitely generated models of this theory realize the generic type $p_{0}$ but that there is a finitely generated model which omits $p^{}_{0}$. We exhibit a finitely generated model in which there are two maximal independent sets of realizations of the generic type which have different cardinalities. We also show that a free product of homogeneous (...) groups is not necessarily homogeneous. (shrink)

Both mindreading and stereotyping are forms of social cognition that play a pervasive role in our everyday lives, yet too little attention has been paid to the question of how these two processes are related. This paper offers a theory of the influence of stereotyping on mental-state attribution that draws on hierarchical predictive coding accounts of action prediction. It is argued that the key to understanding the relation between stereotyping and mindreading lies in the fact that stereotypes centrally involve (...) character-trait attributions, which play a systematic role in the action–prediction hierarchy. On this view, when we apply a stereotype to an individual, we rapidly attribute to her a cluster of generic character traits on the basis of her perceived social group membership. These traits are then used to make inferences about that individual’s likely beliefs and desires, which in turn inform inferences about her behavior. (shrink)

Predicates such as tall or to know Latin, which intuitively denote permanent properties, are called individual-level predicates. Many peculiar properties of this class of predicates have been noted in the literature. One such property is that we cannot say #John is sometimes tall. Here is a way to account for this property: this sentence sounds odd because it triggers the scalar implicature that the alternative John is always tall is false, which cannot be, given that, if John is sometimes tall, (...) then he always is. This intuition faces two challenges. First: this scalar implicature has a weird nature, since it must be surprisingly robust (otherwise, it could be cancelled and the sentence rescued) and furthermore blind to the common knowledge that tallness is a permanent property (since this piece of common knowledge makes the two alternatives equivalent). Second: it is not clear how this intuition could be extended to other, more complicated properties of individual-level predicates. The goal of this paper is to defend the idea of an implicature-based theory of individual-level predicates by facing these two challenges. In the first part of the paper, I try to make sense of the weird nature of these special mismatching implicatures within the recent grammatical framework for scalar implicatures of Chierchia (Structures and beyond, 2004) and Fox (2007). In the second part of the paper, I show how this implicature-based line of reasoning can be extended to more complicated properties of individual-level predicates, such as restrictions on the interpretation of their bare plural subjects, noted in Carlson (Reference to kinds in English. Doctoral dissertation, University of Massachusetts at Amherst, 1977), Milsark (Linguistic Analysis 3.1: 1–29, 1977), and Fox (Natural Language Semantics 3: 283–341, 1995); restrictions on German word order, noted in Diesing (Indefinites, 1992); and restrictions on Q-adverbs, noted in Kratzer (The Generic Book, ed. Carlson and Pelletier, 125–175, 1995). (shrink)

Generic statements express generalizations about categories. Current theories suggest that people should be especially inclined to accept generics that involve threatening information. However, previous tests of this claim have focused on generics about non-human categories, which raises the question of whether this effect applies as readily to human categories. In Experiment 1, adults were more likely to accept generics involving a threatening property for artifacts, but this negativity bias did not also apply to human categories. Experiment 2 examined an alternative (...) hypothesis for this result, and Experiments 3 and 4 served as conceptual replications of the first experiment. Experiment 5 found that even preschoolers apply generics differently for humans and artifacts. Finally, Experiment 6 showed that these effects reflect differences between human and non-human categories more generally, as adults showed a negativity bias for categories of non-human animals, but not for categories of humans. These findings suggest the presence of important, early-emerging domain differences in people's judgments about generics. (shrink)

It is argued that accepting that there are human rights, or that there are categorically binding requirements of any kind on action, logically requires accepting the PGC (Principle of Generic Consistency) as the supreme criterion of practical reasonableness.Consequently, all legal systems that recognise human rights (hence, the English legal system), all who view law as a matter of obligation, and all who consider that there are categorically binding requirements on action, must take the PGC to be a necessary criterion of (...) legal validity. Conventions on human rights must, as conventions on human rights, be interpreted to conform with the PGC. (shrink)

Given a countable transitive model of set theory and a partial order contained in it, there is a natural countable Borel equivalence relation on generic filters over the model; two are equivalent if they yield the same generic extension. We examine the complexity of this equivalence relation for various partial orders, focusing on Cohen and random forcing. We prove, among other results, that the former is an increasing union of countably many hyperfinite Borel equivalence relations, and hence is amenable, (...) while the latter is neither amenable nor treeable. (shrink)

Abstract Theories of descriptions tend to involve commitments about the ambiguity of descriptions. For example, sentences containing descriptions are widely taken to be ambiguous between de re , de dicto , and intermediate interpretations and are sometimes thought to be ambiguous between the former and directly referential interpretations. I provide arguments to suggest that none of these interpretations are due to ambiguities (or indexicality). On the other hand, I argue that descriptions are ambiguous between the above family of interpretations and (...) what may be called ‘institutional’ as well as generic interpretations. My arguments suggest that an adequate theory of descriptions may require considerable rethinking. Most contemporary theories of descriptions appear to be committed to one or more claims about the ambiguity of descriptions that I reject in this paper. I suggest that my observations provide a reason to renew efforts to develop a theory of descriptions within a representationalist theory of interpretation. Content Type Journal Article Pages 1-16 DOI 10.1007/s11098-011-9759-5 Authors Philipp Koralus, Philosophy Department, Princeton University, 212 1879 Hall, Princeton, NJ 08544, USA Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116. (shrink)

What if the Big Bang was an exodus of non-existing reality into existence? In this book a theory of the reality is started from the principle that 'existing takes time' but in states of the universe there are pre-things in moments, thus non-existing, which realize in strings over specific time intervals as existing phenomena. Causality must be reviewed now and new paradigms for reality follow. The existing and observed universe are discontinuous and "limits" in mathematical models do not correspond (...) to reality. New interpretations in evolution theory and the human condition are being investigated. (shrink)

Originally published in 1987 and re-issued in 2020 with a new Preface, this book presents and elaborates interrelated solutions to a number of problems in moral philosophy, from the location of intrinsic value and the nature of a worthwhile life, via the limits of obligation and the nature of justice, to the status of moral utterances. After developing a biocentric account of moral standing, the author locates worthwhile life in the development of the generic capacities of a creature, whether human (...) or nonhuman, and presents an account of relative intrinsic value which later generates a theory of interspecific justice. This value-theory also informs a consequentialist understanding of obligation, of moral rightness and of supererogation. The understanding thus supplied is shown to cope with the problems of integrity, of justice and of the 'Repugnant Conclusion' in population ethics. A cognitivist account of ethical conclusions such as those so far reached is then defended against non-cognitivist and relativist objections and a far-reaching naturalist theory is defended, integrating earlier conclusions with an account of the logic of the fundamental ethical concepts. This wide-ranging volume which maps the whole area of morality is thoroughly argued with reference both to contemporary philosophical developments and to classical theories. (shrink)

We develop the theory of generically stable types, independence relation based on nonforking and stable weight in the context of dependent theories.

Let \ be an ab initio amalgamation class with an unbounded increasing concave function f. We show that if the predimension function has a rational coefficient and f satisfies a certain assumption then the generic structure of \ has a model complete theory.

In studies of Indian theories of meaning it has been standard procedure to examine their relevance to the ontological issues between Brahmin realism about universals and Buddhist nominalism. It is true that Kumārila makes efforts to secure the real existence of a generic property denoted by a word by criticizing Dignāga, who declares that the real world consists of absolutely unique individuals. The present paper, however, concentrates on the linguistic approaches Dignāga and Kumārila adopt to deny or to prove the (...) existence of universals. It turns out that in spite of adopting contrasting approaches they equally distinguish between the semantic denotation of a word and its pragmatic reference to a thing in the physical world. From a purely semantic viewpoint, Dignāga considers the exclusion of others by a word as the result of a conceptual accumulation of the sense-components accepted in the totality of worldly discourse. Among the three characteristics Dignāga held must be met by universals, Kumārila attaches special importance to their entire inherence in each individual. This is because he pragmatically pays attention to the use of a word in the discourse given in a particular context by analyzing a sentence into a topic and a comment. (shrink)

Alan Gewirth's Reason and Morality , in which he set forth the Principle of Generic Consistency, is a major work of modern ethical theory that, though much debated and highly respected, has yet to gain full acceptance. Deryck Beyleveld contends that this resistance stems from misunderstanding of the method and logical operations of Gewirth's central argument. In this book Beyleveld seeks to remedy this deficiency. His rigorous reconstruction of Gewirth's argument gives its various parts their most compelling formulation and (...) clarifies its essential logical structure. Beyleveld then classifies all the criticisms that Gewirth's argument has received and measures them against his reconstruction of the argument. The overall result is an immensely rich picture of the argument, in which all of its complex issues and key moves are clearly displayed and its validity can finally be discerned. The comprehensiveness of Beyleveld's treatment provides ready access to the entire debate surrounding the foundational argument of Reason and Morality . It will be required reading for all who are interested in Gewirth's theory and deontological ethics and will be of central importance to moral and legal theorists. (shrink)

We show that the quantifier elimination result for the Shelah-Spencer almost sure theories of sparse random graphs $$G(n,n^{-\alpha })$$ given by Laskowski (Isr J Math 161:157–186, 2007) extends to their various analogues. The analogues will be obtained as theories of generic structures of certain classes of finite structures with a notion of strong substructure induced by rank functions and we will call the generics Baldwin–Shi hypergraphs. In the process we give a method of constructing extensions whose ‘relative rank’ is negative (...) but arbitrarily small in context. We give a necessary and sufficient condition for the theory of a Baldwin–Shi hypergraph to have atomic models. We further show that for certain well behaved classes of theories of Baldwin–Shi hypergraphs, the existentially closed models and the atomic models correspond. (shrink)

A stereotype is a belief or claim that a group of people has a particular feature. Stereotypes are expressed by sentences that have the form of generic statements, like “Canadians are nice.” Recent work on generics lends new life to understanding generics as statements involving probabilities. I argue that generics (and thus sentences expressing stereotypes) can take one of several forms involving conditional probabilities, and these probabilities have what I call a naturalness requirement. This is the natural probability theory (...) of stereotypes. Each of the two components of the theory entails a family of fallacies that contributes to the spurious reinforcement of stereotypes: inferential slippage within and between the different generic forms, and inferential slippage from facts about frequencies of group traits to beliefs about natural propensities or dispositions of groups. Empirical research suggests that we often commit these fallacies. Moreover, this theory can referee a vitriolic debate between some psychologists, who hold that stereotypes are always false and stereotyping is always wrong, and other psychologists, who hold that stereotypes are often accurate and stereotyping is often reasonable. (shrink)

We show that Bounded Forcing Axioms (for instance, Martin's Axiom, the Bounded Proper Forcing Axiom, or the Bounded Martin's Maximum) are equivalent to principles of generic absoluteness, that is, they assert that if a $\Sigma_1$ sentence of the language of set theory with parameters of small transitive size is forceable, then it is true. We also show that Bounded Forcing Axioms imply a strong form of generic absoluteness for projective sentences, namely, if a $\Sigma^1_3$ sentence with parameters is forceable, (...) then it is true. Further, if for every real x, $x^{\sharp}$ exists, and the second uniform indiscernible is less than $\omega_2$ , then the same holds for $\Sigma^1_4$ sentences. (shrink)

Alan Gewirth's _Reason and Morality_, in which he set forth the Principle of Generic Consistency, is a major work of modern ethical theory that, though much debated and highly respected, has yet to gain full acceptance. Deryck Beyleveld contends that this resistance stems from misunderstanding of the method and logical operations of Gewirth's central argument. In this book Beyleveld seeks to remedy this deficiency. His rigorous reconstruction of Gewirth's argument gives its various parts their most compelling formulation and clarifies (...) its essential logical structure. Beyleveld then classifies all the criticisms that Gewirth's argument has received and measures them against his reconstruction of the argument. The overall result is an immensely rich picture of the argument, in which all of its complex issues and key moves are clearly displayed and its validity can finally be discerned. The comprehensiveness of Beyleveld's treatment provides ready access to the entire debate surrounding the foundational argument of _Reason and Morality_. It will be required reading for all who are interested in Gewirth's theory and deontological ethics and will be of central importance to moral and legal theorists. (shrink)

Drawing on the findings of neuroscience, this text proposes and defends the hypothesis that the various modalities of sensation share a generic form that the author, Austen Clark, calls feature-placing.

This article explores Alan Gewirth’s argument for a secular foundation for the idea 2 of human rights as a possible response to Michael J. Perry’s claim “that the idea of 3 human rights is…ineliminably religious.” I examine Gewirth’s reasoning for constructing 3 a theory, namely that existing theories are fundamentally flawed and leave the idea of human rights without a logically consistent foundation, before considering in detail his claims for the Principle of Generic Consistency (PGC). Having looked at his (...) critique of numerous other theories, as well as at his own argument about human action grounding basic rights to freedom and well-being, I then offer a critique of Gewirth’s PGC. Ultimately my conclusion is that Gewrith's 3 theory relies too heavily on the notions, first that we have a meta-desire not to contradict ourselves and, second, that we are unable to find persuasive justifications for our behavior that might allow us to avoid self-contradiction. If one is not troubled by charges of self-contradiction or, as is more often the case, one does not recognize that one’s victim is as much a human being as oneself, Gewirth’s theory 5 V 3 will not seem particularly persuasive. *** DIRECT SUPPORT *** A28BB025 00003. (shrink)

An ambitious ethical theory ---Alan Gewirth's "Principle of Generic Consistency"--- is encoded and analysed in Isabelle/HOL. Gewirth's theory has stirred much attention in philosophy and ethics and has been proposed as a potential means to bound the impact of artificial general intelligence.

Kant’s early work The False Subtlety of the Four Syllogistic Figures is typically considered a narrow, technical work still embedded in the tradition of Wolffian logic. I argue instead that it needs to be considered in light of Kant’s developing theory of cognition and his corresponding criticism of the Wolffian single faculty theory. Whereas the mature Kant criticizes the rationalists for misrepresenting the nature of sensibility, the urgent task facing him at this stage seems to have been a (...) proper determination of the nature of the understanding. On the Wolffian framework, the latter is defined in a merely nominal manner, in terms of a generic cognitive task: the distinct representation of the possible. On Kant’s view, however, distinctness entails a capacity to relate representations, which only happens in the act of judgment. Thus, the stated aim of the False Subtlety notwithstanding, the work attempts to reorganize the logical operations around the capacity to judge. In turn, by defining the higher faculty of cognition in terms of an act of relating representations, Kant wants to show that this faculty cannot stem from a power of representation that we share with non-rational animals and must instead rest on a different fundamental power, which at the time he alternatively calls “inner sense” or “consciousness”. (shrink)

Many theories assimilate the idioms of modality to those of quantification; they hold that so-and-so is possible iff there is a "world" at which it is true that so-and-so. "Modal realism" identifies worlds with certain concrete particulars, and truth at a world with what is true of it. Rival "ersatz" theories identify worlds with certain abstract entities and identify what is true at them with what they represent. ;David Lewis argues that pre-theoretic modal intuitions are best explained by modal realism. (...) I try to make a case for ersatzism. ;First, I argue that modal realism is flawed on the grounds that it entails the impossibility of certain intuitively possible spatiotemporal structures; it fails to explain fully even those intuitions with which it is compatible; and it renders the origin of modal knowledge mysterious. ;Next, I argue that objections to ersatzism are not conclusive. ;Lewis objects that even a generic version of ersatzism requires an unnameable and maybe unintelligible primitive relation. I suggest that the problems with naming are perfectly general; they have nothing to do with metaphysical theories of modality in particular. And I suggest a solution taken from Lewis himself. I also argue that any purported unintelligibility is due to illegitimately assimilating the relation to spatiotemporal relations. ;Finally, I consider some difficulties with a version of ersatzism that aims to reduce modality to impure set-theory. One concerns the accommodation of intuitions about properties that are not, but might have been, instantiated. Another concerns accommodation of intuitions about relations of exclusion and entailment among properties. I suggest that these difficulties are due to faulty assumptions about the nature of properties rather than any fundamental flaws in this ersatz approach. So I propose an account of properties that when incorporated into ersatzism circumvents these difficulties and allows it to claim the advantages of modal realism without its drawbacks. Unlike traditional accounts, this takes the essence of a property to consist in its role in imposing a certain classificational structure on the particulars that instantiate it, rather than in any unique and irreducible "quiddity". (shrink)

Recent years have seen renewed interest in the semantics of generics. And a relatively mainstream view in this work is that the semantics of generics must appeal to kinds. But what are kinds? Can we learn anything about their nature by looking at how semantic theories of generics appeal to them? In this article, we overview recent work on the semantics of generics and consider their consequences for our understanding of the metaphysics of kinds.

We continue the study of the theories of Baldwin–Shi hypergraphs from [5]. Restricting our attention to when the rank δ is rational valued, we show that each countable model of the theory of a given Baldwin–Shi hypergraph is isomorphic to a generic structure built from some suitable subclass of the original class used in the construction. We introduce a notion of dimension for a model and show that there is a an elementary chain $\left\{ {\mathfrak{M}_\beta :\beta \leqslant \omega } (...) \right\}$ of countable models of the theory of a fixed Baldwin–Shi hypergraph with $\mathfrak{M}_\beta \preccurlyeq \mathfrak{M}_\gamma $ if and only if the dimension of $\mathfrak{M}_\beta $ is at most the dimension of $\mathfrak{M}_\gamma $ and that each countable model is isomorphic to some $\mathfrak{M}_\beta $. We also study the regular types that appear in these theories and show that the dimension of a model is determined by a particular regular type. Further, drawing on a large body of work, we use these structures to give an example of a pseudofinite, ω-stable theory with a nonlocally modular regular type, answering a question of Pillay in [11]. (shrink)

As a continuation of ideas initiated in [19], we study bi-colored (generic) expansions of geometric theories in the style of the Fraïssé–Hrushovski construction method. Here we examine that the properties $NTP_{2}$, strongness, $NSOP_{1}$, and simplicity can be transferred to the expansions. As a consequence, while the corresponding bi-colored expansion of a red non-principal ultraproduct of p-adic fields is $NTP_{2}$, the expansion of algebraically closed fields with generic automorphism is a simple theory. Furthermore, these theories are strong with $\operatorname {\mathrm (...) {bdn}}(\text {"}x=x\text {"})=(\aleph _0)_{-}$. (shrink)

Generics exhibit genericity, and though a theory of generics is closely connected to a theory of genericity, the two are distinct. They raise a host of interesting linguistic and philosophical issues, both separately and in their interaction. This chapter begins with a fairly manifest phenomenon one can observe in natural language. There is a range of sentences that, speaking intuitively, one can use to talk about kinds. It argues that there's no simple statistical criterion that systematically (...) captures the patterns of the truth and falsity of generics. Generics seem to not just be substantially independent of statistical facts in the world and at the time with respect to which they are evaluated. The chapter points‐out a likely form of context dependence in generics, and argues that on a quantificational approach to generics, the restrictor of the generic quantifier must be determined at least in part by the predicate at issue. (shrink)

We begin by distinguishing computationalism from a number of other theses that are sometimes conflated with it. We also distinguish between several important kinds of computation: computation in a generic sense, digital computation, and analog computation. Then, we defend a weak version of computationalism—neural processes are computations in the generic sense. After that, we reject on empirical grounds the common assimilation of neural computation to either analog or digital computation, concluding that neural computation is sui generis. Analog computation requires continuous (...) signals; digital computation requires strings of digits. But current neuroscientific evidence indicates that typical neural signals, such as spike trains, are graded like continuous signals but are constituted by discrete functional elements (spikes); thus, typical neural signals are neither continuous signals nor strings of digits. It follows that neural computation is sui generis. Finally, we highlight three important consequences of a proper understanding of neural computation for the theory of cognition. First, understanding neural computation requires a specially designed mathematical theory (or theories) rather than the mathematical theories of analog or digital computation. Second, several popular views about neural computation turn out to be incorrect. Third, computational theories of cognition that rely on non-neural notions of computation ought to be replaced or reinterpreted in terms of neural computation. (shrink)

The paper revisits Sharvy's theory of plural definite descriptions. An alternative account of plural definite descriptions building on the ideas of plural quantification and non-distributive plural predication is developed. Finally, the alternative is extrapolated to account for generic uses of definite descriptions.

Husserl’s theory of passive experience first came to systematic and detailed expression in the lectures on passive synthesis from the early 1920s, where he discusses pure passivity under the rubric of affection and association. In this paper I suggest that this familiar theory of passive experience is a first approximation leaving important questions unanswered. Focusing primarily on affection, I will show that Husserl did not simply leave his theory untouched. In later manuscripts he significantly reworks the (...) class='Hi'>theory of affection in terms of instinctive intentionality and a passive experience of desire aimed at satisfaction and enjoyment. This paper will show that the theory of affection and the theory of instincts in Husserl are really one and the same, differing only in the superior theoretical apparatus with which Husserl treats the phenomenon in his more considered theory of the instincts. I demonstrate the connection between the two theories by showing how what he generically calls “affection” in earlier texts is the same phenomenon he calls “curiosity” in later texts. The connection is further supported by the way curiosity does the same work as affection in its function within Husserl’s theory of association, serving as the basic connective tissue linking diverse experiences. In closing, I deal with the problem of how to integrate the experience of the body into the theory of instincts, displaying in another way how Husserl improves his theory of affection by making it more concrete when he recasts it as a theory of instincts. (shrink)

This article discusses some of the claims of the earlier and later versions of the Contemporary Theory of Metaphor (CTM) and addresses some of the criticism that has been leveled against it. It is argued that much of this criticism arises from common misconceptions as to the real claims made by the theory. However, CTM is still in need of further exploration and empirical support. In this connection, we identify some areas where research is still needed and supply (...) our own developments. We argue for a more complex classification of metaphor types, which takes into account various complementary taxonomic perspectives, including the nature of source and target and the genericity and complexity of the metaphoric operation. We also explore metaphor in relation to cognitive prominence and conceptual interaction issues. Finally, we deal with the problem of constraints on metaphor and make a proposal for three complementary kinds of constraint. (shrink)