Abstract
The current debate over the limits of program verification (Fetzer, 1988; Letters, 1989; Technical, 1989; Fetzer et al., 1990) seems to have its roots in an apparent fundamental philosophical difference concerning the methods and goals of computer science. On the one hand, there is the view that computer science is, as its name implies, a science, but more importantly, an empirical science in the sense which de-emphasizes pure mathematics or logic. This sense is meant to cover all and only those experimental disciplines included in the ‘natural’ and ‘social’ sciences. This view is expounded implicitly and explicitly in many current standard computer science texts, for example, by Thomas L. Naps et al.:
Perhaps nothing is as intrinsic to the scientific method as the formulation and testing of hypotheses to explain phenomena. This same process plays an integral role in the way computer scientists work. [Naps et al. (1989) p. 5]
This view is also exemplified by the curricula and attitudes of many current academic computer science departments, in which computer science is put forth as the science of problem solving using computers, and not as ‘mere computer programming’.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Balzer, R.: 1985, ‘A 15 Year Perspective on Automatic Programming’, IEEE Transactions on Software Engineering SE-11(11), 1257–1267.
Chisholm, R. M: 1977, Theory of Knowledge, Englewood, NJ: Prentice-Hall.
Conn, A.: 1989, ‘The Notion of Proof in Hardware Verification’, Journal of Automated Reasoning 5(2), 127–139.
Fetzer, J. H.: 1988, ‘Program Verification: The Very Idea’, Communications of the ACM 31(9), 1048–1063.
Fetzer, J. H.: 1991, ‘Philosophical Aspects of Program Verification’, Minds and Machines 1(2), forthcoming.
Fetzer, J. H. and Martin, C. R.: 1990, ‘“The Very Idea”, Indeed! An Intellectual Brawl in Three Rounds (For Adults Only)’, National Biomedical Simulation Resource, Technical Report no. 1990–2.
Ginsberg, M. L. (Ed.): 1987, Readings in Nonmonotonic Reasoning, Los Altos, CA: Morgan Kaufmann.
Gumb, R. D.: 1989, Programming Logics: An Introduction to Verification and Semantics, New York, NY: Wiley and Sons.
Hoare, C. A. R.: 1969, ‘An Axiomatic Basis for Computer Programming’, Communications of the ACM 12, 576–580.
Hoare, C. A. R.: 1969, ‘An Axiomatic Basis for Computer Programming’, Communications of the ACM 12, 583.
Kowalski, R.: 1979, Logic for Problem Solving, New York, NY: North Holland.
Kyburg, H. E., Jr., Loui, R. P., and Carlson, G. N. (Eds.): 1990, Knowledge Representation and Defeasible Reasoning, Dordrecht, The Netherlands: Kluwer Academic Publishers.
Letters to the Editor: 1989, ‘ACM Forum’, Communications of the ACM 32(3), 287–290.
Myers, G. J.: 1979, The Art of Software Testing, New York, NY: Wiley and Sons.
Naps, T. L., Nance, D. W., and Singh, B.: 1989, Introduction to Computer Science: Programming, Problem Solving, and Data Structures, Alternate Edition, St. Paul, MN: West Publishing Company.
Nute, D.: 1988, ‘Defeasible Reasoning: A Philosophical Analysis in Prolog’, in J. Fetzer (Ed.), Aspects of Artificial Intelligence, Dordrecht, The Netherlands: Kluwer Academic Publishers, pp. 251–288.
Pollock, J. L.: 1974, Knowledge and Justification, Princeton, NJ: Princeton University Press.
Rankin, T.: 1988, ‘When Is Reasoning Nonmonotonic?’, in J. Fetzer (Ed.), Aspects of Artificial Intelligence, Dordrecht, The Netherlands: Kluwer Academic Publishers, pp. 289–308.
Reinfrank, M. (Ed.): 1989, Proceedings of the 2nd International Workshop on Non-Monotonic Reasoning, New York, NY: Springer-Verlag.
Roth, M. D. and Galis, L. (Eds.): 1970, Knowing: Essays in the Analysis of Knowledge,New York, NY: Random House.
Technical Correspondence: 1989, Communications of the ACM 32(3), 287–290.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Colburn, T.R. (1993). Program Verification, Defeasible Reasoning, and Two Views of Computer Science. In: Colburn, T.R., Fetzer, J.H., Rankin, T.L. (eds) Program Verification. Studies in Cognitive Systems, vol 14. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-1793-7_17
Download citation
DOI: https://doi.org/10.1007/978-94-011-1793-7_17
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-4789-0
Online ISBN: 978-94-011-1793-7
eBook Packages: Springer Book Archive