Abstract
I argue here for a number of ways that modern computational science requires a change in the way we represent the relationship between theory and applications. It requires a switch away from logical reconstruction of theories in order to take surface mathematical syntax seriously. In addition, syntactically different versions of the “same” theory have important differences for applications, and this shows that the semantic account of theories is inappropriate for some purposes. I also argue against formalist approaches in the philosophy of science and for a greater role for perceptual knowledge rather than propositional knowledge in scientific empiricism.
Similar content being viewed by others
References
Barwise, J. and Feferman, S. (1985),Model-Theoretic Logics. New York: Springer-Verlag.
Carnap, R. (1956), Empiricism, semantics, and ontology, pp. 205–21 in hisMeaning and Necessity (2nd Ed.). Chicago: University of Chicago Press.
Goodman, N. (1978),Ways of Worldmaking. Indianapolis: Hackett Publishing Company.
Gridgeman, N. (1960), Geometric Probability and the Number π,Scripta Mathematica 25, 183–195.
Guenther, R. and Lee, J. (1988),Partial Differential Equations of Mathematical Physics and Integral Equations. Englewood Cliffs: Prentice-Hall.
Hacking, I. (1983),Representing and Intervening. Cambridge: Cambridge University Press.
Hooker, C.A. (ed.) (1975),The Logico-Algebraic Approach to Quantum Mechanics Volume I: Historical Evolution, Dordrecht: D. Reidel Publishing Company.
Hughes, R. I. G. (1989),The Structure and Interpretation of Quantum Mechanics. Cambridge: Harvard University Press.
Humphreys, P. (1991), Computer Simulations, pp. 497–506 inPSA 1990, Volume II, A.Fine, M.Forbes, and L.Wessels (eds). East Lansing: Philosophy of Science Association.-(1994), Numerical Experimentation, pp. 103–121 inPatrick Suppes: Scientific Philosopher, Volume 2, P. Humphreys (ed). Dordrecht: Kluwer Academic Publishers.-(forth-coming), Computational Science and Scientific Method inMinds and Machines.
Laplace, Pierre Simon Marquis de (1795),Essai philosophique sur les probabilités. Translated asA Philosophical Essay on Probabilities. New York: Dove Publications (1951).
Morse, P. and Feshbach, H. (1953),Methods of Theoretical Physics, Part 1. New York: McGraw-Hill, Inc.
Putnam, H. (1980), Models and Reality,Journal of Symbolic Logic 45, 464–82.
Quine, W. V. O. (1969), Ontological Relativity in hisOntological Relativity and Other Essays. New York: Columbia University Press.
Redhead, M. L. G. (1987),Incompleteness, Nonlocality, and Realism: A Prolegomenon to the Philosophy of Quantum Mechanics, Oxford: The Clarendon Press.
Rohrlich, F. (1991), Computer Simulations in the Physical Sciences, pp. 507–518 inPSA 1990, Volume 2, A.Fine, M.Forbes, and L.Wessels (eds). E. Lansing: Philosophy of Science Association.
Roman, P. (1965),Advanced Quantum Theory. Reading (Mass.): Addison Wesley Publishing Company.
Suppes, P. (1970),Set-Theoretical Structures in Science. Mimeo manuscript, Institute for Mathematical Studies in the Social Sciences, Stanford University.
vanFraassen, B. (1972), A Formal Approach to the Philosophy of Science, pp. 303–366 inParadigms and Paradoxes, R.Colodny (ed.). Pittsburgh: University of Pittsburgh Press.
vonNeumann, J. (1932/1955),Mathematische Grundlagen der Quantenmechanik. Berlin: Springer. Translated asMathematical Foundations of Quantum Mechanics. Princeton: Princeton University Press.
White, R.L. (1966),Basic Quantum Mechanics, New York: McGraw-Hill Book Company.
Williams, D., Pelton, A., and Gronsky, R. (1991),Images of Materials. Oxford: Oxford University Press.
Author information
Authors and Affiliations
Additional information
The term ‘computational empiricism’ was suggested to me in conversation at a philosophy conference in Venice, Italy in June 1991 by someone whose name I have unfortunately forgotten. It seemed to capture perfectly the set of techniques I had described in my talk there, and I have since adopted it. I thank the originator of this term, whoever he is.
Rights and permissions
About this article
Cite this article
Humphreys, P. Computational empiricism. Found Sci 1, 119–130 (1995). https://doi.org/10.1007/BF00208728
Published:
Issue Date:
DOI: https://doi.org/10.1007/BF00208728