Subwiki:Definition - Revision history

Vipul at 12:29, 5 August 2008

2008-08-05T12:29:39Z

← Older revision		Revision as of 12:29, 5 August 2008
Line 1:		Line 1:
	Each subject wiki has certain kinds of articles called ''definition articles'' or ''terminology articles''. Each such article is about a term being defined, and the essential component of any such article is the '''definition''' of that term. The definition forms a separate section of the article, and this section is designed keeping a number of objectives in mind.		Each subject wiki has certain kinds of articles called ''definition articles'' or ''terminology articles''. Each such article is about a term being defined, and the essential component of any such article is the '''definition''' of that term. The definition forms a separate section of the article, and this section is designed keeping a number of objectives in mind.

			In this article, we use the technical word ''definiendum'' for the term being defined, though it may also be used more loosely for the concept, idea, or notion behind the term.

	==Goals of the definition section==		==Goals of the definition section==
Line 5:		Line 7:
	===Potential audience for a definition section===		===Potential audience for a definition section===

	Some people know the ~~term~~ and are looking for its definition. This could include:		Some people know the definiendum and are looking for its definition. This could include:

	* People encountering the ~~term~~ for the first time		* People encountering the definiendum for the first time.
	* People who've seen the ~~term~~ before, and know what it means, but want a precise definition		* People who've seen the definiendum before, and know what it means, but want a precise definition.
	* People who already know one definition, but want to know/read multiple definitions		* People who already know one definition, but want to know/read multiple definitions.

	On the other hand, there could also be people who know the definition already, and are looking for the precise term having that definition.		On the other hand, there could also be people who know the definition already, and are looking for the precise term having that definition.
Line 16:		Line 18:

	A definition should be ''clear'', ''succinct'', ''actionable'', and ''interesting''.		A definition should be ''clear'', ''succinct'', ''actionable'', and ''interesting''.
	* It must clearly answer the question: ''what is this''		* It must clearly answer the question: ''what is this''.
	* If the definition provides a differentiation or augmentation of an existing concept (for instance, a particular breed of dog, or a particular property of groups, or a particular type of number) then it should give a clear differentiating criterion.		* If the definition provides a differentiation or augmentation of an existing concept (for instance, a particular breed of dog, or a particular property of groups, or a particular type of number) then it should give a clear differentiating criterion.
	* It should give an idea of what related terms and facts are and how one can explore the notion better		* It should give an idea of what related terms and facts are and how one can explore the notion better.
	* It should be amenable to reverse search		* It should be amenable to reverse search.

	==Challenges in ~~creating~~ a definition ~~section==~~		==Challenges in presenting intensional definitions==

			Most definitions in mathematics are ''intensional definitions''. A mathematical object is defined by specifying necessary and sufficient conditions for what it means to be such an object. Intensional definitions are also found for some simple terms outside mathematics.

			Intensional definitions are in sharp contrast with extensional definitions, that define a concept through a range of representative examples. They also differ, for instance, from sense definitions, that define an object in terms of how it appears to the senses.

			The main feature of definitions in mathematics, and of intensional definitions in general, is that the definition is ''de facto'' always true, and a complete description. Thus, it is not usually necessary to justify this definition against prior notions of what the term or concept means. This sharply contrasts with definitions involving terms that are already in daily use and carry strong and diverse connotations in people's minds: terms like ''society'', ''environment'', ''terrorism'', and ''patriotism''.

	===The challenge of ingredients and dependencies===		===The challenge of ingredients and dependencies===
Line 39:		Line 47:
	Important terms can be defined from multiple perspectives. In fact, the equivalence of different definitions often gives an insight into why the concept is important.		Important terms can be defined from multiple perspectives. In fact, the equivalence of different definitions often gives an insight into why the concept is important.

	Multiple definitions are both a boon and a challenge. Conventional wisdom suggests that giving a barrage of definitions can create a cognitive overload that makes it hard for people to grasp a new ~~ideas~~. On the other hand, theories of learning, association and memory also suggest that the more ''hooks'' we have on an idea, the easier it is to understand.		Multiple definitions are both a boon and a challenge. Conventional wisdom suggests that giving a barrage of definitions can create a cognitive overload that makes it hard for people to grasp a new idea. On the other hand, theories of learning, association and memory also suggest that the more ''hooks'' we have on an idea, the easier it is to understand.

	In addition to genuinely different definitions, there are also equivalent definitions obtained by a slight rewording and change in the defining ingredients. For instance, as discussed in the previous subsection, a primitive definition may be made more compact and conceptually elegant by introducing further defining ingredients. In this case, both the primitive and the compacted definition are stated as equivalent definitions.		In addition to genuinely different definitions, there are also equivalent definitions obtained by a slight rewording and change in the defining ingredients. For instance, as discussed in the previous subsection, a primitive definition may be made more compact and conceptually elegant by introducing further defining ingredients. In this case, both the primitive and the compacted definition are stated as equivalent definitions.

	This again has advantages for definition cognition and definition understanding: in the effort to try to reconcile various rewordings of the definition, somebody trying to learn and ~~understnad~~ the definition gets a better understanding of what the term means.		This again has advantages for definition cognition and definition understanding: in the effort to try to reconcile various rewordings of the definition, somebody trying to learn and understand the definition gets a better understanding of what the term means.

	===The challenge of symbols and expressions===		===The challenge of symbols and expressions===
Line 81:		Line 89:
	* Links to definition understanding pages. These pages often explore the definition and various aspects of the definition in detail.		* Links to definition understanding pages. These pages often explore the definition and various aspects of the definition in detail.
	* The definition section is preceded by a '''History''' section that may give information, links from the historical perspective. The definition section is succeeded by an '''Examples''' section that explores examples of various kinds (learn more at [[Subwiki:Examples]]).		* The definition section is preceded by a '''History''' section that may give information, links from the historical perspective. The definition section is succeeded by an '''Examples''' section that explores examples of various kinds (learn more at [[Subwiki:Examples]]).

			==Genus-differentia definitions==

			Many definitions are of the ''genus-differentia'' kind. These define new terms by providing differentiating criteria within an existing genus. For instance:

			* The definition of ''prime number'' starts with the ''genus'' (generic term) of natural numbers and provides the ''differentiating criterion'' (differentiae specificae) of being prime.
			* The definition of ''skyscraper'' starts with the ''genus'' of buildings and provides the ''differentiating criterion of being tall.
			* The definition of ''e-book'' starts with the ''genus'' of book and provides the ''differentiating criterion'' of being in an electronic format.

			Genus-differentia definitions are of different kinds, and each operates somewhat differently:

			# [[Subwiki:Property definition\|Property definition]]s: These are most common in precise fields like mathematics where practically all definitions are intensional. Given a collection of objects, or a ''context space'', a property on that context space is something that everything in the context space either satisfies or does ''not'' satisfy. Thus, a property picks out a subcollection of the context space comprising those things that ''do'' satisfy the property.
			# [[Subwiki:Modifier definition\|Modifier definition]]s: These are found both in precise fields like mathematics and in other fields. Here, the differentia may not strictly lie within the genus, but rather, may modify it somewhat. For instance, ''ecoterrorism'' is obtained by modifying ''terrorism'', but may not itself be a form of terrorism.
			# Relationships of physical containment: Here, the definiendum is physically contained inside the general term. For instance, the general term might be the city of London while the definiendum might be Bloomsbury, a district of London).
			# Taxonomical classification: For instance, the Linnaean taxonomy for living beings.

	==Formats of definition==		==Formats of definition==

Vipul: /* Challenges in creating a definition section */

2008-07-22T22:34:12Z

Challenges in creating a definition section

← Older revision		Revision as of 22:34, 22 July 2008
Line 45:		Line 45:
	This again has advantages for definition cognition and definition understanding: in the effort to try to reconcile various rewordings of the definition, somebody trying to learn and understnad the definition gets a better understanding of what the term means.		This again has advantages for definition cognition and definition understanding: in the effort to try to reconcile various rewordings of the definition, somebody trying to learn and understnad the definition gets a better understanding of what the term means.

			===The challenge of symbols and expressions===

			For new definitions, specially complicated ones, notation is often necessary, or at any rate, helpful. Thus, we often start definitions like: A ... is a set <math>K</math> with ....

			Symbols and expressions can be useful to set up a definition, particularly when the number of variables involved, or the nature of operations, is too large for the nouns and pronouns and constructs of natural language.

			However, they also have a crucial disadvantage: they may not carry conceptual clarity. In many situations, the mind relates more clearly to natural language than to variables and formulas (we've learned natural language since preschool, but algebra is usually introduced in middle school). Also, symbols are often at odds with the use of further ingredients or concepts.

			The subject wikis meet this challenge through a somewhat unusual method: most definitions carry with them two sections, the '''symbol-free definition''', which seeks to use natural language only without any variables or symbols, and the '''definition with symbols''', which expresses everything in symbols (so whatever objects are referred to are given symbols).

			===The challenge of stickiness===

			Definitions can often be dull and dry, and the tremendous conceptual compactification they represent may not be obvious to people just starting. A definition in isolation, thus, may not be too sticky.

			The subject wikis try to remedy this in a number of ways. The most commonly implemented way is the use of '''Quick Phrases'''. On some definition pages, a '''Quick Phrases''' box appears right on top of the definition section, with phrases that could be used to compactly remember the definition, or the essential meaning of the term. Accuracy is sometimes sacrificed for memorability or analogical usefulness in the quick phrases.

			===The challenge of misinterpretation and confusion===

			Definitions, read in isolation, are prone to being poorly understood, misinterpreted, and wrongly applied. All these cannot be remedied simply by a better definition. Other techniques, including the use of examples, variations, analogies, formalisms for definitions, and further exploration and analysis of the concept, are necessary to ensure a proper and useful understanding of the term being defined.

			Nonetheless, certain things are done on the subject wikis to reduce the chances of confusion:

			* '''Redundancy''' and '''multiple perspectives''': The same definition is written in many different ways, both with and without symbols, as well as with quick phrases
			* Links to '''definition understanding''' pages, '''funky definitions''' pages (pages with preposterous, weird, and sometimes circular definitions for the term)
			* Links to '''definition equivalence''' pages for proofs of the equivalence of definitions

			===The challenge of motivation===

			Probably the biggest challenge, that definitions on subject wikis fail to satisfy, is the challenge of motivation. ''Why'' is this definition important? ''Why'' were things defined this way, rather than that?

			Conventional wisdom suggests that every definition should be preceded by examples. This is often excellent pedagogy; however, in a structure of this kind, there is no natural notion of ''order'', and illustrative examples that build up to the definition may take up too much space on the definition page, and may not be very useful to people who want a quick review of the definition. On the other hand, the linked structure of the wiki makes it possible to do the examples elsewhere, but link to them, allowing people to zoom in.

			Some of the special features in the definition section to cater to the challenge of motivation are:

			* Links to definition understanding pages. These pages often explore the definition and various aspects of the definition in detail.
			* The definition section is preceded by a '''History''' section that may give information, links from the historical perspective. The definition section is succeeded by an '''Examples''' section that explores examples of various kinds (learn more at [[Subwiki:Examples]]).

	==Formats of definition==		==Formats of definition==

Vipul: New page: Each subject wiki has certain kinds of articles called ''definition articles'' or ''terminology articles''. Each such article is about a term being defined, and the essential component of ...

2008-07-22T22:12:52Z

New page: Each subject wiki has certain kinds of articles called ''definition articles'' or ''terminology articles''. Each such article is about a term being defined, and the essential component of ...

New page

Each subject wiki has certain kinds of articles called ''definition articles'' or ''terminology articles''. Each such article is about a term being defined, and the essential component of any such article is the '''definition''' of that term. The definition forms a separate section of the article, and this section is designed keeping a number of objectives in mind.

==Goals of the definition section==

===Potential audience for a definition section===

Some people know the term and are looking for its definition. This could include:

* People encountering the term for the first time
* People who've seen the term before, and know what it means, but want a precise definition
* People who already know one definition, but want to know/read multiple definitions

On the other hand, there could also be people who know the definition already, and are looking for the precise term having that definition.

===What the definition should provide===

A definition should be ''clear'', ''succinct'', ''actionable'', and ''interesting''.
* It must clearly answer the question: ''what is this''
* If the definition provides a differentiation or augmentation of an existing concept (for instance, a particular breed of dog, or a particular property of groups, or a particular type of number) then it should give a clear differentiating criterion.
* It should give an idea of what related terms and facts are and how one can explore the notion better
* It should be amenable to reverse search

==Challenges in creating a definition section==

===The challenge of ingredients and dependencies===

To define one term often requires other terms as ingredients. For instance:

* The definition of a prime number relies on the definitions of natural number and divisor.
* The typical definition of a [[groupprops:finitely generated group|finitely generated group]] relies on the definitions of [[groupprops:group|group]], [[groupprops:generating set of a group|generating set of a group]], and, of course, the notion of ''finiteness''.
* The typical definition of Hausdorff space relies on the definition of topological space.

To cope with this challenge, we need to decide what ingredients are ''taken for granted'' (i.e., their definitions are not included) and what ingredients are to be defined along with the main term we're defining.

The way chosen in subject wikis is to have a certain '''primitive''' definition -- a definition that has as few dependencies as is possible while maintaining the conceptual integrity. Then, we create further definitions that are shorter and simpler, but rely on concepts beyond just the primitives.

===The challenge of multiple definitions===

Important terms can be defined from multiple perspectives. In fact, the equivalence of different definitions often gives an insight into why the concept is important.

Multiple definitions are both a boon and a challenge. Conventional wisdom suggests that giving a barrage of definitions can create a cognitive overload that makes it hard for people to grasp a new ideas. On the other hand, theories of learning, association and memory also suggest that the more ''hooks'' we have on an idea, the easier it is to understand.

In addition to genuinely different definitions, there are also equivalent definitions obtained by a slight rewording and change in the defining ingredients. For instance, as discussed in the previous subsection, a primitive definition may be made more compact and conceptually elegant by introducing further defining ingredients. In this case, both the primitive and the compacted definition are stated as equivalent definitions.

This again has advantages for definition cognition and definition understanding: in the effort to try to reconcile various rewordings of the definition, somebody trying to learn and understnad the definition gets a better understanding of what the term means.

==Formats of definition==

===Quick phrases===

Quick phrases are to be seen at the top of definition sections in some articles. These are phrases which one can use to remember the term being defined in a very easy way. For instance, a quick phrase for a [[prime number]] is ''number with no nontrivial factorization''.

For quick phrases, conceptual ease matters more than precise meaning, so some of the quick phrases may not make precise mathematical sense.

===Symbol-free definition===

A symbol-free definition is a definition that avoids that use of algebraic symbols and notation, relying instead on constructs of natural language such as pronouns and prepositions. For instance, here's a symbol-free definition of [[permutable subgroup]]:

{{quotation|A [[subgroup]] of a [[group]] is termed '''permutable''' if its [[product of subgroups|product]] with every subgroup of the group is a subgroup, or equivalently, if it commutes with every subgroup.}}

Here, symbols for the group and the two subgroups ar enot introduced. Rather, constructs of natural language, in particular, the pronoun ''it'', are used.

Sometimes 1-2 symbols may be introduced in a symbol-free definition to avoid ambiguous pronouns.

Some advantages of symbol-free definitions:

# More effective for reverse search i.e. locating the term from the definition.
# Might be easier to read if you already know the definition and are trying to recall it (because of less demand on working memory)
# Easier to keep in mind, memorize, and act upon in more diverse situations where the notation and symbols differ
# More effective linking with other concepts and ideas
===Definition with symbols===

This gives the definition with explicit introduction of symbols for every quantified object. For instance the definition with symbols of the property of being a [[permutable subgroup]] is:

{{quotation|A [[subgroup]] <math>H</math> of a [[group]] <math>G</math> is termed '''permutable''' if for every subgroup <math>K</math>, <math>HK=KH</math>.}}

The definition with symbols has a number of advantages, for instance:

* It may be better for first-time reading
* It may be more actionable
* It may require less knowledge of the subject or of terminology in the subject

==Multiple definitions==

===Equivalent definitions as a list===

Often, the same term may have multiple equivalent definitions. In this case, all the equivalent forms are stated as bullet points. The same format is repeated in the symbol-free definition and in the definition with symbols.

For instance, the symbol-free definition of [[normal subgroup]]:
A [[subgroup]] of a [[group]] is said to be '''normal''' if it satisfies the following equivalent conditions:
# It is the [[kernel]] of a [[homomorphism]] from the group.
# It is invariant under all [[inner automorphism]]s. Thus, normality is the [[invariance property]] with respect to the property of an automorphism being inner. This definition also motivates the term ''invariant subgroup'' for normal subgroup (which was used earlier).
# It equals each of its [[Defining ingredient::conjugate subgroups|conjugates]] in the whole group. This definition also motivates the term ''self-conjugate subgroup'' for normal subgroup (which was used earlier).
# Its [[left coset]]s are the same as its [[right coset]]s (that is, it commutes with every element of the group)
# It is a union of [[conjugacy class]]es.

The definition with symbols of [[normal subgroup]]:

A subgroup <math>N</math> of a group <math>G</math> is said to be '''normal''' in <math>G</math> (in symbols, <math>N \triangleleft G</math> or <math>G \triangleright N</math>{{subgroup-notation-page}}) if the following equivalent conditions hold:
# There is a [[homomorphism]] <math>\phi</math> from <math>G</math> to another group such that the [[kernel]] of <math>\phi</math> is precisely <math>N</math>.
# For all <math>g</math> in <math>G</math>, <math>gNg^{-1} \subseteq N</math>. More explicitly, for all <math>g \in G, h \in N</math>, we have <math>ghg^{-1} \in N</math>.
# For all <math>g</math> in <math>G</math>, <math>gNg^{-1} = N</math>.
# For all <math>g</math> in <math>G</math>, <math>gN = Ng</math>.
# <math>N</math> is a union of [[Defining ingredient::conjugacy class]]es

We try to follow these conventions:

* When multiple definitions are given, the same order is maintained for the definitions in the symbol-free format and the definition with symbols format.
* The multiple definitions should preferably be numbered, making it easier to refer to the numbering
* The definitions are ordered in a way that makes the equivalence between them as self-evident as possible.

===Separate definitions as separate subsections===

Sometimes, if the equivalent definitions are long and intricate or each requires their own machinery, they may be developed in separate subsections. The title of each subsection gives some ''title'' to the definition.

For instance, the two definitions of group are labeled as the '''textbook definition''' and the '''universal algebraic definition'''.

===Equivalence of multiple definitions===

Usually, there is a separate section within the definition part explaining the equivalence of definitions, or giving a link to a page that gives a ''full proof'' of this equivalence.

==Defining ingredients==
===Linking style===

Whenever a term is being defined using other terms, put links to those terms. For instance, when defining a group property, begin with: A [[group]] is said to be ... if ...

Typically, the symbol-free definition will not attempt to define other terms referenced in the definition. The definition with symbols, because it gives a more explicit description, may also give a clearer idea of other terms. For instance, in the symbol-free definition of normality, the second point states that a subgroup is normal if it is invariant under all [[inner automorphism]]s. In the definition with symbols, the explicit form of inner automorphisms is given.

===Locating defining ingredients===

The wiki markup contains information about what terms are used as ingredients in defining a particular term (using semantic MediaWiki). At the bottom of the article, a box called ''Facts'' gives a list of defining ingredients. Clicking on the magnifying glass icon next to any of these ingredients gives a list of all the other terms that use the same defining ingredient.

===Links to survey articles clarifying the definition===

For definitions of important terms, the definition section may begin with a box containing links to survey articles clarifying the definition.

==Other comments==

The definition section may also contain a few other comments, in so far as these comments play a direct role in clarifying the definition. Examples are typically reserved for another section, and under special circumstances, there is a separate section titled ''Importance''.