Template:Formal dictionary
This template transcludes definitions from the formal dictionary.
| Parameter | Description | Type | Status | |
|---|---|---|---|---|
| Term | 1 | Term to transclude
| String | required |
Usage
[edit source]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
[edit source]- 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