Editing Instantiation (section)

==Philosophy==
* A modern concept similar to ''participation'' in classical Platonism; see the [[Theory of Forms]]
* The [[instantiation principle]], the idea that in order for a property to exist, it must be had by some object or substance; the instance being a specific object rather than the idea of it
* [[Universal instantiation]] 
* An [[instance (predicate logic)]], a statement produced by applying universal instantiation to a universal statement
* [[Existential fallacy]], also called existential instantiation
* A [[substitution instance]], a formula of mathematical logic that can be produced by substituting certain strings of symbols for others in formula, also can be used as the mathematical order to represent the data in an algorithm