“law of specification”的概念、定义、翻译、参考文献-科学参考

law of specification

Logic

The first-order axiom scheme corresponding to the elimination rule for the universal quantifier:
- • $\forall x φ \to φ [t / x]$
Also called universal instantiation. The law of specification is thought to be problematic by supporters of free logic, as is its contrapositive form, the law of particularization. The law of specification, however, is replaced in such contexts with the restricted law of specification:
- • $(\forall x φ \land \exists x (x = t)) \to φ [t / x]$
which permits one to instantiate a universally quantified formula only on those terms known to exist.

单词	law of specification
释义	law of specification Logic The first-order axiom scheme corresponding to the elimination rule for the universal quantifier: • $\forall x φ \to φ [t / x]$ Also called universal instantiation. The law of specification is thought to be problematic by supporters of free logic, as is its contrapositive form, the law of particularization. The law of specification, however, is replaced in such contexts with the restricted law of specification: • $(\forall x φ \land \exists x (x = t)) \to φ [t / x]$ which permits one to instantiate a universally quantified formula only on those terms known to exist.
随便看	baryon acoustic oscillations baryon star baryta baryte barytes basal basal body basal complex basal conglomerate basal contact pressure basal ganglia basal group((in cladistics)) basal ice basal lamina basal metabolic rate basal sliding basal slipping basalt basal thermal regime basal thrust basaltic achondrite basaltic meteorites basanite BASE base