Several variants of Lewis's Best System Account of Lawhood have been proposed that avoid its commitment to perfectly natural properties. There has been little discussion of the relative merits of these proposals, and little discussion of how one might extend this strategy to provide natural property-free variants of Lewis's other accounts, such as his accounts of duplication, intrinsicality, causation, counterfactuals, and reference. We undertake these projects in this paper. We begin by providing a framework for classifying and assessing the variants (...) of the Best System Account. We then evaluate these proposals, and identify the most promising candidates. We go on to develop a proposal for systematically modifying Lewis's other accounts so that they, too, avoid commitment to perfectly natural properties. We conclude by briefly considering a different route one might take to developing natural property-free versions of Lewis's other accounts, drawing on recent work by Williams. (shrink)

Universals are putative objects like wisdom, morality, redness, etc. Although we believe in properties (which, we argue, are not a kind of object), we do not believe in universals. However, a number of ordinary, natural language constructions seem to commit us to their existence. In this paper, we provide a fictionalist theory of universals, which allows us to speak as if universals existed, whilst denying that any really do.

The reintroduction of Aristotle's Analytics to the Latin West—in particular, the reintroduction of the Posterior Analytics—forever altered the course of medieval epistemological discussions. Although the Analytics fell decidedly from grace in later centuries, the sophisticated account of human cognition developed in the Posterior Analytics appealed so strongly to thirteenth-century European scholars that it became one of the two central theories of knowledge advocated in the later Middle Ages. Robert Grosseteste's 'Commentarius in Posteriorum Analyticorum Libro', written in the 1220s, is (...) most likely the first complete Latin commentary on the Posterior Analytics. As the thirteenth century wore on, Aristotle’s account of human cognition was generally set in opposition to the Augustinian-influenced theory of divine illumination that was de rigueur in the early thirteenth century. Although common consensus holds that this pattern of opposition was set already in Grosseteste’s CPA, I argue that the story of the Posterior Analytics’s early reception is, in fact, quite different. In particular, I maintain that, rather than seeing himself as forced to choose between his earlier theory of divine illumination and the “new” Aristotelian epistemology, Grosseteste is perfectly content to blend and bring together the diverse elements of these systems and to present a consciously synthetic rather than adversarial picture of these differing accounts of human cognition. (shrink)

Medieval authors generally agreed that we have the freedom to choose among alternative possibilities. But most medieval authors also thought that there are situations in which one cannot do otherwise, not even will otherwise. They also thought when willing necessarily, the will remains free. The questions, then, are what grounds the necessity or contingency of the will’s acts, and – since freedom is not defined by the ability to choose – what belongs to the essential character of freedom, (...) the ratio libertatis. This article studies medieval theories of freedom without choice from William of Auxerre to William of Ockham and their background in Augustine, Anselm of Canterbury, and Bernard of Clairvaux. (shrink)

xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx.

This thesis focuses on Abelard’s solution to the problem of understanding universals as presented in the Tractatus de Intellectibus. He examines this issue by asking what is understood when we consider the term ‘man’, a problem I call the ‘homo intelligitur [man is understood]’ problem. This is an important question, since earlier in the Treatise, Abelard states that understandings paying attention [attendens] to things otherwise than they are are empty, and thus, cannot be true. The challenge is therefore to (...) explain how understandings about universals, such as genera and species, can be sound, given that Abelard is a nominalist and, as such, does not believe in the existence of universal entities. His own answer to the problem is that such understandings attend to natures. However, since natures are, on his view, nothing more than the individuals they belong to, it is unclear how his solution is intended to work. I propose two ways to understand Abelard’s solution to the ‘homo intelligitur’ problem, identifying their respective merits and drawbacks. The first one is to treat ‘nature’ as meaning ‘status’. I explore this solution in Chapters 2 and 3, and conclude that while it has the advantage of establishing links between De Intellectibus and previous logical works by Abelard, it has some significant drawbacks, most notably that it is unclear how we can have epistemic access to status given that status are not things, which renders unclear how the criteria for the soundness of understandings can be met. The second one involves treating natures as referring to behaviors typical of members of a given genus or species. These behaviors come from the particular essential forms possessed by individuals, i.e. their differentiae understood as analogous to nuclear tropes in Peter Simons’ trope theory. I conclude that this solution is more intuitive than the first one and has the advantage of not depending on a specific interpretation of the evolution of Abelard’s thought. However, it is unclear how to treat behaviors and regularities in his ontology. (shrink)

During the 13th century, several logicians in the Latin medieval tradition showed a special interest in the nature of impossibility, and in the different kinds or ‘degrees’ of impossibility that could be distinguished. This discussion resulted in an analysis of the modal concept with a fineness of grain unprecedented in earlier modal accounts. Of the several divisions of the term ‘impossible’ that were offered, one became particularly relevant in connection with the debate on ars obligatoria and positio impossibilis: the (...) distinction between ‘intelligible’ and ‘unintelligible’ impossibilities. In this article, I consider some 13th-century tracts on obligations that provide an account of the relation between impossibility and intelligibility and discuss the inferential principles that are permissible when we reason from an impossible – but intelligible – premise. I also explore the way in which the 13th-century reflection on this topic survives, in a revised form, in some early 14th-century accounts of positio, namely, those of William of Ockham, Roger Swineshead and Thomas Bradwardine. (shrink)

One of the tasks of ontology in information science is to support the classification of entities according to their kinds and qualities. We hold that to realize this task as far as entities such as material objects are concerned we need to distinguish four kinds of entities: substance particulars, quality particulars, substance universals, and quality universals. These form, so to speak, an ontological square. We present a formal theory of classification based on this idea, including both a (...) semantics for the theory and a provably sound axiomatization. (shrink)

Instead of the half-century old foundational feud between set theory and category theory, this paper argues that they are theories about two different complementary types of universals. The set-theoretic antinomies forced naïve set theory to be reformulated using some iterative notion of a set so that a set would always have higher type or rank than its members. Then the universal u_{F}={x|F(x)} for a property F() could never be self-predicative in the sense of u_{F}∈u_{F}. But the (...) mathematical theory of categories, dating from the mid-twentieth century, includes a theory of always-self-predicative universals--which can be seen as forming the "other bookend" to the never-self-predicative universals of set theory. The self-predicative universals of category theory show that the problem in the antinomies was not self-predication per se, but negated self-predication. They also 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. (shrink)

This article seeks the origin, in the theories of Ibn al-Haytham (Alhazen), Descartes, and Berkeley, of two-stage theories of spatial perception, which hold that visual perception involves both an immediate representation of the proximal stimulus in a two-dimensional ‘‘sensory core’’ and also a subsequent perception of the three dimensional world. The works of Ibn al-Haytham, Descartes, and Berkeley already frame the major theoretical options that guided visual theory into the twentieth century. The field of visual perception was the first (...) area of what we now call psychology to apply mathematics, through geometrical models as used by Euclid, Ptolemy, Ibn al-Haytham, and Descartes (among others). The article shows that Kepler’s discovery of the retinal image, which revolutionized visual anatomy and entailed fundamental changes in visual physiology, did not alter the basic structure of theories of spatial vision. These changes in visual physiology are advanced especially in Descartes' Dioptrics and his L'Homme. Berkeley develops a radically empirist theory vision, according to which visual perception of depth is learned through associative processes that rely on the sense of touch. But Descartes and Berkeley share the assertion that there is a two-dimensional sensory core that is in principle available to consciousness. They also share the observation that we don't usually perceived this core, but find depth and distance to be phenomenally immediate, a point they struggle to accommodate theoretically. If our interpretation is correct, it was not a change in the theory of the psychology of vision that engendered the idea of a sensory core, but rather the introduction of the theory into a new metaphysical context. (shrink)

Nell'alto medioevo vi erano tre possibilità per il filosofo che volesse difendere l'esistenza degli universali: in primo luogo ante rem, seguendo la linea platonico-agostiniana degli universali trascendenti e questa è la via teologica; in secondo luogo la via post rem, cioè la via del concettualismo, conosciuta oggi come astrattismo, per cui gli universali sono il prodotto dell'astrazione della mente e questa è una via logica; la terza via è quella in re e difende gli universali immanenti che esistono negli universali (...) ed è una risposta ontologica. La seconda via fu difesa da Boezio nel secondo commento a Porfirio. La prima teoria è stata generalmente accettata da tutti i filosofi dell'alto medioevo eccetto Abelardo, mentre la terza via, quella degli universali immanenti, che ha come fonti antiche l'Isagoge di Porfirio e le Categoriae di Aristotele, fu difesa principalmente da quattro autori: Giovanni Scoto Eriugena, Anselmo d'Aosta, Odone di Cambrai e Guglielmo di Champeaux. L'A. prende in esame e confronta le soluzioni di Anselmo di Canterbury e Odone di Cambrai. (shrink)

Gardeners, poets, lovers, and philosophers are all interested in the redness of roses; but only philosophers wonder how it is that two different roses can share the same property. Are red things red because they resemble each other? Or do they resemble each other because they are red? Since the 1970s philosophers have tended to favour the latter view, and held that a satisfactory account of properties must involve the postulation of either universals or tropes. But Gonzalo Rodriguez-Pereyra revives (...) the dormant alternative theory of resemblance nominalism, showing first that it can withstand the attacks of such eminent opponents as Goodman and Armstrong, and then that there are reasons to prefer it to its rival theories. The clarity and rigour of his arguments will challenge metaphysicians to rethink their views on properties. (shrink)

In his political treatise, Mabadi ara ahl al-madina al-fadhila, Abu Nasr Alfarabi, the medieval Muslim philosopher, proposes a theory of virtuous city which, according to prominent scholars, is modeled on Plato’s utopia of the Republic. No doubt that Alfarabi was well-versed in the philosophy of Plato and the basic framework of his theory of city is platonic. However, his theory of city is not an exact reproduction of the Republic’s theory and, despite glaring similarities, the (...) two theories do differ in many aspects. In both, Alfarabi’s Mabadi ara ahl al-madina al-fadhila and Plato’s Republic, the theory of virtuous city is accompanied by a theory of the soul. Since the theory of soul plays a foundational role in both theories of the virtuous city, the present article intends to provide an explanation for the differences between the two theories of the city in terms of the differences between the two theories of the soul. (shrink)

We present a theory of human artistic experience and the neural mechanisms that mediate it. Any theory of art has to ideally have three components. The logic of art: whether there are universal rules or principles; The evolutionary rationale: why did these rules evolve and why do they have the form that they do; What is the brain circuitry involved? Our paper begins with a quest for artistic universals and proposes a list of ‘Eight laws of artistic (...) experience’ -- a set of heuristics that artists either consciously or unconsciously deploy to optimally titillate the visual areas of the brain. One of these principles is a psychological phenomenon called the peak shift effect: If a rat is rewarded for discriminating a rectangle from a square, it will respond even more vigorously to a rectangle that is longer and skinnier that the prototype. We suggest that this principle explains not only caricatures, but many other aspects of art. Example: An evocative sketch of a female nude may be one which selectively accentuates those feminine form-attributes that allow one to discriminate it from a male figure; a Boucher, a Van Gogh, or a Monet may be a caricature in ‘colour space’ rather than form space. Even abstract art may employ ‘supernormal’ stimuli to excite form areas in the brain more strongly than natural stimuli. Second, we suggest that grouping is a very basic principle. The different extrastriate visual areas may have evolved specifically to extract correlations in different domains , and discovering and linking multiple features into unitary clusters -- objects -- is facilitated and reinforced by direct connections from these areas to limbic structures. In general, when object-like entities are partially discerned at any stage in the visual hierarchy, messages are sent back to earlier stages to alert them to certain locations or features in order to look for additional evidence for the object . Finally, given constraints on allocation of attentional resources, art is most appealing if it produces heightened activity in a single dimension rather than redundant activation of multiple modules. This idea may help explain the effectiveness of outline drawings and sketches, the savant syndrome in autists, and the sudden emergence of artistic talent in fronto-temporal dementia. In addition to these three basic principles we propose five others, constituting a total of ‘eight laws of aesthetic experience’. (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 paper seeks to develop an account of indexical phenomena based on the highly general theory of structure and dependence set forth by Husserl in his Logical Investigations. Husserl here defends an Aristotelian theory of meaning, viewing meanings as species or universals having as their instances certain sorts of concrete meaning acts. Indexical phenomena are seen to involve the combination of such acts of meaning with acts of perception, a thesis here developed in some detail and contrasted (...) with accounts of indexicals suggested by Frege, Wittgenstein and by the later Husserl himself in his Ideas I. Implications are drawn also for our understanding of the categorial grammar sketched by Husserl in his 4th Logical Investigation, as also for our understanding of the nature of proper names and other candidate indexical expressions. (shrink)

The relation-theory of mental acts proposes that a mental act is a kind of relative entity founded upon the mind and directed at the object of perception or thought. While most medieval philosophers recognized that there is something importantly relational about thought, they nevertheless rejected the view that mental acts are wholly relations. Rather, the dominant view was that a mental act is either in whole or part an Aristotelian quality added to the mind upon which such a (...) relation to the object can be founded. In this paper, I examine Durand of St.-Pourçain's defense of the relation-theory of mental acts against two objections raised against it: the first from John Duns Scotus, among others, and the second from an anonymous Thomist and Adam Wodeham. -/- . (shrink)

The limited aim here is to explain what John Dewey might say about the formulation of the grue example. Nelson Goodman’s problem of distinguishing good and bad inductive inferences is an important one, but the grue example misconstrues this complex problem for certain technical reasons, due to ambiguities that contemporary logical theory has not yet come to terms with. Goodman’s problem is a problem for the theory of induction and thus for logical theory in general. Behind the (...) whole discussion of these issues over the last several decades is a certain view of logic hammered out by Russell, Carnap, Tarski, Quine, and many others. Goodman’s nominalism hinges in essential ways on a certain view of formal logic with an extensional quantification theory at its core. This raises many issues, but the one issue most germane here is the conception of predicates ensconced in this view of logic. (shrink)

This paper provides an axiomatic formalization of a theory of foundational relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the is-a relation among universals and the part-of relation among individuals as well as cross-category relations such as instance-of, member-of, and partition-of. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time (...) – is critical for formal ontology. We provide examples to support this thesis from the domain of biomedicine. (shrink)

This paper applies a very traditional position within Natural Law Theory to Cyberspace. I shall first justify a Natural Law approach to Cyberspace by exploring the difficulties raised by the Internet to traditional principles of jurisprudence and the difficulties this presents for a Positive Law Theory account of legislation of Cyberspace. This will focus on issues relating to geography. I shall then explicate the paradigm of Natural Law accounts, the Treatise on Law, by Thomas Aquinas. From this account (...) will emerge the structure of law and the metaphysics of justice. I shall explore those aspects of Cyberspace which cause geography to be problematic for Positive Law Theory and show how these are essential, unavoidable and beneficial. I will then apply Aquinas’s structure of law and metaphysics of justice to these characteristics. From this will emerge an alternative approach to cyberlaw which has no problem with the nature of Cyberspace as it is but treats it as a positive foundation for new legal developments. (shrink)

This book addresses the metaphysics of Armstrongian states of affairs, i.e. instantiations of naturalist universals by particulars. The author argues that states of affairs are the best candidate for truthmakers and, in the spirit of logical atomism, that we need no molecular truthmakers for positive truths. In the book's context, this has the pleasing result that there are no molecular states of affairs. Following this account of truthmaking, the author first shows that the particulars in (first-order) states of affairs (...) are bare particulars. He then argues that the properties in states of affairs are simple, non-relational and concrete universals. Next, he argues that (material) relations in states of affairs are external relations. Lastly, he argues that a state of affairs is unified by a distinctive formal relation without giving rise to Bradley’s regress. (shrink)

Locke is often cited as a precursor to contemporary natural kind realism. However, careful attention to Locke’s arguments show that he was unequivocally a conventionalist about natural kinds. To the extent that contemporary natural kind realists see themselves as following Locke, they misunderstand what he was trying to do. Locke argues that natural kinds require either dubious metaphysical commitments (e.g., to substantial forms or universals), or a question-begging version of essentialism. Contemporary natural kind realists face a similar dilemma, and (...) should not appeal to Locke in their defense. (shrink)

In the paper I argue that medieval philosophers proposed several notions of the senses’ activity in perception. I illustrate the point using the example of two Franciscan thinkers – Peter Olivi (ca. 1248–1298) and Peter Auriol (ca. 1280–1322). Olivi’s notion of active perception assumes that every perceptual act demands a prior focusing of the mind’s attention. Furthermore, Olivi is partially inspired by the extramissionist theories of vision and reinterprets the notion of a visual ray postulated by them as a (...) useful model for explaining attention and attentional shifts. In Auriol’s view, perception is active because it participates in producing a perceptual content. e senses not only receive information from the environment, they also actively process it and, in Auriol’s words, put the external object into apparent being. e peculiar feature of Auriol’s account is his obvious tendency to conceive perceptual content as both dependent on our perceptual activity and external to the senses. Finally, I consider the two theories in the context of mirror perception – while Olivi focused on the ability of mirrors to switch attention’s direction, Auriol investigated the metaphysical nature of mirror images. (shrink)

Predication is a lingual relation. We have this relation when a term is said (λέγεται) of another term. This simple definition, however, is not Aristotle’s own definition. In fact, he does not define predication but attaches his almost in a new field used word κατηγορεῖσθαι to λέγεται. In a predication, something is said of another thing, or, more simply, we have ‘something of something’ (ἓν καθ᾿ ἑνὸς). (PsA. , A, 22, 83b17-18) Therefore, a relation in which two terms are posited (...) to each other in a way that one is said (predicated) of the other is a predication. The term of which the other term is said is called a subject (ὑποκειμένον) and the other, which is said about the subject, is called the predicate. Thus, in a predication the predicate is predicated of the subject; given that being predicated is almost as the same as being said. The relation between being said and being predicated is so close that ‘if something is said of a subject both its name and its definition are necessarily predicated of the subject.’ (Cat., 5, 2a19-26) This, however, is true only about the second genera and not the accidents. a) Nature of relation in predication What is Aristotle’s theory about the nature of the relation in a predication? How does he fundamentally understand this relation? Phil Corkum distinguishes between predication logic and traditional term logic and argues that the relation between subject and predicate in Aristotle is of the latter kind. While in predicate logic, subjects and predicates have distinct roles, they have the same role in traditional term logic. In predication logic, subjects refer, but predicates characterize. Thereupon, a sentence expresses a truth if the object to which the subject refers is correctly characterized by the predicate. In traditional term logic, both subjects and predicates refer and a sentences expresses a truth if both name one and the same thing. He concludes that Aristotle ‘problematically conflates prediction and identity claims’ because while he thinks both subjects and predicates refer, he would deny that a sentence is true just in case the subject and the predicate name one and the same thing. Based on this, Corkum believes that Aristotle’s core semantic is not identity but the weaker relation of constitution, which is a mereological interpretation: ‘All men are mortal’ is true just in case the mereological sum of humans is part of the mereological sum of mortals. b) Aristotle’s theory of predication: one or two theories? Frank Lewis finds an inconsistent gap between the theory of predication in the Categories and that in the later books of the Metaphysics VII, 6. So too Joan Kung, Terry Irwin, Daniel Graham. c) Distinction of ‘being said of’ and ‘being in’ Owen enumerates the texts in which Aristotle’s distinction between ‘being said of’ and ‘being in’ is asserted: OI. 11b38-12a17; To., 127b1-4; Cat. 1a20-b9; 2a11-14; 2a27-b6; 2b15-17; 3a7-32; 9b22-24 d) Predication in Aristotle and the standard ‘S is P’ Marie De Rijk Lambertus thinks that the ‘S is P’ pattern is misleading when it comes to express predication in Aristotle. In his view, ‘The Aristotelian procedure should be described in terms of appositively assigning an attribute (κατηγορούμενον) to a substrate (ὑποκείμενον), rather than ascribing a predicate to a subject by means of a copula…. The comment should be considered an attribute which is said to fall to a substrate, without understanding this procedure in terms of sentence predication.’ e) Aristotle’s predication: bipartite or tripartite? It is a difficulty to make Aristotle’s theories of name-verb predication and tripartite predication consistent. The reason is that tripartite is not consistant with his name-verb structure based on which he says that the predicate term is the ‘verb.’ (20a31; 20b1-2; 16a13-5) The problem is that in a tripartite form like ‘Socrates is white’ we cannot take ‘is white’ as the verb because, based on Aristotle himself, no part of a verb can be significant itself. (16b6-7) However, his assertions about the equivalences between the two structures (OI. 12, 21b9-10; PrA. 51b13-16; Met., 1017b22-30) must mean that they are not inconsistent in his own view. Thus, as Allen Bāck points, ‘Aristotle seems to think that he has a single, consistent theory.’ The sense of saying or speaking as the root sense of rhema makes the relation between predication (saying something of something) and verb more interesting. The use of rhema in the sense of a long expression approves this. In Plato’s work (399ac) where Socrates claims that the name anthropos derives from anthron ha opopen (‘he who examines what he has seen’) we have an onoma from, or in place of, a rhema. 1) Subject The subject (ὑποκειμένον) is that of which another term is said or predicated. Aristotle’s own definition is of a much more philosophical value: ‘By subject I mean that which is expressed by an affirmative term (λέγω δὲ ὑποκείμενον τὸ κάταφάσει δηλούμενον).’ (Met., K, 1067b18) Throughout Aristotle’s work, three kinds of subjects can be found: possible, prime and absolute subject. a) Possible subject Those things that can take the position of a subject in a predication we call possible subjects, no matter they can or cannot take the position of predicate in any predication. All terms except the ultimate predicates are possible subjects because they can take the position of subject. b) Prime subject Those that in any predication can only take the position of a subject and not the position of a predicate are prime subjects. (Cat., 5, 3a36-b2; Met., Z, 1028b36-1029a1) This is the truest sense of subject and belongs only to substances. (Met., Z, 1029a1-2) In fact, ‘that which is not predicated of a subject, but of which all else is predicated’ is a substance. (Met., Z, 1029a7-9) In Categories, besides primary substances (Cat., 2, 1b3-6), individual qualities are also said not to be able to be said of anything else. (Cat., 2, 1a23-29) Aristotle’s examples are a certain ‘knowledge-of-grammar’ (τὶς γράμματικὴ) and ‘an individual white’ (τὸ τὶ λευκὸν). Thus, although substances are indeed in the truest sense individuals and, thereby, in the truest sense primary subjects, other individuals can take the position of subject as well. c) Absolute subject While substances are prime subjects of all other things, there is still something of which substances can be predicated and this predication is not an accidental predication: matter. (Met., Z, 1029a21-24) This predication is, indeed, the predication of a ‘form or this’ on matter and material substance. (Met., Θ, 1049a34-36) The only thing that is absolutely a subject, therefore, and can be a predicate is prime matter (πρώτη ὓλη). (Met., Θ, 1049a24-27) d) Subject and substance The most important thing in being a substance is being a subject: ‘It is because the primary substances are subjects for all the other things and all the other things are predicated of them or are in them, that they are called substances most of all.’ (Cat., 5, 2b15-17) And what is nearer to this position is more a substance as a species is more a substance than a genus.’ (Cat., 5, 2b7-8) e) Primary versus accidental subject A subject is a primary subject in a predication when the predicate is predicated of it as itself. In such a case, the subject is the subject of the predicate qua itself and not qua something else. A subject, on the one hand, is an accidental subject when it is not the primary subject of the predicate that is predicated on it. It means that a subject is an accidental subject when the predicate is predicated of it not qua itself but qua something else. An accidental subject is, therefore, anything other than a substance. 2) Predicate as universal It is evident from our discussion of kinds of subjects that except matter, primary substances (if we ignore both accidental predication and cases of absolute subjects) and other individuals, everything else can take the position of a predicate. Since primary substances are individuals, it results that everything except matter and individuals are capable to take the position of predicate. The immediate consequence of this is that the predicate must be a universal. When individuals cannot take the position of predicate, this position cannot be taken by any particular. Therefore, only universals can be predicated of others. Moreover, albeit universals can be a simple subject (for another universal), they are not prime subjects. The closeness of universal and predicate is to the extent that Aristotle differentiates universal from subject. (Met., Θ, 1049a27-30) 3) Categories or classes of predicates Aristotle distinguishes ten highest classes into one of which each predicate must necessarily fall: substance (or what a thing is), quality, quantity, relation, place, time, position, state, activity and passivity. (Cat., 4, 1b25-27; To., I, 9, 103b20- ; PsA., A, 22, 83b13-23) The substance counted among predicates must refer to secondary and not primary substances not only because Aristotle insists that primary substances cannot be predicated but also from his own examples of the category of substance: man and animal. (To., I, 9, 103b25) However, if a predicate be asserted of itself or its genus be asserted of it, the predicate signifies substance or what is; but if ‘one kind of predicate is asserted of another kind,’ it signifies one of the other nines. (To., I, 9, 103b30) These categories are so comprehensive that no predicate can remain outside them so that even non-being has as many senses as categories. (Met., M, 1089a26-30) a) That whether Aristotle’s categories are merely linguistic or fundamentally ontological is a so much controversial dispute. Some like G. E. R. Lloyd believe that ‘categories are primarily intended as a classification of reality … rather than of the signifying terms themselves.’ b) Although Aristotle’s categories have been historically regarded as a classification of predications, there are some recent commentators like Jonathan Barnes that think it is classifying predicates and not predications. 4) Kinds of predicates In his introduction of Categories, as J. W. Thorp truly points out , Aristotle distinguishes between the category of substance and the other categories using μὲν ... δὲ construction. This construction illustrates that beside tenfold classification of categories, there is an even more crucial differentiation between two kinds of predicates: substance or what is on the one hand and the other nine ones on the other hand: the distinction between what is predicated of the subject as what it is and what is predicated of it as an accident. Therefore, we have three kinds of classification - a twofold, a fourfold and a tenfold-complicatedly classifying the same thing, viz. the predicate. Predicates can be divided also to four kinds: property, definition, genus and accident. (To., I, 4, 101b11-20) A property is that predicate that is convertible with its subject and does not signify its essence. A definition is that predicate that is convertible with its subject and signifies its essence. It is a genus if it is not predicated convertibly and is contained in the definition of its subject. And it is an accident if it is neither convertible nor contained in the definition of its subject. (To., I, 8, ^103b3) All of these four kinds are among categories. (To., I, 9, 103b20) It seems that there might be some kind of relation between the twofold and the fourfold distinction: whereas genus and definition are predicated as what it is, accidents are not so predicated. There seems to be some rules that determine to each of these four kinds each predicate belongs. At To., IV, 123b30ff. Aristotle asserts: ‘If B has a contrary and A does not, then B does not belong to A as its genus.’ There is a dispute around per se accidents (τὰ καθ’ αὑτὰ συμβεβηκότα) (Topics., 102a18) whether they must be regarded as either of the four kinds or as a fifth kind. Barnes (1970) argued that they ‘do not fit at all neatly into the fourfold classification.’ He argues that based on the definition of accidents at A, 5, 102b4-5, they must be accidents but based on another definition, A, 5, 102b6-7, they cannot be accidents. He also defends the view that they are not properties. Barnes concludes: ‘This shows that the two definitions are not equivalent, and hence that the ‘predicables’ are not well-defined.’ Demetris J. Hadgopoulos defends the view that the two definitions of accidents are equivalent and per se accidents are properties. 5) Five types of predications We have five kinds of predications based on our division of subjects and our discussion of predicates: simple, primary (itself divided to substantial and accident), accidental (itself divided to primary and secondary), aoincidental and absolute predication. a) Simple predication. This is a predication in which a universal is predicated of either a particular or a universal subject. This sense of predication includes all other senses except the first kind of accidental predication. b) Primary predication. This is a predication in which a universal is predicated of a primary subject, namely a substance. A primary predication is of two kinds: i) Substantial predication. A primary predication in which the predicate is part of, or is included in, the definition of the subject. The universal that is the predicate here is the definition or the genus or the species or the diferentia of the subject. It is this predication that Aristotle calls a unity: ‘A statement may be called a unity … because it exhibits a single predicate as inhering not accidentally in a single subject.’ (PsA., B, 10, 93b35-37) It is only substantial predicates that can be predicated of each other: ‘Predicates which are not substantial are not predicated of one another.’ (PsA., A, 22, 83b18-19) Aristotle defines a substantial predication also in another way. A predication in which a higher genus is predicated on a lower genus, species, a substance or an individual, (or a species is predicated on an individual) is a substantial predication. Therefore, a substantial predication is a predication in a series that has individuals on one of its ends and a general category on its other end. In fact, only substantial predicates can be predicated of one another. (PsA., A, 22, 83b17-19) This series cannot be an infinite series because otherwise not only substances would not be definable but also a genus would be equal to one of its own species. (PsA., A, 22, 83b7-10) -/- ii) Accident predication. A primary predication in which the predicate is not part of, or is not included in, the definition of its subject. The universal that is the predicate here is the property or the accident of the subject. c) Accidental predication. This is a predication in which the subject is not a primary subject and its predicate is a substance. This predication is of two kinds: i) Primary accidental predication. This is a predication in which an accident is predicated of substance. Such a predication can go ad infinitum, which is inferable from Aristotle’s assertion that the secondary accidental predication cannot go ad infinitum. ii) Secondary accidental predication. It is a predication in which an accident is predicated of another accident. Such a predication, Aristotle asserts, cannot go ad infinitum because even more than two accidents cannot be combined. Now what is the meaning of Aristotle’s assertion that we cannot continue this ad infinitum? Does it mean that we cannot continue the predication ‘The musician is white’ and say ‘The white is Athenian?’ But why not? Or maybe he means that by adding any predication, we are still in a condition of predicating two accidents of a substance on each other. -/- As primary subjects, substances can also take the position of predicate though not essentially but accidentally. In propositions like ‘the white is a log’ or ‘That big thing is a log’ we observe substance taking the position of predicate but this is only accidentally: ‘When I affirm ‘the white is a log,’ I mean that something which happens to be white is a log- not that white is the subject in which log inheres (οὐχ ὡς τὸ ὑποκείμενον τῷ ξύλῳ τὸ λευκόν ἐστι), for it was not qua white or qua a species of white that the white (thing) came to be a log (οὔτε λευκὸν ὄν οὔθ᾿ ὃπερ λευκόν τι ἐγἐνετο ξύλον), and the white (thing) is consequently not a log except incidentally.’ (PsA., 22, 83a3-9) Aristotle compares this accidental use of substance in the position of predicate with the substantial use of it in the place of a subject: ‘On the other hand, when I affirm ‘the log is white,’ I do not mean that something else, which happens to be a log, is white (οὐχ ὃτι ἓτερόν τί ἐστι λευκόν, ἐκείνῳ δὲ συμβέβηκε ξύλῳ εἶναι), (as I should if I said ‘the musician is white,’ which would mean ‘The man who happens also to be a musician is white’); on the contrary, log is here the subject- the subject which actually came to be white, and did so qua wood or qua a species of wood and qua nothing else.’ (PsA., 22, 83a8-14) Aristotle asks us not to call propositions like ‘The white is a log’ a predication at all or at least call them accidental predication instead of simple (ἁπλως) predication. (PsA., A, 22, 83a14-17) An accidental predication, in which we have a substance in the place of predicate, is different from an essential predication in that while the subject of an accidental predication is said to be the predicate not by itself but as something different with which it coincides, the subject of an essential predicate is said to be the predicate by itself and not because it is something else: ‘Since there are attributes which are predicated of a subject essentially and not accidentally- not, that is, in the sense in which we say ‘That white (thing) is a man,’ which is not the same mode of predication as when we say ‘The man is white’: the man is white not because he is something else but because he is man, but the white is man because ‘being white’ coincides with ‘humanity’ within one subject. Therefore, there are terms such as are essentially subjects of predicates. (PsA., A, 19, 81a24-29) This capability of ‘non-essentially and only accidentally’ being a subject does belong, in fact, to all sensible things. (PsA., A, 27a32-36) d) Coincidental predication. this is a predication in which none of the subject and predicate are a substance or an individual. In this predication, one of the accidents of a substance or individual is predicated of one of the other accidentals of the same substance or individual. For example, when it is said that ‘The white is musical,’ there is an individual, say Socrates, for which both of white and musical are accidents. e) Absolute predication. This is a predication in which a form or a substance is predicated of a matter or a material substance. Some commentators like Loux and Lewis regarded this predication as close to accident predication, both based on inherence. As R.M. Dancy points out, these predications make Aristotle’s theory of predication immanentist: not only accident predications are explained by the immanence of accidents in substances, some of the substantial predications, which were not explained in Categories, are also explained by the immanence of form in matter. It is interesting that in this kind of predication, it is the predicate and not the subject, which is in the strictest sense substance. As the central books of Metaphysics claim, the form is the substance. Thus, in this predication, substance gets away from the sense of ὑποκείμενον. Corkum mentiones 68a19 as the only instance where Aristotle explicitly claims that a term may be predicated of itself, a passage that is, in Corkum’s view, problematic. 6) Demonstrable predicates Those predicates are demonstrable that are so related to their subjects that there are other predicates prior to them predicable of their subjects (ἔτι δ᾿ ἄλλος, εἰ ὧν πρότερα ἄττα κατηγορεῖται). (PsA., A, 22, 83b32-34) 7) Series of predications Since it is possible for a predicate to be itself the subject of another predication, we can have a series of predications in which the predicate of a predication is the subject of the next predication. This series has the following features: a) It has a limit (in number) (PsA., A, 22, 83b14-16) on the side of subjects: there are subjects that cannot themselves be predicated (PsA., A, 27, 43a39-41), which are, as we noted, prime subjects: particulars, i.e. prime substances and other individuals. (PsA., A, 19-22) Aristotle calls them ultimate (ὓστατον). (PsA., 21, 82a36-b1) b) It has a limit (in number of kinds) (PsA., A, 22, 83b14-16) also on the side of predicates: there must be predicates that cannot be subjects. (PsA., A, 19-22; PsA., A, 27, 43a36-39) Aristotle calls them primary (πρῶτον). (PsA., A, 21, 82b1-4) These are the highest categories or the highest genera of categories. (PsA., A, 22, 83b14-16) c) The series has an escalating shape from mere subjects at its downside to mere predicates at its upside. It is Aristotle himself whos uses the words up and down in this sense. (e.g. PsA., A, 22, 83b2-3) d) The predications that lie between lowest and highest ones must be finite in number. (PsA., A, 19-22 especially: 20, 82a21-35) These have subjects and predicates, each capable of both of the roles of being subject and being predicated. A result of this fitness is that neither demonstration can go to infinity nor everything is demonstrable, the two points Aristotle always insist on. e) The upward side includes the more universal ones and the downward the more particular ones. (PsA., 20, 82a21-23) f) It follows from the above features that ‘neither the ascending nor the descending series of predications … are infinite.’ (PsA., A, 22, 83b24-25) g) Reciprocation and convertibility. Except in case of terms (i.e. subjects and predicates) that are at each of the ends of series of predications, namely ultimates and primaries, it is possible to reciprocate (ἀντιστρέφειν) terms and convert the predication. (PsA., A, 19, 82a15-20) h) Antipredication. Antipredication means that in a predication (S is P), the subject becomes the predicate of its predicate (P is S) in the same category its predicate was predicated on it. For example, if P is in the category of quality, antipredication means that S be predicated of P in the category of quality. In other words, P is a quality of S and S is a quality of P. Aristotle rejects this. (PsA., A, 22, 83a36-b3) i) Self-predication versus other-predication. Aristotle distinguishes between a predication in which a term is said of itself and a predication in which a term is said of another. (Phy., Δ, 2, 209a31-33) j) Predicablity (Cat., 5, 3a36-b2): 1) Primary substances and individuals are not predicable. 2) Secondary substances are of two kinds: genus and species i) Genus is predicable able both of the species and of the individuals. ii) Species is predicable of the individual. 3) Differentiae are predicable both of the species and of the individuals. 8) Predication as classification a) Richard Patterson believes that Aristotle’s so repeated construction using hoper (estin A hoper B) in Topics (120a23 sq., 122b19, 26sq., 123a, 124a18, 125a29, 126a21, 128a35. Also in Posterior Analytics (83a24-30) (Brunschwig’s list. ‘expresses the fact that A is a kind of B (esti A B tis), that A is a species of the genus B.’ 9) Universal predication Aristotle defines universal predication (κατὰ παντὸς κατηγορεῖσθαι) as such: ‘wherever no instance of the subject (τῶν τοῦ ὑποκειμέμνου) can be found of which the other term cannot be asserted.’ (PrA., A, 24b27-29) In this predication, the subject is included in another as in a whole (ἐν ὃλῳ εἶναι) and the predicate is predicated of all of the subject (κατὰ παντὸς κατηγορεῖσθαι). (PrA., A, 24b26-27) Attach another discussion we had about ἐν ὃλῳ here. 10) Quantity of predication A predication, truly stated, has a quantity, which is the number of objects under the name of the subject of which the predicate is predicated. The quantity of subject can be stated in four ways: a. Indefinite: when the predicate belongs or does not belong to the subject without any mark to show to haw many of the particulars under the name of the subject it does or does not belong. E.g. ‘Man is white’; ‘Man is not white.’ (PrA., A, 24a20; OI., I, 7, 17b8-12) b. Universal quantity: When the predicate belongs to all or none of the subject. E.g. ‘Every man is animal’; ‘No man is animal.’ (PrA., A, 24a18-19; OI., I, 7, 17b5-6) The contrary of a predication of a universal quality is a predication of a universal quality. E.g. the contrary of ‘Every man is white’ is ‘No man is white.’ (OI., I, 7, 17b20-23) c. Particular quantity: When the predicate belongs (or does not belong) to some of the subject. E.g. ‘Some men are white’; ‘Some men are not white.’ (PrA., A, 24a19-20) d. Single quantity: when the subject is a proper name of only one object. E.g. ‘Socrates is white’; ‘Socrates is not white.’ The contrary of this predication is of a single quantity: ‘Socrates is not white.’ (OI., I, 7, 17b38-18a4) 11) Convertibility of predication. Some predications are convertible, that is, it is possible to change the place of subject and predicate in a true proposition so that the converted proposition remains true. This is supposed to mean that given the truth of a predication, the truth of the converted predication is inferable. The convert form of a predication depends on its quantity. a. Indefinite quantity: This predication has no strictly true convert because its quantity is not stated. b. Universal quantity: It can be converted in two ways: i) A negative universal can be converted to a negative universal in which the terms are changed. E.g. ‘No pleasure is good’ can be converted to ‘No good is pleasure.’ (PrA., A, 2, 25a5-8 and a14-19) ii) An affirmative universal can be converted to an affirmative particular in which the terms are changed. E.g. ‘Every pleasure is good’ can be converted to ‘Some good is pleasure.’ (PrA., A, 2, 25a7-9) c. Particular quantity: If it is negative, it cannot be converted but if it is affirmative, it can be converted to an affirmative predication with particular quantity. E.g. ‘Some pleasure is good’ can be converted to ‘Some good is pleasure.’ (PrA., A, 2, 25a10-13 and a20-24) d. Single quantity: It cannot be converted. 12) Characteristics of relations between subject and predicate 1. A predicate is of a wider range than its subject. It is based on this fact that Aristotle: a) Prevents individuals to be predicate because there is nothing of which an individual be of a wider range. In other words, it is due to the fact that since an individual is only ‘one particular’ thing and, thus, cannot be of a wider extent than anything that Aristotle prevents them of being a predicate. Matthews, however, thinks we cannot use Socrates, a substance and an individual, in the place of predicate and say it of Socrates because ‘Socrates does not classify Socrates: it names him.’ b) Prevents differentia, species and things under species to be predicated of genus. (To., Z, 6, 144a27-) c) Prevents the species and the things under it to be predicated of the differentia. (To., Z, 6, 144b1-4) d) Also about the effect because it is wider than its subject. (PsA., B, 17, 99a) e) Each attribute is wider than every individual it is predicated on, though several attributes, collectively considered, might not be wider but exactly the substance of a thing. (PsA., B, 13, 96a32-b1) 2. The predicate of a predicate of a subject will be predicated of the subject too: ‘whenever one thing is predicated of another as of a subject, all things said of what is predicated will be said of the subject too.’ (Cat., 3, 1b10-15) In fact, it is due to its predication of the subject that it is predicated of its predicate. (Cat., 5, 2a36-b1) Moreover, what is not predicated of the predicate of a subject cannot be predicated of it as well. (PrA., A, 27, 43b22-27) Thus, what, for example, is not predicated of animal, cannot be predicated of man. 3. The predicate of a subject can be predicated of its predicates as well. (Cat., 5, 3a1-6) For example, you call the individual man grammatical and, thence, you call both a man and an animal grammatical. Nonetheless, the predicate of a subject belongs to it more properly than to its higher predicates. (PrA., A, 27, 43a27-32) 4. It is only the subject that can be distributed and not the predicate. (PrA., A, 27, 43b16-22; OI, I, 7, 17b12-16) Therefore, we can say e.g. ‘Every man is animal’ but we cannot say ‘Every man is every animal.’ 5. It is the reason of the relation between subjects and predicates, that is the reason of predication, which is the subject of inquiry. (Met., Z, 1041a20-24) In other words, since it is a meaningless inquiry to ask why a thing is itself (Met., Z, 1041a14-15), the only remaining meaningful inquiry is to ask why something is something else, i.e. to ask about the reason of predication. 6. A subject cannot categorize its predicate in the same category in which it is categorized by it. If e.g. A is a quality of B, B cannot be a quality of A. Therefore, there is no reciprocation in the same category. (PsA., A, 22, 83a36-39) 13) Characteristics of series of predications 1. A series of secondary accidental predication cannot go ad infinitum for not even more than two terms can be comnbined. For an accident is not an accident of an accident, unless it be because both are accidents of the same subject. (Met., Γ, 1007b1-4) 2. Infinite series cannot be traversed in thought. (PsA., A, 22, 83b6-7) 3. The predications of genera on each other must be ended and cannot go to infinity because otherwise not only substances would not be definable but also a genus would be equal to one of its own species. (PsA., A, 22, 83b7-10) Therefore, a series of predication of genera on each other must be limited on both sides. There must be an upward limit in general categories as well as a downward limit in individual because they cannot be predicated of others. Whatever lies between these limits can both be predicated of others and others be predicated of them. (PrA., A, 27, 43a36-43) 4. The order of predicates matters: it makes a difference whether the series be ABC or BAC. (PsA., B, 13, 96b25-32) . (shrink)

It has long been recognized that temporal anaphora in French and English depends on the aspectual distinction between events and states. For example, temporal location as well as temporal update depends on the aspectual type. This paper presents a general theory of aspect-based temporal anaphora, which extends from languages with grammatical tenses (like French and English) to tenseless languages (e.g. Kalaallisut). This theory also extends to additional aspect-dependent phenomena and to non-atomic aspectual types, processes and habits, which license (...) anaphora to proper atomic parts (cf. nominal pluralities and kinds). (shrink)

Some argue that theories of universals should incorporate structural universals, in order to allow for the metaphysical possibility of worlds of 'infinite descending complexity' ('onion worlds'). I argue that the possibility of such worlds does not establish the need for structural universals. So long as we admit the metaphysical possibility of emergent universals, there is an attractive alternative description of such cases.

The concept of universal in Aristotle’s philosophy has several aspects. 1) Universal and plurality Aristotle posits universal (καθόλου) versus particular (καθ᾿ ἕκαστον) each covering a range of elements: some elements are universal while others are particulars. Aristotle defines universal as ‘that which by nature is predicated (κατηγορεῖσθαι) of many subjects’ and particular as ‘that which is not’ so. (OI ., I, 7, 17a38-b1) The plurality of possible subjects of universal is what Aristotle insists on. The inclusion of the notion of (...) ‘plurality’ in the definition of universal might make us expect to have ‘singularity’ in the definition of particular. So, when Aristotle says that universal is that which is naturally predicable of many subjects, we expect him to define the particular as ‘that which is predicable of one subject only.’ Nonetheless, Aristotle does not and indeed cannot define it this way. We cannot find a text in which he defines particular as such simply because particulars are not predicable of any subject unless we regard their predication of themselves a predication, which Aristotle does not, at least in a genuine sense. Thus, he defines a particular only negatively. Hence, the capability of predication of a plurality is indeed the capability of predication itself because the particular cannot be predicated of anything. A particular is that which cannot be predicated of anything (or: of anything else, if saying of a thing of itself is to be considered as predication). It is ‘numerically one’ and what of which the universal is predicated (Met., B, 999b34-1000a1). Those that cannot be predicated of anything, or particulars, are of two kinds: primary substances and individual accidents. Besides Categories we can hardly find a text where Aristotle discusses individual accidents maybe because they are of much less importance for him compared with substances. However, substances are what he mentions repeatedly so that we can confine particulars to substances. In fact, it is substance that Aristotle considers so repeatedly as what cannot be predicated. As the main particulars and individuals, substances are posited as the main things that are not universal. The closeness of the two concepts of ‘substance’ and ‘unpredicability’ is to the extent that he ignores individual accidents and makes these concepts equal and as the opposite of universal: ‘what is not predicated of a subject is said a substance (οὐσία λέγετα τὸ μὴ καθ᾿ ὑποκειμένου) but what is always said of some subject is called a universal.’ (Met., Z, 1038b15-16. cf. Met., B, 1003a7-9) Therefore, since particulars cannot be predicated of any subject and, thus, every predication is necessarily a predication of a plurality of subjects, the inclusion of ‘plurality’ in the definition of universal is either i) in the sense of ‘representation’ or it must be regarded as ii) an unnecessary addition mentioned just for clarification or iii) only for avoiding cases where something is predicated of itself. By the first we mean this: though a substance is not said of anything, it represents some one thing and there is some one thing that is that substance. A universal, on the other hand, can represent a plurality of things. There is, however, a third possibility that has no essential difference with the sense of representation. Aristotle might have ‘arbitrary predication’ in mind when he suses ‘plurality’ in the definition of universal: while a particular can be the arbitrary predicate of just one thing, a universal can be predicated, both really and arbitrarily, of many things. Whatever Aristotle’s intention was, what is important for our investigation is this: Aristotle uses the notion of plurality in the definition of universal in spite of the fact that it is not necessary. What this implies is that this notion is so important for Aristotle that albeit every predictability is a predictability of a possible plurality, he adds the notion of plurality. What makes this notion important, I believe, is that he has something like a class in mind when he defines a universal because the notion of plurality is indistinguishable from a class. 2) Universal and whole; particular and part In Aristotle, the concepts of universal and whole are so close: ‘That which is true of a whole class and is said to hold good as a whole (which implies that it is a kind of whole) is true of a whole in the sense that it contains many things by being predicated of each, and that each and all of them, e.g. man, horse, god, are one because all are living things (τὸ μὲν γὰρ καθόλου καὶ τὸ ὃλως λεγόμενον ὡς πολλὰ περιέχον τῷ κατηγορεῖσθαι καθ’ ἑκάστου καὶ ἓν ἃπαντα εἶναι ὡς ἑκαστον, ...). Phil Corkum points to Aristotle’s distinction between quantitative and integral wholes in Met., 5, 26, 1023b26-33 where a quantitative whole is called homoiomerous, as the sum of animal while an integral whole, e.g. a house, is called heteromerous. He links the notion of homoiomerous to the notion of indivisibility of individuals (in 1b6-9 and 3b10-18) and indivisibility of universals. He believes that in PrA., I, 4, 25b32-26a2 it is the transitivity of mereological containment that is discussed. 3) Universal is common between instances Universal is common (κοινόν) between all the plurality of subjects it can be predicated of because what belongs to more than one thing must be common between them. (Met., Z, 1038b10-12) In the Same way, what is common cannot be a particular and, thus, a substance. (Met., Z, 1040b23-24) An individual or substance is a ‘this’ and a ‘this’ cannot be what common indicates simply because it is here in ‘this’ and can be nowhere else while common must be common between several things. In fact, what can be indicated by a common is indeed a ‘such.’ (Met., B, 1003a7-9) 4) Universal is the same in its instances We have a universal i) in all of its instances and ii) in the same way (ταὐτὸ ἐπὶ πὰντων). (Met, Γ, 1005a9-10) While the first point is evident (otherwise how could it be their universal?), the second point might seem not only ambiguous but the cause of many problems. For Aristotle, therefore, a universal must be ‘one’ in number and not many. This numerically one universal is the very universal for all its instances. It is the same universal that is predicated on each of its instances. This sameness is not, however, a mere homonymous sameness or the sameness of a homonymous word. All these three points, namely oneness, sameness and rejection of mere homonymous sameness are asserted in Aristotle’s own words τι ἕν καὶ τὸ αὐτὸ ἐπὶ πλειόνων μη ὁμώνυμον. (PsA., A, 11, 77a8-9) This non-homonymous unity is asserted also in PsA., A, 24, 85b15-16. 5) Universal as predicate Contrary to substance that cannot be a predicate, universal is what cannot be prevented from being in the place of predicate. Therefore, Aristotle distinguishes universal from subject because while the latter must necessarily be capable of being a predicate, though it might take the position of subject as well, the latter does not necessarily have such a capability especially when it is a this because it cannot be a predicate in such a case: ‘For the subject and universal differ in being or not being a ‘this’; like man and body and soul are the subject of accidents while the accident is something like musical or white.’ (Met., Θ, 1049a27-30) This indicates that a universal is basically different from subject and although it can be posited in the place of subject, it is the position of predicate that is its position as a universal. In Metaphysics, Z, 13, Aristotle asserts that ‘no universal can be substance.’ The same is asserted in Met., I, 1053b16-17 cf. 1060b21. As James H. Lesher points out, Aristotle’s position is that ‘nothing predicated universally is a substance.’ 6) Universal in substance In Met., 10388b8-9 Aristotle says that no universal is a substance. While a universal cannot be a substance in the way essence (to ti en einai) is, it is, Aristotle asserts, ‘in’ it (ἐν τούτῳ δὲ ἐνυπάρχειν) (Met., Ζ, 1038b16-18). Aristotle’s examples are: animal in man and horse. A universal is ‘in’ the thing it is its universal. But in what sense a universal can be in a thing? It cannot be in it as ‘in a subject’, which is denied in Categories for secondary substances. If we check the senses of being in, we can find some other senses of ‘being in’ some of which are compatible with this sense of ‘being in.’ Michael J. Loux believes that contrary to his earlier works like Peri Ideaon and Organon in which the immanence of universals signals a reproduction of the platonic two worlds picture, in his later works like Physics and Metaphysics, when Aristotle tells us that universals are in particulars he means that they are ‘components of or ingredients in sensible particulars.’ In Metaphysics (Δ, 1014b3-9) Aristotle compares elements with universals and call them ‘the most universal things because elements are present either in all or in many things. 7) Logos is of universal Not only universals have logos (Met., Z, 1038b18-19) but ‘Every logos and every science is of universals and not of particulars.’ (Met., K, 1059b25-26) The reason is that they are the same: the logos of the unjiversal ‘circle’ is nothing but ‘being circle’ and the logos of the universal ‘soul’ is ‘being soul.’ (Met., Z, 1035b33-1036a2) The same is said about definition. (Met, Z, 1036a27-29) 8) Universal: in the soul Contrasting individuals, universals are in the soul (So., 3, 5, 417b22-23; cf. PsA., B, 19, 100a6-7). Aristotle also says that the form, i.e. the essence, of the artwork is in the soul. (met., Z, 1032a32-b2) Moreover, as Michael J. Loux points out, ‘the Peri Ideon tells us that we need universals to serve as the objects of noetic acts.’ 9) Universal: not beside individual In spite of the fact that demonstration creates the opinion that demonstrating is based on the existence of universals as existing among the existing things, they do not have existence besides individuals (PsA., A, 24, 85a31-35; Met, Λ, 1071a19-23). Aristotle believes that universals of a P-series (B203, 71) are not παρὰ τὰ εἴδη: 999a6ff. Also check De Anima, II, 3, 414b20-25 10) Primary or commensurate universal Aristotle distinguishes ‘πρῶτον καθόλού’ (PsA., B, 17, 99a33-35) literally meaning ‘primary universal’ but mostly, and truly, translated as commensurate universal. While a universal merely ‘μὴ ἀντιςτρέφει,’ a primary universal ‘ᾧ ἓκαςτον μὲν μὴ ἀντιςτρέφει’ (PsA., B, 17, 99a33-35). Aristotle mentions three conditions for a commensurate universal. It is an attribute that i) belongs to every instance of its subject (without exception!!!), and this belonging is ii) essentially and iii) qua that subject itself (ᾗ αύτό). (PsA., A, 4, 73b26-28) However, he insists that the second and the third conditions are indeed the same. (PsA., A, 4, 73b28-30) The first condition he paraphrases as ‘to belong to any random instance of that subject’ and the second and the third as ‘when the subject is the first thing to which it can be shown to belong.’ (PsA., A, 4, 73b32-74a3) Aristotle’s example is ‘the equality of its angles to two right angles’. This attribute is not a commensurate universal of figure due to the first condition: it cannot be demonstrated of any figure. Nonetheless, though it can be demonstrated of every isosceles because every isosceles has angles equal to two right angles, it is not a commensurate universal of isosceles due to the other conditions: it is not predicated of isosceles qua isosceles but qua triangle. These conditions seem to be like regulators: they organize everything to match to the right group. The method of finding commensurate universal is like test and error method based on elimination: you must eliminate each of the higher or lower universals and check if the attribute remains or not. The commensurate universal is that which remains in between eliminated universals. (cf. PsA., A, 5, 74a37-b4) Brad Inwoodpresents an understanding of commensurate universal that is different from what I have understood and, thus, must be checked: ‘These universals are propositions in which, for example, ‘all A are B’ is true and which are still true universal statements if converted: ‘all B are A’ is also true.’ -/- . (shrink)

In Simultaneity and Delay: A Dialectical Theory of Staggered Time, the Canadian philosopher Jay Lampert challenges theories that define time in terms of absolute simultaneity and continuous succession. To counter these theories he introduces an alternative: the dialectic of simultaneity and delay. According to Lampert, this dialectic constitutes a temporal succession that is no longer structured as a continuous line, but that is built out of staggered time-flows and delayed reactions. The bulk of the book consists of an attempt (...) to give a conceptual order to the ‘unsystematic analyses of simultaneity and delay sprinkled through the history of philosophy’ (2). This conceptual analysis leads us through ancient (Plato and Plotinus), medieval (Origen) and late modern issues (Kant, Hegel and Lessing), as well as scientific discussions (Einstein, McTaggart), and culminates in the central chapter of the book, which attempts to show ‘how the problems of the great simultaneity philosophers - Husserl and Bergson - might be solved by the great delay philosophers - Derrida and Deleuze’ (147). In this review, I will focus on three points. 1. The problem of synchronization. 2. The problem of synthesis. 3. Theproblem of localization. (shrink)

Two central accounts of human cognition emerge over the course of the Middle Ages: the theory of divine illumination and an Aristotelian theory centered on abstraction from sense data. Typically, these two accounts are seen as competing views of the origins of human knowledge; theories of divine illumination focus on God’s direct intervention in our epistemic lives, whereas Aristotelian theories generally claim that our knowledge derives primarily (or even entirely) from sense perception. In this paper, I address an (...) early attempt to reconcile these two accounts—namely, Robert Grosseteste’s commentary on Aristotle’s Posterior Analytics—and I argue that Grosseteste’s efforts to bring Aristotle’s account of human cognition into harmony with a theory of divine illumination proves both philosophically interesting and largely successful. Grosseteste’s claim that God does not directly illumine our intellects in this life opens his theory to the worry that Grosseteste leaves the divine out of his theory of divine illumination in the CPA. Steven Marrone, for example, holds that Grosseteste’s Aristotelian focus in this work causes him to abandon the theory of divine illumination he advocated in the earlier De veritate in favor of a modified theory of “human” illumination. I argue in contrast that Grosseteste does give God a role in human knowledge in the CPA—a role that allows human beings to remain largely responsible for the acquisition of knowledge while still requiring God’s illumination for actual cognition. In short, I conclude that, although human bodies interfere with God’s direct illumination of our intellects, God nevertheless plays a crucial ideogenic role in human cognition by illuminating the objects of our intellection and making them intelligible to us. (shrink)

ABSTRACT This article studies the theory of animal seeds as purely material entities in the early seventeenth-century medical writings of Antonio Ponce Santacruz, royal physician to the Spanish king Philipp IV. Santacruz adopts the theory of the eduction of substantial forms from the potentiality of matter, according to which new kinds of causal powers can arise out of material composites of a certain complexity. Santacruz stands out among the late Aristotelian defenders of eduction theory because he applies (...) the concept of an instrument of direction developed by the medieval Avicenna commentator Gentile da Foligno and gives a novel turn to this concept by interpreting animal seeds as separate instruments. The article situates Santacruz's theory in the context of early modern debates about the concept of the eduction of forms, as well as in the context of early modern debates about the concept of separate instruments. Particular attention is paid to Santacruz's responses to the biological views of Julius Caesar Scaliger and Thomas Feyens. Santacruz's response to Scaliger turns out to be central for his explication of the eduction relation, and Santacruz's response to Feyens turns out to be central for his explication of the nature of instrumental causation. (shrink)

In this chapter, I present the first systematic trope nominalist approach to natural kinds of objects. It does not identify natural kinds with the structures of mind-independent entities (objects, universals or tropes). Rather, natural kinds are abstractions from natural kind terms and objects belong to a natural kind if they satisfy their mind-independent application conditions. By relying on the trope theory SNT (Keinänen 2011), I show that the trope parts of a simple object determine the kind to which (...) it belongs. Moreover, I take the first steps to generalize the trope nominalist theory to the natural kinds of complex objects. (shrink)

In this paper I examine the question whether Spinoza can account for the necessity of death. I argue that he cannot because within his ethical intellectualist system the subject cannot understand the cause of her death, since by understanding it renders it harmless. Then, I argue that Spinoza could not solve this difficulties because of deeper commitments of his system. At the end I draw a historical parallel to the problem from medieval philosophy.

Human beings by nature are rational beings. They are endowed with the gift of intellect in order to known, discern, and examine their self, reality, and God. The proper end of man’s intellectual endeavor is the Truth. However, attaining the truth is not an immediate and simple endeavor. The history of man reveals how various thinkers have debated and argued concerning the truth. Especially during the medieval and enlightenment period where the critical clash between faith and reason took place. (...) The medieval period thinkers emphasized the authority of faith in understanding the truth who is God. on the other hand, the enlightenment thinkers abandoned the eligibility of faith and solely relied on the capacity of reason. hence, the problem is: Which among these two modes of learning – faith and reason - will enable man to elevate himself towards the truth? This controversy was being addressed by Pope John Paul II on his encyclical letter Fides et Ratio. In the letter, he emphasized the mutual relationship between faith and reason. These two are distinct yet complementary factors in journeying towards the truth. This relationship is also understood under the context of Aristotle’s theory of the golden mean. This theory suggests that man should strike the mean and avoid the two vices: excess and defect. By moderation, man will become virtuous. Applying to the dialogue between faith and reason, man should avoid exceeding in giving authority to either of the two. Excess in faith would result to fideism and excess in reason would result to rationalism. Hence, man should observe moderation in order to have a harmonious dialogue between faith and reason. In this paper, the researcher will expose the relevance of Aristotle’s theory of moderation towards harmonizing the dialogue between faith and reason as seen in the Fides et Ratio of Karol Wojtyla. First, the researcher will discuss Aristotle’s theory of the Golden Mean; second, the researcher will expose the relationship between faith and reason in Pope John Paul II’s fides et ratio; and third will be the application of Aristotelian Moderation in the context of the dialogical encounter between faith and reason. -/- . (shrink)

This paper centers on the implicit metaphysics beyond the Theory of Relativity and the Principle of Indeterminacy – two revolutionary theories that have changed 20th Century Physics – using the perspective of Husserlian Transcedental Phenomenology. Albert Einstein (1879-1955) and Werner Heisenberg (1901-1976) abolished the theoretical framework of Classical (Galilean- Newtonian) physics that has been complemented, strengthened by Cartesian metaphysics. Rene Descartes (1596- 1850) introduced a separation between subject and object (as two different and self- enclosed substances) while Galileo and (...) Newton did the “mathematization” of the world. Newtonian physics, however, had an inexplicable postulate of absolute space and absolute time – a kind of geometrical framework, independent of all matter, for the explication of locality and acceleration. Thus, Cartesian modern metaphysics and Galilean- Newtonian physics go hand in hand, resulting to socio- ethical problems, materialism and environmental destruction. Einstein got rid of the Newtonian absolutes and was able to provide a new foundation for our notions of space and time: the four (4) dimensional space- time; simultaneity and the constancy of velocity of light, and the relativity of all systems of reference. Heisenberg, following the theory of quanta of Max Planck, told us of our inability to know sub- atomic phenomena and thus, blurring the line between the Cartesian separation of object and subject, hence, initiating the crisis of the foundations of Classical Physics. But the real crisis, according to Edmund Husserl (1859-1930) is that Modern (Classical) Science had “idealized” the world, severing nature from what he calls the Lebenswelt (life- world), the world that is simply there even before it has been reduced to mere mathematical- logical equations. Husserl thus, aims to establish a new science that returns to the “pre- scientific” and “non- mathematized” world of rich and complex phenomena: phenomena as they “appear to human consciousness”. To overcome the Cartesian equation of subject vs. object (man versus environment), Husserl brackets the external reality of Newtonian Science (epoché = to put in brackets, to suspend judgment) and emphasizes (1) the meaning of “world” different from the “world” of Classical Physics, (2) the intentionality of consciousness (L. in + tendere = to tend towards, to be essentially related to or connected to) which means that even before any scientific- logical description of the external reality, there is always a relation already between consciousness and an external reality. The world is the equiprimordial existence of consciousness and of external reality. My paper aims to look at this new science of the pre- idealized phenomena started by Husserl (a science of phenomena as they appear to conscious, human, lived experience, hence he calls it phenomenology), centering on the life- world and the intentionality of consciousness, as providing a new way of looking at ourselves and the world, in short, as providing a new metaphysics (as an antidote to Cartesian metaphysics) that grounds the revolutionary findings of Einstein and Heisenberg. The environmental destruction, technocracy, socio- ethical problems in the modern world are all rooted in this Galilean- Newtonian- Cartesian interpretation of the relationship between humans and the world after the crumbling of European Medieval Ages. Friedrich Nietzsche (1844-1900) comments that the modern world is going toward a nihilism (L. nihil = nothingness) at the turn of the century. Now, after two World Wars and the dropping of Atomic bomb, the capitalism and imperialism on the one hand, and on the other hand the poverty, hunger of the non- industrialized countries alongside destruction of nature (i.e., global warming), Nietzsche might be correct: unless humanity changes the way it looks at humanity and the kosmos. The works of Einstein, Heisenberg and Husserl seem to be pointing the way for us humans to escape nihilism by a “great existential transformation.” What these thinkers of post- modernity (after Cartesian/ Newtonian/ Galilean modernity) point to are: a) a new therapeutic way of looking at ourselves and our world (metaphysics) and b) a new and corrective notion of “rationality” (different from the objectivist, mathematico- logical way of thinking). This paper is divided into four parts: 1) A summary of Classical Physics and a short history of Quantum Theory 2) Einstein’s Special and General Relativity and Heisenberg’s Indeterminacy Principle 3) Husserl’s discussion of the Crisis of Europe, the life- world and intentionality of consciousness 4) A Metaphysics of Relativity and Indeterminacy and a Corrective notion of Rationality in Husserl’s Phenomenology . (shrink)

My aim in this article is to contribute to the larger project of assessing the relative merits of different theories of substance. An important preliminary step in this project is assessing the explanatory resources of one main theory of substance, the so-called bundle theory. This article works towards such an assessment. I identify and explain three distinct explanatory challenges an adequate bundle theory must meet. Each points to a putative explanatory gap, so I call them the Gap (...) Challenges. I consider three bundle-theoretic strategies for meeting these challenges. I argue that none of them goes very far. The upshot is that, absent other strategies for meeting the challenges, bundle theory involves a significant amount of stipulation. This black box makes bundle theory relatively weak with respect to its explanatory power—unless, of course, rival theories of substance are unable to do better. (shrink)

The supposition that Wittgenstein's Tractatus advances a certain metaphysics has given rise to a controversy over the ontological status of his Tractarian objects. It has been debated, for instance, whether these objects consist only of particulars or of both particulars and universals; whether they are physical, phenomenal, or phenomenological entities; and whether they correspond to Russell's objects of acquaintance or Kant's phenomena and substance. In this essay, I endorse Ishiguro's view that these objects, being formal concepts, are ontologically neutral (...) and thus are not identifiable with any ontological kind of entities. I elaborate on the coherence of this view with the propositional dependence of the meaning of Tractarian names. After showing why some arguments for ascribing a Russellian theory of meaning to these names do not work, I demonstrate why Ishiguro's account of Tractarian objects and names provides a better explanation of the unalterability of these objects. (shrink)

This paper summarizes and extends the transmodal argument for the existence of universals (developed in full detail in "Universals"). This argument establishes not only the existence of universals, but also that they exist necessarily, thereby confirming the ante rem view against the post rem and in re views (and also anti-existentialism against existentialism). Once summarized, the argument is extended to refute the trope theory of properties and is also shown to succeed even if possibilism is assumed. (...) A nonreductionist theory of universals and properties is then outlined, and it is sketched how to reap the benefits of possibilism and Meinongianism in an actualist setting. (shrink)

The essay constructs an ontological theory designed to capture the categories instantiated in those portions or levels of reality which are captured in our common sense conceptual scheme. It takes as its starting point an Aristotelian ontology of “substances” and “accidents”, which are treated via the instruments of mereology and topology. The theory recognizes not only individual parts of substances and accidents, including the internal and external boundaries of these, but also universal parts, such as the “humanity” which (...) is an essential part of both Tom and Dick, and also “individual relations”, such as Tom’s promise to Dick, or their current handshake. (shrink)

[What is the Human Being? Peter Auriol and the Role of Cognitive Psychology in the Medieval Definition of the Human Being: ] This paper explores how medieval philosophers used cognitive psychology in defining what the human being is, paying special attention to the Franciscan thinker Peter Auriol (c. 1280 – 1322). First, I examine the motivations of Auriol’s claim that the property of being alive is bound to the property of being cognitive (i. e. being capable of cognition). (...) Then, the foundations of medieval faculty psychology and Auriol’s conception of cognition are introduced. I also argue that the emphasis which Auriol puts on the activity of soul’s faculties leads him to the conclusion (unusual in his days) that the distinction among these faculties is established from the first person perspective. Finally, Auriol’s cognitive definition of the human being is introduced – human beings are human beings precisely because their cognitive experience differs from the way the cognition works in animals on the one hand and in God on the other hand. Whereas animals have only sensory soul’s faculties, humans have the intellect in addition and, therefore, they are capable of universal cognition. Moreover, since humans have not only intellect but also the inner senses (particularly, the phantasy), the universals appear to the human intellect only as blended with the individual that the universal was abstracted from, and the human intellect is not capable of paying attention to no more than just one object at the same moment. Since God and angels have only intellect, these distinctively human features are absent from their cognitive experience. (shrink)

The theory of universals faces two opposing demands. On the one hand, it must be explanatory. That is, certain kinds of statements found in our everyday discourse and the theories used to explain them seem to require the existence of universals for their understanding or acceptance. On the other hand, it must be ontologically appropriate. This means that theories that intervene ontologically without sufficient reasons for the existence of implausible entities or theories that result in an excessive (...) proliferation of new entities should not be embraced as theories of universals. The problem is that a theoretically sound theory of universals appears to inevitably involve a tension between explanatory and ontological appropriateness. This dilemma arises from the two aforementioned demands, and it is a genuine dilemma in that it is difficult to give up either demand. Philosophy, or metaphysics, fundamentally aims to explain the facts of the experiential world. If a philosophical theory fails to adequately satisfy our explanatory demands regarding the experiential world, it is not suitable as a philosophical theory. Conversely, it is also undesirable for a philosophical theory to impose excessive ontological burdens. The justification of a philosophical theory is a priori, and any a priori claims about the existence of entities should not be arbitrarily adopted. This article resolves this dilemma as follows: If the explanatory demand requires reduction from an ontological standpoint, it can be adequately addressed through unproblematic means. On the other hand, the apparent conflict between the explanatory demand and appropriate ontology only arises when it is understood as a demand for explanatory priority. However, such a demand does not necessarily require the introduction of any ontological priority. Therefore, there was no need for the dilemma to arise. Finally, I attempt to respond to the demands from natural kind predicates. (shrink)

Is vision merely a state of the beholder’s sensory organ which can be explained as an immediate effect caused by external sensible objects? Or is it rather a successive process in which the observer actively scanning the surrounding environment plays a major part? These two general attitudes towards visual perception were both developed already by ancient thinkers. The former is embraced by natural philosophers (e.g., atomists and Aristotelians) and is often labelled “intromissionist”, based on their assumption that vision is an (...) outcome of the causal influence exerted by an external object upon a sensory organ receiving an entity from the object. The latter attitude to vision as a successive process is rather linked to the “extramissionist” theories of the proponents of geometrical optics (such as Euclid or Ptolemy) who suggest that an entity – a visual ray – is sent forth from the eyes to the object. The present paper focuses on the contributions to this ancient controversy proposed by some 13th-century Latin thinkers. [...]. (shrink)

This paper highlights a small selection of cases where crosslinguistic insights have been important to big questions in the theory of semantics and the syntax/semantics interface. The selection includes (i) the role and representation of Speaker and Addressee in the grammar; (ii) mismatches between form and interpretation motivating high-placed silent operators for functional elements; and (iii) the explanation of semantic universals, including universals pertaining to inventories, in terms of learnability and the trade-off between informativeness and simplicity.

In this chapter, we examine a few potential problems when inquiring into the ethics of medieval Christian and Islamic mystical traditions: First, there are terminological and methodological worries about defining mysticism and doing comparative philosophy in general. Second, assuming that the Divine represents the highest Good in such traditions, and given the apophaticism on the part of many mystics in both religions, there is a question of whether or not such traditions can provide a coherent theory of value. (...) Finally, the antinomian tendencies and emphasis on passivity of some mystics might lead one to wonder whether their prescriptive exhortations can constitute a coherent theory of right action. We tackle each of these concerns in turn and discuss how they might be addressed, in an attempt to show how medieval mysticism, as a fundamentally practical enterprise, deserves more attention from practical and moral philosophy than it has thus far received. (shrink)

Within the framework of Positive Psychology and Needing Theories, this article reviews cultural practices or perceptions regarding what happiness is and how it can be achieved. Mainly research on Subjective Well-Being (SWB) has identified many cultural differences in the pursuit of happiness, often described as East-West splits along categories such as highly expressed affect vs. quiet affect, self-assertion vs. conformity to social norms, independence vs. interdependence and the like. However, it is the overall goal of this article to show that (...) whatever the normative content of a culture’s or subculture’s view of happiness may be, it involves the same basic psychological needs beyond how people may choose to report or express resulting emotions. In particular, the theory of happiness proposed by the Hellenistic philosopher Epicurus provides broader, more inclusive categories and concepts which can be used to explain and possibly harmonize assumptions from particular traditions. (shrink)

In The Problems of Philosophy, Russell presented his famous regress argument against the nominalist denial of universals. In this paper I explore the origin of the argument in Russell and explore its relevance in contemporary metaphysical debate. I argue that a hundred years on, the argument still presents a powerful tool for realists in their debate with nominalists and trope theorists.

This paper contends that some of the recent critical appraisals of universals theories of natural laws, namely, van Fraassen's analysis of Armstrong's probabilistic laws, are largely ineffective since they fail to disclose the incompatibility of universals and any realistic natural law setting. Rather, a more profitable line of criticism is developed that contests the universalists' claim to have resolved the induction problem (i.e., the separation of natural laws from mere accidental regularities), and thereby reveals the universals' philosophically (...) inadequate concept of a physical property. (shrink)

Today it would be considered "bad Platonic metaphysics" to think that among all the concrete instances of a property there could be a universal instance so that all instances had the property by virtue of participating in that concrete universal. Yet there is a mathematical theory, category theory, dating from the mid-20th century that shows how to precisely model concrete universals within the "Platonic Heaven" of mathematics. This paper, written for the philosophical logician, develops this category-theoretic treatment (...) of concrete universals along with a new concept to abstractly model the functions of a brain. (shrink)

First part of the translation into Spanish of David Lewis' "New Work for a Theory of Universals", corresponding to the introduction and the first two sections of the original paper. || Primera parte de la traducción al español del trabajo de David Lewis "New Work for a Theory of Universals", correspondiente a la introducción y las dos primeras secciones del artículo original. Artículo original publicado en: Australasian Journal of Philosophy, Vol. 61, No. 4, Dec. 1983, pp. (...) 343-377. (shrink)

Universals appear to be as central in today's computational-based ontology as they were in medieval ontological investigations. As the author of a recent work on the history of universals (Pinzani, 2018), I was asked for a commentary on Augusto’s article “Bridging Mainstream and Formal Ontology” (Augusto, 2021), which aims at showing that medieval ontological investigations can be relevant for contemporary ontology engineering. In this commentary, I begin by saying something about my way of reading 12th-century logical (...) literature and then offer some modest considerations on the general theme addressed in Augusto's article. (shrink)

Second part of the translation into Spanish of David Lewis' "New Work for a Theory of Universals", corresponding to the last sections of the original paper. || Segunda parte de la traducción al español del trabajo de David Lewis "New Work for a Theory of Universals", correspondiente a últimas secciones del artículo original. Artículo original publicado en: Australasian Journal of Philosophy, Vol. 61, No. 4, Dec. 1983, pp. 343-377.