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.