Definition:Ostensive Definition

From ProofWiki
Jump to navigation Jump to search


An ostensive definition is a definition which shows what a symbol is, rather than use words to explain what it is or what it does.

As an example of an ostensive definition, we offer up:

The symbol used for a stipulative definition is $:=$, as in:
$\text {(the symbol being defined)} := \text {(the meaning of that symbol)}$

Also see