Predicativity is a notable example of fruitful interaction between philosophy and mathematical logic. It originated at the beginning of the 20th century from methodological and philosophical reflections on a changing concept of set. A clarification of this notion has prompted the development of fundamental new technical instruments, from Russell's type theory to an important chapter in proof theory, which saw the decisive involvement of Kreisel, Feferman and Schütte. The technical outcomes of predica-tivity have since taken a life of their own, (...) but have also produced a deeper understanding of the notion of predicativity, therefore witnessing the " light logic throws on problems in the foundations of mathematics. " (Feferman 1998, p. vii) Predicativity has been at the center of a considerable part of Feferman's work: over the years he has explored alternative ways of explicating and analyzing this notion and has shown that predicative mathematics extends much further than expected within ordinary mathematics. The aim of this note is to outline the principal features of predicativity, from its original motivations at the start of the past century to its logical analysis in the 1950-60's. The hope is to convey why predicativity is a fascinating subject, which has attracted Feferman's attention over the years. (shrink)

According to contextualism, the extension of claims of personal taste is dependent on the context of utterance. According to truth relativism, their extension depends on the context of assessment. On this view, when the tastes of a speaker change, so does the truth value of a previously uttered taste claim, and if it is false, the speaker is required to retract it. Both views make strong empirical assumptions, which are here put to the test for the first time in three (...) experiments with over 740 participants. It turns out that the linguistic behaviour of ordinary English speakers is consistent with contextualist predictions and inconsistent with the predictions of the most widely discussed form of truth relativism advocated by John MacFarlane. (shrink)

In the sentence “Tom sits,” the name distinguishes Tom from anyone else, whereas the predicate assimilates Tom, Theaetetus, and anyone else to whom the predicate applies. The name marks out its bearer and the predicate groups together what it applies to. On that ground, his name is used to trace back Tom, and the predi- cate is used to describe and classify what it applies to. In both cases, the semantic link is a direct link between expressions and particulars. Here, (...) I will explore the workings of predicative names along the direction just hinted at. The analysis of predication has been less central to philosophical investigation than that of referen- tial expressions. Some problems have concerned the unity of the sentence—what makes us understand “The baby cries” as a sentence rather than a list of words? Other problems have been what a predicate was taken to stand for, properties and relations, and the understanding of either at the ontological level. If a predicate refers to a property or a relation, yet predication, which is central to our understand- ing of predicates, applies it to one or more particulars. On the background hinted at, these problems might be differently viewed. (shrink)

In this article I present a disagreement between classical and constructive approaches to predicativity regarding the predicative status of so-called generalised inductive definitions. I begin by offering some motivation for an enquiry in the predicative foundations of constructive mathematics, by looking at contemporary work at the intersection between mathematics and computer science. I then review the background notions and spell out the above-mentioned disagreement between classical and constructive approaches to predicativity. Finally, I look at possible ways of defending the constructive (...) predicativity of inductive definitions. (shrink)

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

Kant said that existence is not a predicate and Russell agreed, arguing that a sentence such as ‘The king of France exists’, which seems to attribute existence to the king of France, really has a logical form that is not reflected in the surface structure of the sentence at all. While the surface form of the sentence consists of a subject and a predicate, the underlying logical form, according to Russell, is the formula given in. This formula obviously has no (...) subjectpredicate form and in fact has no single constituent that corresponds to the verb phrase ‘exists’ in the surface sentence. ∃x∀y The importance of Russell’s analysis becomes clear when we consider ‘The king of France does not exist’. If this sentence would attribute non-existence to the king it should entail that there is someone who does not exist, just as ‘Mary doesn’t like bananas’ entails that there is someone who doesn’t like bananas. Thus the idea that all sentences have subject-predicate form has led some philosophers to the view that there are objects that lack existence. This embarrassing position can be avoided once Russell’s analysis is accepted: if ‘The king of France does not exist’ is formalised as the negation of formula, no unwanted consequences follow. (shrink)

Prominent constructive theories of sets as Martin-Löf type theory and Aczel and Myhill constructive set theory, feature a distinctive form of constructivity: predicativity. This may be phrased as a constructibility requirement for sets, which ought to be finitely specifiable in terms of some uncontroversial initial “objects” and simple operations over them. Predicativity emerged at the beginning of the 20th century as a fundamental component of an influential analysis of the paradoxes by Poincaré and Russell. According to this analysis the paradoxes (...) are caused by a vicious circularity in definitions; adherence to predicativity was therefore proposed as a systematic method for preventing such problematic circularity. In the following, I sketch the origins of predicativity, review the fundamental contributions by Russell and Weyl and look at modern incarnations of this notion. (shrink)

Over the course of the past ten-plus years, Peter Hanks and Scott Soames have developed detailed versions of Act-Based views of propositions which operate with the notions of reference to objects, indicating properties, predication, and judgment (or entertaining). In this paper I discuss certain foundational aspects of the Act-Based approach having to do with the relations between these notions. In particular, I argue for the following three points. First, that the approach needs both an atomistically understood thin notion of (...) reference, a bare act of thinking of o, as well as a more involved notion, something like making o a target of predication. Second, that the acts of thinking of o and indication of the property of being F are in no sense parts of the acts of predication of being F of o and judgment that o is F. Rather, the former are simply necessary preconditions for the performance of the latter. The acts of predication or judgment are emphatically not structured sequences of separate acts but unities in and of themselves. Finally, that we should understand the Act-Based theorists’ claim that to predicate is to judge as the claim that judgment can be reductively analyzed in terms of predication. Furthermore, while predication is metaphysically a multiple relation between a predicator, a target, and the property predicated, judgment is a monadic property, just one that has propositional content. (shrink)

This chapter compares simple predicates of personal taste (PPTs) such as tasty and beautiful with their complex counterparts (eg tastes good, looks beautiful). I argue that the former differ from the latter along two dimensions. Firstly, simple PPTs are individual-level predicates, whereas complex ones are stage-level. Secondly, covert Experiencer arguments of simple PPTs obligatorily receive a generic interpretation; by contrast, the covert Experiencer of a complex PPT can receive a generic, bound variable or referential interpretation. I provide an analysis of (...) these facts based on a novel proposal about the licensing of individual-level predicates (the ‘Licensing Condition on ILPs’). This condition states that all covert pronominal arguments of an individual-level predicate must be bound by the generic operator. Finally, I show that generic construal of the Experiencer is a necessary condition for faultless disagreement. This is evidence in favour of treatments of subjective meaning that appeal to genericity, and against relativism about PPTs. (shrink)

According to indexical contextualism, the perspectival element of taste predicates and epistemic modals is part of the content expressed. According to nonindexicalism, the perspectival element must be conceived as a parameter in the circumstance of evaluation, which engenders “thin” or perspective-neutral semantic contents. Echoing Evans, thin contents have frequently been criticized. It is doubtful whether such coarse-grained quasi-propositions can do any meaningful work as objects of propositional attitudes. In this paper, I assess recent responses by Recanati, Kölbel, Lasersohn and MacFarlane (...) to the “incompleteness worry”. None of them manages to convince. Particular attention is devoted to an argument by John MacFarlane, which states that if perspectives must be part of the content, so must worlds, which would make intuitively contingent propositions necessary. I demonstrate that this attempt to defend thin content views such as nonindexical contextualism and relativism conflates two distinct notions of necessity, and that radical indexicalist accounts of semantics, such as Schaffer’s necessitarianism, are in fact quite plausible. (shrink)

We argue that a cognitive semantics has to take into account the possibly partial information that a cognitive agent has of the world. After discussing Gärdenfors's view of objects in conceptual spaces, we offer a number of viable treatments of partiality of information and we formalize them by means of alternative predicative logics. Our analysis shows that understanding the nature of simple predicative sentences is crucial for a cognitive semantics.

In the debate between contextualism and relativism about predicates of taste, the challenge from disagreement (the objection that contextualism cannot account for disagreement in ordinary exchanges involving such predicates) has played a central role. This paper investigates one way of answering the challenge consisting on appeal to certain, less focused on, uses of predicates of taste. It argues that the said thread is unsatisfactory, in that it downplays certain exchanges that constitute the core disagreement data. Additionally, several arguments to the (...) effect that the exchanges in question don’t amount to disagreement are considered and rejected. (shrink)

Many word forms in natural language are polysemous, but only some of them allow for co-predication, that is, they allow for simultaneous predications selecting for two different meanings or senses of a nominal in a sentence. In this paper, we try to explain (i) why some groups of senses allow co-predication and others do not, and (ii) how we interpret co-predicative sentences. The paper focuses on those groups of senses that allow co-predication in an especially robust and (...) stable way. We argue, using these cases, but focusing particularly on the multiply polysemous word ‘school’, that the senses involved in co-predication form especially robust activation packages, which allow hearers and readers to access all the different senses in interpretation. (shrink)

Several philosophers have recently appealed to predication in developing their theories of cognitive representation and propositions. One central point of difference between them is whether they take predication to be forceful or neutral and whether they take the most basic cognitive representational act to be judging or entertaining. Both views are supported by powerful reasons and both face problems. Many think that predication must be forceful if it is to explain representation. However, the standard ways of implementing (...) the idea give rise to the Frege-Geach problem. Others think that predication must be neutral, if we’re to avoid the Frege-Geach problem. However, it looks like nothing neutral can explain representation. In this paper I present a third view, one which respects the powerful reasons while avoiding the problems. On this view predication is forceful and can thus explain representation, but the idea is implemented in a novel way, avoiding the Frege-Geach problem. The key is to make sense of the notion of grasping a proposition as an objectual act where the object is a proposition. (shrink)

Reconstructs the original Greek version of the confatalia-argument that Cicero attributes to Chrysippus in De fato and misrepresent in crucial ways. Compares this argument with Seneca's discussion of determinism in the Naturales quaestiones. Clarifies that Seneca makes a different distinction from that attested in Cicero's De fato. Argues that problems with interpreting both accounts derive from disregarding terminological distinctions harder to spot in the Latin versions and, related to this, insufficient attention to the ontological distinction between bodies (such as Fate) (...) and predicates (e.g. "what is fated"), which unfortunately does not square well with the modern ontological category "event." Contains some corrections to the author's earlier discussion of the topic in Seneca und die Stoa: Der Platz des Menschen in der Welt, De Gruyter 2006, ch. 3.3.4. (shrink)

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

Natural languages generally distinguishes among different existence predicates for different types of entities, such as English 'exist', 'occur', and 'obtain'. The paper gives an in-depth discussion and analysis of a range of existence predicates in natural language within the general project of descriptive metaphysics, or more specifically ‘natural language ontology’.

Recently, there’s been a lot of interest in a research program that tries to understand propositional representation in terms of the subject’s performance of sub-propositional mental acts like reference and predication (e. g. Burge 2010, Hanks 2015, Soames 2010, 2015). For example, on one version of the view, for a subject to predicate the property of being a composer of Arvo just is what it is to perform the to the basic propositional act of judging that Arvo is a (...) composer (e. g. Hanks 2015). In this paper I first present my own version of this view and contrast it with alternatives. I then argue that we must clearly separate the thin predication-resultant notion of judging (S(emantic)-judgment) from a much richer notion used in epistemology (E(pistemic)-judgment). The former is just the act of thinking a forceful thought. The latter is the act of making up one’s mind about how things are, a way of concluding theoretical or doxastic deliberation. I argue that these two acts differ in three ways: levels of propositional attitude, objective vs. subjective norms, and the possibility of sub-personal occurrence. (shrink)

In “Value Ascriptions: Rethinking Cognitivism,” Sigrún Svavarsdóttir offers a novel account of the semantic function of evaluative predication, according to which such predicates function as “linguistically encoded classificatory devices.” This short paper raises three questions about Svavarsdóttir’s account: how it relates to familiar sorts of projects in and about semantics, how to understand the nature of “linguistic encoding,” and how to understand the significance of the account’s central use of sets.

This paper argues that truth predicates in natural language and their variants, predicates of correctness, satisfaction and validity, do not apply to propositions (not even with 'that'-clauses), but rather to a range of attitudinal and modal objects. As such natural language reflects a notion of truth that is primarily a normative notion of correctness constitutive of representational objects. The paper moreover argues that 'true' is part of a larger class of satisfaction predicates whose semantic differences are best accounted for in (...) terms of a truthmaker theory along the lines of Fine's recent truthmaker semantics. (shrink)

One reason to think that names have a predicate-type semantic value is that they naturally occur in count-noun positions: ‘The Michaels in my building both lost their keys’; ‘I know one incredibly sharp Cecil and one that's incredibly dull’. Predicativism is the view that names uniformly occur as predicates. Predicativism flies in the face of the widely accepted view that names in argument position are referential, whether that be Millian Referentialism, direct-reference theories, or even Fregean Descriptivism. But names are predicates (...) in all of their occurrences; they are predicates that are true of their bearers. When a name appears as a bare singular in argument position, it really occupies the predicate position of what in this essay is called a denuded definite description: a definite description with an unpronounced definite article. Sloat provided good evidence for this. The definite article is sometimes pronounced with names in the singular: ‘The Ivan we all love doesn't feel well’. Sloat proposed a disjunctive generalization of when the definite article must be pronounced with a singular name. This essay shows that by slightly revising Sloat's generalization, we arrive at a simple, nondisjunctive, syntactic rule that governs the overt appearance of the definite article with singular names. But Ivan does not necessarily bear the name ‘Ivan’, so one might worry that the sentence “Ivan might not have had ‘Ivan’ as a name” would incorrectly be predicted false. This essay shows that Predicativism does not have this consequence by showing that incomplete definite descriptions in general and incomplete denuded descriptions, such as ‘Øthe Ivan’, in particular are rigid designators. (shrink)

In this paper I revisit the main arguments for a predicate analysis of descriptions in order to determine whether they do in fact undermine Russell's theory. I argue that while the arguments without doubt provide powerful evidence against Russell's original theory, it is far from clear that they tell against a quantificational account of descriptions.

In the debate between relativism and contextualism about various expressions, the Operator Argument, initially proposed by Kaplan , has been taken to support relativism. However, one widespread reaction against the argument has taken the form of arguing against one assumption made by Kaplan: namely, that certain natural language expressions are best treated as sentential operators. Focusing on the only extant version of the Operator Argument proposed in connection to predicates of personal taste such as “tasty” and experiencer phrases such as (...) “for Anna” ), in this paper I investigate whetherthe reasons offered by Cappelen and Hawthorne against various assumptions of the argument failing in the case of modal, temporal, locationaland precisional expressions transfer to the case of experiencer phrases to undercut support for relativism about predicates of personal taste. My aim is to show that they don’t. Thus, I first show that their considerations against experiencer phrases such as “for Anna” being sentential operators are not decisive. Second, I show that even if granting that such experiencer phrases are not sentential operators, a suitably modified version of the Operator Argument can be defended from the objections they raise. (shrink)

Despite the wide acceptance of standard modal logic, there has always been a temptation to think that ordinary modal discourse may be correctly analyzed and adequately represented in terms of predicates rather than in terms of operators. The aim of the formal model outlined in this paper is to capture what I take to be the only plausible sense in which ‘possible’ and ‘necessary’ can be treated as predicates. The model is built by enriching the language of standard modal logic (...) with a quantificational apparatus that is “substitutional” rather than “objectual”, and by obtaining from the language so enriched another language in which constants for such predicates apply to singular terms that stand for propositions. (shrink)

The primary purpose of this note is to demonstrate that predicative Frege arithmetic naturally interprets certain weak but non-trivial arithmetical theories. It will take almost as long to explain what this means and why it matters as it will to prove the results.

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)

As is well-known, the formal system in which Frege works in his Grundgesetze der Arithmetik is formally inconsistent, Russell’s Paradox being derivable in it.This system is, except for minor differ...

There are many examples offered as evidence that proper names are predicates. Not all of these cases speak to a name’s semantic content, but many of them do. Some of these include attributive, quantifier, and ambiguity cases. We will explore those cases here, and we will see that none of them conclusively show that names are predicates. In fact, all of these constructions can be given alternative analyses that eliminate the predicative characteristics of names they feature. These analyses do not (...) involve having names functioning as predicates in any way at all. In attributive cases, the names within them are to be understood as occurring in a comparative construction, not an attributive construction. In the last two sorts of cases, the names that occur are analyzed as part of a more complex referring device for a specific domain, rather than functioning as predicates. Both paraphrases can be given plausible semantic treatments that have significant advantages over their competitors. For this reason, there is less motivation to focus on predicative views of proper names. (shrink)

This paper contrasts the scholastic realisms of David Armstrong and Charles Peirce. It is argued that the so-called 'problem of universals' is not a problem in pure ontology (concerning whether universals exist) as Armstrong construes it. Rather, it pertains to which predicates should be applied where, issues which Armstrong sets aside under the label of 'semantics', and which from a Peircean perspective encompass even fundamentals of scientific methodology. It is argued that Peirce's scholastic realism not only presents a more nuanced (...) ontology (distinguishing existence and reality) but also illuminates why scholastic realism is a position worth fighting for. (shrink)

I argue there are two ways predication relations can hold according to the Categories: they can hold directly or they can hold mediately. The distinction between direct and mediated predication is a distinction between whether or not a given prediction fact holds in virtue of another predication fact’s holding. We can tell Aristotle endorses this distinction from multiple places in the text where he licenses an inference from one predication fact’s holding to another predication fact’s (...) holding. The best explanation for each such inference is that he takes some predication facts to be mediated by others. Once the distinction between direct and mediated predication has been explained and argued for, I show how it can help solve a persistent problem for the traditional view of non-substantial particulars in the Categories—that is, the view that non-substantial particulars are particular in the sense of being non-recurrent. Along with vindicating the traditional view, the direct/mediated predication distinction gives us a distinctive way of understanding what it is for something to be recurrent (or non-recurrent) as well as a better understanding of Aristotle’s broader commitments in the Categories as a whole. (shrink)

In this paper we discuss a phenomenon we call perspectival plurality, which has gone largely unnoticed in the current debate between relativism and contextualism about predicates of personal taste. According to perspectival plurality, the truth value of a sentence containing more than one PPT may depend on more than one perspective. Prima facie, the phenomenon engenders a problem for relativism and can be shaped into an argument in favor of contextualism. We explore the consequences of perspectival plurality in depth and (...) assess several possible responses on behalf of advocates of relativism. (shrink)

A predicate logic typically has a heterogeneous semantic theory. Subjects and predicates have distinct semantic roles: subjects refer; predicates characterize. A sentence expresses a truth if the object to which the subject refers is correctly characterized by the predicate. Traditional term logic, by contrast, has a homogeneous theory: both subjects and predicates refer; and a sentence is true if the subject and predicate name one and the same thing. In this paper, I will examine evidence for ascribing to Aristotle the (...) view that subjects and predicates refer. If this is correct, then it seems that Aristotle, like the traditional term logician, problematically conflates predication and identity claims. I will argue that we can ascribe to Aristotle the view that both subjects and predicates refer, while holding that he would deny that a sentence is true just in case the subject and predicate name one and the same thing. In particular, I will argue that Aristotle's core semantic notion is not identity but the weaker relation of constitution. For example, the predication ‘All men are mortal’ expresses a true thought, in Aristotle's view, just in case the mereological sum of humans is a part of the mereological sum of mortals. (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)

To what extent do true predications correspond to truthmakers in virtue of which those predications are true? One sort of predicate which is often thought to not be susceptible to an ontological treatment is a predicate for instantiation, or some corresponding predication (trope-similarity or set-membership, for example). This paper discusses this question, and argues that an "ontological" approach is possible here too: where this ontological approach goes beyond merely finding a truthmaker for claims about instantiation. Along the way a (...) version of the problem of the regress of instantiation is posed and solved. (shrink)

First, given criteria for identifying universals and particulars, it is shown that stuffs appear to qualify as neither. Second, the standard solutions to the logico-linguistic problem of mass terms are examined and evidence is presented in favor of the view that mass terms are straightforward singular terms and, relatedly, that stuffs indeed belong to a metaphysical category distinct from the categories of universal and particular. Finally, a new theory of the copula is offered: 'The cue is cold', 'The cube is (...) ice', and 'Ice is water' all have the form 'A is B'. On the basis of the logical behavior of stuff-names with respect to this univocal copula, definitions are suggested for 'X is a stuff', 'X composes Y', 'X is a material object', and even 'Matter'. Hence an expanded form of logicism. (shrink)

Two cases are distinguished. In one case two predicates belong to distinct languages. A straight-forward argument is presented that the predicates might be synonymous without being coextensive. In the second case the predicates belong to the same language. Here the issue is more involved, but the same conclusion is reached.

The standard view of clauses embedded under attitude verbs or modal predicates is that they act as terms standing for propositions, a view that faces a range of philosophical and linguistic difficulties. Recently an alternative has been explored according to which embedded clauses act semantically as predicates of content-bearing objects. This paper argues that this approach faces serious problems when it is based on possible worlds-semantics. It outlines a development of the approach in terms of truthmaker theory instead.

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)

I argue against the standard interpretation of Aristotle’s account of ‘natural predication’ in Posterior Analytics 1.19 and 1.22 according to which only substances can serve as subjects in such predications. I argue that this interpretation cannot accommodate a number of demonstrations Aristotle sanctions. I propose a new interpretation that can accommodate them.

Although Strawson’s main aim in “On Referring” was to argue that definite descriptions can be used referentially – that is, “to mention or refer to some individual person or single object . . . , in the course of doing what we should normally describe as making a statement about that person [or] object” (1950, p. 320) – he denied that definite descriptions are always used referentially. The description in ‘Napoleon was the greatest French soldier’ is not used referentially, says (...) Strawson, since it is used not to mention an individual, but only “to say something about an individual already mentioned” (p. 320). This is an example of what we may call a predicative use of a definite description, though such uses might be better illustrated by considering the false sentence.. (shrink)

This paper shows how the universals of category theory in mathematics provide a model (in the Platonic Heaven of mathematics) for the self-predicative strand of Plato's Theory of Forms as well as for the idea of a "concrete universal" in Hegel and similar ideas of paradigmatic exemplars in ordinary thought. The paper also shows how the always-self-predicative universals of category theory provide the "opposite bookend" to the never-self-predicative universals of iterative set theory and thus that the paradoxes arose from having (...) one theory (e.g., Frege's Paradise) where universals could be either self-predicative or non-self-predicative (instead of being always one or always the other). (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 here respond to Pietro Salis’s objections against my original critique of the Prosentential Theory of Truth. In addition, I clarify some points regarding the relationship between anaphoric relationships and “general semantic notions” like “equivalence”, “consequence”, and “sameness of content”, and make some further points about ’s ability gto explain pragmatic and expressive features of “true”.

In his Moderate Realism and Its Logic (Yale, 1996), Donald Mertz argues that the traditional ontology of nonpredicable substances and predicable universals is beset by “intractable problems,” “harbors an insidious error,” and constitutes a “stumbling block” for the ontologist. By contrast, a onecategory ontology consisting of relation instances (and combinations thereof) is sustainable, and indeed the only way of avoiding commitment to bare particulars. The success of the project turns on Mertz’s claim that every relation instance has a linking aspect, (...) so that (in a sense) even Socrates is a predicate. I argue that, ironically, it is this very feature of a relation instance that undermines Mertz’s entire theory of predication, effectively preventing any connections from being formed between the instances that allegedly compose an ordinary individual such as Socrates. (shrink)

In this paper I show that the problem of temporary intrinsics and a fundamental philosophical problem concerning the doctrine of the incarnation are isomorphic. To do so, I present the problem of temporary intrinsics, along with five responses to the problem. I then present the fundamental problem for Christology, which I call the problem of natural intrinsics. I present six responses to that problem, all but the last analogous to a response to the problem of temporary intrinsics. My goal is (...) not to argue that any individual response to either problem is correct. Instead, my goal is to present and defend an interesting and unnoticed similarity between two different problems, and to note how work on one problem can help with work on the other. -/- This is a penultimate manuscript, and not a final version, of a forthcoming article in Oxford Studies in Philosophy of Religion. As such, please do not cite this version; cite the official version, due out in OSPR VII in 2015. (shrink)

Egan argues against Lewis’s view that properties are sets of actual and possible individuals and in favour of the view that they are functions from worlds to extensions (sets of individuals). Egan argues that Lewis’s view implies that 2nd order properties are never possessed contingently by their (1st order) bearers, an implication to which there are numerous counter-examples. And Egan argues that his account of properties is more commensurable with the role they play as the semantic values of predicates than (...) is Lewis’s. (shrink)

Moral particularism, on some interpretations, is committed to a shapeless thesis: the moral is shapeless with respect to the natural. (Call this version of moral particularism ‘shapeless moral particularism’). In more detail, the shapeless thesis is that the actions a moral concept or predicate can be correctly applied to have no natural commonality (or shape) amongst them. Jackson et al. (Ethical particularism and patterns, Oxford University Press, Oxford, 2000) argue, however, that the shapeless thesis violates the platitude ‘predication supervenes (...) on nature’—predicates or concepts apply because of how things are, and therefore ought to be rejected. I defend shapeless moral particularism by arguing that Jackson et al’s contention is less compelling than it firstly appears. My defense is limited in the sense that it does not prove shapeless moral particularism to be right and it leaves open the possibility that shapeless moral particularism might attract criticisms different from the ones advanced by Jackson et al. But at the very least, I hope to say enough to undermine Jackson et al’s powerful attack against it. The plan of this paper is as follows. Section 1 glosses the view of moral particularism and why it is taken to be essentially committed to the shapeless thesis. Section 2 examines a Wittgensteinian argument for the shapeless thesis. I shall argue that the Canberrans’ counter-arguments against it on grounds of disjunctive commonality and conceptual competence do not succeed. Section 3 explicates Canberrans’ predication supervenience argument against the shapeless thesis. Section 4 offers my criticisms of the Canberrans’ predication supervenience argument. In view of the above discussions, in Sect. 5, I conclude that there is no compelling argument (from the Canberrans) to believe that the shapeless thesis fails (as I have argued in Sect. 4). In fact, there is some good reason for us to believe it (as I have argued in Sect. 2). If so, I contend that moral particularism, when construed as essentially committed to the shapeless thesis, still remains as a live option. (shrink)

I begin with an exposition of the two main variants of the Prosentential Theory of Truth (PT), those of Dorothy Grover et al. and Robert Brandom. Three main types of criticisms are then put forward: (1) material criticisms to the effect that (PT) does not adequately explain the linguistic data, (2) an objection to the effect that no variant of (PT) gives a properly unified account of the various occurrences of "true" in English, and, most importantly, (3) a charge that (...) the comparison with proforms is explanatorily idle. The last objection is that, given a complete semantic account of pronouns, proadjectives, antecedents, etc., together with a complete (PT), the essential semantic character of "true" could be deduced, but then, the idleness of the comparison with pronouns would be apparent. It turns out that objections (2) and (3) are related in the following way: the prosentential terminology is held to conceal the lack of unity in (PT), by describing the different data in the same terms ("proform", "antecedent", etc.). But this, I argue, is only a way of truly describing, rather than explaining, the data, these being certain relations of equivalence and consequence between sentences. I consider a language for which (PT) would be not only true, but also explanatory, but note that this language is very different from English. I end by showing that Robert Brandom's case that "is true" is not a predicate fails, and that his motivation for saying so is based on fallacious reasoning (namely, Boghossian's argument against deflationism). (shrink)

In this article I canvas the options available to a proponent of the traditional doctrine of the incarnation against a charge of incoherence. In particular, I consider the charge of incoherence due to incompatible predications both being true of the same one person, the God-man Jesus Christ. For instance, one might think that any- thing divine has to have certain attributes – perhaps omnipotence, or impassibility. But, the charge continues, nothing human can be omnipotent or impassible. And so nothing can (...) be divine and human. So Christ is not both God and man, contrary to the traditional doctrine of the incarnation. To do so, first, in Section II, I will present the problem as a deductively valid argument. I then, in that section, go on to show that the proponent of traditional Christology should grant all but one premise of the argument. In the remaining sections I will canvas possible solutions to the problem. In Section III I discuss three ways to deny Premise 3 of the forthcoming argument. These ways include a Kenotic response, qua-modification (in four versions), and finally a response that accepts the compatibility of the allegedly incompatible predicates. (shrink)