Problem of universals

From Wikipedia, the free encyclopedia

Jump to: navigation, search

The problem of universals refers to a set of problems that arise when people think about the nature and status of the properties or qualities of objects. Universals are best understood in contrast to individuals. An individual is an object, like a car or a rose. Universals are properties of objects, which, if they exist, can exist in more than one place at the same time. If the car and the rose are both red, then they both exhibit the same universal quality of redness. Moreover, the mere fact that we can call something a 'car' or a 'rose' suggests that it has a property of 'carness' or 'roseness'. The problem of universals arises when people start to consider in what sense it is possible for a property to exist in more than one place at the same time. It seems clear that there are red things, but is there an existing property of 'redness'? And if there is such a thing as 'redness', what kind of thing is it, and how do we think of redness in one object as compared to redness in another? The problem of universals is studied by philosophers working in the fields of philosophy of language, cognitive psychology, epistemology, and ontology.

Contents

[edit] Buddha's lectures

Over a period of forty years, Gautama Buddha laid the groundwork in his teachings for a form of nominalism, i.e. the view that universal terms are arbitrary names imposed upon the sensory flux. It is possible that Hellenic Greek nominalists were influenced by these ideas; by the Ashokan cultural dispersion around 250 BCE, Buddhist philosophy had spread as far as Rome and the Levant. The Buddhist views center on anatman—non-essentialism, but extend to 'subtle impermanence', a concept similar to Heraclitus' theory that the world and everything in it is always changing. In general there is no problem of universals for philosophical Buddhism—universals are samvrti or existing only within those systems of conventions that accept them.

[edit] Greek thought

In Greece the debate may have begun with Heraclitus, who said that "we never step twice into the same river." In the time it takes us to move our rear foot forward for that second step, water has continued to rush forward, the banks have shifted a bit, and the river is no longer the same. A pupil of Heraclitus, Parmenides, offered a strengthened version of the dictum, observing that not even once does one step into one river.

Heraclitus is often interpreted as suggesting a skeptical conclusion: since nothing ever stays the same from moment to moment, any information we may think we have is obsolete even as we acquire it, and therefore we can have no certain knowledge of our world. He might also have been suggesting that names are a means to impose stability on the flux of reality—for example by calling some flowing water (or rather, this thing in front of me) a river I pretend that a thing I sense in my environment endures, that this is just one thing of a certain type. This would make of him the first nominalist.

The metaphysics of Plato may be understood as in part an answer to Heraclitus, especially to the skeptical implications of his writings. For Plato, our intellect can contemplate the same river any number of times, for river as a form or type of thing, is timeless, and we can always have the idea of that form. There is a sharp distinction between the world of the senses and the world of the intellect: one can only have opinions about the former, but one can have knowledge about the latter, for justified true beliefs about the Forms and the relations among them are unimpeachable by empirical evidence. For that reason, the world of the intellect is the real world, like sunlight, the sensible world is only imperfectly or partially real, like shadows.

It must be noted that the Platonic notion of timeless ideals isn't confined to universals. Particular terms, too, can be understood as the name of an intelligible form. So although river is a form, Meander is also a form, and "the Meander as it was at noon last Friday" is a form. Even the concept "Heraclitean flux" is a form, and as such fluxlessly timeless. There are many puzzles here, and Plato himself explored several of them in his dialogue Parmenides.

But at least part of what Plato meant to convey is that river is a timeless ideal in which physical rivers partially participate, as the material world is an imperfect mirror of the really real world. Plato, accordingly, took a realist position regarding universals. This Platonic realism, however, in denying full reality to the material world, differs sharply with modern forms of realism, which generally assert the reality of the external, physical world and which in some versions deny the reality of ideals.

Plato's student Aristotle disagreed with both Plato and Heraclitus. Aristotle transformed Plato's forms into "formal causes," the blueprints or essences of individual things. Where Plato idealized geometry, Aristotle emphasized biology and related disciplines, so much of his thinking concerns living beings and their properties. The nature of universals in Aristotle's philosophy therefore hinges on his view of natural kinds.

Consider for example a particular oak tree. This is a member of a species, and it has much in common with other oak trees, past, present, and future. Its universal, its oakness, is a part of it. A biologist can study oak trees and learn about oakness and more generally the intelligible order within the sensible world. Accordingly, Aristotle was more confident than either Heraclitus or Plato about coming to know the sensible world; he is an early empiricist. Aristotle was a new sort of realist about universals; some might call this view moderate realism.

[edit] Medieval times

[edit] Medieval realism

The problem of universals reemerged in medieval Western philosophy, but initially in a truncated, confused form. Before the twelfth century, Christian philosophers of the West had no direct access to the epistemology and metaphysics of either Plato or Aristotle.[1] Plato's ideas were available only in their neo-Platonic form, as further filtered primarily through the interpretations of St. Augustine (354-430) and the writer known as Dionysius the Areopagite (late fifth century, also referred to as Pseudo-Dionysius).[2] Some of Aristotle's logical works were translated into Latin by the Roman philosopher Boëthius (480-524), and with Boethius' commentaries became required reading in early medieval curricula.[3] Boethius, however, died before finishing more than a fraction of his grand project of translating the complete works of both Plato and Aristotle.[4] As a result, it was not until the translations and commentaries of Islamic scholars, especially Averroes, became available in the thirteenth century, that the Greeks' treatment of universals became fully accessible and could be reintegrated into Western philosophy.

Nonetheless, the two extremes of ultra-realism and nominalism reemerged in embryonic form, as early as the ninth century.[5]

Thomas Aquinas made it his personal mission to reconcile Aristotle's philosophy with Roman Catholic faith. As part of this task, in De Ente et Essentia he restated Aristotle's views on essence, or universals.

"This nature" he said, meaning a universal, "has a dual being: one in singular things, another in the soul, and both draw accidents to that nature just mentioned. In singular things it has, after all, a multiple being through the diversity of those singular things. But nevertheless is the being of those things not compulsive for that nature, according to its first consideration, namely the absolute."[citation needed]

In other words, oakness exists in the particular trees, as well as in the soul of the biologist studying them. The "being in the things is not compulsive" in that the form itself, oakness, doesn't change though particular oaks die.

[edit] Medieval nominalism

As the Middle Ages waned and the Renaissance approached, some European intellectuals switched their allegiance to nominalism. The new Heraclitus of this period was William of Ockham. "I maintain", he wrote, "that a universal is not something real that exists in a subject ... but that it has a being only as a thought-object in the mind [objectivum in anima]." As a general rule, Ockham disbelieved in any entities that were not necessary for explanations. Accordingly, he wrote, there is no reason to believe that there is an entity called "humanity" that resides inside Socrates. Nothing further is explained by saying that. This is in accord with the analytical method which has since come to be called Ockham's razor, the principle that the explanation of any phenomenon should make as few assumptions as possible.

[edit] Conceptualism, a third way

A position subsequently identified as conceptualism was formulated by Pierre Abelard. This advertises itself as a middle way between nominalism and realism. There is something in common between like individuals, but it is a concept in the mind, not an objective reality.

Critics argue that conceptualist approaches like Abelard's only answer the psychological question of universals. If the same concept is correctly[6] and non-arbitrarily applied to two individuals, there must be some resemblance or shared property between the two individuals that justifies their falling under the same concept, and that is just the metaphysical problem that universals were brought in to address, the starting-point of the whole problem. If resemblances between individuals are asserted, conceptualism becomes moderate realism; if they are denied, it collapses into nominalism.[7]

[edit] Modern times

George Berkeley, best known for his empiricism, was also an advocate of an extreme nominalism. Indeed, he disbelieved even in the possibility of a general thought as a psychological fact. It is impossible to imagine a man, the argument goes, unless one has in mind a very specific picture of one who is either tall or short, European or Asian, blue-eyed or brown-eyed, etc. When one thinks of a triangle, likewise, it is always obtuse, or right-angled, or acute. There is no mental image of a triangle in general. Not only, then, do general terms fail to correspond to extra-mental realities, they don't correspond to thoughts either.

Berkeleyan nominalism contributed to the same thinker's critique of the possibility of matter. In the climate of English thought in the period following Isaac Newton's great contributions to physics, there was much discussion of a distinction between primary qualities and secondary qualities. The primary qualities were supposed to be true of material objects in themselves (size, position, momentum) whereas the secondary qualities were supposed to be more subjective (color and sound). But on Berkeley's view, just as it is meaningless to speak of triangularity in general aside from specific figures, so it is meaningless to speak of mass in motion without knowing the color. If the color is in the eye of the beholder, so is the mass.

John Stuart Mill discussed the problem of universals in the course of a book that eviscerated the philosophy of Sir William Hamilton. Mill wrote, "The formation of a Concept does not consist in separating the attributes which are said to compose it from all other attributes of the same object, and enabling us to conceive those attributes, disjoined from any others. We neither conceive them, nor think them, nor cognize them in any way, as a thing apart, but solely as forming, in combination with numerous other attributes, the idea of an individual object."

At this point in his discussion he seems to be siding with Berkeley. But he proceeds to concede under some verbal camouflage, that Berkeley's position is impossible, and that every human mind performs the trick Berkeley thought impossible.

"But, though meaning them only as part of a larger agglomeration, we have the power of fixing our attention on them, to the neglect of the other attributes with which we think them combined. While the concentration of attention lasts, if it is sufficiently intense, we may be temporarily unconscious of any of the other attributes, and may really, for a brief interval, have nothing present to our mind but the attributes constituent of the concept."

In other words, we may be "temporarily unconscious" of whether an image is white, black, or yellow and concentrate our attention on the fact that it is a man, and on just those attributes necessary to identify it as a man (but not as any particular one). It may, then, have the significance of a universal of manhood.

The 19th century American logician Charles Peirce developed his own views on the problem of universals in the course of a review of an edition of the writings of George Berkeley. Peirce begins with the observation that "Berkeley's metaphysical theories have at first sight an air of paradox and levity very unbecoming to a bishop." He includes among these paradoxical doctrines Berkeley's denial of "the possibility of forming the simplest general conception." Peirce responded to this paradox in the way that one might expect from a man known as the father of pragmatism. He wrote that if there is some mental fact that works in practice the way that a universal would, that fact is a universal. "If I have learned a formula in gibberish which in any way jogs my memory so as to enable me in each single case to act as though I had a general idea, what possible utility is there in distinguishing between such a gibberish ... and an idea?" Peirce also held as a matter of ontology that what he called "thirdness," the more general facts about the world, are extra-mental realities.

William James learned pragmatism, this way of understanding an idea by its practical effects, from his friend Peirce, but he gave it new significance. (Too new for Peirce's taste -- he came to complain that James had "kidnapped" the term, and to call himself a "pragmaticist" instead.) Although James certainly agreed with Peirce and against Berkeley that general ideas exist as a psychological fact, he was a nominalist in his ontology. "From every point of view," he wrote, "the overwhelming and portentous character ascribed to universal conceptions is surprising. Why, from Plato and Aristotle, philosophers should have vied with each other in scorn of the knowledge of the particular, and in adoration of that of the general, is hard to understand, seeing that the more adorable knowledge ought to be that of the more adorable things, and that the things of worth are all concretes and singulars. The only value of universal characters is that they help us, by reasoning, to know new truths about individual things."

[edit] Contemporary realists' answers

There are at least three ways in which a realist might try to answer James' challenge of explaining the reason why universal conceptions are more lofty than those of particulars -- there is the moral/political answer, the mathematical/scientific answer, and the anti-paradoxical answer. Each has contemporary or near contemporary advocates.

In 1948 Richard M. Weaver, a conservative political philosopher, wrote Ideas Have Consequences, a book in which he diagnosed what he believed had gone wrong with the modern world, leading indeed to the two world wars that dominated the first half of the 20th century. The problem was, in his words, "the fateful doctrine of nominalism."

Western civilization, Weaver wrote, succumbed to a powerful temptation in the 14th century, the time of William of Ockham, and has paid dearly for it since. "The defeat of logical realism in the great medieval debate was the crucial event in the history of Western culture; from this flowed those acts which issue now in modern decadence."

Roger Penrose contends that the foundations of mathematics can't be understood absent the Platonic view that "mathematical truth is absolute, external, and eternal, and not based on man-made criteria ... mathematical objects have a timeless existence of their own...."

Nino Cocchiarella, professor emeritus of philosophy at Indiana University, has maintained that conceptual realism is the best response to certain logical paradoxes to which nominalism leads. This is the argument, for example, of his paper "Logical Atomism, Nominalism, and Modal Logic," Synthese (June 1975). Note that in a sense Professor Cocchiarella has adopted platonism for anti-platonic reasons. Plato, as one sees in the dialogue Parmenides, was willing to accept a certain amount of paradox with his forms. Cocchiarella adopts the forms to avoid paradox.

[edit] See also

[edit] References

  1. ^ David Knowles, The Evolution of Medieval Thought, Vintage, New York, 1962, pp. 109-10.
  2. ^ F. C. Copleston, A History of Medieval Philosophy, Harper & Row, New York, 1972, pp. 27-54.
  3. ^ Knowles, pp. 53, 74.
  4. ^ Ibid., p. 52; Copleston, p. 54.
  5. ^ Copleston, pp. 69-70.
  6. ^ 'As tidy as [conceptualism] seems, it too suffers from obvious problems. To see this, we need simply realize that concepts can be misapplied in some cases, such as when we say of a cat that it is a dog. And of course, misapplied concepts explain nothing deep about generality. Conceptualism's appeal to concept application must concern only correct concept application. As such, it is fair to ask, "What makes it the case that the concept red is rightly applied to both a and b, but not of some third individual, c?" To treat this fact as brute and inexplicable is to revert to problematic Predicate Nominalism. So it seems the Conceptualist must say that the concept red applies to a and b, but not c, because a and b share a common feature, a feature c lacks. Otherwise, the application of red is unconstrained by the individuals to which it applies. But simply noting that a and b resemble each other isn't going to help, because that just is the fact we originally sought to explain, put differently. The Conceptualist might now say that a and b share a property. But if this isn't to amount to a restatement of the original datum, it must now be interpreted as the claim that some entity is in both a and b. That, of course, turns our supposed Conceptualist strategy back into Realism.'Internet Encyclopedia of Philosophy
  7. ^ 'With a Kantian alternative rejected, people like Rand, Hicks, and Kelley are left with a Conceptualism that logically reduces to Nominalism and a kind of metaphysical realism that will generate all the usual Cartesian paradoxes.The Friesian School'

[edit] External links

Personal tools