Template:Formal dictionary

Template documentation[view] [edit] [history] [purge]

This template transcludes definitions from the formal dictionary.

Template parameters[Edit template data]

Parameter		Description	Type	Status
Term	1	Term to transclude Example Essence	String	required

Usage

For example, the following wikitext:

{{Formal dictionary|Essence}}

Renders the following content: Let x be an entity. Then the essence of x is the set of all its essential properties. Most definitions link to other terms. Therefore, you should also transclude those other terms so that the user can track the meaning of the terms up to the primitives. See Formal theory of causality for a full example.

See also

• Formal dictionary - The dictionary from where this template transcludes the definitions
• Formal theory of causality - Example of a theory using this template extensively
• Template:Formal dictionary/Primitive - Subtemplate for creating primitive terms in the formal dictionary
• Template:Formal dictionary/Formalize - Subtemplate for marking terms as in need of a more formal definition

The above documentation is transcluded from Template:Formal dictionary/doc. (edit | history)
Editors can experiment in this template's sandbox (create | mirror) and testcases (create) pages.
Add categories to the /doc subpage. Subpages of this template.