Abstract
In the present work, it is observed and demonstrated that the foundations of computing science, and even of science and logics, include forms of inference that are not regarded as valid, in neither logical nor scientific way. The present paper also shows two paradoxes of logics and scientific methods. Taking into consideration a certain rigor, the present paper argues that computing science is not mathematical logics, and that philosophy, psychology and other human sciences are in the foundations of that 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.
Similar content being viewed by others
References
Abramsky, S.: Domain Theory. In: Handbook of Logic in Computer Science. Semantic Structures, vol. 3, pp. 1–168. Oxford University Press, Oxford (1994)
Allison, L.: A Practical Introduction to Denotational Semantics. Cambridge Computer Science, vol. 23. Cambridge University Press, Cambridge (1995) (reprinted 1995)
Amadio, R., Curien, P.-L.: Domains and Lambda-Calculi. Cambridge Tracts in Theoretical Computer Science, vol. 46. Cambridge University Press, Cambridge (1998)
Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)
Bibel, W., Eder, E.: Methods and Calculi for Deduction. In: Handbook of Logic in Artificial Intelligence and Logic Programming, Logical Foundations, vol. 1, pp. 67–182. Oxford University Press, Oxford (1993)
Blackburn, S.: The Oxford Dictionary of Philosophy. Oxford University Press, Oxford (1994)
Burrell, D.: Analogy and Philosophical Language. Yale University Press (1973)
Chagrov, A., Zakharyaschev, M.: Complexity Problems. In: Modal Logic, vol. 35, Oxford University Press, Oxford (1997)
Dummett, M.: The Philosophical Basis of Intuitionistic Logic. In: The Philosophy of Mathematics, Oxford Readings in Philosophy, Oxford University Press, Oxford (1996)
Epstein, R.L.: Intuitionism. In: The Semantics Foundations of Logic, p. 277. Oxford University Press, Oxford (1995)
Ferreira, J.U.: The plain www page (1996), http://www.ufba.br/~plain or http://www.cs.tcd.ie/~ferreirj
Ferreira, J.U.: uu for programming languages. ACM SIGPLAN Notices 35(8), 20–30 (2000)
Ferreira, J.U.: uu in Globallog. In: Computation in the Real World: foundations and programming languages concepts, ch. 9 (2001), PhD thesis, The Trinity College, University of Dublin (2001)
Ferreira, J.U.: Computation in the Real World: foundations and programming languages concepts. PhD thesis, The Trinity College, University of Dublin (2001)
Forrest, P.: The Dynamics of Belief: A Normative Logic. Philosophical Theory. Basil Blackwell (1996)
Gillies, D.: The Inductivist Controversy, or Bacon versus Popper. In: Artificial Intelligence and Scientific Method, ch. 1, pp. 1–16. Oxford University Press, Oxford (1996)
Gillies, D.: Can there be an inductive logic? In: Artificial Intelligence and Scientific Method, pp. 98–112. Oxford University Press, Oxford (1996)
Girard, J.-Y., Taylor, P., Lafont, Y.: Proofs and Types. Cambridge University Press, Cambridge (1993)
Gunter, C., Scott, D.: Semantic Domains. In: Handbook of Theoretical Computer Science. Formal Models and Semantics, vol. B, The MIT Press/Elsevier (1990)
Gunter, C.A.: Semantics of Programming Languages: structures and techniques. Foundations of Computing Series. The MIT Press, Cambridge (1992)
Hacking, I.: What Is Logic? In: What Is a Logical System? Studies in Logic and Computation, vol. 4, pp. 1–33. Claredon Press, Oxford University (1994)
Jung, C.G., Storr, A.: Psychological Typology (1936). In: Jung: Selected Writings, 2nd edn. Fontana Pocket Readers, Fontana Paperbacks, pp. 133–146 (1986), Selected and Introduced by Anthony Storr
Kant, I., translation by Smith, N.K.: Immanuel Kant’s Critique of Pure Reason. Macmillan Press Ltd. 1787, Basingstoke (1929)
Kerlinger, F.N., Lee, H.B.: Foundations of Behavioral Research, 4th edn. Harcourt College Publishers (2000)
Klop, J.W.: Term Rewriting Systems. In: Handbook of Logic in Computer Science, Background: Computational Structures, vol. 2, Oxford University Press, Oxford (1992)
Kosko, B.: Fuzzy Thinking: The New Science of Fuzzy Logic. HarperCollinsPublishers, Flamingo (1994)
Lane, S.M.: Categories for the Working Mathematician, 2nd edn. Graduate texts in mathematics. Springer, Heidelberg (1998), Previous edition: 1971
Lawvere, F.W., Schanuel, S.H.: Conceptual Mathematics: a first introduction to categories. Cambridge University Press, Cambridge (1997)
Maddy, P.: Perception and Mathematical Intuition. In: The Philosophy of Mathematics, Oxford Readings in Philosophy, Oxford University Press, Oxford (1996)
Mitchell, J.C.: Foundations for Programming Languages. The MIT Press, Cambridge (1996)
Ong, C.-H.L.: Correspondence Beteen Operational and Denotational Semantics: the full abstraction problem for PCF. In: Handbook of Logic in Computer Science, vol. 4, pp. 269–356. Oxford University Press, Oxford (1995)
Parsons, C.: Mathematical Intuition. In: The Philosophy of Mathematics, Oxford Readings in Philosophy, Oxford University Press, Oxford (1996)
Popper, K.: The Logic of Scientific Discovery. Karl Popper (1972)
Russell, B.: History of Western Philosophy. The Romantic Movement, Routledge, vol. III, part 2, ch. 18, pp. 651–659 (1946) (edition published in 2000)
Russell, B.: History of Western Philosophy, Routledge, vol. I, part 2, pp. 101–226 (1946), Edition published in (2000)
Schmidt, D.A.: The Structure of Typed Programming Languages. Foundations of Computing Series. The MIT Press, Cambridge (1994)
Swain, M. (ed.): Induction, Acceptance, and Rational Belief. D. Reidel Publishing Company (1970)
Tennent, R.D.: Semantics of Programming Languages. PHI series in computer science. Prentice-Hall, Englewood Cliffs (1991)
Tennent, R.D.: Denotational Semantics. In: Handbook of Logic in Computer Science, Semantic Structures, vol. 3, pp. 170–322. Oxford University Press, Oxford (1994)
van Heijenoort, J.: From Frege to Gödel. Harvard University Press, Cambridge (1967)
Walters, R.F.C.: Categories and Computer Science. Computer Science Texts. Cambridge University Press, Cambridge (1991)
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ferreira, U. (2004). On the Foundations of Computing Science. In: Hicks, D.L. (eds) Metainformatics. MIS 2003. Lecture Notes in Computer Science, vol 3002. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24647-3_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-24647-3_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22010-7
Online ISBN: 978-3-540-24647-3
eBook Packages: Springer Book Archive