Abstract
Aristotelians deplore the narrow range of examples chosen for discussion in traditional philosophy of mathematics. The traditional diet – numbers, sets, infinite cardinals, axioms, theorems of formal logic – is far from typical of what mathematicians do. It has led to intellectual anorexia, by depriving the philosophy of mathematics of the nourishment it could and should receive from the expansive world of mathematics of the last hundred years. Philosophers have almost completely ignored not only the broad range of pure and applied mathematics and statistics, but a whole suite of ‘formal’ or ‘mathematical’ sciences that have appeared only in the last eighty years. I give here a few brief examples to indicate why these developments are of philosophical interest to those pursuing realist views of mathematics. Of special significance is that they contain many examples of necessities about the real world.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Notes and Bibliography
J. Franklin, The formal sciences discover the philosopers’ stone, Studies in History and Philosophy of Science 25 (1994), 513–533.
H.A. Simon, The Sciences of the Artificial (MIT Press, Cambridge, MA, 1969; 3rd edn., 1996).
F.N. Trefethen, History of Operations Research, in J.F. McCloskey and F.N. Trefethen, eds, Operations Research for Management (Johns Hopkins Press, Baltimore, MD, 1954), vol. 1, 3–35.
C.D. Woolsey and H.S. Swanson, Operations Research for Immediate Application: A Quick and Dirty Manual (Harper & Row, New York, 1975).
R.C. Dorf and R.H. Bishop, Modern Control Systems (10th edn, Prentice Hall, Upper Saddle River, NJ, 2004).
O. Mayr, The Origins of Feedback Control (MIT Press, Cambridge, MA, 1970).
N. Wiener, Cybernetics, or Control and Communication in the Animal and the Machine (MIT Press, Cambridge, Mass, 1948).
B.S. Everitt, S. Landau, M. Leese and D. Stahl, Cluster Analysis (5th edn, Wiley, Chichester, 2011).
R.O. Duda, P.E. Hart and D.G. Stork, Pattern Classification (2nd edn, Wiley, New York, 2001).
S.J. Orphanidis, Introduction to Signal Processing (Prentice Hall, Englewood Cliffs, NJ, 1996).
D. Jungnickel, Graphs, Networks and Algorithms (3rd edn, Springer, Berlin, 2008).
B.D. Bunday, Basic Queueing Theory (Edward Arnold, London, 1986).
C.E. Shannon, The Mathematical Theory of Communication (University of Illinois Press, Urbana, IL, 1949).
M.S. Waterman, ed., Mathematical Models for DNA Sequences (CRC Press, Boca Raton, FL, 1989).
J. von Neumann and O. Morgenstern, Theory of Games and Economic Behavior (Princeton University Press, Princeton, NJ, 1944).
M. Enquist, Game Theory Studies on Aggressive Behaviour (University of Stockholm, Stockholm, 1984).
G. Debreu, The Theory of Value: An Axiomatic Analysis of Economic Equilibrium (Wiley, New York, 1959).
G. Nicolis and I. Prigogine, Self-Organization in Non-Equilibrium Systems (Wiley, New York, 1977).
R. May and A.R. McLean, Theoretical Ecology: Principles and Applications (3rd edn, Oxford University Press, Oxford, 2007).
P.C.W. Davies, The Cosmic Blueprint (Heinemann, London, 1987).
H.S. Wilf, Algorithms and Complexity (Prentice Hall, Englewood Cliffs, NJ, 1986).
P. Frey, ed., Chess Skill in Man and Machine (2nd edn, Springer, New York, 1983).
B.P. Zeigler, H. Praehofer and T.G. Kim, Theory of Modeling and Simulation (2nd edn, Academic Press, San Diego, 2000).
P.M. Allen et al., Models of Urban Settlement and Structure as Dynamic Self Organizing Systems (U.S. Dept of Transportation, Washington, DC, 1981).
M. Lesieur, Turbulence in Fluids (4th edn, Springer, Dordrecht, 2008).
L. von Bertalanffy, General System Theory (Braziller, New York, 1969).
P.W. Colgan, ed., Quantitative Ethology (Wiley, New York, 1978).
J.D. Gray, The development of mathematics: a response to Monna, Nieuw Archief voor Wiskunde 3 (1985), 1–6.
C.A.R. Hoare, An axiomatic basis for computer programming, Communications of the Association for Computing Machinery 12 (1969), 576–580.
R. Stallman and S. Garfinkle, Against software patents, Communications of the Association for Computing Machinery 35 (1992), 17–22.
J.H. Fetzer, Program verification: the very idea, Communications of the Association for Computing Machinery 31 (1988), 1048–1063.
J.H. Fetzer, Program verification reprise: the author’s response, Communications of the Association for Computing Machinery 32 (1989), 377–381.
J. Barwise, Mathematical proofs of computer system correctness, Notices of the American Mathematical Society 36 (1989), 844–851.
M.M. Lehman, Uncertainty in computer application, Communications of the Association for Computing Machinery 33 (1990), 584–586.
D. Gries, The Science of Programming (Springer, New York, 1981), 5.
C.A.R. Hoare, Programs are predicates, in C.A.R. Hoare and J.C. Shepherdson, eds, Mathematical Logic and Programming Languages (Prentice Hall, Englewood Cliffs, NJ, 1985), 141–155.
J. Dobson and B. Randell, Program verification: public image and private reality, Communications of the Association for Computing Machinery 32 (1989), 420–422.
D. Mackenzie, Computers, formal proofs and the law courts, Notices of the American Mathematical Society 39 (1992), 1066–1069.
M. Tiles, Mathematics and the Image of Reason (Routledge, London, 1991).
P.N. Johnson-Laird and R. Byrne, Deduction (L. Erlbaum, Hove, 1991).
J. Lough, The Encyclopédie of Diderot and D’Alembert (Cambridge University Press, Cambridge, 1954), 68–81.
H.G. Apostle, Aristotle’s Philosophy of Mathematics (University of Chicago Press, Chicago, 1952).
Further in J. Franklin, Structure and domain-independence in the formal sciences, Studies in History and Philosophy of Science 30 (1999), 721–723.
Author information
Authors and Affiliations
Copyright information
© 2014 James Franklin
About this chapter
Cite this chapter
Franklin, J. (2014). The Formal Sciences Discover the Philosophers’ Stone. In: An Aristotelian Realist Philosophy of Mathematics. Palgrave Macmillan, London. https://doi.org/10.1057/9781137400734_7
Download citation
DOI: https://doi.org/10.1057/9781137400734_7
Publisher Name: Palgrave Macmillan, London
Print ISBN: 978-1-349-48618-2
Online ISBN: 978-1-137-40073-4
eBook Packages: Palgrave Religion & Philosophy CollectionPhilosophy and Religion (R0)