Philosophy and Computer Science

Reflections on the Program Verification Debate
  • James H. Fetzer
Part of the Studies in Cognitive Systems book series (COGS, volume 25)

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.

Keywords

Straw Abate Editing Stake Alan 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ardis, M., V. Basili et al. (1989), “Editorial Process Verification”, Communications of the ACM (March 1989), pp. 287–288.Google Scholar
  2. Barwise, J. (1989), “Mathematical Proofs of Computer System Correctness”, Notices of the AMS (September 1989), pp. 844–851.Google Scholar
  3. Cohn, A. (1989), “The Notion of Proof in Hardware Verification”, Journal of Automated Reasoning 5 (1989), pp. 127–139.CrossRefGoogle Scholar
  4. Colburn, T. R. (1991), “Program Verification, Defeasible Reasoning, and Two Conceptions of Computer Science”, Minds and Machines (February 1991), pp. 97–116.Google Scholar
  5. 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.CrossRefGoogle Scholar
  6. Colburn, T. R., J. H. Fetzer, and T. L. Rankin, eds., Program Verification (Dordrecht, The Netherlands: Kluwer Academic Publishers, 1993).Google Scholar
  7. 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.Google Scholar
  8. Denning, P. (1989), “Reply from the Editor in Chief”, Communications of the ACM (March 1989), pp. 289–290.Google Scholar
  9. Dobson, J. and B. Randell (1989), “Program Verification: Public Image and Private Reality”, Communications of the ACM (April 1989), pp. 420–422.Google Scholar
  10. Fetzer, J. H. (1974), “Grunbaum’s ‘Defense’ of the Symmetry Thesis”, Philosophical Studies (April 1974), pp. 173–187.Google Scholar
  11. Fetzer, J. H. (1981), Scientific Knowledge (Dordrecht, The Netherlands: D. Reidel, 1981.CrossRefGoogle Scholar
  12. Fetzer, J. H. (1988), “Program Verification: The Very Idea”, Communications of the ACM (September 1988), pp. 1048–1063.Google Scholar
  13. Fetzer, J. H. (1989a), “Response from the Author”, Communications of the ACM (March 1989), pp. 288–289.Google Scholar
  14. Fetzer, J. H. (1989b), “Program Verification Reprise: The Author’s Response”. Communications of the ACM (March 1989), pp. 377–381.Google Scholar
  15. Fetzer, J. H. (1989c), “Author’s Response”, Communications of the ACM (April 1989), pp. 510–512.Google Scholar
  16. Fetzer. J. H. (1989d), “Patents and Programs”, Communications of the ACM (June 1989), pp. 675–676.Google Scholar
  17. Fetzer, J. H. (1989e), “Another Point of View”, Communications of the ACM (August 1989), pp. 920–921.Google Scholar
  18. Fetzer, J. H. (1989f), “Mathematical Proofs of Computer System Correctness: A Response”, Notices of the AMS (December 1989), pp. 1352–1353.Google Scholar
  19. Fetzer, J. H. (1990), Artificial Intelligence: Its Scope and Limits (Dordrecht, The Netherlands: Kluwer Academic Publishers, 1990).CrossRefGoogle Scholar
  20. Fetzer, J. H. (1991), “Philosophical Aspects of Program Verification”, Minds and Machines (May 1991), pp. 197–216.Google Scholar
  21. Fetzer, J. H. (1993a), “Program Verification”, Encyclopedia of Computer Science and Technology, Vol. 28 (New York, NY: Marcel Dekker, 1993), pp. 237–254.Google Scholar
  22. Fetzer, J. H. (1993b), Philosophy of Science (New York, NY: Paragon House Publishers, 1993).Google Scholar
  23. Fetzer, J. H. (1994), “Program Verification”, Encyclopedia of Microprocessors, Vol. 14 (New York, NY: Marcel Dekker, 1994), pp. 47–64.Google Scholar
  24. Fetzer, J. H. (1996), “Computer Reliability and Public Policy: Limits of Knowledge of Computer-Based Systems”, Social Philosophy & Policy, Vol. 13 (1996), forthcoming.Google Scholar
  25. Hempel, C. G. (1965), Aspects of Scientific Explanation (New York, NY: The Free Press, 1965).Google Scholar
  26. Hill, R., R. Conte et al. (1989), “More on Verification”, Communications of the ACM (July 1989), pp. 790–792.Google Scholar
  27. Hoare, C. A. R. (1969), “An Axiomatic Basis for Computer Programming”, Communications of the ACM (October 1969), pp. 576–583.Google Scholar
  28. Marcotty, M and H. E. Ledgard (1986), Programming Language Landscape, 2nd ed. (Chicago, IL: Science Research Associates, 1986).Google Scholar
  29. Muller, H., C. Holt, and A. Watters (1989), “More on the Very Idea”, Communications of the ACM (April 1989), pp. 506–510.Google Scholar
  30. Nelson, D. (1992), “Deductive Program Verification (A Practitioner’s Commentary)”, Minds and Machines (August 1992), pp. 283–307.Google Scholar
  31. 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.Google Scholar
  32. Peterson, I. (1995), Fatal Defect: Chasing Killer Computer Bugs (New York: Random House/Times Books, 1995).Google Scholar
  33. Pleasant, J., L. Paulson et al. (1989), “The Very Idea”, Communications of the ACM (March 1989), pp. 374–377.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2001

Authors and Affiliations

  • James H. Fetzer
    • 1
  1. 1.University of MinnesotaDuluthUSA

Personalised recommendations