The Role of Definitions in Physical Science, with Remarks on the Frequency Definition of Probability