# Template:Formal dictionary

(Redirected from Template:Formal Dictionary)

Jump to navigation
Jump to search
This template transcludes definitions from the formal dictionary.

Parameter | Description | Type | Status | |
---|---|---|---|---|

Term | `1` | Term to transclude - Example
- Essence
| String | required |

## Usage[edit]

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]

- 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. Please add categories to the /doc subpage. Subpages of this template. |