Abstract
In the September 1988 issue of Communcations of the ACM, the primary publication of the Association for Computing Machinery, an article appeared in which I advanced an appraisal of the scope and limits of formal methods to guarantee the reliability of computer system performance. Although intended as a philosophical critique, the response thereby generated was not altogether “philosophical”. The debate has now moved beyond CACM to Notices of the AMS, Minds and Machines, and other journals and books and shows no signs of abating. The APA Committee on Philosophy and Computers has asked me to discuss my experiences relating philosophy and computer science. I suggest that philosophical distinctions not only make a difference to understanding this domain but that their theoretical adequacy is also thereby tested.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Ardis, M., V. Basili et al. (1989), “Editorial Process Verification”, Communications of the ACM (March 1989), pp. 287–288.
Barwise, J. (1989), “Mathematical Proofs of Computer System Correctness”, Notices of the AMS (September 1989), pp. 844–851.
Cohn, A. (1989), “The Notion of Proof in Hardware Verification”, Journal of Automated Reasoning 5 (1989), pp. 127–139.
Colburn, T. R. (1991), “Program Verification, Defeasible Reasoning, and Two Conceptions of Computer Science”, Minds and Machines (February 1991), pp. 97–116.
Colburn, T. R. (1993), “Computer Science and Philosophy”, in T. R. Colburn, J. H. Fetzer, and T. L. Rankin, eds., Program Verification (Dordrecht, The Netherlands: Kluwer Academic Publishers. 1993), pp. 3–31.
Colburn, T. R., J. H. Fetzer, and T. L. Rankin, eds., Program Verification (Dordrecht, The Netherlands: Kluwer Academic Publishers, 1993).
DeMillo, R., R. Lipton and A. Perlis (1979), “Social Processes and Proofs of Theorems and Programs”, Communications of the ACM (May 1979), pp. 271–280.
Denning, P. (1989), “Reply from the Editor in Chief”, Communications of the ACM (March 1989), pp. 289–290.
Dobson, J. and B. Randell (1989), “Program Verification: Public Image and Private Reality”, Communications of the ACM (April 1989), pp. 420–422.
Fetzer, J. H. (1974), “Grunbaum’s ‘Defense’ of the Symmetry Thesis”, Philosophical Studies (April 1974), pp. 173–187.
Fetzer, J. H. (1981), Scientific Knowledge (Dordrecht, The Netherlands: D. Reidel, 1981.
Fetzer, J. H. (1988), “Program Verification: The Very Idea”, Communications of the ACM (September 1988), pp. 1048–1063.
Fetzer, J. H. (1989a), “Response from the Author”, Communications of the ACM (March 1989), pp. 288–289.
Fetzer, J. H. (1989b), “Program Verification Reprise: The Author’s Response”. Communications of the ACM (March 1989), pp. 377–381.
Fetzer, J. H. (1989c), “Author’s Response”, Communications of the ACM (April 1989), pp. 510–512.
Fetzer. J. H. (1989d), “Patents and Programs”, Communications of the ACM (June 1989), pp. 675–676.
Fetzer, J. H. (1989e), “Another Point of View”, Communications of the ACM (August 1989), pp. 920–921.
Fetzer, J. H. (1989f), “Mathematical Proofs of Computer System Correctness: A Response”, Notices of the AMS (December 1989), pp. 1352–1353.
Fetzer, J. H. (1990), Artificial Intelligence: Its Scope and Limits (Dordrecht, The Netherlands: Kluwer Academic Publishers, 1990).
Fetzer, J. H. (1991), “Philosophical Aspects of Program Verification”, Minds and Machines (May 1991), pp. 197–216.
Fetzer, J. H. (1993a), “Program Verification”, Encyclopedia of Computer Science and Technology, Vol. 28 (New York, NY: Marcel Dekker, 1993), pp. 237–254.
Fetzer, J. H. (1993b), Philosophy of Science (New York, NY: Paragon House Publishers, 1993).
Fetzer, J. H. (1994), “Program Verification”, Encyclopedia of Microprocessors, Vol. 14 (New York, NY: Marcel Dekker, 1994), pp. 47–64.
Fetzer, J. H. (1996), “Computer Reliability and Public Policy: Limits of Knowledge of Computer-Based Systems”, Social Philosophy & Policy, Vol. 13 (1996), forthcoming.
Hempel, C. G. (1965), Aspects of Scientific Explanation (New York, NY: The Free Press, 1965).
Hill, R., R. Conte et al. (1989), “More on Verification”, Communications of the ACM (July 1989), pp. 790–792.
Hoare, C. A. R. (1969), “An Axiomatic Basis for Computer Programming”, Communications of the ACM (October 1969), pp. 576–583.
Marcotty, M and H. E. Ledgard (1986), Programming Language Landscape, 2nd ed. (Chicago, IL: Science Research Associates, 1986).
Muller, H., C. Holt, and A. Watters (1989), “More on the Very Idea”, Communications of the ACM (April 1989), pp. 506–510.
Nelson, D. (1992), “Deductive Program Verification (A Practitioner’s Commentary)”, Minds and Machines (August 1992), pp. 283–307.
Nelson, D. (1994), Discussion Review of Robert S. Boyer and J Strother Moore, A Computational Handbook, and J Strother Moore (ed.), “Special Issue on System Verification”, Journal of Automated Reasoning (December 1989), Minds and Machines (February 1994), pp. 93–101.
Peterson, I. (1995), Fatal Defect: Chasing Killer Computer Bugs (New York: Random House/Times Books, 1995).
Pleasant, J., L. Paulson et al. (1989), “The Very Idea”, Communications of the ACM (March 1989), pp. 374–377.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Fetzer, J.H. (2001). Philosophy and Computer Science. In: Computers and Cognition: Why Minds are not Machines. Studies in Cognitive Systems, vol 25. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-0973-7_10
Download citation
DOI: https://doi.org/10.1007/978-94-010-0973-7_10
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-0243-4
Online ISBN: 978-94-010-0973-7
eBook Packages: Springer Book Archive