Definition:Ostensive Definition
Jump to navigation
Jump to search
Definition
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
Sources
- 1965: E.J. Lemmon: Beginning Logic ... (previous) ... (next): Chapter $2$: The Propositional Calculus $2$: $1$ Formation Rules