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

law of particularization

Logic

The first-order axiom scheme corresponding to the introduction rule for the existential quantifier:
- • $φ [t / x] \to \exists x φ$
where $t$ is some term. Also called existential generalization. In free logic, the principle is challenged on the basis of apparently true statements of the form $φ [t / x]$ that do not appear to entail that $\exists x φ$ , e.g., ‘Pegasus is a horse with wings’ does not appear to entail ‘there exists a horse with wings’. The contrapositive of the law of particularization is the law of specification.

单词	law of particularization
释义	law of particularization Logic The first-order axiom scheme corresponding to the introduction rule for the existential quantifier: • $φ [t / x] \to \exists x φ$ where $t$ is some term. Also called existential generalization. In free logic, the principle is challenged on the basis of apparently true statements of the form $φ [t / x]$ that do not appear to entail that $\exists x φ$ , e.g., ‘Pegasus is a horse with wings’ does not appear to entail ‘there exists a horse with wings’. The contrapositive of the law of particularization is the law of specification.
随便看	sampling frame sampling frequency sampling interval sampling methods sampling period sampling synthesis sampling with replacement samsara Samuelson rule graded modality graded potential graded reach graded sediment graded slope gradient gradient(of a curve) gradient(of a straight line) gradient operator gradient wind grading curve gradiometer gradualism gradualist monetarism Graebe, Karl Graeco-Latin square