Abstract
“Computer science and philosophy? Isn’t that sort of an odd combination?” Such is the typical cocktail-party response when learning of my academic training in the discipline Socrates called “the love of wisdom” and my subsequent immersion in the world of bytes, programs, systems analysis, and government contracts. And such might very well be the reaction to the title of this essay. But despite its cloistered reputation, and its literary, as opposed to technological image, the tradition of philosophical investigation, as all of us who have been seduced by it know, has no turf limits. No turf limits, at least, in one direction; while few but the truly prepared venture into philosophy’s hard-core: “inner circle” of epistemology, metaphysics, (meta)ethics, and logic, literally anything is fair philosophical game in the outer circle in which most of us exist. And so we have the “philosophy of’s”: philosophy of science, philosophy of art, of language, education. Some of the philosophy of’s even have names befitting their integration into vital areas of modern society, for example, medical ethics and business ethics, which we can say are shorter names for the philosophies of ethical decisions in medicine and business. This anthology is intended to be perhaps the first organization of various writings in a yet-to-crystalize philosophy of comouter science.
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
Blum, B.: 1991, ‘Formalism and Prototyping in the Software Process’, to be published in Information and Decision Technologies.
Carnap, R.: 1953, ‘Formal and Factual Science’, in Feigl, H. and Brodbeck, M. (eds.), Readings in the Philosophy of Science, New York: Appleton-Century-Crofts, pp. 123–128.
Cohn, A.: 1989, ‘The Notion of Proof in Hardware Verification’, Journal of Automated Reasoning 5(2), 127–139.
Colburn, T.: 1991, ‘Program Verification, Defeasible Reasoning, and Two Views of Computer Science’, Minds and Machines 1(1), 97–116.
DeMillo, R., Lipton, R., and Perlis, A.: 1979, ‘Social Processes and Proofs of Theorems and Programs’, Communications of the ACM 22 (May 1979), 271–280.
Department of Defense: 1983, ‘Trusted Computer Systems Evaluation Criteria’, CSC-STD-001-83, August 15,1983.
Fetzer, J.: 1988, ‘Program Verification: The Very Idea’, Communications of the ACM 31(9), 1048–1063.
Fetzer, J.: 1991, ‘Philosophical Aspects of Program Verification’, Minds and Machines 1(2), 197–216.
Floyd, C: 1987, ‘Outline of a Paradigm Change in Software Engineering’, in Computers and Democracy: A Scandinavian Challenge, England: Gower Publishing Company, pp. 191–210.
Floyd, R.: 1967, ‘Assigning Meanings to Programs’, Proceedings of Symposia in Applied Mathematics, Vol. 19, pp. 19–32.
Hoare, C. A. R.: 1969, ‘An Axiomatic Basis for Computer Programming’, Communications of the ACM 12 (October 1969), 576–583.
Hoare, C. A. R.: 1986, ‘Mathematics of Programming’, BYTE (August 1986), pp. 115–118.
Hoare, C. A. R.: 1986, ‘Mathematics of Programming’, BYTE (August 1986), 120.
Hoare, C. A. R.: 1986, ‘Mathematics of Programming’, BYTE (August 1986), 122.
Hoare, C. A. R.: 1986, ‘Mathematics of Programming’, BYTE (August 1986), 124.
Hoare, C. A. R.: 1986, ‘Mathematics of Programming’, BYTE (August 1986), 148–149.
McCarthy, J.: 1962, ‘Towards a Mathematical Science of Computation’, Proceedings of the IFIP Congress 62(1963), pp. 21–28.
Meyer, B.: 1985, ‘On Formalism in Specifications’, IEEE Software (January 1985), pp. 6–26.
Naur, P.: 1966, ‘Proof of Algorithms by General Snapshots’, BIT 6, 310–316.
Naur, P.: 1982, ‘Formalization in Program Development’, BIT 22, 437–453.
Naur, P.: 1989, ‘The Place of Strictly Defined Notation in Human Insight’, unpublished paper from 1989 Workshop on Programming Logic, Bastad, Sweden.
Scherlis, W. L. and Scott, D. S.: 1983, ‘First Steps Towards Inferential Programming’, Information Processing 83, 199–212.
Smith, B. C.: 1985, ‘Limits of Correctness in Computers’, Center for the Study of Language and Information Report No. CSLI-85-36 (October 1985).
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). Computer Science and Philosophy. 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_1
Download citation
DOI: https://doi.org/10.1007/978-94-011-1793-7_1
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-4789-0
Online ISBN: 978-94-011-1793-7
eBook Packages: Springer Book Archive