Search

It is hardly news today to report that philosophers of science share a widespread feeling that methods of analysis which have served them well for half a century are reaching the limits of their usefulness. During much of the twentieth century, they have been concentrating on those aspects of science which lend themselves most readily to analysis using the tools of formal logic; they have given detailed, sophisticated accounts of the ways in which the general principles of a natural science are - or might conceivably be - applied to entail statements about its particular phenomena; and they have done much to make clearer the part played in natural science by logical systems. The resulting debate has been complex and on a high level of abstraction: primitive terms, protocol-statements, hypothetico-deductive systems, inductivism … verification, falsification, confirmation, corroboration, refutation ….

MIT Geophysics Program Set II consists of 267 subroutines, written in FORTRAN or in FAP compatible with FORTRAN-II, for the IBM 709, 7090, 7094. They form an interlocking system of individually accessible routines for single and multiple time series analysis (correlation, spectral analysis, prediction, filtering, spectral and correlation factorization, polynomial operations, probability operations) but also include many general utility and administration routines. Comment cards in each symbolic deck give full documentation. Complete copies of the symbolic system are available and require two 800 BPI tapes.