What in Aristotle corresponds, in whole or (more likely) in part, to our contemporary notion of predication? This paper sketches counterparts in Aristotle's text to our theories of expression and of truth, and on this basis inquires into his treatment of sentences assigning an individual to its kinds. In some recent accounts, the Metaphysics offers a fresh look at such sentences in terms of matter and form, in contrast to the simpler theory on offer in the Categories . I (...) argue that the Metaphysics initiates no change in this regard over the Categories . The point that form is (metaphysically) predicated of matter is a contribution, not to the account of statement predication, but to the analysis of compound material substances. Otherwise put, in our terms Aristotelian form is not - in particular, is not also - a propositional function, but a function from matter to compound material substances. (shrink)

The focus of this article is on the pragmatic presuppositions involved in the use of general terms in inductive practices. The main thesis is that the problem of characterizing the assumptions underlying the projection of predicates in inductive practices and the ones underlying the classification of crtain general terms as «natural kind terms» coincide to a good extent. The reason for this, it is argued, is that both classifications, «projectibility» and «natural kind term», are attempts to answer to (...) the same semantico-epistemological phenomenon, viz. underdertermination. It is proposed a «deflationary» reading of the so-called «theory of direct reference» as to enable an evaluation of its contribution to epistemological problems associated with this kind of phenomena, as well as it is argued that a purely de facto account of projectibility is not viable. The resulting hypothesis is that the conception of «natural kind terms» is only interesting insofar as they are seen as a kind of projectible general terms and thus as parts of classifications used in natural science, more generally, in inductive practices, and that this is a perspective that makes undue metaphysical readings avoidable. (shrink)

I argue that Plato held a kinds of reality theory, not a degrees of reality theory, and that this position solves otherwise intractable problems about the Forms, notably the Third Man critique. These problems stem from the fact that Plato applied the same predicate bothto a Form and to its participants. Section I shows that this creates serious difficulties for the Forms, whether the predicate is taken in the same sense or in totally different senses. Section II presents the evidence (...) that Plato had a third way of applying that predicate which obviates those problems. Finally, section III explains how predication by analogy requires a kinds of reality theory, but is incompatible with a degrees of reality theory. Thus, Plato’s kinds of reality theory validates the third way of predication discussed in section II, which in turn solves the problems enumerated in section I. (shrink)

This paper explores the possibility of developing a hybrid version of dispositional theories of aesthetic values. On such a theory, uses of aesthetic predicates express relational second-order dispositional properties. If the theory is not absolutist, it allows for the relativity of aesthetic values. But it may be objected to on the grounds that it fails to explain disagreement among subjects who are not disposed alike. This paper explores the possibility of adapting recent proposals of hybrid expressivist theories for moral predicates (...) to the case of aesthetic predicates. Hybrid expressivist theories make no explicit commitment about the kind of property expressed by the predicate, but make explicit commitments to implicated (or presupposed)expressive content. It is argued that dispositionalism about the properties expressed by aesthetic predicates, combined with expressive implicatures (or presuppositions), can account for aesthetic disagreements even in cases where subjects are not relevantly alike. (shrink)

The nature of moral judgments, and, more specifically, the question of how they relate, on the one hand, to objective reality and, on the other, to subjective experience, are issues that have been central to metaethics from its very beginnings. While these complex and challenging issues have been debated by analytic philosophers for over a century, it is only relatively recently that more interdisciplinary and empirically-oriented approaches to such issues have begun to see light. The present chapter aims to make (...) a contribution of that kind. We will present the results of an empirical – specifically, corpus linguistic – study that offers evidence that moral predicates exhibit hallmarks of subjectivity at the linguistic level, but also, that they differ significantly from paradigmatically subjective predicates. (shrink)

The-Predicativism is the view that names are count nouns. For example, the meaning of the name ‘Louise’ is roughly the property of being called Louise. Moreover, proponents of this view maintain that names that are ostensibly in argument position of a predicate are covert definite descriptions. In recent years, The-Predicativism has acquired a number of new supporters, mainly Elbourne (), Matushansky (), and Fara (). And while it was pointed out by Kripke () that these kinds of views generally struggle (...) with capturing the rigidity of proper names, these new views are alleged to solve this problem. In this paper I argue that the more recent versions of the view continue to struggle. In particular, I show that the views fail to provide an explanatory and/or empirically adequate analysis of rigidity. My discussions of these views are then supplemented with a general diagnosis of the problem and an explanation of why it is unlikely to be solved by The-Predicativism. (shrink)

Conceptual realism begins with a conceptualist theory of the nexus of predication in our speech and mental acts, a theory that explains the unity of those acts in terms of their referential and predicable aspects. This theory also contains as an integral part an intensional realism based on predicate nominalization and a reflexive abstraction in which the intensional contents of our concepts are “object”-ified, and by which an analysis of predication with intensional verbs can be given. Through a (...) second nominalization of the common names that are part of conceptual realism’s theory of reference (via quantifier phrases), the theory also accounts for both plural reference and predication and mass noun reference and predication. Finally, a separate nexus of predication based on natural kinds and the natural properties and relations nomologically related to those natural kinds, is also an integral part of the framework of conceptual realism. (shrink)

The aim of this article is to show that the scholastic commentaries on the Predicables or Categorems constituted a style of treatises on the philosophy of language and philosophy of logic. In such studies, called afterwards “Material Logic”, is considered, for instance, the theme of the domain of logic and the possibility of its construction; furthermore, logic is relates to ontology through the problem of universals. Here is explored to logical being which is the objectum of this discipline, and is (...) analized the structure of proposition and the nature of the main constitutives of inference. In the side of Philosophy of Language are located the study of the meaning of subjects and predicates, that of the proposition formed by them, also a hierarchy of logical types, and the principles of the ordained disposition of natural kinds and other classifications. They are things that now attract the interest of philosophers of logic and philosophers of languagewithin the analytic tradition. (shrink)

We formulate Suppes predicates for various kinds of space-time: classical Euclidean, Minkowski's, and that of General Relativity. Starting with topological properties, these continua are mathematically constructed with the help of a basic algebra of events; this algebra constitutes a kind of mereology, in the sense of Lesniewski. There are several alternative, possible constructions, depending, for instance, on the use of the common field of reals or of a non-Archimedian field (with infinitesimals). Our approach was inspired by the work of (...) Whitehead (1919), though our philosophical stance is completely different from his. The structures obtained are idealized constructs underlying extant, physical space-time. (shrink)

Like belief revision, conceptual change has rational aspects. The paper discusses this for predicate change. We determine the meaning of predicates by a set of imaginable instances, i.e., conceptually consistent entities that fall under the predicate. Predicate change is then an alteration of which possible entities are instances of a concept. The recent exclusion of Pluto from the category of planets is an example of such a predicate change. In order to discuss predicate change, we define a monadic predicate logic (...) with three different kinds of lawful belief: analytic laws, which hold for all possible instances; doxastic laws, which hold for the most plausible instances; and typicality laws, which hold for typical instances. We introduce predicate changing operations that alter the analytic laws of the language and show that the expressive power is not affected by the predicate change. One can translate the new laws into old laws and vice versa. Moreover, we discuss rational restrictions of predicate change. These limit its possible influence on doxastic and typicality laws. Based on the results, we argue that predicate change can be quite conservative and sometimes even hardly recognisable. (shrink)

We formulate Suppes predicates for various kinds of space-time: classical Euclidean, Minkowski's, and that of General Relativity. Starting with topological properties, these continua are mathematically constructed with the help of a basic algebra of events; this algebra constitutes a kind of mereology, in the sense of Lesniewski. There are several alternative, possible constructions, depending, for instance, on the use of the common field of reals or of a non-Archimedian field. Our approach was inspired by the work of Whitehead, though (...) our philosophical stance is completely different from his. The structures obtained are idealized constructs underlying extant, physical space-time. (shrink)

The aim of this paper is to provide a complete Natural Kind Semantics for an Essentialist Theory of Kinds. The theory is formulated in two-sorted first order monadic modal logic with identity. The natural kind semantics is based on Rudolf Willes Theory of Concept Lattices. The semantics is then used to explain several consequences of the theory, including results about the specificity (species–genus) relations between kinds, the definitions of kinds in terms of genera and specific differences and the (...) existence of negative kinds. First, I show under which conditions the Hierarchy principle, which has been subjected to counterexamples in the literature, holds. I also show that a different principle about the species–genus relations between kinds, namely Kant’s Law, follows from the essentialist theory. Second, I introduce two new operations for kinds and show that they can be used to provide traditional definitions of kinds in terms of genera and specific differences. Finally, I show that these operations of specific difference induce, for each kind, a uniquely specified contrary kind and a uniquely specified subcontrary kind, which can be used as semantic values for non-classical predicate negations of kind terms. (shrink)

Platonic arguments often have premises of a particular form which is misunderstood. These sentences look like universal generalizations, but in fact involve an implicit qua phrase which makes them a fundamentally different kind of predication. Such general implicit redoubled qua predications (girqps) are not an expression of Plato's proprietary views; they are also very common in everyday discourse. Seeing how they work in Plato can help us to understand them.

In this paper I offer a unified causal account of natural kinds. Using as a starting point the widely held view that natural kind terms or predicates are projectible, I argue that the ontological bases of their projectibility are the causal properties and relations associated with the natural kinds themselves. Natural kinds are not just concatenations of properties but ordered hierarchies of properties, whose instances are related to one another as causes and effects in recurrent causal processes. The resulting (...) account of natural kinds as clusters of core causal properties that give rise to clusters of derivative properties enables us to distinguish genuine natural kinds from non-natural kinds. For instance, it enables us to say why some of the purely conventional categories derived from the social domain do not correspond to natural kinds, though other social categories may. (shrink)

It is a commonly held view that Dedekind's construction of the real numbers is impredicative. This naturally raises the question of whether this impredicativity is justified by some kind of Platonism about sets. But when we look more closely at Dedekind's philosophical views, his ontology does not look Platonist at all. So how is his construction justified? There are two aspects of the solution: one is to look more closely at his methodological views, and in particular, the places in (...) which predicativity restrictions ought to be applied; another is to take seriously his remarks about the reals as things created by the cuts, instead of considering them to be the cuts themselves. This can lead us to make finer-grained distinctions about the extent to which impredicative definitions are problematic, since we find that Dedekind's use of impredicative definitions in analysis can be justified by his philosophical views. (shrink)

We shall distinguish between sortal predication and standard predication. The former kind of predication necessarily involves sortal concepts but the latter, as it is customarily viewed, does not. It is generally thought that the only essential occurrence of a concept in a standard predication is the concept being predicated. In this paper, we shall put forward an alternative view. We shall propose to understand standard predication as a cognitive act essentially requiring sortal concepts. We (...) shall call this view conceptual predication sortalism and ground it on the basis of epistemic-semantic reasons. Concepts are understood as intersubjectively realizable capacities or abilities that fulfill particular cognitive roles, such as those of classification, categorization, individuation, and referring. (shrink)

The thesis examines two dimensions of constructivity that manifest themselves within foundational systems for Bishop constructive mathematics: intuitionistic logic and predicativity. The latter, in particular, is the main focus of the thesis. The use of intuitionistic logic affects the notion of proof : constructive proofs may be seen as very general algorithms. Predicativity relates instead to the notion of set: predicative sets are viewed as if they were constructed from within and step by step. The first part of the thesis (...) clarifes the algorithmic nature of intuitionistic proofs, and explores the consequences of developing mathematics according to a constructive notion of proof. It also emphasizes intra-mathematical and pragmatic reasons for doing mathematics constructively. The second part of the thesis discusses predicativity. Predicativity expresses a kind of constructivity that has been appealed to both in the classical and in the constructive tradition. The thesis therefore addresses both classical and constructive variants of predicativity. It examines the origins of predicativity, its motives and some of the fundamental logical advances that were induced by the philosophical re ection on predicativity. It also investigates the relation between a number of distinct proposals for predicativity that appeared in the literature: strict predicativity, predicativity given the natural numbers and constructive predicativity. It advances a predicative concept of set as unifying theme that runs across both the classical and the constructive tradition, and identifies it as a forefather of a computational notion of set that is to be found in constructive type theories. Finally, it turns to the question of which portions of scientifically applicable mathematics can be carried out predicatively, invoking recent technical work in mathematical logic. (shrink)

This paper argues that truth values of sentences containing predicates of “personal taste” such as fun or tasty must be relativized to individuals. This relativization is of truth value only, and does not involve a relativization of semantic content: If you say roller coasters are fun, and I say they are not, I am negating the same content which you assert, and directly contradicting you. Nonetheless, both our utterances can be true (relative to their separate contexts). A formal semantic theory (...) is presented which gives this result by introducing an individual index, analogous to the world and time indices commonly used, and by treating the pragmatic context as supplying a particular value for this index. The context supplies this value in the derivation of truth values from content, not in the derivation of content from character. Predicates of personal taste therefore display a kind of contextual variation in interpretation which is unlike the familiar variation exhibited by pronouns and other indexicals. (shrink)

There are no "special sciences" in Fodor's sense. There is a large group of sciences, "historical sciences," that differ fundamentally from the physical sciences because they quantify over a different kind of natural or real kind, nor are the generalizations supported by these kinds exceptionless. Heterogeneity, however, is not characteristic of these kinds. That there could be an univocal empirical science that ranged over multiple realizations of a functional property is quite problematic. If psychological predicates name multiply realized (...) functionalist properties, then there is no single science dealing with these: human psychology, ape psychology, Martian psychology and robot psychology are necessarily different sciences. (shrink)

ABSTRACTWide-ranging semantic flexibility is often considered a magic cure for contextualism to account for all kinds of troubling data. In particular, it seems to offer a way to account for our intuitions regarding embedded perspectival sentences. As has been pointed out by Lasersohn [2009. “Relative Truth, Speaker Commitment, and Control of Implicit Arguments.” Synthese 166 : 359â374], however, the semantic flexibility does not present a remedy for all kinds of embeddings. In particular, it seems ineffective when it comes to embeddings (...) under operators with truth evaluative adverbs such as ‘correctly believes that’ and ‘incorrectly believes that’ and under factive verbs. This paper takes a closer look at the problematic embedding data with respect to predicates of personal taste. It argues that there is indeed no semantic solution for contextualism but a pragmatic way out. (shrink)

This article explores the relation between ‘citing the evidence’, or implicating a particular diagnosis, and ‘asserting the condition’, or overtly predicating the diagnosis as an attribute of a person. Clinicians regularly postpone or delay asserting the condition, which is interactionally more confrontational and presumptive. They regularly do the postponement by citing the evidence prior to asserting the condition, using the evidence as kind of predecessor account for predicating the diagnosis as an attribute of the person. Citing the evidence as (...) leading to asserting the condition enhances the likelihood of recipients realizing some bad news or other kind of diagnostic upshot. This study has implications for the relation between interaction and authority in medical discourse. (shrink)

Of the later dialogues of Plato, the Sophists stand out. This article highlights the concept of sophist as propounded by Plato. A didactic approach runs through the text. Socrates harps on the relation between sophist, philosopher and a statesman. Are they three different or they are the same. The basic idea that Plato wants to convey is, both features highlight some of the key enigmas of the dialogue: What is the relation between the outer and middle parts? How seriously are (...) we to take the outer part? And is there a genuine, and successful, attempt to say what the sophist is? The article focuses on two key problems discussed and solved in the middle part: the late-learners' problem, and the problem of false statement. The article also discusses communion of kinds and Plato's idea of the four quartets. (shrink)

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

When we speak of a predicate's extension, we intend to delineate the class of objects of which it is true.' Unfortunately, in some common situations the proper ground for determining whether a predicate is true of a particular individual becomes uncertain or ambiguous. One kind of situation in which this can happen — the kind of situation I will be particularly concerned with in this paper — is one in which the linguistic community is unaware of the existence (...) of kinds of objects to which a predicate might be thought to apply. It is frequently indeterminate whether such un-expected objects should be assigned to the extension or to the counter-extension of the predicate. This common phenomenon suggests deeper issues concerning the rationale for our intuitive extension assignments, I shall discuss some real life examples of this phenomenon, but it will be convenient to begin with a simple fictional case. (shrink)

The properties, theoretical magnitudes, and natural kinds which science seeks to characterize, and not the sense or meanings which parts of speech may possess, are the subject of this paper. Many philosophers (e.g., Putnam [1971] and Achinstein [1974]) have agreed that two predicates of different meaning may pick out the same property, but they usually hold that that logically equivalent predicates must pick out the same properties. I propose to deny this thesis. My argument is by way of an example (...) and by appeal to a principle. The principle connects propertyhood with causal efficacy. The example situation I will describe in what follows is intended to show that the property of being a closed straight-sided figure having three sides is not the same property as that of being a closed straight-sided figure having three angles (a triangle). (shrink)

I discuss the foundations of predicate ontologies based on two model notions – elementary states of affairs and eventualities, i.e. ordered pairs of initial and end states of affairs. Vendlerian classifications are oriented towards elementary states and tense logic, while Davidsonian classifications deal with eventualities and event logic. There are two kinds of atemporal predicates - fact and properties. Facts are propositional arguments of second-order predicates which add a special meaning that the embedded proposition was verified. Properties are atemporal first-order (...) predicates that lack eventive interpretation and are not associated with factive frames. Davidsonian states are homogeneous durable spatiotemporal things distinct both from atemporal properties and spatiotemporal dynamic predicates. Davidsonian states are causally independent, while resultatives are causally determined as they reconstruct a preceding event that has caused the end state p. I discuss the contrast between external and internal Davidsonian states. The former lack a priority argument and can be quantified extensionally. The latter have a priority experiential argument and can only be quantified intensionally. External states can be observed, while internal states cannot. (shrink)

According to the simple proposal, a predicate is rigid iff it signifies the same property across the different possible worlds. The simple proposal has been claimed to suffer from an over-generalization problem. Assume that one can make sense of predicates signifying properties, and assume that trivialization concerns, to the effect that the notion would cover any predicate whatsoever, can be overcome. Still, the proposal would over-generalize, the worry has it, by covering predicates for artifactual, social, or evaluative properties, such as (...) 'is a knife,' 'is a bachelor,' or 'is funny.' In defense, it is argued that rigidity for predicates as characterized plays the appropriate theoretical role, and that the contention that "unnatural" properties are not to be rigidly signified is ungrounded. (shrink)

This paper argues for an ontological distinction between two kinds of universals, 'kinds of tropes' such as 'wisdom' and properties such as 'the property of being wise'. It argues that the distinction is parallel to that between two kinds of collections, pluralities such as 'the students' and collective objects such as 'the class'. The paper argues for the priortity of distributive readings with pluralities on the basis of predicates of extent or shape, such 'large' or 'long'.

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)

Factual statements that might qualify for the status of law statements are classed from various philosophically relevant standpoints (referents, precision, structure of predicates, extension, systemicity, inferential power, inception, ostensiveness, testability, levels, and determination categories). More than seven dozen of not mutually exclusive kinds of lawlike statements emerge. Strictly universal and counterfactually powerful statements are seen to constitute just one kind of lawlike statements; classificatory and some statistical laws, e.g., are shown not to comply with the requirements of universality and (...) counterfactual force. Conditions for lawlike statements to be called laws are then examined, and a liberal criterion of lawfulness is finally proposed, which reads thus: A proposition is a law statement if and only if it is a posteriori (not logically true), general in some respect (does not refer to unique objects), has been satisfactorily corroborated for the time being in some domain, and belongs to a theory (whether adult or embryonic). It is claimed that criteria of laws change alongside with the emergence of new usages of the term 'law', and that by adopting a liberal criterion of lawfulness we would conform to contemporary usage and would cease inhibiting the search for regularities in the sciences of man. (shrink)

In this position paper we present a logical framework for modelling reasoning with graded predicates. We distinguish several types of graded predicates and discuss their ubiquity in rational interaction and the logical challenges they pose. We present mathematical fuzzy logic as a set of logical tools that can be used to model reasoning with graded predicates, and discuss a philosophical account of vagueness that makes use of these tools. This approach is then generalized to other kinds of graded predicates. Finally, (...) we propose a general research program towards a logic-based account of reasoning with graded predicates. (shrink)

The aim of this article is to show that the scholastic commentaries on the Predicables or Categorems (in Porphiry Eisagoge) constituted a style of treatises on the philosophy of language and philosophy of logic. In such studies, called afterwards “Material Logic”, is considered, for instance, the theme of the domain of logic and the possibility of its construction; furthermore, logic is relates to ontology through the problem of universals. Here is explored to logical being (ens rationis) which is the objectum (...) (subject) of this discipline, and is analized the structure of proposition and the nature of the main constitutives of inference. In the side of Philosophy of Language are located the study of the meaning of subjects and predicates (or predicables), that of the proposition formed by them, also a hierarchy of logical types (and semantical ones), and the principles of the ordained disposition of natural kinds and other classifications. They are things that now attract the interest of philosophers of logic and philosophers of languagewithin the analytic tradition. (shrink)

I argue for two major claims in this paper. First, I argue that the linguistic evidence best supports a certain form of contextualism about predicates of personal taste (PPTs) like ?fun? and ?tasty?. In particular, I argue that these adjectives are both individual-level predicates (ILPs) and anaphoric implicit argument taking predicates (IATPs). As ILPs, these naturally form generics. As anaphoric IATPs, PPTs show the same dependencies on context and distributional behavior as more familiar anaphoric IATPs, for example, ?local? and ?apply?. (...) Moreover, they are subject to important binding-related phenomena, for example, various kinds of anaphora, binding arguments, and strict-sloppy ambiguities. The latter are particularly problematic for relativism, contextualism's major competitor. I argue that relativism cannot account for these binding facts in a non-ad hoc manner. Second, I argue that disagreement is a predictable feature of dialogues involving PPTs in conjunction with the contextualist semantics defended. Appealing to ?off the shelf? analyses of genericity, I show how disagreement arises in just the cases we would expect, licensing just the kinds of responses we would expect. They also suggest promising explanations, unavailable to relativists, of various otherwise puzzling features of disagreements involving PPTs. (shrink)

Biological species are often taken as counterexamples to essentialist accounts of natural kinds. Essentialists like Ellis (2001) agree with nominalists that because biological kinds evolve, any distinctions between kinds of biological kind must ultimately be arbitrary. The resulting vagueness in the extension of natural kind predicates in the case of species has led to the claim that species ought to be construed as individuals rather than kinds (Ghiselin 1974, 1987; Hull 1976, 1978). I examine the possibility that causal (...) features extrinsic to the properties of natural kinds are responsible for establishing the unity of the properties of a natural kind. I reject the intuitive idea that laws of nature might act as such an external mechanism because this would entail an account of ceteris paribus biological laws, where there are no plausible truthmakers in terms of kinds or properties. I suggest instead that symbiosis is a plausible external causal mechanism, which explains the evolution of homeostasis in natural kind clusters. This involves the acceptance of an expanded account of evolutionary development as cooperative symbiosis. (shrink)

. Three logical squares of predication or quantification, which one can even extend to logical hexagons, will be presented and analyzed. All three squares are based on ideas of the non-traditional theory of predication developed by Sinowjew and Wessel. The authors also designed a non-traditional theory of quantification. It will be shown that this theory is superfluous, since it is based on an obscure difference between two kinds of quantification and one pays a high price for differentiating in (...) this way: losing the definability between the existence- and all-quantifier. Therefore, a combination of non-traditional predication and classical quantification is preferred here. (shrink)

Simple taste predications come with an `acquaintance requirement': they require the speaker to have had a certain kind of first-hand experience with the object of predication. For example, if I tell you that the crème caramel is delicious, you would ordinarily assume that I have actually tasted the crème caramel and am not simply relying on the testimony of others. The present essay argues in favor of a lightweight expressivist account of the acquaintance requirement. This account consists of (...) a recursive semantics and an account of assertion; it is compatible with a number of different accounts of truth and content, including contextualism, relativism, and purer forms of expressivism. The principal argument in favor of this account is that it correctly predicts a wide range of data concerning how the acquaintance requirement interacts with Boolean connectives, generalized quantifiers, epistemic modals, and attitude verbs. (shrink)

The article discusses an idea of how to extend the notion of rigidity to predicates, namely the idea that predicates stand in a certain systematic semantic relation to properties, such that this relation may hold rigidly or nonrigidly. The relation (which I call signification) can be characterised by recourse to canonical property designators which are derived from predicates (or general terms) by means of nominalization: a predicate signifies that property which the derived property designator designates. Whether signification divides into rigid (...) and non-rigid cases will then depend uponwhether canonical property designators divide into rigid and non-rigid ones. But, I shall argue, they do not, and so the only notion of rigidity gained this way is trivial. To show this, I first focus on the kind of canonical property designators which could be thought to be nonrigid, canonical designators such as having the colour of ripe tomatoes which themselves contain non-rigid property designators. An argument to the effect that such complex canonical designators are non-rigid is rebutted, five arguments to the effect that they are rigid are formulated, and finally an explanation of their rigidity based on the general nature of canonical property designators is presented. (shrink)

In this paper, I will argue that two kinds of first-person-oriented content are distinguished in more ways than usually thought and I propose an account that will shed new light on the distinction. The first kind consists of contents of attitudes de se (in a broad sense); the second kind consists of contents that give rise to intuitions of relative truth. I will present new data concerning the two kinds of first-person-oriented content, together with a novel account of (...) propositional content in general, namely based on the notion of an attitudinal object. That notion solves two major problems with Lewis's account of contents of attitudes de se and clarifies the difference between contents of attitudes de se and contents that give rise to intuitions of relative truth. I will propose an analysis of contents of the second kind in terms of what I call firstperson-based genericity, a form of genericity most explicitly expressed by sentences with generic one. I show how the overall account explains the particular semantic properties of sentences giving rise to intuitions of relative truth that distinguish them from sentences with expressions interpreted de se. I will start by introducing Lewis's account of attitudes de se and the problems that go along with that account. Introducing the notion of an attitudinal object, I will extend the account by an account of the truth conditions of the content of attitudes de se. I then discuss the second kind of first-person-oriented content, which is associated with intuitions of relative truth, and give an account of such contents on the basis of an analysis of generic one. Again making use of attitudinal objects, I will make clear what exactly distinguishes those contents from first-person-oriented contents of the first sort. (shrink)

Virtually everyone will agree that according to Aristotle, for a particular substance to be is at least for it to be a thing of a certain kind. Every particular substance falls under a substance kind, where the essence of that particular substance at least includes the essence of its substance kind. For example, for a particular man to be is at least for him to be characterized by those predicates that make something a man. More generally, if (...) A is said of a particular A kath’ hauto, then the essence of that particular A will at least include the essence of the kind A. Let us call the first of these essences the essence of a particular A, and the second the essence of the kind A. The question now is whether Aristotle would maintain that the essence of a particular A includes the essence of the kind A for every kind A. In particular, would he maintain this when A is said of a particular subject kata sumbebêkos? For example, would he say that what it is for a particular pale man to be includes what it is to fall under the kind pale man? (shrink)

The aim of this paper is (i) to defend Frege's view that the referents of predicates are certain kinds of functions, or "concepts", i.e. incomplete entities, and not their extensions (i.e. sets of objects described by those predicates); and (ii) to justify, by a natural augmentation of Frege's semantic theory with modal ingredients, Frege's position that the sameness between concepts, or property-sharing, turns only on the sameness of extensions. Several problems with the doctrine that a predicate's extension is its referent (...) are presented, including the regress argument and an argument from the modern philosophy of language related to natural kind terms. In this connection, it is also pointed out that all referential expressions are in a sense rigid. (shrink)

§1. Introduction. The problem raised by the liar paradox has long been an intriguing challenge for all those interested in the concept of truth. Many “solutions” have been proposed to solve or avoid the paradox, either prescribing some linguistical restriction, or giving up the classical true-false bivalence or assuming some kind of contextual dependence of truth, among other possibilities. We shall not discuss these different approaches to the subject in this paper, but we shall concentrate on a kind (...) of formal construction which was originated by Kripke's paper “Outline of a theory of truth” [11] and which, in different forms, reappears in later papers by various authors.The main idea can be presented as follows: assume a first order language ℒ containing, among other unspecified symbols, a predicate symbolTintended to represent the truth predicate for ℒ. Assume, also, a fixed modelM= 〈D, I〉 whereDcontains all sentences of ℒ andIinterprets all non-logical symbols of ℒ exceptTin the usual way. In general,Dmight contain many objects other than sentences of ℒ but as that would raise the problem of the meaning of sentences in whichTis applied to one of these objects, we shall assume that this is not the case. (shrink)

The aim of this article is to illustrate how a belief in the existence of kinds may be justified for the particular case of natural kinds: particularly noteworthy in this respect is the weight borne by scientific natural kinds (e.g., physical, chemical, and biological kinds) in (i) inductive arguments; (ii) the laws of nature; and (iii) causal explanations. It is argued that biological taxa are properly viewed as kinds as well, despite the fact that they have been by some alleged (...) to be individuals. Since it turns out that the arguments associated with the standard Kripke/Putnam semantics for natural kind terms only establish the non-descriptiveness of natural kind terms and not their rigidity, the door is open to analyze these terms as denoting traditional predicate-extensions. Finally, special issues raised by physical and chemical kinds are considered briefly, in particular impurities, isotopes and the threat of incommensurability. (shrink)

Predicates of personal taste (fun, tasty) and epistemic modals (might, must) share a similar analytical difficulty in determining whose taste or knowledge is being expressed. Accordingly, they have parallel behavior in attitude reports and in a certain kind of disagreement. On the other hand, they differ in how freely they can be linked to a contextually salient individual, with epistemic modals being much more restricted in this respect. I propose an account of both classes using Lasersohn’s (Linguistics and Philosophy (...) 28: 643–686, 2005) “judge” parameter, at the same time arguing for crucial changes to Lasersohn’s view in order to allow the extension to epistemic modals and address empirical problems faced by his account. (shrink)

This paper is devoted to the study of bare nominal arguments (i.e., determinerless NPs occurring in canonical argumental positions) from a crosslinguistic point of view. It is proposed that languages may vary in what they let their NPs denote. In some languages (like Chinese), NPs are argumental (names of kinds) and can thus occur freely without determiner in argument position; in others they are predicates (Romance), and this prevents NPs from occurring as arguments, unless the category D(eterminer) is projected. Finally, (...) there are languages (like Germanic or Slavic) which allow both predicative and argumental NPs; these languages, being the ‘union’ of the previous two types, are expected to behave like Romance for certain aspects of their nominal system (the singular count portion) and like Chinese for others (the mass and plural portions). This hypothesis (the ‘Nominal Mapping Parameter’) is investigated not just through typological considerations, but also through a detailed contrastive analysis of bare arguments in Germanic (English) vs. Romance (Italian). Some general consequences of this view, which posits a limited variation in the mapping from syntax into semantics, for current theories of Universal Grammar and acquisition are considered. (shrink)

Sparrows fly because they are birds. This mushroom is poisonous because it is an Amanita muscaria. Pointing out the kind to which things belong explains many of their properties. Jonathan Lowe’s four-category ontology and his account of laws of nature provide a framework to account for the explanatory appeal of referring to kind membership. For Lowe, “Electron has Unit-negative charge” is a typical example for a law of nature: a kind universal characterized by a property universal. We (...) present both Lowe’s original account of laws of nature and later developments, and show how Lowe’s account can help to solve notorious problems of other accounts, namely, the regularity view and the Armstrong-Dretske-Tooley view. We argue that there are two challenges that Lowe’s view cannot master. First, Lowe conflates generics and dispositions, which is a considerable problem for Lowe, because his account of dispositional predication and his account of laws of nature are intimately connected. Second, there is the identification problem of fully specifying and identifying the formal ontological relation of characterization between kind universals and property universals. In order to solve these problems, we develop an account of formal causation inspired by Aristotle’s theory of explanation in his Posterior Analytics. Though very close to Lowe’s own account, our neo-Aristotelian account avoids Lowe’s confusion regarding dispositions, avoids overdetermination through several similar laws of nature, and provides an answer to the identification problem: The characterization of a kind universal by a property universal constitutes the relation of formal causation. By virtue of this relation, the kind Amanita muscaria is the formal cause of this mushroom having the attribute of being poisonous. (shrink)

An intermediate predicate logic L is called finite iff it is characterized by a finite partially ordered set M, i.e., iff L is the logic of the class of all predicate Kripke frames based on M. In this paper we study axiomatizability of logics of this kind. Namely, we consider logics characterized by finite trees M of a certain type (levelwise uniform trees) and establish the finite axiomatizability criterion for this case.

A notion of strictly primitive recursive realizability is introduced by Damnjanovic in 1994. It is a kind of constructive semantics of the arithmetical sentences using primitive recursive functions. It is of interest to study the corresponding predicate logic. It was argued by Park in 2003 that the predicate logic of strictly primitive recursive realizability is not arithmetical. Park’s argument is essentially based on a claim of Damnjanovic that intuitionistic logic is sound with respect to strictly primitive recursive realizability, but (...) that claim was disproved by the author of this article in 2006. The aim of this paper is to present a correct proof of the result of Park. (shrink)