In logic and philosophy (especially metaphysics), a property is a characteristic of an object; a red object is said to have the property of redness. The property may be considered a form of object in its own right, able to possess other properties. A property, however, differs from individual objects in that it may be instantiated, and often in more than one object. It differs from the logical/mathematical concept of class by not having any concept of extensionality, and from the philosophical concept of class in that a property is considered to be distinct from the objects which possess it. Understanding how different individual entities (or particulars) can in some sense have some of the same properties is the basis of the problem of universals.
A property is any member of a class of entities that are capable of being attributed to objects. Terms similar to property include predicable, attribute, quality, feature, characteristic, type, exemplifiable, predicate, and intensional entity. [1]
Generally speaking, an object is said to exemplify, instantiate, bear, have or possess a property if the property can be truly predicated of the object. The collection of objects that possess a property is called the extension of the property. Properties are said to characterize or inhere in objects that possess them. [1] Followers of Alexius Meinong assert the existence of two kinds of predication: existent objects exemplify properties, while nonexistent objects are said to exemplify, satisfy, immanently contain or be consubstantiated by properties that are actually possessed and are said to encode, be determined by, be consociated with or be constituted by properties that are merely ascribed to objects. For example, since Pegasus is merely mythical, Pegasus encodes the property of being a horse, but Pegasus exemplifies the property of being a character of Greek mythology as well. [2] Edward Jonathan Lowe even treated instantiation, characterization and exemplification as three separate kinds of predication. [1]
Broadly construed, examples of properties include redness, the property of being two, [3] the property of being nonexistent, [4] the property of being identical to Socrates, [1] the property of being a desk, [1] the property of being a property, [1] the property of being both round and square, [1] and the property of being heterological. Some philosophers refuse to treat existence as a property, and Peter van Inwagen suggested that one should deny the existence of certain “properties” so as to avoid paradoxes such as Russell’s paradox and Grelling–Nelson paradox, though such moves remain controversial. [1]
In modern analytic philosophy there are several debates about the fundamental nature of properties. These center around questions such as: Are properties universals or particulars? Are properties real? Are they categorical or dispositional? Are properties physical or mental?
At least since Plato, properties are viewed by numerous philosophers as universals, which are typically capable of being instantiated by different objects. Philosophers opposing this view regard properties as particulars, namely tropes. [1]
A realist about properties asserts that properties have genuine, mind-independent existence. [1] One way to spell this out is in terms of exact, repeatable, instantiations known as universals. The other realist position asserts that properties are particulars (tropes), which are unique instantiations in individual objects that merely resemble one another to various degrees. Transcendent realism, proposed by Plato and favored by Bertrand Russell, asserts that properties exist even if uninstantiated. [1] Immanent realism, defended by Aristotle and David Malet Armstrong, contends that properties exist only if instantiated. [1]
The anti-realist position, often referred to as nominalism claims that properties are names we attach to particulars. The properties themselves have no existence.
Properties are often classified as either categorical and dispositional. [5] [6] Categorical properties concern what something is like, e.g. what qualities it has. Dispositional properties, on the other hand, involve what powers something has, what it is able to do, even if it is not actually doing it. [5] For example, the shape of a sugar cube is a categorical property while its tendency to dissolve in water is a dispositional property. For many properties there is a lack of consensus as to how they should be classified, for example, whether colors are categorical or dispositional properties. [7] [8]
According to categoricalism, dispositions reduce to causal bases. [9] On this view, the fragility of a wine glass, a dispositional property, is not a fundamental feature of the glass since it can be explained in terms of the categorical property of the glass's micro-structural composition. Dispositionalism, on the other hand, asserts that a property is nothing more than a set of causal powers. [7] Fragility, according to this view, identifies a real property of the glass (e.g. to shatter when dropped on a sufficiently hard surface). Several intermediary positions exist. [7] The Identity view states that properties are both categorical (qualitative) and dispositional; these are just two ways of viewing the same property. One hybrid view claims that some properties are categorical and some are dispositional. A second hybrid view claims that properties have both a categorical (qualitative) and dispositional part, but that these are distinct ontological parts.
Property dualism describes a category of positions in the philosophy of mind which hold that, although the world is constituted of just one kind of substance—the physical kind—there exist two distinct kinds of properties: physical properties and mental properties. In other words, it is the view that non-physical, mental properties (such as beliefs, desires and emotions) inhere in some physical substances (namely brains).
This stands in contrast to physicalism and idealism. Physicalism claims that all properties, include mental properties, ultimately reduce to, or supervene on, physical properties. [10] Metaphysical idealism, by contrast, claims that "something mental (the mind, spirit, reason, will) is the ultimate foundation of all reality, or even exhaustive of reality." [11]
An intrinsic property is a property that an object or a thing has of itself, independently of other things, including its context. An extrinsic (or relational) property is a property that depends on a thing's relationship with other things. The latter is sometimes also called an attribute, since the value of that property is given to the object via its relation with another object. For example, mass is a physical intrinsic property of any physical object, whereas weight is an extrinsic property that varies depending on the strength of the gravitational field in which the respective object is placed. Another example of a relational property is the name of a person (an attribute given by the person's parents).
In classical Aristotelian terminology, a property (Greek: idion, Latin: proprium) is one of the predicables. It is a non-essential quality of a species (like an accident ), but a quality which is nevertheless characteristically present in members of that species. For example, "ability to laugh" may be considered a special characteristic of human beings. However, "laughter" is not an essential quality of the species human, whose Aristotelian definition of "rational animal" does not require laughter. Therefore, in the classical framework, properties are characteristic qualities that are not truly required for the continued existence of an entity but are, nevertheless, possessed by the entity.
A property may be classified as either determinate or determinable. A determinable property is one that can get more specific. For example, color is a determinable property because it can be restricted to redness, blueness, etc. [12] A determinate property is one that cannot become more specific. This distinction may be useful in dealing with issues of identity. [13]
Impure properties are properties that, unlike pure properties, involve reference to a particular substance in their definition. [14] So, for example, being a wife is a pure property while being the wife of Socrates is an impure property due to the reference to the particular "Socrates". [15] Sometimes, the terms qualitative and non-qualitative are used instead of pure and impure. [16] Most but not all impure properties are extrinsic properties. This distinction is relevant for the principle of identity of indiscernibles, which states that two things are identical if they are indiscernible, i.e. if they share all their properties. [14] This principle is usually defined in terms of pure properties only. The reason for this is that impure properties are not relevant for similarity or discernibility but taking them into consideration nonetheless would result in the principle being trivially true. [14] Another application of this distinction concerns the problem of duplication, for example, in the Twin Earth thought experiment. It is usually held that duplication only involves qualitative identity but perfect duplicates can still differ concerning their non-qualitative or impure properties. [16]
Daniel Dennett distinguishes between lovely properties (such as loveliness itself), which, although they require an observer to be recognised, exist latently in perceivable objects; and suspect properties which have no existence at all until attributed by an observer (such as being suspected of a crime). [17]
The ontological fact that something has a property is typically represented in language by applying a predicate to a subject. However, taking any grammatical predicate whatsoever to be a property, or to have a corresponding property, leads to certain difficulties, such as Russell's paradox and the Grelling–Nelson paradox. Moreover, a real property can imply a host of true predicates: for instance, if X has the property of weighing more than 2 kilos, then the predicates "..weighs more than 1.9 kilos", "..weighs more than 1.8 kilos", etc., are all true of it. Other predicates, such as "is an individual", or "has some properties" are uninformative or vacuous. There is some resistance to regarding such so-called "Cambridge properties" as legitimate. [18] These properties in the widest sense are sometimes referred to as abundant properties. They are contrasted with sparse properties, which include only properties "responsible for the objective resemblances and causal powers of things". [19]
The traditional conception of similarity holds that properties are responsible for similarity: two objects are similar because they have a property in common. The more properties they share, the more similar they are. They resemble each other exactly if they share all their properties. [20] [21] For this conception of similarity to work, it is important that only properties relevant to resemblance are taken into account, sometimes referred to as sparse properties in contrast to abundant properties. [22] [19]
The distinction between properties and relations can hardly be given in terms that do not ultimately presuppose it. [23]
Relations are true of several particulars, or shared amongst them. Thus the relation "... is taller than ..." holds "between" two individuals, who would occupy the two ellipses ('...'). Relations can be expressed by N-place predicates, where N is greater than 1.
Relations should be distinguished from relational properties. For example, marriage is a relation since it is between two people, but being married to X is a relational property had by a certain person since it concerns only one person. [23]
There are at least some apparent relational properties which are merely derived from non-relational (or 1-place) properties. For instance "A is heavier than B" is a relational predicate, but it is derived from the two non relational properties: the mass of A and the mass of B. Such relations are called external relations, as opposed to the more genuine internal relations. [24] Some philosophers believe that all relations are external, leading to a scepticism about relations in general, on the basis that external relations have no fundamental existence.[ citation needed ]
In analytic philosophy, anti-realism is a position which encompasses many varieties such as metaphysical, mathematical, semantic, scientific, moral and epistemic. The term was first articulated by British philosopher Michael Dummett in an argument against a form of realism Dummett saw as 'colorless reductionism'.
In ontology, the theory of categories concerns itself with the categories of being: the highest genera or kinds of entities according to Amie Thomasson. To investigate the categories of being, or simply categories, is to determine the most fundamental and the broadest classes of entities. A distinction between such categories, in making the categories or applying them, is called an ontological distinction. Various systems of categories have been proposed, they often include categories for substances, properties, relations, states of affairs or events. A representative question within the theory of categories might articulate itself, for example, in a query like, "Are universals prior to particulars?"
Existence is the ability of an entity to interact with reality. In philosophy, it refers to the ontological property of being.
In metaphysics, nominalism is the view that universals and abstract objects do not actually exist other than being merely names or labels. There are at least two main versions of nominalism. One version denies the existence of universals – things that can be instantiated or exemplified by many particular things. The other version specifically denies the existence of abstract objects – objects that do not exist in space and time.
In metaphysics, ontology is the philosophical study of being, as well as related concepts such as existence, becoming, and reality.
The problem of universals is an ancient question from metaphysics that has inspired a range of philosophical topics and disputes: Should the properties an object has in common with other objects, such as color and shape, be considered to exist beyond those objects? And if a property exists separately from objects, what is the nature of that existence?
In philosophy, physicalism is the metaphysical thesis that "everything is physical", that there is "nothing over and above" the physical, or that everything supervenes on the physical. Physicalism is a form of ontological monism—a "one substance" view of the nature of reality as opposed to a "two-substance" (dualism) or "many-substance" (pluralism) view. Both the definition of "physical" and the meaning of physicalism have been debated.
Substance theory, or substance–attribute theory, is an ontological theory positing that objects are constituted each by a substance and properties borne by the substance but distinct from it. In this role, a substance can be referred to as a substratum or a thing-in-itself. Substances are particulars that are ontologically independent: they are able to exist all by themselves. Another defining feature often attributed to substances is their ability to undergo changes. Changes involve something existing before, during and after the change. They can be described in terms of a persisting substance gaining or losing properties. Attributes or properties, on the other hand, are entities that can be exemplified by substances. Properties characterize their bearers; they express what their bearer is like.
In metaphysics, a universal is what particular things have in common, namely characteristics or qualities. In other words, universals are repeatable or recurrent entities that can be instantiated or exemplified by many particular things. For example, suppose there are two chairs in a room, each of which is green. These two chairs both share the quality of "chairness", as well as greenness or the quality of being green; in other words, they share a "universal". There are three major kinds of qualities or characteristics: types or kinds, properties, and relations. These are all different types of universals.
A proposition is a central concept in philosophy of language and related fields, often characterized as the primary bearer of truth or falsity. Propositions are also often characterized as being the kind of thing that declarative sentences denote. For instance the sentence "The sky is blue" denotes the proposition that the sky is blue. However, crucially, propositions are not themselves linguistic expressions. For instance, the English sentence "Snow is white" denotes the same proposition as the German sentence "Schnee ist weiß" even though the two sentences are not the same. Similarly, propositions can also be characterized as the objects of belief and other propositional attitudes. For instance if one believes that the sky is blue, what one believes is the proposition that the sky is blue. A proposition can also be thought of as a kind of idea: Collins Dictionary has a definition for proposition as "a statement or an idea that people can consider or discuss whether it is true."
In philosophy, identity is the relation each thing bears only to itself. The notion of identity gives rise to many philosophical problems, including the identity of indiscernibles, and questions about change and personal identity over time. It is important to distinguish between qualitative identity and numerical identity. For example, consider two children with identical bicycles engaged in a race while their mother is watching. The two children have the same bicycle in one sense and the same mother in another sense. This article is mainly concerned with numerical identity, which is the stricter notion.
In philosophy, supervenience refers to a relation between sets of properties or sets of facts. X is said to supervene on Y if and only if some difference in Y is necessary for any difference in X to be possible. Some examples include:
The identity of indiscernibles is an ontological principle that states that there cannot be separate objects or entities that have all their properties in common. That is, entities x and y are identical if every predicate possessed by x is also possessed by y and vice versa. It states that no two distinct things can be exactly alike, but this is intended as a metaphysical principle rather than one of natural science. A related principle is the indiscernibility of identicals, discussed below.
A disposition is a quality of character, a habit, a preparation, a state of readiness, or a tendency to act in a specified way.
A quality is an attribute or a property characteristic of an object in philosophy. In contemporary philosophy the idea of qualities, and especially how to distinguish certain kinds of qualities from one another, remains controversial.
The philosophy of color is a subset of the philosophy of perception that is concerned with the nature of the perceptual experience of color. Any explicit account of color perception requires a commitment to one of a variety of ontological or metaphysical views, distinguishing namely between externalism/internalism, which relate respectively to color realism, the view that colors are physical properties that objects possess, and color fictionalism, the view that colors possess no such physical properties.
Structuralism is a theory in the philosophy of mathematics that holds that mathematical theories describe structures of mathematical objects. Mathematical objects are exhaustively defined by their place in such structures. Consequently, structuralism maintains that mathematical objects do not possess any intrinsic properties but are defined by their external relations in a system. For instance, structuralism holds that the number 1 is exhaustively defined by being the successor of 0 in the structure of the theory of natural numbers. By generalization of this example, any natural number is defined by its respective place in that theory. Other examples of mathematical objects might include lines and planes in geometry, or elements and operations in abstract algebra.
Relations are ways in which things, the relata, stand to each other. Relations are in many ways similar to properties in that both characterize the things they apply to. Properties are sometimes treated as a special case of relations involving only one relatum. In philosophy, theories of relations are typically introduced to account for repetitions of how several things stand to each other.
Abstract object theory (AOT) is a branch of metaphysics regarding abstract objects. Originally devised by metaphysician Edward Zalta in 1981, the theory was an expansion of mathematical Platonism.
In philosophy, similarity or resemblance is a relation between objects that constitutes how much these objects are alike. Similarity comes in degrees: e.g. oranges are more similar to apples than to the moon. It is traditionally seen as an internal relation and analyzed in terms of shared properties: two things are similar because they have a property in common. The more properties they share, the more similar they are. They resemble each other exactly if they share all their properties. So an orange is similar to the moon because they both share the property of being round, but it is even more similar to an apple because additionally, they both share various other properties, like the property of being a fruit. On a formal level, similarity is usually considered to be a relation that is reflexive (everything resembles itself), symmetric (if a is similar to b then b is similar to a) and non-transitive (a need not resemble c despite a resembling b and b resembling c). Similarity comes in two forms: respective similarity, which is relative to one respect or feature, and overall similarity, which expresses the degree of resemblance between two objects all things considered. There is no general consensus whether similarity is an objective, mind-independent feature of reality, and, if so, whether it is a fundamental feature or reducible to other features. Resemblance is central to human cognition since it provides the basis for the categorization of entities into kinds and for various other cognitive processes like analogical reasoning. Similarity has played a central role in various philosophical theories, e.g. as a solution to the problem of universals through resemblance nominalism or in the analysis of counterfactuals in terms of similarity between possible worlds.