HomeContents: |
## 5.2 Methods of definition## IntroductionIt is important to understand the ways in which a type can be defined. In this section, we list four such ways and then treat each of them in some detail. ## Four types of definitionTypes may be defined in a number of ways. Here are four of them: - By extension
- By intension
- By axioms
- By reference to other types, with differentiae.
## By extensionWhen one defines a type by For example, the type JonesFamilyMember could comprise the individuals <Marilyn, Richard, Tom, Sue> if those were the names of the four members of the Jones family. The list <Marilyn, Richard, Tom, Sue> would be an extensional definition of the type JonesFamilyMember. ## By intensionWhen defining a type by For example, the type "Mammal" could be defined by intension with the rule "A Mammal is an Animal that is sexual, bears offspring by pregnancy, and breastfeeds the young". As an example of a type defined by a general rule, consider the type "OddNumber". An odd number is a number that cannot be divided by two. If one tries to divide it by 2, there will always be 1 left over. Therefore, a rule for defining "OddNumber" by intension could be "If one divides the number by 2 and then gets 1 left over, then the number is odd. Otherwise, the number is not odd." ## By axiomsThe third method, by axioms, is practical if we are dealing with an abstraction, e.g., mathematical entities. If you want to know more about axioms (not required), click here. ## By reference to other types with differentiaeThe fourth method, when defining "by reference to other types by differentiae", is practical for many things. For example, if we have defined the type "Professor", we can define the type "FullProfessor" like this: "A FullProfessor is a Professor with the differentiae that he or she has a permanent employment contract and has been approved competent at the level of a full professor". This method is actually the one being used when defining type hierarchies of concept types. This is done mostly by defining new types in terms of conceptual graphs. These conceptual graphs, in turn, are based on other types already defined. The relations between the concepts, as well as the referents of the concepts, show the differentiae. Therefore, when defining concept types using conceptual graphs, we are defining "by reference to other types with differentiae". When defining by intension, one usually also employs this method. It can be difficult to define a type completely without making any reference to other types. However, for some types it can be done, and therefore "by intension" was listed apart from "by reference to other types". Prev: 5.1 Informal definitionUp: 5 Philosophical considerationsNext: 5.3 Axioms (optional) |