Computational Logic: Logic Programming and Beyond pp 588-604 | Cite as

# Logicism and the Development of Computer Science

## Abstract

This paper argues for the thesis that ideas originating in the philosophy of mathematics have proved very helpful for the development of computer science. In particular, logicism, the view that mathematics can be reduced to logic, was developed by Frege and Russell, long before computers were invented, and yet many of the ideas of logicism have been central to computer science. The paper attempts to explain how this serendipity came about. It also applies Wittgenstein’s later theory of meaning to human-computer interaction, and draws the conclusion that computers do understand the meaning of the symbols they process. The formal language of logic is suitable for humans trying to communicate with computers.

## Keywords

Formal System Classical Logic Type Theory Ordinary Language Inductive Logic Programming## Preview

Unable to display preview. Download preview PDF.

## References

- 1.Church, A., A Set of Postulates for the Foundation of Logic, Annals of Mathematics, 33, pp. 346–66, 1932.CrossRefMathSciNetGoogle Scholar
- 2.Church, A. A Formulation of the Simple Theory of Types, Journal of Symbolic Logic, 5, pp. 56–68, 1940.zbMATHCrossRefMathSciNetGoogle Scholar
- 3.Clark, K., Negation as Failure. In H. Gallaire and J. Minker (eds.), Logic and Data Bases, Plenum Press, pp. 293–322, 1978.Google Scholar
- 4.Curry, H.B., The Inconsistency of Certain Formal Logics, Journal of Symbolic Logic, 7, pp. 115–17, 1942.zbMATHCrossRefMathSciNetGoogle Scholar
- 5.Davis, M., Mathematical Logic and the Origin of Modern Computing. In Rolf Herken (ed.), The Universal Turing Machine. A Half-Century Survey, Oxford University Press, pp. 149–74, 1988.Google Scholar
- 6.Davis, M., Influences of Mathematical Logic on Computer Science. In Rolf Herken (ed.), The Universal Turing Machine. A Half-Century Survey, Oxford University Press, pp. 315–26, 1988.Google Scholar
- 7.Frege, G. Begriffsschrift, Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens, English translation in Jean van Heijenoort (ed.), From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931, Harvard University Press, pp. 1–82, 1967.Google Scholar
- 8.Frege, G., Boole’s Logical Calculus and the Concept-Script. English translation in Gottlob Frege: Posthumous Writings, Blackwell, pp. 9–52.Google Scholar
- 9.Frege, G., The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number. English translation by J.L.Austin, Blackwell, 1968.Google Scholar
- 10.Frege, G., Grundgesetze der Arithmetik, Begriffsschriftlich abgeleitet. Vol. I. (1893) and Vol. II. (1903). Reprinted by G.Olms, 1962.Google Scholar
- 11.Frege, G., Letter to Russell. English translation in J. van Heijenoort (ed.) From Frege to Gödel, Harvard University Press, pp. 127–8, 1967.Google Scholar
- 12.Gillies, D.A., Frege, Dedekind, and Peano on the Foundations of Arithemtic, Van Gorcum, 1982.Google Scholar
- 13.Gillies, D.A., Artificial Intelligence and Scientific Method, Oxford University Press, 1996.Google Scholar
- 14.Jevons, W.S., On the Mechanical Performance of Logical Inference, Philosophical Transactions of the Royal Society, 160, pp. 497–518.Google Scholar
- 15.Kleene, S.C. and Rosser, J.B., The Inconsistency of Certain Formal Logics, Annals of Mathematics, 36, pp. 630–36, 1935.CrossRefMathSciNetGoogle Scholar
- 16.Kowalski, R.A., Logic for Problem Solving, North-Holland, 1979.Google Scholar
- 17.Muggleton, S. (ed.), Inductive Logic Programming, Academic Press, 1992.Google Scholar
- 18.Rosser, J.B., Highlights of the History of the Lambda-Calculus, Annals of the History of Computing, 6(4), pp. 337–9, 1984.zbMATHMathSciNetCrossRefGoogle Scholar
- 19.Robinson, J.A., A Machine-Oriented Logic Based on the Resolution Principle, Journal for the Association for Computing Machinery, 12, pp. 23–41, 1965.zbMATHGoogle Scholar
- 20.Russell, B., My Philosophical Development, George Allen and Unwin, 1959.Google Scholar
- 21.Russell, B., Autobiography. Volume 1, George Allen and Unwin, 1967.Google Scholar
- 22.Russell, B., and Whitehead, A.N., Principia Mathematica, Cambridge University Press, 1910–13.Google Scholar
- 23.Wittgenstein, L., Tractatus Logico-Philosophicus. English translation by D.F.Pears and B.F.McGuinness, Routledge and Kegan Paul, 1963.Google Scholar
- 24.Wittgenstein, L., Philosophical Investigations. English translation by G.E.M.Anscombe, Blackwell, 1967.Google Scholar
- 25.Wittgenstein, L., Remarks on the Foundations of Mathematics. English translation by G.E.M.Anscombe, Blackwell, 3rd edition, revised and reset, 1978.Google Scholar