|Eliminate, Elimination, philosophy: the replacement of a linguistic expression by another in the case of a theory revision. The elimination is usually done either by a definition or by merging various observations under a common concept. See also reduction, reductionism, eliminative materialism, eliminative reductionism, meaning change, theory change, incommensurability.|
Books on Amazon
Elimination/Description: we eliminate K with the scheme of Russell: (N) (A (ix B) ↔ (Ex)((y)(B[y/x] ↔ y = x u A(x)) - ((s ) "The A that is this B (description)" is the same as something that will be replaced by it in all occurrences of these descriptions, and which has the defining property A"?).
Parts Oxford New York 1987