Draft:Original research/Metadefinitions

From testwiki
Jump to navigation Jump to search
Impact from a water drop to water causes an upward "rebound" jet surrounded by circular capillary waves. Credit: Fir0002/Flagstaffotos.

The metadefinition of a particular definition is the set of attributes that address and satisfy a number of purposes or functions for that definition.[1] Once specifics are included in the higher level definition, that definition applies to the lower level situation in which the specifics are characteristic. The specifics are relatively arbitrary within the relationship of the metadefinition, which means the term of the metadefinition may be used in a large number of specific subject areas. The metadefinition is often viewed as a higher level definition that may consist of the definition of several objects within that higher level, or a definitional set of descriptive attributes or characteristics that can be used to produce a variety of related definitions. Template:Clear

Notations

Notation: let the symbol Metadef. indicate that a metadefinition is following.

Notation: let the symbol word of choice in a quote indicate emphasis of the 'word of choice in a quote', as independent of the actual quote or author's intent.

Semantics

"The problem of definition is at the basis of the problem of understanding. Any level of understanding of any natural phenomenon or object entails its description, followed by the comparison (in our brain or in the pages of an Herbarium, or by a computer program) with similar phenomena or objects."[2]

Def. “The earliest steps of the evolution of the codons also suggested two major stages in the origin of life – self-reproduction (exact replication of the ideal RNA duplex in the above theory, one strand of which is repeating triplet GCCn, while another strand is complementary GGCn), and variations (appearance of point-mutated versions of GCC and GGC in the subsequent replications).”[3] is called life.

Metadefinition theory

The metadefinition layer can be defined as a higher level definition,[4] that may consist of the definition of several objects.[4] When each object is made specific, a specific definition is derived or translated from the metadefinition.

Inducting upward from the definitional layer, the metadefinition of a particular definition is the set of attributes that address and satisfy a number of purposes or functions.[1]

Def. "the set of attributes that address and satisfy a number of purposes or functions"[1] for a particular definition is called a metadefinition for that definition.

A definition serves five functions:

  1. a statement of identity,
  2. a way to define competitive and cooperative relationships with other terms,
  3. a way to end conceptual disputes and thus prepare the way for measurement - its preoperational or premeasurement function,
  4. a way to locate a term within a particular context - its orienting or contextual function, and
  5. a way to generate new ideas - its generative or revelatory function.[1]

When the concept of the description is relatively arbitrary, the definition containing this concept is in fact a metadefinition.[5] Each arbitrary choice from the metadefinition creates a definition.

Forms

From the theory of a metadefinition, a constituent phrase can be said to have a metadefinition if and only if the set of attributes that address and satisfy a number of purposes or functions for each descriptive definition is related or relatable either to the initial definition or the metadefinition itself through some algorithm such as translation.

"The purpose of the original research is to produce new knowledge, rather than to present the existing knowledge in a new form (e.g., summarized or classified).[6][7]"

For a word or phrase, once a number of purposes or functions (of the metadefinition) are addressed and satisfied, this set of addressed and satisfied attributes is the definition for the word or phrase.[1] Presenting the existing knowledge of or about the word or phrase in an alternate form (the metadefinition) and summarizing or classifying that existing knowledge into the this form is presenting existing knowledge in an alternate form, perhaps for analysis.

Presenting an alternate form for existing knowledge is not considered a primary source,[6][7] but producing new knowledge about changes in the attributes over time or as a function of other variables is original research.

Tests

By analogy to the constituency tests of constituent linguistics, tests may be arranged on a scale of reliability, with less-reliable tests treated as useful to confirm constituency to a proposed metadefinition though not sufficient on their own. Failing to pass a test may not always mean that the phrase is not a constituent of the metadefinition. It is best to apply as many tests as possible to a given phrase to prove or rule out its constituency.

As an illustration of an alternate form for existing knowledge, a particular description of a ‘dominant group’, perhaps the initial descriptive definition, should consist of attributes addressing and satisfying the following purposes or functions of the proposed metadefinition:

  1. a relation,
  2. a population,
  3. a basis or ‘criteria for dominance’,[8] and
  4. a country,[9] region, territory, or the like (of the dominant group)[9].

But, because this form of the definition probably cannot be expressed in the subject area, for example evolutionary biology where the apparent initial descriptive definition may have originated, it may be a metadefinition of ‘dominant group’ for that subject area rather than a definition. When the specific representations for the enumerated metadefinitional components are filled in from the context by any arbitrary algorithm, this specific constituent phrase ‘dominant groups’[9] is a definition within the subject area of evolutionary biology if and only if it is related or relatable to the metadefinition.

Specifically, one set of choices from context yields

  1. relation: dominant species,[9]
  2. population: 'forms of life',[9]
  3. basis or 'criteria for dominance': 'the common, the widely-diffused, and the widely-ranged species',[9] and
  4. country (of the dominant group): 'in their own countries'.[9]

Or, a dominant group of life forms is the common, the widely-diffused, and the widely-ranged species (plural form of species) in their own countries.[9] This particular choice is readily related or relatable by inspection; therefore, this descriptive definition of dominant group as used within the authoritative source[9] is within the set of definitions described by the proposed metadefinition. For the population a better description may be 'species of life', though not specifically used by the source[9].

Each of the attributes of the metadefnition can change over time, subject area, or other variables (such as temperature).

Applications

A broader definition of the assault cycle (a meta-definition) is needed based on levels and types of patterns.[10]

“It turns out that there are over 100 disciplines that have a unique definition of risk, from the military to software engineers. Not easily discouraged I came to the conclusion that there must be some commonality between the definitions, some meta-definition.”[11]

Biology

"The pragmatic approach asks whether and how strongly recreational fishing compromises the health and fitness of individual fishes and what can be done to avoid or mitigate such effects. Its implementation rests on accepting recreational fishing as a principally legitimate activity."[12]

"The second approach to fish welfare focuses on suffering and pain in fishes and is usually morally prescriptive. Its central tenet is that some or all recreational fishing practices may be unacceptable unless sufficient benefits to humans are created, which justify the supposedly cruel treatment of the fishes."[12]

"[A] suffering-centred definition of fish welfare currently only serves as a meta-definition of fish welfare because there is no scientific method available that allows quantifying pain and suffering in fishes".[12] "[A] suffering-centred approach to fish welfare tends to promote tension and enduring conflict that cannot be reconciled objectively and thus should be avoided."[12]

All in the debates about life and consciousness are "making use of an implicit and unspoken but intuitively known metadefinition of life to decide the rightness or wrongness of any definition."[13] "It was pointed out by Bertrand Russell that efforts to define such terms ultimately devolve on common usage, from which we must "distill the essence of the word.""[13]

Metadef. self-reproduction and variations,[2] is called life.

Biosciences

Metadef. self-reproduction and variations,[2] is called life.

Def. a "discrete and complete living thing,[14] [such as animal, plant, fungus or microorganism][15]" or any "complex thing with properties normally associated with living things"[16] is called an organism.

Def. any "of several sciences that deal with living organisms"[17] is called a bioscience.

Def. any "of the sciences dealing with living organisms, such as biology and zoology"[18] is called a life science.

Metadef. any science of a discrete and complete complex thing with properties normally associated with self-reproduction and variations is called a bioscience or life science.

Chemistry

  • Metadefinition of a clear liquid:

Metadef.

  1. A clear flowing substance
  2. keeping or retaining no shape or definite shape
a. except that determined by the containing receptacle
3. composed of molecules
a. not tending to separate from one another like those of a gas
b. readily changing relative position

is called a clear liquid.

A clear liquid diet consists of transparent liquid foods such as vegetable broth, bouillon, clear fruit juices, clear fruit ices, popsicles, clear gelatin desserts, and no carbonated drinks. Soda's carbonation expands the gastrointestinal tract. Herein are many clear liquids that fit within the metadefinition.

  • Definition of water:

Def. a clear liquid having the chemical formula H2O, required by all forms of life on Earth is called water.

  • Definition of water from the metadefinition of a clear liquid:
  1. A clear flowing substance
  2. keeping or retaining no shape or definite shape
a. except that determined by the containing receptacle
3. composed of H2O molecules
a. not tending to separate from one another like those of a gas
b. readily changing relative position

is called water.

  • Definition of ethanol from the metadefinition of a clear liquid:
  1. A clear flowing substance
  2. keeping or retaining no shape or definite shape
a. except that determined by the containing receptacle
3. composed of C2H5OH molecules
a. not tending to separate from one another like those of a gas
b. readily changing relative position

is called ethanol.

Computer sciences

For metamodeling, the metadefinition “defines process concepts such as role, activity and interaction”, to help provide a unified process support framework for global software development.[19]

In the customisation of process modeling languages, process metamodeling, which allows process modelling languages to be specified and implemented in a process support environment, is defined.[19] Therefore, process metamodelling allows users to change to a different process modelling language if necessary.[19]

Metadef. "the notation to which all the external process modelling notations are mapped”[19] is called the metadefinition for process metamodelling.

“[I]t needs to have a much more comprehensive coverage of process issues.”[19] “Given that the meta-definition is an internal representation, readability and simplicity are not the main issue.[19] “[I]t is not possible to include all process modelling concepts in the meta-definition so that any process modelling notation can be mapped and integrated.”[19]

A meta-definition is one of the three parts of a model integrator, the other two parts being a number of model translators and an internal representation.[19]

SPASE is an initial protoype of a unified process support framework.[19] The SPASE meta-definition contains only the following concepts:

  1. process,
  2. node (or action),
  3. condition for action,
  4. links to traverse to other actions, and
  5. communication.[19]

Instantiation

"Since instantiation is the real essence of any metamodeling discipline, the best way to start formalizing a multi-level metamodeling approach is through a semi-formal definition of the requirements imposed on the instantiation. All current instantiation approaches share the following principle: let us take a meta-definition and process it by instantiating all defined items of the definition. In other words, it means that, for example, if we have three attribute definitions, then we are forced to instantiate all those three variables at the same time. We cannot decide, for example, to instantiate only two of them right now and keep the last item in the state of being uninstantiated."[20]

"The abstract requirements for a genuine representation of practical multi-level instantiation can be summarized as follows:"[20]

  1. Instantiation copies the structure of the meta-definition and decides whether to instantiate child elements one by one
  2. Instantiation of a type results in a compatible value within the same meta-definition slot
  3. Instantiation of a cardinality limit results in a more restricted value imposed on the same meta slot
  4. Instantiation of type constraints results in further restriction(s) on the set of valid instances

"In practice, the consequence of the above instantiation rules will result in a system that enables the automatic creation of a hierarchy of meta-definition templates where template variables are gradually substituted in a well-orchestrated sequence of execution. Also, optional template variables may even be simply left out during the same instantiation process. The proposed instantiation process also covers both design- and run- time aspects of meta-model based software development by allowing the integrated and semantically correct co-existence of all model elements, from the very abstract top-level concepts down to their most concrete executable instances."[20]

"Dynamic Multi-Level Algebra (DMLA) is the formal definition of our multi-level modeling approach, which acknowledges all the requirements presented above. It supports dynamic instantiation. The instantiation is explicitly given by a meta-reference that directly connects the instances to their meta-definition. In order to provide a uniform representation for both meta- and instance data, the formalism applies multislot tuple encoding. The tuple encoding must support composability by allowing the explicit representation of substructures as children. This feature is vital since it formalizes the template induced origin of complex meta-definitions."[20]

Economics

Def. definitions which correspond to intuitive views on the knowledge games we shall call metadefinitions.[21] Metadefinitions and metalemmas are essential in order to prove that the formal theory of the knowledge game is well adapted to its intuitive aims.[21]

"Metadefinition 1. A "knowledge game" G is given by G = (n, (Ii)k, E, S) where n is an entire number. Ik is a sequence of subsets of I = {1,2,...,n} such that for any i in I, there exists infinitely many k such that i is in Ik. E is a given set and S a subset of Ea."[21]

The number of players in the game is n, also each i in I represents a player.[21] Ik is the set of players who are asked at any time k, for example, whether they are able to deduce their own value.[21] The set of values E are those which can be attributed to each player (colors, numbers, distinquishing marks, etc.).[21] The set of all the attributions of values to the players (S) are those effectively allowed by the rules of the game.[21]

"Metadefinition 2. A knowledge game G = (n, (Ii)k, E, S) is convergent if for every initial attribution of values a ∈ S, there exists a time k such that some player of Ik is able to deduce his own value."[21]

A formal translation of metadefinition 2 is the following definition: "Definition 3. A game G = (n, (Ii)k, E, S) is decidable if there is an explicit algorithm determining for every a in S, every i in I and for every k such that Ik contains i, whether Sk ∩ Ei(a) is of cardinality 1, and, if that occurs, giving this unique element. G is convergent if it verifies one of the following equivalent properties:

(a) S = ∪kTk
(b) ∩kSk = ∅."[21]

Tk is the set of all initial values "a" for which the game finishes at time k.[21] Cardinality 1 is the winner. And, "giving this unique element" is designating which player is the winner.

Alternative translations of metadefinition 2 can yield, for example, a ranking of players, subject to the algorithm chosen.

History

Possibly the earliest use of metadefinition as 'meta-definition' is in symbolic logic[22].

Per JSTOR,[23] metadefinition, or meta-definition, also occurs within the subjects of language and rhetoric, social research, management, and probability.

An early use of term dates from 1964 in mathematical logic[24].

In 1971, the term is used in theoretical physics as part of the axiomatic foundations of special relativity.[25]

By 2003 it has found its way into literature with respect to the Heian literary system[26].

Mathematics

There are many metadefinitions in mathematics in addition to those of game theory.

Elementary arithmetic

The finitary theory of finite sets can be used to develop a theory of ‘natural number arithmetic’, or ‘elementary arithmetic’ (EA).[27] For a specific EA, depending on its characteristics, in this instance the one described by Mayberry, ‘EA1’,[27] a metadefinition cannot be expressed in this EA.[27] If a definition cannot be expressed in EA1, then relative to EA1 the definition becomes a metadefinition.[27]

Principal eigenvalue

The meta-definition of principal eigenvalue for boundary value problems of elliptic operators in quasi-nonlinear and fully nonlinear equations could be the following:[28]

Metadef.

Given a zero order and odd operator H with the same homogeneity than the second order elliptic operator F, and given a domain Ω,

λ is a principal eigenvalue if there exists a non trivial solution of constant sign of the problem
{F(x,∇u,D2u)+λH(u)=0 in Ωu=0 on ∂Ω.

Physics

  • Definition of a liquid:

Def. a substance that is flowing, and keeping no shape, a substance of which the molecules, while not tending to separate from one another like those of a gas, readily change their relative position, and which therefore retains no definite shape, except that determined by the containing receptacle is called a liquid in physics.

Metadef.

  1. A flowing substance
  2. keeping or retaining no shape or definite shape
a. except that determined by the containing receptacle
3. composed of molecules
a. not tending to separate from one another like those of a gas
b. readily changing relative position

is called a liquid.

Psychology

"A metadefinition of management development is offered: management development is a metafield that emerged from a range of disciplines (primarily, though not exclusively psychology, social science, and management studies), which either attempts to frame the reality of management or re-frame the reality experienced by managers, with the aim of contributing to the personal resource base of managers, and/or the intellectual capital of organisations".[29]

Metadef. "a metafield that emerged from a range of disciplines (primarily, though not exclusively psychology, social science, and management studies), which either attempts to frame the reality of management or re-frame the reality experienced by managers, with the aim of contributing to the personal resource base of managers, and/or the intellectual capital of organisations"[29] is called management development.

Technology

"The complementary rule states that upon insertion of a new element to a meta-definition (eg an attribute to a class) all instance objects must be extended with values initialized to the default value of the type, and the respective M0 data elements must be added."[30] The M0 layer of metadata architecture is the information layer consisting of instance, or application, data (e.g. objects and records).[31]

Hypotheses

Template:Main

  1. For metadefinition, the proof of concept is a formalistic expression that allows transmission of the concept from one field to another.

See also

Template:Div col

Template:Div col end

References

Template:Reflist

Further reading

Template:TlxTemplate:TlxTemplate:Terminology resourcesTemplate:Sisterlinks Template:NOINDEX/DRAFT

  1. ↑ 1.0 1.1 1.2 1.3 1.4 Template:Cite book
  2. ↑ 2.0 2.1 2.2 Template:Cite journal
  3. ↑ Template:Cite journal
  4. ↑ 4.0 4.1 Template:Cite journal
  5. ↑ Template:Cite journal
  6. ↑ 6.0 6.1 Template:Cite web
  7. ↑ 7.0 7.1 Template:Cite book
  8. ↑ Template:Cite journal
  9. ↑ 9.00 9.01 9.02 9.03 9.04 9.05 9.06 9.07 9.08 9.09 Template:Cite book
  10. ↑ Template:Cite journal
  11. ↑ Template:Cite journal
  12. ↑ 12.0 12.1 12.2 12.3 Template:Cite journal
  13. ↑ 13.0 13.1 Template:Cite journal
  14. ↑ Template:Cite web
  15. ↑ Template:Cite web
  16. ↑ Template:Cite web
  17. ↑ Template:Cite web
  18. ↑ Template:Cite web
  19. ↑ 19.00 19.01 19.02 19.03 19.04 19.05 19.06 19.07 19.08 19.09 Template:Cite book
  20. ↑ 20.0 20.1 20.2 20.3 Template:Cite journal
  21. ↑ 21.00 21.01 21.02 21.03 21.04 21.05 21.06 21.07 21.08 21.09 Template:Cite journal
  22. ↑ Template:Cite journal
  23. ↑ Template:Cite book
  24. ↑ Template:Cite journal
  25. ↑ Template:Cite journal
  26. ↑ Template:Cite book
  27. ↑ 27.0 27.1 27.2 27.3 Template:Cite web
  28. ↑ Template:Cite journal
  29. ↑ 29.0 29.1 Template:Cite journal
  30. ↑ Template:Cite journal
  31. ↑ Template:Cite journal
Retrieved from "https://en.wikiversity.beta.math.wmflabs.org/w/index.php?title=Draft:Original_research/Metadefinitions&oldid=1148"