Normally and one might be tempted to generalise that usually when you know some thing you know the surrounfing “topic”. However there are cases when this is lacking. There are such things as zero-knowledge proofs. Also any reductio ad absurdum (assuume not p. Derive q and not q from not p. Therefore p) is going to be very silent about small alterations to the claims.
Also dismissing perpetual motions machines because you believe energy is conserved will make no particular claim on what is the issue with this particular scheme. This can be rigorous and robust which might be alot what people often shoot for with “mechanistic” but it is general and fails to be particular and thus not gear-level (it kind of concretely doesn’t care whether the machine in question even has gears or not).
Normally and one might be tempted to generalise that usually when you know some thing you know the surrounfing “topic”. However there are cases when this is lacking. There are such things as zero-knowledge proofs. Also any reductio ad absurdum (assuume not p. Derive q and not q from not p. Therefore p) is going to be very silent about small alterations to the claims.
Also dismissing perpetual motions machines because you believe energy is conserved will make no particular claim on what is the issue with this particular scheme. This can be rigorous and robust which might be alot what people often shoot for with “mechanistic” but it is general and fails to be particular and thus not gear-level (it kind of concretely doesn’t care whether the machine in question even has gears or not).