While Continental philosophers have had much to say about the nature of politics and about modern political institutions, they do not consider their task to provide the basis for evaluating policies or justifying institutions. Even if analytic philosophers no longer think of themselves as giving conceptual analyses of key political terms, they generally do what Continental philosophers do not: by elaborating systematic principles, their goal is precisely to provide the basis for “evaluating the strengths and weaknesses of political arguments”. If (...) this is not what Continental philosophers do, what is their goal? Continental political theory has usually not been concerned with providing arguments which directly justify or criticize institutions or policies, so much as to expose and criticize the very presuppositions that characterize all peculiarly “modern” politics and social arrangements. The differences here are not so much in methodology, but in substantive, normative concerns. (shrink)

Plural predication is a pervasive part of ordinary language. We can say that some people are fifty in number, are surrounding a building, come from many countries, and are classmates. These predicates can be true of some people without being true of any one of them; they are non-distributive predications. However, the apparatus of modern logic does not allow a place for them. Thomas McKay here explores the enrichment of logic with non-distributive plural predication and quantification. His book will be (...) of great interest to philosophers of language, linguists, metaphysicians, and logicians. (shrink)

In this article, I show how two modes of predication and quantification in a modal context allow one to (a) define what it is for an individual or relation to exist, (b) define identity conditions for properties and relations conceived hyperintensionally, (c) define identity conditions for individuals and prove the necessity of identity for both individuals and relations, (d) derive the central definition of free logic as a theorem, (e) define the essential properties of abstract objects and provide a framework (...) for defining the essential properties of ordinary objects, and (f) derive a theory of truth. I also describe my indebtedness to the work of Terence Parsons and take the opportunity to advance the discussion in connection with an objection raised to the theory of essential properties. (shrink)

Meeting successfully the modalist challenge needs the reconsideration of certain issues. In particular, the purposeful slip of tongue from essence or sortal form to essential properties made by the modalists creates the illusion that essentialism is a sort of de re necessity. To dispel the illusion one has to show why coming about under a kind and also being of that kind is not a property of the instances of that kind. The distinction between constitution under a form and the (...) predication of properties to substances constituted by their form is explored as pertinent to the essentialist reply. Propria as ‘necessary accidents’ are connected to essences. The suggestion is that one can draw, with this connection, on the intensional notion of metaphysical necessity. Lastly, the role of particularized immanent sortal forms is considered by suggesting that they can fill out a gap in the universalist account of sortal essences. (shrink)

Identity, existence, predication, necessity, and truth are fundamental philosophical concerns. Colin McGinn treats them both philosophically and logically, aiming for maximum clarity and minimum pointless formalism. He contends that there are real logical properties that challenge naturalistic metaphysical outlooks. These concepts are not definable, though we can say a good deal about how they work. The aim of Logical Properties is to bring philosophy back to philosophical logic.

This chapter considers in parallel some main argumentative strategies of Nāgārjuna’s Root Verses and the “dialectical exercise” of Plato’s Parmenides. It argues that both can be seen as critically targeting the unity that is attributed to entities as coherent and individual subjects of predication. In particular, both show that it is incoherent to suppose any such subject either has the relevant kind of unity or (lacking such a unity) does not exist at all. This suggests that we may reject familiar (...) analyses of the contradictory or paradoxical conclusions of both arguments as pointing either toward a superior and consistent structure of logical categories or toward a transcendent insight into the ineffable. Instead, we may see both as pointing, rather, to a possible overcoming of the “habit” of reifying conceptualization that is deep-seated in ordinary language and practice, and thereby to the potential soteriological benefits of such an overcoming. (shrink)

Identity, existence, predication, necessity, and truth are fundamental philosophical concerns. Colin McGinn treats them both philosophically and logically, aiming for maximum clarity and minimum pointless formalism. He contends that there are real logical properties that challenge naturalistic metaphysical outlooks. These concepts are not definable, though we can say a good deal about how they work. The aim of Logical Properties is to bring philosophy back to philosophical logic.

This paper is devoted to the formulation and investigation of a dynamic semantic interpretation of the language of first-order predicate logic. The resulting system, which will be referred to as ‘dynamic predicate logic’, is intended as a first step towards a compositional, non-representational theory of discourse semantics. In the last decade, various theories of discourse semantics have emerged within the paradigm of model-theoretic semantics. A common feature of these theories is a tendency to do away with the principle of compositionality, (...) a principle which, implicitly or explicitly, has dominated semantics since the days of Frege. Therefore the question naturally arises whether non-compositionality is in any way a necessary feature of discourse semantics. Since we subscribe to the interpretation of compositionality as constituting primarily a methodological principle, we consider this to be a methodological rather than an empirical question. As a consequence, the emphasis in the present paper lies on developing an alternative compositional semantics of discourse, which is empirically equivalent to its non-compositional brethren, but which differs from them in a principled methodological way. Hence, no attempts are made to improve on existing theories empirically. Nevertheless, as we indicate in section 5, the development of a compositional alternative may in the end have empirical consequences, too. First of all, it can be argued that the dynamic view on interpretation developed in this paper suggests natural and relatively easy to formulate extensions which enable one to deal with a wider range of phenomena than can be dealt with in existing theories. Moreover, the various approaches to the model-theoretic semantics of discourse that have been developed during the last decade, have constituted a ‘fresh start’ in the sense that much of what had been accomplished before was ignored, at least for a start. Of course, this is a justified strategy if one feels one is trying to develop a radically different approach to recalcitrant problems. However, there comes a time when such new approaches have to be compared with the older one, and when an assessment of the pros and cons of each has to be made. One of the main problems in semantics today, we feel, is that a semantic theory such as Montague grammar, and an approach like Kamp’s discourse representation theory, are hard to compare, let alone that it is possible to unify their insights and results.. (shrink)

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)

Combines analytic epistemology and German idealism indispensable to today's Schelling revival.

The Phaedo, despite the central role which the theory of Forms occupies there, gives us little explicit information. We meet with stock examples and with generalizations like "everything which belongs to being", "everything to which we give the mark of ‘that which is’ in our discussions", "all this sort of being". Socrates postulates the existence of the beautiful itself, the good itself, the large itself, and "all the rest", and he explains the beauty of beautiful things by appealing to their (...) participation in beauty, stressing that he means that for "everything". (shrink)

My aim in this paper is to offer a novel justification for β-Equivalence. β-Equivalence is a standard principle of higher-order logic, but it is metaphysically controversial. My argument for β-Equivalence is based on a distinctively Fregean conception of predication. I argue that the Fregean conception motivates a non-standard notation for predicates, which can then be used to show that β-Equivalence is trivial on that conception. I also argue that the Fregean conception motivates a functional individuation of properties, which we can (...) use to extend the Fregean justification for β-Equivalence to cover a more general principle, β-Conversion. (shrink)

We discuss the challenge to truth-conditional semantics presented by apparent shifts in extension of predicates such as ‘red’. We propose an explicit indexical semantics for ‘red’ and argue that our account is preferable to the alternatives on conceptual and empirical grounds.

Problems about the accidental properties of properties motivate us--force us, I think--not to identify properties with the sets of their instances. If we identify them instead with functions from worlds to extensions, we get a theory of properties that is neutral with respect to disputes over counterpart theory, and we avoid a problem for Lewis's theory of events. Similar problems about the temporary properties of properties motivate us--though this time they probably don't force us--to give up this theory as well, (...) and to identify properties with functions from world, time pairs to extensions. Again, the replacement theory is neutral with respect to a metaphysical dispute that the old theory (arguably) forces us to take a stand on--the dispute over whether objects have temporal parts. It also allows us to give a smoother semantics for predication, to better accommodate our intuitions about which objects temporary properties are properties of, and to make temporally self-locating beliefs genuinely self -locating. (shrink)

I argue that maps do not feature predication, as analyzed by Frege and Tarski. I take as my foil (Casati and Varzi, Parts and places, 1999), which attributes predication to maps. I argue that the details of Casati and Varzi’s own semantics militate against this attribution. Casati and Varzi emphasize what I call the Absence Intuition: if a marker representing some property (such as mountainous terrain) appears on a map, then absence of that marker from a map coordinate signifies absence (...) of the corresponding property from the corresponding location. Predication elicits nothing like the Absence Intuition. “F(a)” does not, in general, signify that objects other than a lack property F. On the basis of this asymmetry, I argue that attaching a marker to map coordinates is a different mode of semantic composition than attaching a predicate to a singular term. (shrink)

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

Predicates such as 'are extinct' or 'are widespread' have long been assumed to apply only to kinds. I present evidence that the predicates typically described as kind-level are numerous-type collective predicates, based on their interaction with all and their failure to exhibit homogeneity effects. This undermines the principal semantic motivation for analysing their bare plural arguments as kind-denoting. Instead, I argue that their arguments are type e expressions and that plural kind predication is just plural predication. I give a compositional (...) semantics for bare plurals and explain differences between bare and definite plurals in terms of the situation argument that can restrict their domain. -/- To appear in Proceedings of Sinn und Bedeutung 30. (shrink)

I articulate and defend a necessary and sufficient condition for predication. The condition is that a term or term-occurrence stands in the relation of ascription to its designatum, ascription being a fundamental semantic relation that differs from reference. This view has dramatically different semantic consequences from its alternatives. After outlining the alternatives, I draw out these consequences and show how they favour the ascription view. I then develop the view and elicit a number of its virtues.

The standard rule of single privative modification replaces privative modifiers by Boolean negation. This rule is valid, for sure, but also simplistic. If an individual a instantiates the privatively modified property (MF) then it is true that a instantiates the property of not being an F, but the rule fails to express the fact that the properties (MF) and F have something in common. We replace Boolean negation by property negation, enabling us to operate on contrary rather than contradictory properties. (...) To this end, we apply our theory of intensional essentialism, which operates on properties (intensions) rather than their extensions. We argue that each property F is necessarily associated with an essence, which is the set of the so-called requisites of F that jointly define F. Privation deprives F of some but not all of its requisites, replacing them by their contradictories. We show that properties formed from iterated privatives, such as being an imaginary fake banknote, give rise to a trifurcation of cases between returning to the original root property or to a property contrary to it or being semantically undecidable for want of further information. In order to determine which of the three forks the bearers of particular instances of multiply modified properties land upon we must examine the requisites, both of unmodified and modified properties. Requisites underpin our presuppositional theory of positive predication. Whereas privation is about being deprived of certain properties, the assignment of requisites to properties makes positive predication possible, which is the predication of properties the bearers must have because they have a certain property formed by means of privation. (shrink)

In this note, I propose a free description theory that permits self‐predication for empty descriptions without resulting in existential proliferation, contradiction or triviality.

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

The ontological argument fails because of an operator order switch between (1) “necessarily there is an perfect being” and (2) “there is a being which necessarily is perfect”. Here (1) is trivially true logically but (2) problematic. Since Kant's criticisms were directed at the notion of existence, not at the step from (1) to (2), they are misplaced. They are also wrong, because existence can be a predicate. Moreover, Kant did not anticipate Frege's claim that “is” is ambiguous between existence, (...) predication, identity, and class‐inclusion. To restore the ontological argument, an extra premise is needed to the effect that it is known who the existentially perfect being is. The question is raised whether Kant could have meant the failure of this extra premise by his thesis that existence is not a real predicate. (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 aim is to uncover the foundations of quine's distinction between definite singular terms and general terms in predicative position, And hence of the general schema of predication, 'fx'. While each term in such a predication specifies its own item, The items so specified exhibit a typical difference exemplified in the basic case by the difference between spatio-Temporal particulars and properties of such particulars. A generally consequential difference of role is that while both terms are applied to the item of (...) lower type, Only the definite singular term has the function of identifying it. (shrink)

Problems about the accidental properties of properties motivate us--force us, I think--not to identify properties with the sets of their instances. If we identify them instead with functions from worlds to extensions, we get a theory of properties that is neutral with respect to disputes over counterpart theory, and we avoid a problem for Lewis's theory of events. Similar problems about the temporary properties of properties motivate us--though this time they probably don't force us--to give up this theory as well, (...) and to identify properties with functions from ⟨world, time⟩ pairs to extensions. Again, the replacement theory is neutral with respect to a metaphysical dispute that the old theory (arguably) forces us to take a stand on--the dispute over whether objects have temporal parts. It also allows us to give a smoother semantics for predication, to better accommodate our intuitions about which objects temporary properties are properties of, and to make temporally self-locating beliefs genuinely self -locating. (shrink)

Reading through the Corpus Aristotelicum we come across a group of expressions meant to indicate predicative relations, which lead us to think that Aristotle connected predication to a part-whole relation. He frequently calls the ‘εἴδη’, “species”, ‘μέρη’, “parts”, of their genera. More generally, the universal is said to contain that of which it is true. In a parallel way, what is contained by something is also what is under something else. Again, it is quite common for him to consider the (...) species as partaking of their genera. Although the relation of partaking is normally used to qualify the way in which species are related to their genera, sometimes also the relation between particulars and species or even genera is expressed in terms of partaking. (shrink)

In Proclus, like in Plato, we find statements about the Forms that at least appear to allow self-predication of Forms. In his discussion of the Parmenides’s Third Man Argument, however, Proclus argues that Forms and their participants are not synonymous, which means that the property that the Form causes in its participants cannot be predicated of the Form itself. In this paper, I try to show how such seemingly self-predicative statements about the Forms are to be understood in the context (...) of Proclus’ metaphysics. I will argue that, in Proclus, statements such as ‘ the Form of Large is truly Large’ should be considered what I will call ‘causal predications’. Causal predication does not attribute any property to a subject, but only concerns the subject’s causal efficacy in relation to that property. (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)

In Predication and Ontology A. Kalbarczyk provides the first monograph-length study of the Arabic reception of Aristotle’s Categories. At the center of attention is the critical reappraisal of that treatise by Ibn Sīnā, better known in the Latin West as Avicenna. Ibn Sīnā’s reading of the Categories is examined in the context of his wider project of rearranging the transmitted body of philosophical knowledge. Against the background of the late ancient commentary tradition and subsequent exegetical efforts, Ibn Sīnā’s Kitāb al-Maqūlāt (...) of the Šifāʾ is interpreted as a milestone in the gradual reshuffle of the relationship between logic proper and ontology. In order to assess the philosophical impact of this realignment, some of the subsequent developments in Ibn Sīnā’s writings and in the emerging post-Avicennian tradition are also taken into account. The thematic focus lies on the two fundamental classification schemes which Aristotle introduces in the treatise: the fourfold division of Cat. 2 and the tenfold scheme of Cat. 4. They both pose the question of whether and how the manner in which an expression is predicated relates to extra-linguistic reality. As the study intends to show, this question is one of the driving forces of Ibn Sīnā’s momentous reform of the Aristotelian curriculum. (shrink)