Higginbotham: Any logical definition of empirical significance appears to run into trouble. e.g., Ayer's if X is significant, then S has empirical significance if S+X implies observations not implied by X alone. Then any S has empirical significance due to (X) if S then Y since S+X => Y. See Glymour's Theory and Evidence for additional counter examples.