Advertisement

On Creativity in Reasoning

  • Jaakko Hintikka
Part of the Synthese Library book series (SYLI, volume 258)

Abstract

In my native language, Finnish, the word for creating, luoda, means etymologically “throwing” or “throwing out” or even “throwing out of the way”. This etymological meaning explains why the very same word is applied to shoveling snow. Last winter, living as I do in the Boston area, I spent more time than usual in “creative” work in the Finnish sense of the word.

Keywords

Model Construction Deductive Reasoning Natural Deduction Deductive Logic Definitory Rule 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Beth, Evert, 1955: “Semantic Entailment and Formal Provability”, Mededelingen van de Koninklijke Nederlandse Akademie van Wetenschappen, Afdeling Letterkunde, N.R., vol. 18, no. 13, PP. 309–342.Google Scholar
  2. Boden, Margaret, 1990: The Creative Mind: Myths and Mechanisms, George Weidenfeld and Nicholson, London.Google Scholar
  3. Gelentner, H., 1963: “Realization of a Geometry-theorem Proving Machine”, in Edward A. Feigenbaum and Julian Feldman, editors, Computers and Thought, McGraw-Hill, New York, pp. 134–152.Google Scholar
  4. Hintikka, Jaakko, 1974: Logic, Language-Games and Information, Clarendon Press, Oxford.Google Scholar
  5. Hintikka, Jaakko, 1983: “C.S. Peirce’s First Real Discovery’ and Its Contemporary Significance”, in The Relevance of Charles Peirce, ed. by Eugene Freeman, The Hegeler Institute, La Salle, pp. 107–118.Google Scholar
  6. Hintikka, Jaakko, 1989: “The Role of Logic in Argumentation”, The Monist vol. 72, no. I, pp. 3–24.Google Scholar
  7. Hintikka, Jaakko, forthcoming: The Principles of Mathematics Revisited,Cambridge University Press.Google Scholar
  8. Hintikka, Jaakko, Halonen, Ilpo, and Mutanen, Arto: “Interrogative Logic as a General Theory of Reasoning”, forthcoming.Google Scholar
  9. Hintikka, Jaakko, and Koura, Antti, forthcoming: “An Effective Interpolation Theorem for First-Order Logic”.Google Scholar
  10. Johnson-Laird, P.N., 1983: Mental Models,Cambridge University Press.Google Scholar
  11. Smullyan, Raymond, 1968: First-Order Logic, Springer-Verlag, Berlin-Heidelberg, New York.Google Scholar
  12. Szabo, M.E., editor, 1969: The Collected Papers of Gerhard Gentzen, North-Holland, Amsterdam.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 1997

Authors and Affiliations

  • Jaakko Hintikka
    • 1
  1. 1.Department of PhilosophyBoston UniversityUSA

Personalised recommendations